ID: 79.0 Parent: 77.0 Tree
Covered by:
80.0
x22*x12-1
PDER
VAR\IND x1 x22*x12-1 x22 x21
x1 1 0 0 0
x12 0 x23 -x23*x12 0
x21 0 0 0 1
x22 0 0 1 0
x23 0 0 -x23^2 0
FOCUS
x1^6*x12^55*x21^36*x22^25-x21^36*x22^24*x12^54*x1^6
x22^3*x21^4*x12^6
x12
x22*x21*x12^2
x21^3*x22^2*x12^2
x21^2*x22*x12^2
x21^2*x22*x12
x21^2*x22
x21
DEP
x23*x22-1
MAP
x1 x1
x2 x12^5*x21^3*x22^2*x1
x3 x22^7*x21^10*x12^15*x1
x4 x21^6*x22^4*x12^9*x1
IMAP
x1 x1
x12 x2^2/x1/x4
x21 x4^5/x2^3/x3^2
x22 x3^3*x1^2/x4^5
x23 x4^5/x3^3/x1^2
STACK
WBO (dim: 4)
J
x22*x12-1 1
c 1
Nempty
(E,a)
Ea
x1 5
x12 25
x21 15
C empty
TBO (dim: 4)
J
x22*x12-1 1
Nempty
E
x1
x12
x21
EM
x1
C empty
SBO (dim: 4)
J
x22*x12-1 1
Nempty
Hempty
E
x12
x21
C empty
Covered by:
80.0
x22*x12-1
ID: 79.0 Parent: 77.0 Tree