|
7.7.13.0. weightedRing
Procedure from library nctools.lib (see nctools_lib).
- Usage:
- weightedRing(r); r a ring
- Return:
- ring
- Purpose:
- equip the variables of the given ring with weights such that the relations of new ring (with weighted variables) satisfies the ordering condition for G-algebras:
e.g. \forall\;i<j\;\;lm_w(d_{ij})<_w x_i x_j.
- Note:
- activate this ring with the "setring" command
Example:
See also:
Gweights.
|