Max([1,2,3]);
3
-------------------------------
Max(1,2,3);
3
-------------------------------
Min(1,2,3);
1
-------------------------------
Use R ::= QQ[x,y,z];
Max(x^3z, x^2y^2); -- x^2y^2 > x^3z in the default ordering, DegRevLex
x^2y^2
-------------------------------
Min(x^3z, x^2y^2);
x^3z
-------------------------------
Use R ::= QQ[x,y,z], DegLex;
Max(x^3z, x^2y^2); -- x^3z > x^2y^2 in DegLex
x^3z
-------------------------------
-- ordered by inclusion: a maximal element in the list is returned
Max(Ideal(x), Ideal(x^2), Ideal(x,y), Ideal(x-2,y-1));
Ideal(x, y)
-------------------------------
|