Max |
Syntax |
Max(E_1:OBJECT,...,E_n:OBJECT):OBJECT Min(E_1:OBJECT,...,E_n:OBJECT):OBJECT Max(L:LIST):OBJECT Min(L:LIST):OBJECT |
Description |
Example |
/**/ Max([1,2,3]); 3 /**/ Max(1,2,3); 3 /**/ Min(1,2,3); 1 /**/ Use R ::= QQ[x,y,z]; /**/ Max(x^3*z, x^2*y^2); -- x^2y^2 > x^3z in the default ordering, DegRevLex x^2*y^2 /**/ Min(x^3*z, x^2*y^2); x^3*z /**/ Use R ::= QQ[x,y,z], DegLex; /**/ Max(x^3*z, x^2*y^2); -- x^3z > x^2y^2 in DegLex x^3*z |
See Also |