Maxima Function
set_up_dot_simplifications (eqns, check_through_degree)
set_up_dot_simplifications(eqns)
The eqns are
polynomial equations in non commutative variables.
The value of current_variables
is the
list of variables used for computing degrees. The equations must be
homogeneous, in order for the procedure to terminate.
If you have checked overlapping simplifications in dot_simplifications
above the degree of f, then the following is true:
dotsimp (f)
yields 0 if and only if f is in the
ideal generated by the equations, i.e.,
if and only if f is a polynomial combination
of the elements of the equations.
The degree is that returned by nc_degree
. This in turn is influenced by
the weights of individual variables.