ID: 770.0 Parent: 767.0 Tree
Blown up to:
781.0 782.0
x18 x17
PDER
VAR\IND x12 x17 x3 x18
x3 0 0 1 0
x12 1 0 0 0
x17 0 1 0 0
x18 0 0 0 1
FOCUS
x12^18*x18^11*x3^6*x17^2-x18^12*x12^18*x3^6
x18*x12^2
x12^8*x18^5*x17
x17*x12^5*x18^3
x12
x17*x12^4*x18^3
x17*x12^3*x18^2
x17*x12^2*x18
x17*x12
x17
x18
DEPempty
MAP
x1 x12^2*x18*x3
x2 x17*x12^8*x18^5*x3
x3 x3
x4 x18^2*x12^3*x3
IMAP
x3 x3
x12 x1^2/x3/x4
x17 x3^2/x4^2*x2/x1
x18 x4^2/x1^3*x3
STACK
WBO (dim: 4)
J
x17^2-x18 1
c 1
Nempty
(E,a)
Ea
x3 5
x18 6
x12 10
C empty
TBO (dim: 4)
J
x17^2-x18 1
Nempty
E
x3
x18
x12
EM
x3
x18
x12
C empty
SBO (dim: 4)
J
x17^2-x18 1
x18 1
Nempty
Hempty
Eempty
C empty
WBO (dim: 3)
J
x17^2 2
c 2
N
x18
(E,a)empty
C empty
TBO (dim: 3)
J
x17^2 2
N
x18
Eempty
EMempty
C empty
SBO (dim: 3)
J
x17^2 2
N
x18
Hempty
Eempty
C empty
Blown up to:
781.0 782.0
x18 x17
ID: 770.0 Parent: 767.0 Tree