i1 : W = makeWA(QQ[x_1..x_3]); |
i2 : factorBFunction generalB ({x_2^2-x_1*x_3, x_1^3-x_3^2}, x_2) 5 9 11 11 13 29 31 35 37 o2 = (s + 2)(s + -)(s + -)(s + --)(s + --)(s + --)(s + --)(s + --)(s + --)(s + --) 2 4 4 6 6 12 12 12 12 o2 : Expression of class Product |