-- -*- M2-comint -*- {* hash: -48999095 *}

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

i3 :