Excellent detective work! That gets it down to the following script:
var('r12,r13,r23')
var('m1,m2,m3')
assume(m1>0,m2>0) #removing this line lets the script complete without
trouble
A=(-((((-r23^2)+r13^2+r12^2)*(r23^2-r13^2+r12^2))/((m2+m1)*r12^2*r13*r23)+(2*((-r23^2)-r13^2+r12^2))/(m3*r13*r23))^2/(4*((4*(m3+m1))/(m1*m3)-(m2*((-r23^2)+r13^2+r12^2)^2)/(m1*(m2+m1)*r12^2*r13^2))))-(m1*(r23^2-r13^2+r12^2)^2)/(4*m2*(m2+m1)*r12^2*r23^2)+(m3+m2)/(m2*m3)
bool(A==0)
The error is definitely happening in maxima. It looks like some infinite
recursion somewhere. Sage does do some other customizations besides
"domain:complex", so perhaps there is something else that interacts badly.
It's hard to believe that the "assume(m1>0,m2>0)" command would suddenly
change an expression from being properly translated to maxima to causing a
memory corruption. A bad interaction between configuration options is a
much more likely scenario.
--
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.
