ID: 658.0 Parent: 540.0 Tree
Blown up to:
663.0 664.0
x21 x23
PDER
VAR\IND x23 x2 x21 x10
x2 0 1 0 0
x10 0 0 0 1
x21 0 0 1 0
x23 1 0 0 0
FOCUS
x23^4*x21^7*x10^42*x2^6-x10^42*x23^6*x21^6*x2^6
x23*x21*x10^6
x21*x10^5
x23*x21*x10^5
x21*x10^4
x23*x21*x10^4
x21*x10^3
x23*x21*x10^3
x21*x10^2
x23*x21*x10^2
x21*x10
x23*x21*x10
x21
x23*x21
x23
DEPempty
MAP
x1 x23*x21*x10^6*x2
x2 x2
x3 x21^2*x10^12*x23*x2
x4 x10^7*x23*x21*x2
IMAP
x2 x2
x10 x4/x1
x21 x3/x4^6*x1^5
x23 x1^2/x2/x3
STACK
WBO (dim: 4)
J
-x23^2+x21 1
c 1
Nempty
(E,a)
Ea
x2 5
x23 3
x10 30
x21 4
C empty
TBO (dim: 4)
J
-x23^2+x21 1
Nempty
E
x2
x23
x10
x21
EM
x2
x23
x10
x21
C empty
SBO (dim: 4)
J
-x23^2+x21 1
x21 1
Nempty
Hempty
Eempty
C empty
WBO (dim: 3)
J
-x23^2 2
c 2
N
x21
(E,a)empty
C empty
TBO (dim: 3)
J
-x23^2 2
N
x21
Eempty
EMempty
C empty
SBO (dim: 3)
J
-x23^2 2
N
x21
Hempty
Eempty
C empty
Blown up to:
663.0 664.0
x21 x23
ID: 658.0 Parent: 540.0 Tree