Hi William,

In agreement with Nils, f.valuation() should agree with -f.degree().
This should be a
valid sage session:

sage: f = x^3 + x^5 # = t^-3 + t^-5 = t^-5 (t^2 + 1) where t = 1/x
sage: f.valuation() # should be the valuation at infinity with
uniformizing parameter t
-5
sage: f.factor()
(x^2 + 1) * x^3
sage: (x^2+1).degree()*f.valuation(x^2+1) + x.degree()*f.valuation(x) +
f.valuation() == 0
True

The last line is the product formula (logarithmic version for
valuations).

In agreement with William, ord and valuation should be synonyms for
both integers and
polynomials.

> Note that polynomial code got re-arranged some in sage-1.8.1.2, so upgrade
> to that before working on this.

Should read sage-1.8.2.1?   But trying this on sage.math gives a
TypeError
rather than NotImplementedError for f.valuation(x).  So maybe
sage-1.8.2.2 when
it is available?

<type 'exceptions.TypeError'>: function takes exactly 0 arguments (1
given) 

--David


--~--~---------~--~----~------------~-------~--~----~
To post to this group, send email to sage-devel@googlegroups.com
To unsubscribe from this group, send email to [EMAIL PROTECTED]
For more options, visit this group at http://groups.google.com/group/sage-devel
URLs: http://sage.scipy.org/sage/ and http://modular.math.washington.edu/sage/
-~----------~----~----~----~------~----~------~--~---

Reply via email to