División por polinomios factorizados en Macaulay2

Question

Tengo este problema al dividir por polinomios factorizados, por ejemplo

(x_1^4-x_2^4)//(factor(x_1^2-x_2^2))

no funciona porque el numerador es de "clase R" (R es el anillo kk[x_1..x_n]) y el denominador es de "clase Producto".

¿Cómo convertir los elementos de la clase Product en la clase R?

Le agradecería su ayuda.

Answer 1

Puede utilizar value de la siguiente manera.

$ M2
Macaulay2, version 1.6
with packages: ConwayPolynomials, Elimination, IntegralClosure, LLLBases, PrimaryDecomposition, ReesAlgebra, TangentCone

i1 : kk = QQ

o1 = QQ

o1 : Ring

i2 : R = kk[x_1..x_5]

o2 = R

o2 : PolynomialRing

i3 : p = (x_1^4-x_2^4)

      4    4
o3 = x  - x
      1    2

o3 : R

i4 : q = factor(x_1^2-x_2^2)

o4 = (- x  + x )(x  + x )(-1)
         1    2   1    2

o4 : Expression of class Product

i5 : value(q)

       2    2
o5 = x  - x
       1    2

o5 : R

i6 : p // value(q)

       2    2
o6 = x  + x
       1    2

o6 : R