On 2015-02-23 11:05, John Cremona wrote:
It is rather hard to write all such
doctests to be invariant under such things, especially as doctests
also serve as examples for the reference manual, so you really do want
such an example which computes fundamental units *and displays them*
as a user would expect.
We could change the default representation of ideals such that a
"uniquely defined" generator is shown instead of whatever PARI answers.
For example: if PARI gives g as generator of the ideal, then try g*u for
all roots of unity(*) u and take the one with the shortest string
representation for example.
(*) In practice, variation is by roots of unity, most often even just
the sign. We could also do something with fundamental units, but then it
becomes more difficult to uniquely define a generator.
--
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 http://groups.google.com/group/sage-devel.
For more options, visit https://groups.google.com/d/optout.
