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