Skip to content

Commit

Permalink
sagemathgh-37376: src/sage/rings/polynomial: Link to spkg page by label
Browse files Browse the repository at this point in the history
<!-- ^^^^^
Please provide a concise, informative and self-explanatory title.
Don't put issue numbers in there, do this in the PR body below.
For example, instead of "Fixes sagemath#1234" use "Introduce new method to
calculate 1+1"
-->
<!-- Describe your changes here in detail -->
From
sagemath#36622 (comment)

<!-- Why is this change required? What problem does it solve? -->
<!-- If this PR resolves an open issue, please link to it here. For
example "Fixes sagemath#12345". -->
<!-- If your change requires a documentation PR, please link it
appropriately. -->

### 📝 Checklist

<!-- Put an `x` in all the boxes that apply. -->
<!-- If your change requires a documentation PR, please link it
appropriately -->
<!-- If you're unsure about any of these, don't hesitate to ask. We're
here to help! -->
<!-- Feel free to remove irrelevant items. -->

- [x] The title is concise, informative, and self-explanatory.
- [ ] The description explains in detail what this PR is about.
- [x] I have linked a relevant issue or discussion.
- [ ] I have created tests covering the changes.
- [ ] I have updated the documentation accordingly.

### ⌛ Dependencies

<!-- List all open PRs that this PR logically depends on
- sagemath#12345: short description why this is a dependency
- sagemath#34567: ...
-->

<!-- If you're unsure about any of these, don't hesitate to ask. We're
here to help! -->

URL: sagemath#37376
Reported by: Matthias Köppe
Reviewer(s): Frédéric Chapoton
  • Loading branch information
Release Manager committed Feb 19, 2024
2 parents de4ab91 + 61d7745 commit d769e0f
Show file tree
Hide file tree
Showing 4 changed files with 9 additions and 9 deletions.
6 changes: 3 additions & 3 deletions build/pkgs/configure/checksums.ini
Original file line number Diff line number Diff line change
@@ -1,4 +1,4 @@
tarball=configure-VERSION.tar.gz
sha1=0c93ffbc40ee55c429b82c6070817c0133a05013
md5=96e8d0c3aa48cab18b60499c4d303a73
cksum=2523075193
sha1=3c04c19a5028c6221ae3408e15b1ae05ae715463
md5=f57b73b92730c2ae658b790dce29528b
cksum=1231025923
2 changes: 1 addition & 1 deletion build/pkgs/configure/package-version.txt
Original file line number Diff line number Diff line change
@@ -1 +1 @@
81a374dc4dacba71cf071f981d496ff63b2b2acb
14374d421971ac96e24abb814f4ed7c4e1276d12
2 changes: 1 addition & 1 deletion src/sage/rings/polynomial/msolve.py
Original file line number Diff line number Diff line change
Expand Up @@ -8,7 +8,7 @@
This module provide implementations of some operations on polynomial ideals
based on msolve.
Note that the `optional package msolve <../../../../spkg/msolve.html>`_ must be installed.
Note that the :ref:`optional package msolve <spkg_msolve>` must be installed.
.. SEEALSO::
Expand Down
8 changes: 4 additions & 4 deletions src/sage/rings/polynomial/multi_polynomial_ideal.py
Original file line number Diff line number Diff line change
Expand Up @@ -2594,7 +2594,7 @@ def variety(self, ring=None, *, algorithm="triangular_decomposition", proof=True
{y: 0.3611030805286474?, x: 2.769292354238632?},
{y: 1, x: 1}]
We can also use the `optional package msolve <../../../../spkg/msolve.html>`_
We can also use the :ref:`optional package msolve <spkg_msolve>`
to compute the variety.
See :mod:`~sage.rings.polynomial.msolve` for more information. ::
Expand Down Expand Up @@ -2676,7 +2676,7 @@ def variety(self, ring=None, *, algorithm="triangular_decomposition", proof=True
on a toy implementation otherwise.
- With ``algorithm`` = ``"msolve"``, uses the
`optional package msolve <../../../../spkg/msolve.html>`_.
:ref:`optional package msolve <spkg_msolve>`.
Note that msolve uses heuristics and therefore
requires setting the ``proof`` flag to ``False``. See
:mod:`~sage.rings.polynomial.msolve` for more information.
Expand Down Expand Up @@ -4287,7 +4287,7 @@ def groebner_basis(self, algorithm='', deg_bound=None, mult_bound=None, prot=Fal
Macaulay2's ``GroebnerBasis`` command with the strategy "MGB" (if available)
``'msolve'``
`optional package msolve <../../../../spkg/msolve.html>`_ (degrevlex order)
:ref:`optional package msolve <spkg_msolve>` (degrevlex order)
``'magma:GroebnerBasis'``
Magma's ``Groebnerbasis`` command (if available)
Expand Down Expand Up @@ -4415,7 +4415,7 @@ def groebner_basis(self, algorithm='', deg_bound=None, mult_bound=None, prot=Fal
b*c - 19*c^2 + 10*b + 40*c, a + 2*b + 2*c - 1]
Over prime fields of small characteristic, we can also use the
`optional package msolve <../../../../spkg/msolve.html>`_::
:ref:`optional package msolve <spkg_msolve>`::
sage: R.<a,b,c> = PolynomialRing(GF(101), 3)
sage: I = sage.rings.ideal.Katsura(R,3) # regenerate to prevent caching
Expand Down

0 comments on commit d769e0f

Please sign in to comment.