Hi! Do you know in a given polynomial with a term order like"grevlex",how like grevlex, how can I distinct y>z>x $y>z>x$ insted of x>y>z $x>y>z$ in sage?