ASKSAGE: Sage Q&A Forum - RSS feedhttps://ask.sagemath.org/questions/Q&A Forum for SageenCopyright Sage, 2010. Some rights reserved under creative commons license.Mon, 27 Jul 2020 22:07:45 +0200suggestion for documentation of Multivariate Polynomialshttps://ask.sagemath.org/question/52699/suggestion-for-documentation-of-multivariate-polynomials/It might be helpful for non-experts if the documentation of Multivariate Polynomials were to mention explicitly that the ring being constructed is not the polynomial ring, but the polynomial ring wrt the term ordering, which is not always the same as the polynomial ring.
I found an explanation of the difference in Greuel & Pfister, "A Singular Introduction to Commutative Algebra".
My ignorance of the dependence of the ring on the term ordering was the source of my earlier question:
https://ask.sagemath.org/question/52623/find-quotient-of-two-multivariate-polynomials-which-are-divisible/
Daniel Friedan
Sun, 26 Jul 2020 20:46:42 +0200https://ask.sagemath.org/question/52699/suggestion-for-documentation-of-multivariate-polynomials/Comment by rburing for <p>It might be helpful for non-experts if the documentation of Multivariate Polynomials were to mention explicitly that the ring being constructed is not the polynomial ring, but the polynomial ring wrt the term ordering, which is not always the same as the polynomial ring.</p>
<p>I found an explanation of the difference in Greuel & Pfister, "A Singular Introduction to Commutative Algebra".</p>
<p>My ignorance of the dependence of the ring on the term ordering was the source of my earlier question:</p>
<p><a href="https://ask.sagemath.org/question/52623/find-quotient-of-two-multivariate-polynomials-which-are-divisible/">https://ask.sagemath.org/question/526...</a></p>
<p>Daniel Friedan</p>
https://ask.sagemath.org/question/52699/suggestion-for-documentation-of-multivariate-polynomials/?comment=52713#post-id-52713Ideally `PolynomialRing` should be changed to [disallow local term orderings](https://trac.sagemath.org/ticket/10708#comment:11) because the resulting ring is not a polynomial ring but rather a localization. In the meantime, I agree that a warning is appropriate.Mon, 27 Jul 2020 12:19:05 +0200https://ask.sagemath.org/question/52699/suggestion-for-documentation-of-multivariate-polynomials/?comment=52713#post-id-52713Answer by slelievre for <p>It might be helpful for non-experts if the documentation of Multivariate Polynomials were to mention explicitly that the ring being constructed is not the polynomial ring, but the polynomial ring wrt the term ordering, which is not always the same as the polynomial ring.</p>
<p>I found an explanation of the difference in Greuel & Pfister, "A Singular Introduction to Commutative Algebra".</p>
<p>My ignorance of the dependence of the ring on the term ordering was the source of my earlier question:</p>
<p><a href="https://ask.sagemath.org/question/52623/find-quotient-of-two-multivariate-polynomials-which-are-divisible/">https://ask.sagemath.org/question/526...</a></p>
<p>Daniel Friedan</p>
https://ask.sagemath.org/question/52699/suggestion-for-documentation-of-multivariate-polynomials/?answer=52708#post-id-52708Can you say what documentation page would need a rephrasing?
And where in Greuel & Pfister's book that is explained?
Would you propose an edit to the documentation?
One way to do that online in a few simple steps:
- browse the [SageMath documentation on multivariate polynomials](https://doc.sagemath.org/html/en/reference/polynomial_rings/polynomial_rings_multivar.html)
- decide what part of the documentation needs editing
- sign in to gitlab.com, after registering if needed
- visit [https://gitlab.com/sagemath/sage](https://gitlab.com/sagemath/sage)
- make sure you are on the develop branch (see the menu below the thick blue line)
- navigate to the file that needs editing
- the "Search or jump to..." box at the very top can help find the right file to edit
- make the edits you want to propose
- then send a merge request
A bot then opens a ticket on the Sage Trac server where the proposed change can be reviewed.Mon, 27 Jul 2020 08:03:55 +0200https://ask.sagemath.org/question/52699/suggestion-for-documentation-of-multivariate-polynomials/?answer=52708#post-id-52708Comment by Daniel Friedan for <p>Can you say what documentation page would need a rephrasing?</p>
<p>And where in Greuel & Pfister's book that is explained?</p>
<p>Would you propose an edit to the documentation?</p>
<p>One way to do that online in a few simple steps:</p>
<ul>
<li>browse the <a href="https://doc.sagemath.org/html/en/reference/polynomial_rings/polynomial_rings_multivar.html">SageMath documentation on multivariate polynomials</a></li>
<li>decide what part of the documentation needs editing</li>
<li>sign in to <a href="http://gitlab.com">gitlab.com</a>, after registering if needed</li>
<li>visit <a href="https://gitlab.com/sagemath/sage">https://gitlab.com/sagemath/sage</a></li>
<li>make sure you are on the develop branch (see the menu below the thick blue line)</li>
<li>navigate to the file that needs editing
<ul>
<li>the "Search or jump to..." box at the very top can help find the right file to edit</li>
</ul></li>
<li>make the edits you want to propose</li>
<li>then send a merge request</li>
</ul>
<p>A bot then opens a ticket on the Sage Trac server where the proposed change can be reviewed.</p>
https://ask.sagemath.org/question/52699/suggestion-for-documentation-of-multivariate-polynomials/?comment=52716#post-id-52716The dependence of the ring on the term ordering is explained in
Gert-Martin Greuel, Gerhard Pfister
"A Singular Introduction to Commutative Algebra"
with contributions by Olaf Bachmann, Christoph Lossen and Hans Schoenemann
Second, Extended Edition
Springer-Verlag
Section 1.2 Monomial Orderings
p. 16 "SINGULAR Example 1.2.13 (monomial orderings).
Global orderings are denoted with a p at the end, referring to “polynomial ring” while local orderings end with an s, referring to “series ring”. "
Section 1.5 Rings Associated to Monomial Orderings
p. 38 In this section we show that non–global monomial orderings lead to new rings which are localizations of the polynomial ring.
p. 39 Definition 1.5.1. For any monomial ordering > on Mon(x1,...,xn), we define K[x]> the localization of K[x]Mon, 27 Jul 2020 22:01:33 +0200https://ask.sagemath.org/question/52699/suggestion-for-documentation-of-multivariate-polynomials/?comment=52716#post-id-52716Comment by Daniel Friedan for <p>Can you say what documentation page would need a rephrasing?</p>
<p>And where in Greuel & Pfister's book that is explained?</p>
<p>Would you propose an edit to the documentation?</p>
<p>One way to do that online in a few simple steps:</p>
<ul>
<li>browse the <a href="https://doc.sagemath.org/html/en/reference/polynomial_rings/polynomial_rings_multivar.html">SageMath documentation on multivariate polynomials</a></li>
<li>decide what part of the documentation needs editing</li>
<li>sign in to <a href="http://gitlab.com">gitlab.com</a>, after registering if needed</li>
<li>visit <a href="https://gitlab.com/sagemath/sage">https://gitlab.com/sagemath/sage</a></li>
<li>make sure you are on the develop branch (see the menu below the thick blue line)</li>
<li>navigate to the file that needs editing
<ul>
<li>the "Search or jump to..." box at the very top can help find the right file to edit</li>
</ul></li>
<li>make the edits you want to propose</li>
<li>then send a merge request</li>
</ul>
<p>A bot then opens a ticket on the Sage Trac server where the proposed change can be reviewed.</p>
https://ask.sagemath.org/question/52699/suggestion-for-documentation-of-multivariate-polynomials/?comment=52717#post-id-52717I suggest adding a paragraph in Sage 9.1 Reference Manual: Polynomials, section 1.1 Constructors for Polynomial Rings, immediately after the first paragraph.
But I am singularly unqualified to write the paragraph. I barely grasp the meaning of "localization". I'm only suggesting this revision because I got into trouble because I was ignorant of the fact that "Constructors for polynomial rings" does not mean "Constructors of polynomial rings".Mon, 27 Jul 2020 22:07:45 +0200https://ask.sagemath.org/question/52699/suggestion-for-documentation-of-multivariate-polynomials/?comment=52717#post-id-52717