On Wed, Apr 25, 2018 at 10:45 AM, Ralf Stephan <gtrw...@gmail.com> wrote: > On Tuesday, April 24, 2018 at 5:15:17 PM UTC+2, Erik Bray wrote: >> >> sqrt(2) * ((I - 1)*sqrt(2) - 2) >> >> Then for some reason it decides there's an overall coeffecient of -2!, > > > That is probably what should be fixed. > >> and rewrites the expression as: >> >> -2*sqrt(2)*(-(1/2*I - 1/2)*sqrt(2) + 1) >> >> when it passes that back through ex::construct_from_basic, it goes >> back into mul::eval again (because technically it's a new >> expression?) > > > A new one is created, yes, but still not marked as evaluated because things > could be further simplified. > > Another complication is that here the crash is sensitive to unrelated code > changes.
One other thing I should note is that in stepping through this it seems that the term it's picking as the "variable" is the (i - 1). I mean in theory something like that could be useful, but in this case it's obviously not a useful simplification. -- 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.
