poly_coefficient_ring SciMax Toolbox poly_content

SciMax Toolbox >> poly_colon_ideal

poly_colon_ideal

Maxima Function

Calling Sequence

poly_colon_ideal (polylist1, polylist2, varlist)

Description

Returns the reduced Groebner basis of the colon ideal

I(polylist1):I(polylist2)

where polylist1 and polylist2 are two lists of polynomials.

poly_coefficient_ring SciMax Toolbox poly_content