dp_gr_main
, dp_gr_mod_main
, dp_gr_f_main
, dp_weyl_gr_main
, dp_weyl_gr_mod_main
, dp_weyl_gr_f_main
gr()
,hgr()
and gr_mod()
are all interfaces to these functions. Functions whose names
contain weyl are those for computation in Weyl algebra.
dp_gr_f_main()
and dp_weyl_gr_f_main()
are functions for Groebner basis computation
over various finite fields. Coefficients of input polynomials
must be converted to elements of a finite field
currently specified by setmod_ff()
.
dp_gr_mod_main()
, modular means a computation over
GF(modular).
For dp_gr_main()
, modular has the following mean.
lprime()
, starting from lprime(0)
, until
the computation succeeds.
gr(P,V,O)
, hgr(P,V,O)
and gr_mod(P,V,O,M)
execute
dp_gr_main(P,V,0,1,O)
, dp_gr_main(P,V,1,1,O)
and dp_gr_mod_main(P,V,0,M,O)
respectively.
dp_gr_flags()
, other then by homo and modular.
dp_ord
,
section dp_gr_flags
, dp_gr_print
,
section gr
, hgr
, gr_mod
, dgr
,
section setmod_ff
,
section Controlling Groebner basis computations
Go to the first, previous, next, last section, table of contents.