Le mercredi 20 juin 2018 00:22:07 UTC+2, Nils Bruin a écrit :
>
> On Tuesday, June 19, 2018 at 2:30:46 PM UTC-7, Richard_L wrote:
>>
>> It would be useful if one could override Sage's default "domain:complex",
>> at least until the Maxima fix comes through.
>>
>> One can: maxima_calculus.eval("domain: real;")
>
>
Thank you very much Nils for the tip! It fixes one of the manifold
examples: the hyperbolic plane, which illustrates the use of many
coordinate charts on H^2:
http://nbviewer.jupyter.org/github/sagemanifolds/SageManifolds/blob/master/Worksheets/v1.2/SM_hyperbolic_plane.ipynb
Actually, IIRC this notebook was broken after Sage 7.6, which introduced
some upgrade of Maxima: a seg fault occured in Maxima. Adding
maxima_calculus.eval("domain: real;")
at the top of the notebook (cf. cell [4]) removes entirely the issue.
A few data points: in this notebook, all symbolic variables are created (as
chart coordinates) by
SR.var(symbol, domain='real')
and some of them are subject to assumptions reflecting the declared
coordinate range, for instance
assume(R>0) and assume(R<1)
Best wishes,
Eric.
--
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.
