cmp

(f,g)->[cmp(f,f),cmp(f,g),cmp(g,f)]
[0, -1, 1]
[0, -1, 1]
[0, -1, 1]
[0, -1, 1]
[0, -1, 1]
[0, -1, 1]
[0, -1, 1]
[0, -1, 1]
  ***   at top-level: Mod(1,3)>0
  ***                         ^--
  *** _>_: forbidden comparison t_INTMOD , t_INT.
-1
[1, 1, 0]
[0, 1, 1]
1
0
  ***   at top-level: 1<='x
  ***                  ^----
  *** _<=_: forbidden comparison t_INT , t_POL.
  ***   at top-level: 1.<='x
  ***                   ^----
  *** _<=_: forbidden comparison t_REAL , t_POL.
  ***   at top-level: 1/2<='x
  ***                    ^----
  *** _<=_: forbidden comparison t_FRAC , t_POL.
Total time spent: 4