>> sage: R.<x> = PolynomialRing(QQ) >> sage: (x + 1/x).parent() >> Fraction Field of Univariate Polynomial Ring in x over Rational Field > > Is it really expected by all users (I see a sum, > not a fraction)? I thought algebraists don't touch > symbolics with a long stick...
I would certainly yes! If f is in k[x] then I expect Sage to accept 1/f as the respective element in k(x). It would be annoying to have to convert explicitly (though, admittedly, the magic coercion sometimes causes computation being done in k(x) by mistake). And of course, adding an element in k(x) with one from k[x] gives something in k(x) without warning. Best, Johan -- You received this message because you are subscribed to the Google Groups "sage-devel" group. To unsubscribe from this group and stop receiving emails from it, send an email to sage-devel+unsubscr...@googlegroups.com. To post to this group, send email to sage-devel@googlegroups.com. Visit this group at https://groups.google.com/group/sage-devel. For more options, visit https://groups.google.com/d/optout.