Comment by tmonteil for You can make a polynomial quotient ring:sage:...
@emmanuel-charpentier : i used `RR` to stay close to @only1sale question, I then explained that `QQ` could be used otherwise, i do not get your point.
View ArticleComment by Emmanuel Charpentier for You can make a polynomial quotient...
This solution has the drawback of introducing an inexact ring in otherwise exact computations...
View ArticleComment by only1sale for You can make a polynomial quotient ring:sage:...
Thanks a lot! This is exactly what I needed.
View ArticleAnswer by tmonteil for I need to implement the following formal structure...
You can make a polynomial quotient ring: sage: R. = RR[] sage: R Univariate Polynomial Ring in x over Real Field with 53 bits of precision sage: S = R.quotient(x^6-1) sage: S Univariate Quotient...
View ArticleAnswer by FrédéricC for I need to implement the following formal structure...
another way sage: R = Zmod(6) sage: A = R.algebra(QQ,category=CommutativeAdditiveSemigroups()) sage: x = A.gens()[1] sage: 3*x+x**4 3*B[1] + B[4] sage: _**4 120*B[1] + 136*B[4]
View ArticleMonomial with power modulo n
I need to implement the following formal structure $$ax^\gamma, \gamma \in \mathbb{Z}/n\mathbb{Z}, a \in \mathbb{R}$$ and $x$ is a formal variable. I tried ``` ZZ6 = Integers(6) x = var('x') x^ZZ6(9)...
View Article
