CoCoA:Interreduce, Interreduced

From ApCoCoAWiki

Interreduce, Interreduced

interreduce a list of polynomials or vectors

Description

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.

Example

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

Syntax

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.

FullRed

   <type>ideal</type>
   <type>module</type>
   <type>list</type>