Skip to content

Commit ec9f1cb

Browse files
committed
fixes doctests for katsura
1 parent 8de59c5 commit ec9f1cb

File tree

1 file changed

+2
-9
lines changed

1 file changed

+2
-9
lines changed

src/examples/katsura.jl

Lines changed: 2 additions & 9 deletions
Original file line numberDiff line numberDiff line change
@@ -25,10 +25,7 @@ Also note that indices have been shifted to start from 1.
2525
julia> using AlgebraicSolving
2626
2727
julia> katsura(2)
28-
3-element Vector{Nemo.fmpq_mpoly}:
29-
x1 + 2*x2 + 2*x3 - 1
30-
x1^2 + 2*x2^2 + 2*x3^2 - x1
31-
2*x1*x2 + 2*x2*x3 - x2
28+
Nemo.fmpq_mpoly[x1 + 2*x2 + 2*x3 - 1, x1^2 + 2*x2^2 + 2*x3^2 - x1, 2*x1*x2 + 2*x2*x3 - x2]
3229
```
3330
"""
3431
function katsura(log_solutions::Int, characteristic::Int=0)
@@ -56,11 +53,7 @@ julia> R, _ = QQ["x", "y", "z"]
5653
(Multivariate Polynomial Ring in x, y, z over Rational Field, Nemo.fmpq_mpoly[x, y, z])
5754
5855
julia> katsura(R)
59-
3-element Vector{Nemo.fmpq_mpoly}:
60-
x + 2*y + 2*z - 1
61-
x^2 - x + 2*y^2 + 2*z^2
62-
2*x*y + 2*y*z - y
63-
56+
Nemo.fmpq_mpoly[x + 2*y + 2*z - 1, x^2 - x + 2*y^2 + 2*z^2, 2*x*y + 2*y*z - y]
6457
```
6558
"""
6659
function katsura(R::MPolyRing)

0 commit comments

Comments
 (0)