That's a bit puzzling. In the Sage code, line 36 defines the manifold over
the real field. That is supposed to be inherited by the chart in line 39:
M = Manifold(1*3,'R^3',field='real',start_index=1)
U = M.open_subset('U')
Rho.<r12,r13,r23> = U.chart("r12:(0,+oo) r13:(0,+oo) r23:(0,+oo)")
One therefore expects r12, etc. to be real.
- Richard
On Thursday, August 10, 2017 at 10:34:40 PM UTC-7, Robert Dodier wrote:
>
> On 2017-08-10, Richard_L <rich...@lozestech.com <javascript:>> wrote:
>
> > The following string sent to maxima causes a seg-fault and core dump:
>
> > '#$is
> >
> (equal(-(_SAGE_VAR_r13^2*_SAGE_VAR_r23-_SAGE_VAR_r23^3)/((-_SAGE_VAR_r23^4)+2*_SAGE_VAR_r13^2*_SAGE_VAR_r23^2-_SAGE_VAR_r13^4+_SAGE_VAR_r12^4),0))$'
>
>
>
> Looks like domain:complex and assume are both needed to trigger this
> error. declare(..., real) isn't needed to trigger it.
>
> ...
>
> A workaround might be to set domain:real instead of domain:complex.
>
> If someone can make a bug report and include these notes, that would be
> great. I didn't try to find a simpler example but maybe one exists.
>
> best,
>
> Robert Dodier
>
>
--
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.
