`gr', `hgr', `gr_mod', `dgr'
----------------------------

gr(PLIST,VLIST,ORDER)
hgr(PLIST,VLIST,ORDER)
gr_mod(PLIST,VLIST,ORDER,P)
dgr(PLIST,VLIST,ORDER,PROCS)
     :: Groebner basis computation

RETURN
     list

PLIST, VLIST, PROCS
     list

ORDER
     number, list or matrix

P
     prime less than 2^27

   * These functions are defined in `gr' in the standard library
     directory.

   * They compute a Groebner basis of a polynomial list PLIST with
     respect to the variable order VLIST and the order type ORDER.
     `gr()' and `hgr()' compute a Groebner basis over the rationals and
     `gr_mod' computes over GF(P).

   * Variables not included in VLIST are regarded as included in the
     ground field.

   * `gr()' uses trace-lifting (an improvement by modular computation)
     and sugar strategy.  `hgr()' uses trace-lifting and a cured sugar
     strategy by using homogenization.

   * `dgr()' executes `gr()', `dgr()' simultaneously on two process in
     a child process list PROCS and returns the result obtained first.
     The results returned from both the process should be equal, but it
     is not known in advance which method is faster.  Therefore this
     function is useful to reduce the actual elapsed time.

   * The CPU time shown after an exection of `dgr()' indicates that of
     the master process, and most of the time corresponds to the time
     for communication.

     [0] load("gr")$
     [64] load("cyclic")$
     [74] G=gr(cyclic(5),[c0,c1,c2,c3,c4],2);
     [c4^15+122*c4^10-122*c4^5-1,...]
     [75] GM=gr_mod(cyclic(5),[c0,c1,c2,c3,c4],2,31991)$
     24628*c4^15+29453*c4^10+2538*c4^5+7363
     [76] (G[0]*24628-GM[0])%31991;
     0

References
     *Note `dp_gr_main dp_gr_mod_main': dp_gr_main dp_gr_mod_main,
     *Note `dp_ord': dp_ord.

