Dear all,

After some years of work, Burcin and others have finally managed to get 
#9880 into a state where we can hope to merge it quite soon.
The problem solved there is that the order used by pynac internally (and 
for printing) was not a Strict Weak Ordering and caused segfaults and 
incoherencies in some corner cases (the version currently included in Sage 
still has this problem although you will probably not encounter it under 
normal usage of symbolic stuff).
The solution was to switch back to the legacy GiNaC ordering for internal 
use (which is seemingly a SWO even though the converse is stated in GiNaC 
docs, at least we did not manage to produce segfaults or bad outputs even 
under a lot of stress) and modify the print ordering so that it is also a 
SWO (note that the GiNaC ordering cannot be used, it is fast, but somewhat 
random and does not fit well with other oredering used in Sage, let's say 
for multivariate polynomials).
Although we strived to get a print ordering which fits well into Sage, what 
we got is sensibly different from what pynac offered before (and which was 
broken).
And obviously, changing the print ordering for symbolic stuff changes the 
output of lots of doctests, which include doctests in various books 
included into Sage's documentation.
Whence this message to get feedback from the authors of these books, and 
others as well.

Best,
JP

-- 
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?hl=en.
For more options, visit https://groups.google.com/groups/opt_out.


Reply via email to