ID: 227.0 Parent: 224.0 Tree
PDER
VAR\IND x16 x15 x13
x13 0 0 1
x15 0 1 0
x16 1 0 0
x17 -2*x13^2*x15*x16*x17^2 -x16^2*x13^2*x17^2 -2*x16^2*x15*x13*x17^2
FOCUS
x16^20*x13^38*x15^14-x15^13*x13^36*x16^18
x16^6*x13^11*x15^4
x16^3*x13^5*x15^2
x13^2*x15*x16
x16^2*x15*x13^3
x13^4*x16^2*x15
x16*x13^2
x13
x15*x13
2*x16^2*x15*x13^2
DEP
x17*(x16^2*x15*x13^2-1)-1
MAP
x1 x16^10*x13^19*x15^7
x2 x15^3*x13^8*x16^4
x3 x15^5*x13^14*x16^7
IMAP
x13 x3^2/x2/x1
x15 x2^7/x3^4
x16 1/x2^3/x3*x1^2
x17 -x2*x3^2/(-x1^2+x2*x3^2)
STACK
WBO (dim: 3)
J
x16^2*x15*x13^2-1 0
c 0
Nempty
(E,a)
Ea
x15 6
x16 8
x13 16
C empty