[ < ] | [ > ] | [ << ] | [ Up ] | [ >> ] | [Top] | [Contents] | [Index] | [ ? ] |
dp_gr_flags
, dp_gr_print
dp_gr_flags()
sets and shows various parameters for Groebner basis
computation.
["Print",1,"NoSugar",1,...]
. Names of parameters must be character
strings.
dp_gr_print()
is used to set and show the value of a parameter
Print
and PrintShort
.
Print=0
, PrintShort=0
Print=1
, PrintShort=0
Print=0
, PrintShort=1
dp_gr_main()
etc.
uses the value as a flag for showing intermediate informations.