pankajsejwal / monomial-order Goto Github PK

Don't forget to put '*', sign of multiplication on maxima. Execute the lisp snippets before maxima code.

poly : -10x^3y^4z^7+7x^3y^8z^9-7x^3y^5z^4-10x^2y^2z^5+6x^4y^4z^3+6x^4y^3z^3+y^4z+2z^5+3xy^2z-7y^2*z;

spoly:x+2z^2+3yz+4xz+5y^2+6xy+7x^2+8xz^2+9y^2z+10xyz+11xy^2+12x^3+13y^2*z^2;

grevlexOrdering(poly,[x,y,z]); => 7x^3y^8z^9-10x^3y^4z^7-7x^3y^5z^4+6x^4y^4z^3+6x^4y^3z^3-10x^2y^2z^5+y^4z+2z^5+3xy^2z-7y^2*z

grevlexOrdering(poly,[z,x,y]); => 7x^3y^8z^9-10x^3y^4z^7-7x^3y^5z^4+6x^4y^4z^3+6x^4y^3z^3-10x^2y^2z^5+2z^5+y^4z+3xy^2z-7y^2*z

lexOrdering(poly,[x,y,z]); => 6x^4y^4z^3+6x^4y^3z^3+7x^3y^8z^9-7x^3y^5z^4-10x^3y^4z^7-10x^2y^2z^5+3xy^2z+y^4z-7y^2z+2*z^5

invlexOrdering(poly,[x,y,z]); => 7x^3y^8z^9-10x^3y^4z^7-10x^2y^2z^5+2z^5-7x^3y^5z^4+6x^4y^4z^3+6x^4y^3z^3+y^4z+3xy^2z-7y^2*z

neglexOrdering(spoly,[x,y,z]); => 2z^2+3yz+5y^2+9y^2z+13y^2z^2+x+4xz+8xz^2+6xy+10xyz+11xy^2+7x^2+12*x^3

revlexOrdering(poly,[x,y,z]); => -7y^2z+3xy^2z+y^4z+6x^4y^3z^3+6x^4y^4z^3-7x^3y^5z^4+2z^5-10x^2y^2z^5-10x^3y^4z^7+7x^3y^8*z^9

deglexOrdering(spoly,[x,y,z]); => 13y^2z^2+12x^3+11xy^2+10xyz+8xz^2+9y^2z+7x^2+6xy+4xz+5y^2+3yz+2*z^2+x

grevlexOrdering(spoly,[x,y,z]); => 13y^2z^2+12x^3+11xy^2+10xyz+9y^2z+8xz^2+7x^2+6xy+5y^2+4xz+3yz+2*z^2+x