julia - 在 Julia 中声明多元商环

Question

我想声明多元环 $R[x_{1},x_{2},x_{3}]/(x_{2}^2-1, x_{1}^{3}x_{ 3}-2)$。如果有某种方法可以对任意数量的变量执行此操作，那将非常有帮助。

非常感谢，

Answer 1

我认为AbstractAlgebra.jl非常适合这个。您可以这样调用它:

julia> using AbstractAlgebra

julia> ring = ZZ
Integers

julia> S, (x, y, z) = PolynomialRing(ring, ["x", "y", "z"])
(Multivariate Polynomial Ring in x, y, z over Integers, AbstractAlgebra.Generic.MPoly{BigInt}[x, y, z])

julia> p1 = y^2 - 1
xy^2 - 1

julia> p2 = x^3 * z - 2
x^3*z - 2

julia> div(3 * (x^2 + y^3) * p1 + p2, p1)
3*x^2 + 3*y^3

julia> div(3 * (x^2 + y^3) * p1 + p2, p2)
1

抱歉，如果这不能回答您的问题，我的数学不太好。欲了解更多信息，请访问documentation .