(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