ID: 208.0 Parent: 207.0 Tree
Covered by:
215.0 216.0
x20*x14 x20*x14-1
PDER
VAR\IND x14 x20 x19
x14 1 0 0
x19 0 0 1
x20 0 1 0
FOCUS
x14^34*x20^24*x19^28-x20^23*x19^28*x14^33
x14^10*x19^8*x20^7
x14^4*x20^3*x19^3
x20*x19*x14
x14^3*x20^2*x19^2
x14^5*x20^3*x19^4
x20^2*x19^3*x14^4
x14^3*x19^2*x20
x19^2*x20*x14^2
x20*x19
x19^2*x20*x14
x19^2*x20
x19
DEPempty
MAP
x1 x14^17*x20^12*x19^14
x2 x20^5*x19^6*x14^7
x3 x20^9*x19^11*x14^13
IMAP
x14 x1/x2^6*x3^2
x19 x2^3/x1^2*x3
x20 x2^5/x3^4*x1
STACK
WBO (dim: 3)
J
x20*x14-1 1
c 1
Nempty
(E,a)
Ea
x14 14
x20 10
x19 12
C empty
TBO (dim: 3)
J
x20*x14-1 1
Nempty
E
x14
x20
x19
EMempty
C empty
SBO (dim: 3)
J
x20*x14-1 1
Nempty
Hempty
E
x14
x20
x19
C empty
Covered by:
215.0 216.0
x20*x14 x20*x14-1
ID: 208.0 Parent: 207.0 Tree