ID: 163.0 Parent: 161.0 Tree
PDER
VAR\IND x13 x10-x11 x9
x9 0 0 1
x10 0 1 -x11^2
x11 0 0 -x11^2
x12 0 -x12^2 x11^2*x12^2
x13 1 0 0
FOCUS
x13^8*(x10-x11)^8*x9^4*x10^2-x10^3*x13^8*(x10-x11)^8*x9^5
x13^2*(x10-x11)^2*x9
x13*(x10-x11)
x10*x13*(x10-x11)
x13*(x10-x11)
x13*(x10-x11)
x13
DEP
x11*x9-1
x12*x10-1
MAP
x1 x13^4*(x10-x11)^4*x9^2*x10
x2 x10*x13^2*(x10-x11)^2*x9
x3 x9^2*x13^3*(x10-x11)^3*x10
IMAP
x9 x3^2/x2/x1
x10 x2^2/x1
x11 x1/x3^2*x2
x12 x1/x2^2
x13 x3*x1^2/x2/(-x1^2+x2*x3^2)
STACK
WBO (dim: 3)
J
-x9 0
c 0
Nempty
(E,a)
Ea
x13 4
x10-x11 4
C empty