DEBSOURCES
Skip Quicknav
sources / frobby / 0.9.7-1 / test / frob / bug5.multi
12345678910
R = QQ[x1, x2, x3, x4]; p = -x2^2*x3*x4 + x2^2*x3 + x2^2*x4 + -x2^2 + x3*x4 + -x3 + -x4 + 1;