On Saturday, June 9, 2018 at 9:13:15 AM UTC+1, Marc Mezzarobba wrote: > > Travis Scrimshaw wrote: > > A casual user will almost certainly do > > > > 1 / x^k > > > > and then try to do a method on Laurent polynomials (say, iterate over > > such element). The rational functions code does not have many of the > > methods and features that Laurent polynomials have. > > Yes, but is that really a problem? In many cases, the sooner you realize > you missed a subtle point, the better... > > Incidentally, couldn't we alleviate all these issues with parents by > printing the (abbreviated name of) the parent by default when printing > an Element as the result of a command in the REPL? I'm thinking of > something like > > sage: 1 + 1 > 2 : ZZ > sage: 2/1 > 2 : QQ > sage: > sage: Pol.<x> = QQ[] > sage: x + 1 > x + 1 : QQ[x] > > and so on. >
I like this; some systems like Axiom are doing this. In a notebook/GUI environment one can have various enhancements, like type/Parent shown upon some mouse events, too. > -- > Marc > > -- 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.
