Skip to content

Commit 9397a06

Browse files
edercederc
committed
fixes Nemo imports/exports
1 parent 6cb2837 commit 9397a06

File tree

4 files changed

+22
-22
lines changed

4 files changed

+22
-22
lines changed

‎src/algorithms/groebner-bases.jl‎

Lines changed: 7 additions & 7 deletions
Original file line numberDiff line numberDiff line change
@@ -27,13 +27,13 @@ At the moment the underlying algorithm is based on variants of Faugère's F4 Alg
2727
julia> using AlgebraicSolving
2828
2929
julia> R, (x,y,z) = polynomial_ring(GF(101),["x","y","z"], ordering=:degrevlex)
30-
(Multivariate polynomial ring in 3 variables over GF(101), Nemo.fpMPolyRingElem[x, y, z])
30+
(Multivariate polynomial ring in 3 variables over GF(101), fpMPolyRingElem[x, y, z])
3131
3232
julia> I = Ideal([x+2*y+2*z-1, x^2+2*y^2+2*z^2-x, 2*x*y+2*y*z-y])
33-
Nemo.fpMPolyRingElem[x + 2*y + 2*z + 100, x^2 + 2*y^2 + 2*z^2 + 100*x, 2*x*y + 2*y*z + 100*y]
33+
fpMPolyRingElem[x + 2*y + 2*z + 100, x^2 + 2*y^2 + 2*z^2 + 100*x, 2*x*y + 2*y*z + 100*y]
3434
3535
julia> eliminate(I, 2)
36-
1-element Vector{Nemo.fpMPolyRingElem}:
36+
1-element Vector{fpMPolyRingElem}:
3737
z^4 + 38*z^3 + 95*z^2 + 95*z
3838
```
3939
"""
@@ -81,20 +81,20 @@ At the moment the underlying algorithm is based on variants of Faugère's F4 Alg
8181
julia> using AlgebraicSolving
8282
8383
julia> R, (x,y,z) = polynomial_ring(GF(101),["x","y","z"], ordering=:degrevlex)
84-
(Multivariate polynomial ring in 3 variables over GF(101), Nemo.fpMPolyRingElem[x, y, z])
84+
(Multivariate polynomial ring in 3 variables over GF(101), fpMPolyRingElem[x, y, z])
8585
8686
julia> I = Ideal([x+2*y+2*z-1, x^2+2*y^2+2*z^2-x, 2*x*y+2*y*z-y])
87-
Nemo.fpMPolyRingElem[x + 2*y + 2*z + 100, x^2 + 2*y^2 + 2*z^2 + 100*x, 2*x*y + 2*y*z + 100*y]
87+
fpMPolyRingElem[x + 2*y + 2*z + 100, x^2 + 2*y^2 + 2*z^2 + 100*x, 2*x*y + 2*y*z + 100*y]
8888
8989
julia> groebner_basis(I)
90-
4-element Vector{Nemo.fpMPolyRingElem}:
90+
4-element Vector{fpMPolyRingElem}:
9191
x + 2*y + 2*z + 100
9292
y*z + 82*z^2 + 10*y + 40*z
9393
y^2 + 60*z^2 + 20*y + 81*z
9494
z^3 + 28*z^2 + 64*y + 13*z
9595
9696
julia> groebner_basis(I, eliminate=2)
97-
1-element Vector{Nemo.fpMPolyRingElem}:
97+
1-element Vector{fpMPolyRingElem}:
9898
z^4 + 38*z^3 + 95*z^2 + 95*z
9999
```
100100
"""

‎src/algorithms/solvers.jl‎

Lines changed: 10 additions & 10 deletions
Original file line numberDiff line numberDiff line change
@@ -216,13 +216,13 @@ is greater then zero an empty array is returned.
216216
julia> using AlgebraicSolving
217217
218218
julia> R,(x1,x2,x3) = polynomial_ring(QQ, ["x1","x2","x3"])
219-
(Multivariate polynomial ring in 3 variables over QQ, Nemo.QQMPolyRingElem[x1, x2, x3])
219+
(Multivariate polynomial ring in 3 variables over QQ, QQMPolyRingElem[x1, x2, x3])
220220
221221
julia> I = Ideal([x1+2*x2+2*x3-1, x1^2+2*x2^2+2*x3^2-x1, 2*x1*x2+2*x2*x3-x2])
222-
Nemo.QQMPolyRingElem[x1 + 2*x2 + 2*x3 - 1, x1^2 - x1 + 2*x2^2 + 2*x3^2, 2*x1*x2 + 2*x2*x3 - x2]
222+
QQMPolyRingElem[x1 + 2*x2 + 2*x3 - 1, x1^2 - x1 + 2*x2^2 + 2*x3^2, 2*x1*x2 + 2*x2*x3 - x2]
223223
224224
julia> rational_parametrization(I)
225-
AlgebraicSolving.RationalParametrization([:x1, :x2, :x3], Nemo.ZZRingElem[], 84*x^4 - 40*x^3 + x^2 + x, 336*x^3 - 120*x^2 + 2*x + 1, AbstractAlgebra.PolyRingElem[184*x^3 - 80*x^2 + 4*x + 1, 36*x^3 - 18*x^2 + 2*x])
225+
AlgebraicSolving.RationalParametrization([:x1, :x2, :x3], ZZRingElem[], 84*x^4 - 40*x^3 + x^2 + x, 336*x^3 - 120*x^2 + 2*x + 1, AbstractAlgebra.PolyRingElem[184*x^3 - 80*x^2 + 4*x + 1, 36*x^3 - 18*x^2 + 2*x])
226226
```
227227
"""
228228
function rational_parametrization(
@@ -269,18 +269,18 @@ the rational roots of the ideal.
269269
julia> using AlgebraicSolving
270270
271271
julia> R,(x1,x2,x3) = polynomial_ring(QQ, ["x1","x2","x3"])
272-
(Multivariate polynomial ring in 3 variables over QQ, Nemo.QQMPolyRingElem[x1, x2, x3])
272+
(Multivariate polynomial ring in 3 variables over QQ, QQMPolyRingElem[x1, x2, x3])
273273
274274
julia> I = Ideal([x1+2*x2+2*x3-1, x1^2+2*x2^2+2*x3^2-x1, 2*x1*x2+2*x2*x3-x2])
275-
Nemo.QQMPolyRingElem[x1 + 2*x2 + 2*x3 - 1, x1^2 - x1 + 2*x2^2 + 2*x3^2, 2*x1*x2 + 2*x2*x3 - x2]
275+
QQMPolyRingElem[x1 + 2*x2 + 2*x3 - 1, x1^2 - x1 + 2*x2^2 + 2*x3^2, 2*x1*x2 + 2*x2*x3 - x2]
276276
277277
julia> rat_sols = rational_solutions(I)
278-
2-element Vector{Vector{Nemo.QQFieldElem}}:
278+
2-element Vector{Vector{QQFieldElem}}:
279279
[1, 0, 0]
280280
[1//3, 0, 1//3]
281281
282282
julia> map(r->map(p->evaluate(p, r), I.gens), rat_sols)
283-
2-element Vector{Vector{Nemo.QQFieldElem}}:
283+
2-element Vector{Vector{QQFieldElem}}:
284284
[0, 0, 0]
285285
[0, 0, 0]
286286
```
@@ -365,13 +365,13 @@ is greater than zero an empty array is returned.
365365
julia> using AlgebraicSolving
366366
367367
julia> R,(x1,x2,x3) = polynomial_ring(QQ, ["x1","x2","x3"])
368-
(Multivariate polynomial ring in 3 variables over QQ, Nemo.QQMPolyRingElem[x1, x2, x3])
368+
(Multivariate polynomial ring in 3 variables over QQ, QQMPolyRingElem[x1, x2, x3])
369369
370370
julia> I = Ideal([x1+2*x2+2*x3-1, x1^2+2*x2^2+2*x3^2-x1, 2*x1*x2+2*x2*x3-x2])
371-
Nemo.QQMPolyRingElem[x1 + 2*x2 + 2*x3 - 1, x1^2 - x1 + 2*x2^2 + 2*x3^2, 2*x1*x2 + 2*x2*x3 - x2]
371+
QQMPolyRingElem[x1 + 2*x2 + 2*x3 - 1, x1^2 - x1 + 2*x2^2 + 2*x3^2, 2*x1*x2 + 2*x2*x3 - x2]
372372
373373
julia> real_solutions(I)
374-
4-element Vector{Vector{Nemo.QQFieldElem}}:
374+
4-element Vector{Vector{QQFieldElem}}:
375375
[5416829397//8589934592, 2708414699//8589934592, -2844258330290649520990905062759917788583//21778071482940061661655974875633165533184]
376376
[1, 0, 0]
377377
[1945971683//8589934592, 972985841//8589934592, 744426424910260862653434112767010536665//2722258935367507707706996859454145691648]

‎src/examples/katsura.jl‎

Lines changed: 3 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -25,7 +25,7 @@ Also note that indices have been shifted to start from 1.
2525
julia> using AlgebraicSolving
2626
2727
julia> katsura(2)
28-
Nemo.QQMPolyRingElem[x1 + 2*x2 + 2*x3 - 1, x1^2 + 2*x2^2 + 2*x3^2 - x1, 2*x1*x2 + 2*x2*x3 - x2]
28+
QQMPolyRingElem[x1 + 2*x2 + 2*x3 - 1, x1^2 + 2*x2^2 + 2*x3^2 - x1, 2*x1*x2 + 2*x2*x3 - x2]
2929
```
3030
"""
3131
function katsura(log_solutions::Int, characteristic::Int=0)
@@ -50,10 +50,10 @@ Returns the Katsura ideal in the given polynomial ring `R`.
5050
julia> using AlgebraicSolving
5151
5252
julia> R, _ = QQ["x", "y", "z"]
53-
(Multivariate polynomial ring in 3 variables over QQ, Nemo.QQMPolyRingElem[x, y, z])
53+
(Multivariate polynomial ring in 3 variables over QQ, QQMPolyRingElem[x, y, z])
5454
5555
julia> katsura(R)
56-
Nemo.QQMPolyRingElem[x + 2*y + 2*z - 1, x^2 - x + 2*y^2 + 2*z^2, 2*x*y + 2*y*z - y]
56+
QQMPolyRingElem[x + 2*y + 2*z - 1, x^2 - x + 2*y^2 + 2*z^2, 2*x*y + 2*y*z - y]
5757
```
5858
"""
5959
function katsura(R::MPolyRing)

‎src/exports.jl‎

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -1,3 +1,3 @@
1-
export polynomial_ring, MPolyRing, GFElem, MPolyRingElem, finite_field, GF,
2-
characteristic, degree, ZZ, QQ, vars, nvars, ngens, ZZRingElem, QQFieldElem, QQPolyRingElem,
1+
export polynomial_ring, MPolyRing, GFElem, MPolyRingElem, finite_field, GF, fpMPolyRingElem
2+
characteristic, degree, ZZ, QQ, vars, nvars, ngens, ZZRingElem, QQFieldElem, QQMPolyRingElem,
33
base_ring, coefficient_ring, evaluate, prime_field

0 commit comments

Comments
 (0)