asir-contrib - poly_initial

poly_initial_coefficients(I): : It computes the coefficients of the initial ideal of I with respect to the given order.
poly_initial_coefficients(I | order=key0,v=key1): : This function allows optional variables order, v

The optional variable v is a list of variables. The order is specified by the optional variable order

Example:

 poly_initial_coefficients([x^2+y^2-4,x*y-1]|order=0,v=[x,y]);