John Cremona a écrit : > I have a power series f(x) in F[[x]] (where F is a finite field) which > I know to be a rational function p(x)/q(x) where p,q in F[x] have > degree at most n, and I want to find p and q. There is an algorithm > for this, like "rational reconstruction" to go from a real to a > rational using continued fraction. > > I could not find this implemented though there are quite a lot of > power series utilities and I might not recognise this if it has an > unfamiliar name. > > Does any one know if it is implemented?
It is, but for polynomials, not power series: sage: x = polygen(GF(17)) sage: (1-x+x^2-x^3).rational_reconstruct(x^4, 1, 1) (1, x + 1) -- Marc Mezzarobba -- To post to this group, send email to sage-support@googlegroups.com To unsubscribe from this group, send email to sage-support+unsubscr...@googlegroups.com For more options, visit this group at http://groups.google.com/group/sage-support URL: http://www.sagemath.org
