set_random_state SciMax Toolbox setcheck

SciMax Toolbox >> set_up_dot_simplifications

set_up_dot_simplifications

Maxima Function

Calling Sequence

set_up_dot_simplifications (eqns, check_through_degree)
set_up_dot_simplifications(eqns)

Description

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.

set_random_state SciMax Toolbox setcheck