grind SciMax Toolbox halfangles

SciMax Toolbox >> grobner_basis

grobner_basis

Maxima Function

Calling Sequence

grobner_basis ([expr_1, ..., expr_m])

Description

Returns a Groebner basis for the equations expr_1, ..., expr_m. The function polysimp can then be used to simplify other functions relative to the equations.

grobner_basis ([3*x^2+1, y*x])$
polysimp (y^2*x + x^3*9 + 2) ==> -3*x + 2

polysimp(f) yields 0 if and only if f is in the ideal generated by expr_1, ..., expr_m, that is, if and only if f is a polynomial combination of the elements of expr_1, ..., expr_m.

grind SciMax Toolbox halfangles