ID: 597.0 Parent: 536.0 Tree
Blown up to:
602.0 603.0
x22 x21
PDER
VAR\IND x22 x2 x21 x20
x2 0 1 0 0
x20 0 0 0 1
x21 0 0 1 0
x22 1 0 0 0
FOCUS
x22^35*x20^66*x2^6*x21^3-x20^66*x22^36*x2^6
x22^5*x20^9
x21*x20^8*x22^4
x22^4*x20^7
x21*x20^6*x22^3
x22^3*x20^5
x21*x20^4*x22^2
x20^3*x22^2
x21*x22*x20^2
x22*x20
x21*x20
x21
x22
DEPempty
MAP
x1 x22^5*x20^9*x2
x2 x2
x3 x21*x20^19*x22^10*x2
x4 x20^11*x22^6*x2
IMAP
x2 x2
x20 x4^5/x1^6*x2
x21 x3/x4^5*x1^4
x22 x1^11/x2^2/x4^9
STACK
WBO (dim: 4)
J
x21^3-x22 1
c 1
Nempty
(E,a)
Ea
x2 5
x22 25
x20 47
C empty
TBO (dim: 4)
J
x21^3-x22 1
Nempty
E
x2
x22
x20
EM
x2
x22
x20
C empty
SBO (dim: 4)
J
x21^3-x22 1
x22 1
Nempty
Hempty
Eempty
C empty
WBO (dim: 3)
J
x21^3 3
c 3
N
x22
(E,a)empty
C empty
TBO (dim: 3)
J
x21^3 3
N
x22
Eempty
EMempty
C empty
SBO (dim: 3)
J
x21^3 3
N
x22
Hempty
Eempty
C empty
Blown up to:
602.0 603.0
x22 x21
ID: 597.0 Parent: 536.0 Tree