Top
Back: nctools_lib
Forward: weightedRing
FastBack: ncfactor_lib
FastForward: perron_lib
Up: nctools_lib
Top: Singular Manual
Contents: Table of Contents
Index: Index
About: About this document
7.7.13.0. Gweights
Procedure from library nctools.lib (see nctools_lib).

Usage:
Gweights(r); r a ring or a square matrix

Return:
intvec

Purpose:
compute an appropriate weight int vector for a G-algebra, i.e., such that \foral\;i<j\;\;lm_w(d_{ij}) <_w x_i x_j.
the polynomials d_{ij} are taken from r itself, if it is of the type ring
or defined by the given square polynomial matrix

Theory:
Gweights returns an integer vector, whose weighting should be used to redefine the G-algebra in order to get the same non-commutative structure w.r.t. a weighted ordering. If the input is a matrix and the output is the zero vector then there is not a G-algebra structure associated to these relations with respect to the given variables.
Another possibility is to use weightedRing to obtain directly a G-algebra with the new appropriate (weighted) ordering.

Example:
 
See also: weightedRing.


Top Back: nctools_lib Forward: weightedRing FastBack: ncfactor_lib FastForward: perron_lib Up: nctools_lib Top: Singular Manual Contents: Table of Contents Index: Index About: About this document
            User manual for Singular version 3-1-6, Dec 2012, generated by texi2html.