gbext

<< obj1 gbext obj2 >>
array of objects obj1;The first element of the obj1 should be the key word tag.
<< gbext >> is used to call auxiliary functions for g-basis computation. 
  [(isReducible) poly1 poly2 ] gbext integer 
  [(lcm) poly1 poly2] gbext poly 
  [(grade) poly1 ] gbext integer 
  [(mod) poly1 universalNumber] gbext poly 
          poly = poly1 mod universalNumber where char=0 and 
          poly and poly2 belong to a same ring.
  [(tomodp) poly1 ring] gbext poly, char(ring)>0. 
          poly = poly1 mod char(ring) where poly belongs to ring.
  [(tomod0) poly1 ring] gbext poly, char(ring)=0. 
  [(divByN) poly1 n(universalNumber)] gbext [qpoly rpoly] 
     where poly1 = n*qpoly+rpoly.
     (see also cancelCoeff) 
  [(isConstant) poly] gbext bool 
  [(lcoeff) poly] gbext poly 
  [(lmonom) poly] gbext poly 
  [(schreyerSkelton) array_of_poly] gbext array 
  [(toes) array_of_poly] gbext poly 
  [(toe_) poly] gbext poly   
  [(toe_) array_of_poly] gbext poly   cf. toVectors 
  [(isOrdered) poly] gbext poly