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

i1 : R = QQ[x,y]; f = x^2*(x+y+1); P = ideal(x,y);

o3 : Ideal of R

i4 : b = localBFunction(f,P)

      2   3    1
o4 = s  + -s + -
          2    2

o4 : QQ[s]

i5 : factorBFunction b

                 1
o5 = (s + 1)(s + -)
                 2

o5 : Expression of class Product

i6 :