next up previous
: get : Primitive Operators : for

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. 
  [(divByN) poly1 n(universalNumber)] gbext [qpoly rpoly] 
     where poly1 = n*qpoly+rpoly.
     (see also cancelCoeff) 
  [(exponents) poly type ] gbext array 
    example: type == 0    x,y,Dx,Dy
             type == 1    x,y,Dx,Dy,h,H
             type == 2    x,y,Dx,Dy,h  --- default.
  [(grade) poly1 ] gbext integer 
  [(isConstant) poly] gbext bool 
  [(isConstantAll) poly] gbext bool 
  [(isOrdered) poly] gbext poly 
  [(isReducible) poly1 poly2 ] gbext integer 
  [(lcm) poly1 poly2] gbext poly 
  [(lcoeff) poly] gbext poly 
  [(lmonom) poly] gbext poly 
  [(mod) poly1 universalNumber] gbext poly 
          poly = poly1 mod universalNumber where char=0 and 
          poly and poly2 belong to a same ring.
  [(ord_ws_all) fv wv] gbext integer 
  [(reduceContent) poly] gbext [poly c] 
  [(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. 
  [(schreyerSkelton) array_of_poly] gbext array 
  [(toes) array_of_poly] gbext poly 
  [(toe_) poly] gbext poly   
  [(toe_) array_of_poly] gbext poly   cf. toVectors



Nobuki Takayama 平成20年1月30日