ID: 318.0 Parent: 317.0 Tree
Covered by:
324.0 325.0
x16*x20 x16*x20-1
PDER
VAR\IND x16 x19 x20
x16 1 0 0
x19 0 1 0
x20 0 0 1
FOCUS
x16^4*x20^24*x19^26-x19^26*x20^23*x16^3
x16*x20^5*x19^5
x16*x20^4*x19^4
x19^7*x20^6*x16
x16*x20^3*x19^3
x19^5*x20^4*x16
x19^4*x20^3*x16
x19^3*x20^2*x16
x19^3*x20^2
x19^2*x20
x19
DEPempty
MAP
x1 x16^2*x20^12*x19^13
x2 x20^7*x19^8*x16
x3 x20^8*x19^9*x16
IMAP
x16 x1/x3^5*x2^4
x19 x2^4/x1/x3^2
x20 x3^3/x2^5*x1
STACK
WBO (dim: 3)
J
x16*x20-1 1
c 1
Nempty
(E,a)
Ea
x16 1
x20 9
x19 10
C empty
TBO (dim: 3)
J
x16*x20-1 1
Nempty
E
x16
x20
x19
EMempty
C empty
SBO (dim: 3)
J
x16*x20-1 1
Nempty
Hempty
E
x16
x20
x19
C empty
Covered by:
324.0 325.0
x16*x20 x16*x20-1
ID: 318.0 Parent: 317.0 Tree