Ask Your Question

Revision history [back]

click to hide/show revision 1
initial version

Multiplication in Polynomial Rings

I am attempting to use substitute elements in a quotient ring into a formula and then multiply the results together, but I keep getting error messages. Here is my code:

R.<x> = QQ[x]

I = R.ideal(cyclotomic_polynomial(27)(x))

R27. = R.quotient(I)

f(y) = (1-y)-(1-y)^2/2+(1-y)^3/3

f(a)f(a^2)f(a^4)*f(a^5)

The error message that I get is this: "no canonical coercion from Univariate Quotient Polynomial Ring in a over Rational Field with modulus x^18 + x^9 + 1 to Callable function ring with argument y."

Any suggestions on where I am going wrong and how to fix this?

Multiplication in Polynomial Rings

I am attempting to use substitute elements in a quotient ring into a formula and then multiply the results together, but I keep getting error messages. Here is my code:

R.<x> = QQ[x]

QQ[x]

I = R.ideal(cyclotomic_polynomial(27)(x))

R.ideal(cyclotomic_polynomial(27)(x)) R27.<a> = R.quotient(I)

R27. = R.quotient(I)

f(y) = (1-y)-(1-y)^2/2+(1-y)^3/3

(1-y)-(1-y)^2/2+(1-y)^3/3

f(a)f(a^2)f(a^4)*f(a^5)

f(a)*f(a^2)*f(a^4)*f(a^5)

The error message that I get is this: "no this:

no canonical coercion from Univariate Quotient Polynomial Ring in a over Rational Field with modulus x^18 + x^9 + 1 to Callable function ring with argument y."

y.

Any suggestions on where I am going wrong and how to fix this?