For constructing Gröbner Bases the following function is used:
algorithm, divisionInterface, system) |
algorithm
:
Value of algorithm |
Algorithm used |
---|---|
"IB" | algorithm Involutive Basis http://arXiv.org/math.AC/0501111 for any admissible order |
"JBI" | algorithm Janet Basis I http://arXiv.org/math.AC/0603161 for degree compatible orders (see. 4) |
"JBII/highest" | algorithm Janet Basis II http://arXiv.org/math.AC/0603161 with the option ``highest'' in its subalgorithm Update and for degree compatible orders (see. 4) |
"JBII/lowest" | algorithm Janet Basis II http://arXiv.org/math.AC/0603161 with the option ``lowest'' in its subalgorithm Update and for degree compatible orders (see. 4) |
divisionInterface
:
system
: