Skip to content
This repository has been archived by the owner on Jan 30, 2023. It is now read-only.

Commit

Permalink
these doctests now use Singular, hence no more "toy implementation" w…
Browse files Browse the repository at this point in the history
…arning
  • Loading branch information
yyyyx4 committed Feb 21, 2022
1 parent ad9661b commit c490d80
Show file tree
Hide file tree
Showing 2 changed files with 0 additions and 3 deletions.
2 changes: 0 additions & 2 deletions src/sage/rings/finite_rings/residue_field.pyx
Original file line number Diff line number Diff line change
Expand Up @@ -126,12 +126,10 @@ And now over a large prime field::
sage: S.<X, Y, Z> = PolynomialRing(Rf, order='lex')
sage: I = ideal([2*X - Y^2, Y + Z])
sage: I.groebner_basis()
verbose 0 (...: multi_polynomial_ideal.py, groebner_basis) Warning: falling back to very slow toy implementation.
[X + 2199023255559*Z^2, Y + Z]
sage: S.<X, Y, Z> = PolynomialRing(Rf, order='deglex')
sage: I = ideal([2*X - Y^2, Y + Z])
sage: I.groebner_basis()
verbose 0 (...: multi_polynomial_ideal.py, groebner_basis) Warning: falling back to very slow toy implementation.
[Z^2 + 4398046511117*X, Y + Z]
"""

Expand Down
1 change: 0 additions & 1 deletion src/sage/schemes/hyperelliptic_curves/jacobian_morphism.py
Original file line number Diff line number Diff line change
Expand Up @@ -305,7 +305,6 @@ def cantor_composition(D1,D2,f,h,genus):
sage: H = HyperellipticCurve(f, 2*x); H
Hyperelliptic Curve over Finite Field of size 1000000000000000000000000000057 defined by y^2 + 2*x*y = x^7 + x^2 + 1
sage: J = H.jacobian()(F); J
verbose 0 (...: multi_polynomial_ideal.py, dimension) Warning: falling back to very slow toy implementation.
Set of rational points of Jacobian of Hyperelliptic Curve over
Finite Field of size 1000000000000000000000000000057 defined
by y^2 + 2*x*y = x^7 + x^2 + 1
Expand Down

0 comments on commit c490d80

Please sign in to comment.