Hi Simon!

On Sep 20, 4:18 pm, Simon King <simon.k...@uni-jena.de> wrote:
> However, note that since sage-4.7.2.alpha1 Sage finally has "proper"
> weighted degree term orders - that was trac ticket #11316. So, it will
> be in the next release.

Yes! I'm aware of (& delighted with) that.

> > sage: (x^2).degree(x)
>
> > >>>> 2
>
> > I didn't find the docstring helpful on this.
>
> No? I find it rather clear.

Clear is one thing; helpful is another. :-) The documentation is clear
until you encounter unexpected behavior that the it doesn't clarify.
In that case, it's not helpful. :-)

By contrast, the Singular documentation *is* helpful, since it makes
it quite clear that this is the expected behavior.

> If the optional parameter x is provided,
> then p.degree(x) is the degree of p in x, while it is the total degree
> if there is no optional parameter. And of course, x^2 has degree 2 in
> x, but has total degree 2 times the degree of x (thus, 6).

But the degree of x *isn't* 3; that's the *weight* of x, or at best
the weighted-degree, even in Singular-speak (pp. 2, 13 of the Greuel-
Pfister text).

> Do you have an alternative wording for the doc string?

Add the word "weighted", as in the Singular documentation, and add an
example (such as the one I've given). If that seems okay with you,
I'll work on that.

john

-- 
To post to this group, send an email to sage-devel@googlegroups.com
To unsubscribe from this group, send an email to 
sage-devel+unsubscr...@googlegroups.com
For more options, visit this group at http://groups.google.com/group/sage-devel
URL: http://www.sagemath.org

Reply via email to