standard.lib
// biggest int max(2,3); ==> 3 max(1,4,3); ==> 4 // lexicographically biggest intvec max(intvec(1,2),intvec(0,1),intvec(1,1)); ==> 1,2 // polynopmial with biggest leading monomial ring r = 0,x,dp; max(x+1,x2+x); ==> x2+x