ID: 436.0 Parent: 434.0 Tree
PDER
VAR\IND x7 x7^2-x8 x9
x7 1 0 0
x8 2*x7 -1 0
x9 0 0 1
FOCUS
x7^2*x9^4*(x7^2-x8)^4-x8*x9^4*(x7^2-x8)^4
x7*x9*(x7^2-x8)
x8*x9*(x7^2-x8)
x7
x9
DEPempty
MAP
x1 x7*x9^2*(x7^2-x8)^2
x2 x8*x9^2*(x7^2-x8)^2
x3 x9*(x7^2-x8)
IMAP
x7 x1/x3^2
x8 x2/x3^2
x9 -x3^5/(-x1^2+x2*x3^2)
STACK
WBO (dim: 3)
J
1 0
c 0
Nempty
(E,a)
Ea
x9 2
x7^2-x8 2
C empty