Skip to content

Commit 943c411

Browse files
committed
fixes polynomial_ring
1 parent 85e9549 commit 943c411

File tree

2 files changed

+3
-3
lines changed

2 files changed

+3
-3
lines changed

src/examples/cyclic.jl

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -7,7 +7,7 @@ Return the Cyclic ideal in the variables of `R`.
77
```jldoctest
88
julia> using AlgebraicSolving
99
10-
julia> R, vars = PolynomialRing(QQ, ["x$i" for i in 1:4])
10+
julia> R, vars = polynomial_ring(QQ, ["x$i" for i in 1:4])
1111
(Multivariate polynomial ring in 4 variables over QQ, QQMPolyRingElem[x1, x2, x3, x4])
1212
1313
julia> cyclic(R)

src/siggb/siggb.jl

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -34,7 +34,7 @@ signature and the second the underlying polynomial.
3434
```jldoctest
3535
julia> using AlgebraicSolving
3636
37-
julia> R, vars = PolynomialRing(GF(17), ["x$i" for i in 1:4])
37+
julia> R, vars = polynomial_ring(GF(17), ["x$i" for i in 1:4])
3838
(Multivariate polynomial ring in 4 variables over GF(17), fpMPolyRingElem[x1, x2, x3, x4])
3939
4040
julia> F = AlgebraicSolving.cyclic(R)
@@ -228,7 +228,7 @@ end
228228
# homogenize w.r.t. the last variable
229229
function _homogenize(F::Vector{P}) where {P <: MPolyRingElem}
230230
R = parent(first(F))
231-
S, vars = PolynomialRing(base_ring(R), ["x$i" for i in 1:nvars(R)+1],
231+
S, vars = polynomial_ring(base_ring(R), ["x$i" for i in 1:nvars(R)+1],
232232
ordering = :degrevlex)
233233
res = typeof(first(F))[]
234234
for f in F

0 commit comments

Comments
 (0)