up previous next
Interreduce, Interreduced

interreduce a list of polynomials or vectors

Interreduce(V:LIST of POLY):NULL
Interreduce(V:LIST of VECTOR):NULL

Interreduced(L:LIST of POLY):LIST of POLY
Interreduced(L:LIST of VECTOR):LIST of VECTOR

where V is a variable containing a list.

These functions reduce each polynomial (resp., vector) using the other polynomials (resp., vectors) as reduction rules. The process terminates when each is in normal form with respect to the others. The function Interreduce takes a variable containing a list and overwrites that variable with the interreduced list. The second returns an interreduced list without affecting its arguments.

Note that the definition of normal form depends on the current value of the option FullRed of the panel GROEBNER. If FullRed is FALSE it means that a polynomial (resp., vector) is in normal form when its leading term with respect to the current term ordering cannot be reduced. If FullRed is TRUE it means that a polynomial (resp., vector) is in normal form if and only if each monomial cannot be reduced.

  UnSet FullRed;  -- FullRed = FALSE
  Use R ::= QQ[x,y,z];
[x^3 - xy^2 + yz, xy, z]
  Set FullRed;  -- FullRed = TRUE (the default value)
[xy, z, x^3]
  L := [x^3-xy^2+yz,xy,z];
[xy, z, x^3]

See Also