Introduction to differentiable manifolds in SageMath

[Eric Gourgoulhon]

Hi,

Andrzej Chrzeszczyk (Jan Kochanowski University of Kielce, Poland) has prepared a series of notebooks introducing differentiable manifolds at the textbook level with many examples from Sage and nice figures:

https://sagemanifolds.obspm.fr/intro_to_manifolds.html

Best wishes,

Eric.

[Niranjana K M]

Very nice. Good work..

Best regards

Niranjana

--
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+...@googlegroups.com.
To view this discussion on the web visit https://groups.google.com/d/msgid/sage-devel/cd97217c-6d59-4f30-ae2e-ace681a46ed5n%40googlegroups.com.

[William Stein]

I also put a copy of these beautiful notebooks here:

https://cocalc.com/wstein/support/IntroToManifolds

This has some pros and cons over nbviewer + mybinder (see
https://github.com/sagemathinc/cocalc/issues/6015).

> 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+...@googlegroups.com.
> To view this discussion on the web visit https://groups.google.com/d/msgid/sage-devel/cd97217c-6d59-4f30-ae2e-ace681a46ed5n%40googlegroups.com.

--
William (http://wstein.org)

[Eric Gourgoulhon]

Le vendredi 24 juin 2022 à 18:52:00 UTC+2, wst...@gmail.com a écrit :

I also put a copy of these beautiful notebooks here:

https://cocalc.com/wstein/support/IntroToManifolds

Thanks!

There is some issue in the latex display of manifold maps:

ParseError: KaTeX parse error: Undefined control sequence: \mbox at position 96: …thbb{E}^{2} \\ \̲m̲b̲o̲x̲{on}\ A : & \ph…

cf. cell [2] of https://cocalc.com/wstein/support/IntroToManifolds/files/04Manifold_Spheres.ipynb

 

This has some pros and cons over nbviewer + mybinder (see
https://github.com/sagemathinc/cocalc/issues/6015).

Indeed, mybinder + Sage is broken at the moment (*). It would be nice to have an alternative solution on CoCalc!

Eric.

(*)  mybinder + Sage used to work quite reasonably (by means of Sage's Docker images) some 2 years ago or so.

[Dima Pasechnik]

On Fri, 24 Jun 2022, 19:17 Eric Gourgoulhon, <egourg...@gmail.com> wrote:

Le vendredi 24 juin 2022 à 18:52:00 UTC+2, wst...@gmail.com a écrit :

I also put a copy of these beautiful notebooks here:

https://cocalc.com/wstein/support/IntroToManifolds

Thanks!

There is some issue in the latex display of manifold maps:

ParseError: KaTeX parse error: Undefined control sequence: \mbox at position 96: …thbb{E}^{2} \\ \̲m̲b̲o̲x̲{on}\ A : & \ph…

cf. cell [2] of https://cocalc.com/wstein/support/IntroToManifolds/files/04Manifold_Spheres.ipynb

 

This has some pros and cons over nbviewer + mybinder (see
https://github.com/sagemathinc/cocalc/issues/6015).

Indeed, mybinder + Sage is broken at the moment (*). It would be nice to have an alternative solution on CoCalc!

try GitPod, maybe?

Eric.

(*)  mybinder + Sage used to work quite reasonably (by means of Sage's Docker images) some 2 years ago or so.

--
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+...@googlegroups.com.

To view this discussion on the web visit https://groups.google.com/d/msgid/sage-devel/968791fe-ddb2-4ae5-92e2-1c1b255e5211n%40googlegroups.com.

[William Stein]

On Fri, Jun 24, 2022 at 11:17 AM Eric Gourgoulhon
<egourg...@gmail.com> wrote:
>
>
>
> Le vendredi 24 juin 2022 à 18:52:00 UTC+2, wst...@gmail.com a écrit :
>>
>>
>> I also put a copy of these beautiful notebooks here:
>>
>> https://cocalc.com/wstein/support/IntroToManifolds
>>
>
> Thanks!
>
> There is some issue in the latex display of manifold maps:
> ParseError: KaTeX parse error: Undefined control sequence: \mbox at position 96: …thbb{E}^{2} \\ \̲m̲b̲o̲x̲{on}\ A : & \ph…

Thanks -- I've created this issue in case you're curious about the situation:

https://github.com/sagemathinc/cocalc/issues/6019

In particular, I think it would be better if the latex representation
output by sage manifolds used "\text{on}" instead of "\mbox{on}";
however, I'll add a workaround in CoCalc so that isn't necessary.

>
> cf. cell [2] of https://cocalc.com/wstein/support/IntroToManifolds/files/04Manifold_Spheres.ipynb
>
>>
>> This has some pros and cons over nbviewer + mybinder (see
>> https://github.com/sagemathinc/cocalc/issues/6015).
>>
>>
>
> Indeed, mybinder + Sage is broken at the moment (*). It would be nice to have an alternative solution on CoCalc!
>
> Eric.
>
> (*) mybinder + Sage used to work quite reasonably (by means of Sage's Docker images) some 2 years ago or so.
>
>

> --
> 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+...@googlegroups.com.

> To view this discussion on the web visit https://groups.google.com/d/msgid/sage-devel/968791fe-ddb2-4ae5-92e2-1c1b255e5211n%40googlegroups.com.



--
William (http://wstein.org)

[Eric Gourgoulhon]

Le samedi 25 juin 2022 à 17:31:10 UTC+2, wst...@gmail.com a écrit :

> There is some issue in the latex display of manifold maps:
> ParseError: KaTeX parse error: Undefined control sequence: \mbox at position 96: …thbb{E}^{2} \\ \̲m̲b̲o̲x̲{on}\ A : & \ph…

Thanks -- I've created this issue in case you're curious about the situation:

https://github.com/sagemathinc/cocalc/issues/6019

In particular, I think it would be better if the latex representation
output by sage manifolds used "\text{on}" instead of "\mbox{on}";
however, I'll add a workaround in CoCalc so that isn't necessary.

IIRC, I used \mbox instead of \text because \mbox is plain LaTeX, while \text requires the package amstext, so I naively thought that \mbox was more robust. The katex example shows that it is rather the converse. So yes, we may change \mbox to \text. Note that \mbox is quite heavily used in all Sage: running

grep -r '\\mbox'

from src/sage returns 206 lines, among which 34 in src/sage/manifolds.

Eric.

[William Stein]

I think what happened is that the problem \mbox tries to solve is
solved in a slightly better way by other commands like \text. As a
result katex only implemented the better solution. Your reasoning to
use \mbox instead \of text might be a reasonable argument for keeping
the current behavior in Sage, despite this annoying katex situation.
Regarding CoCalc, yesterday I added an alias so that now our katex
rendering works with \mbox (it just sets \mbox to \text), so these
sage manifolds notebooks all look fine now.

William

> grep -r '\\mbox'
> from src/sage returns 206 lines, among which 34 in src/sage/manifolds.

>
> 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+...@googlegroups.com.

> To view this discussion on the web visit https://groups.google.com/d/msgid/sage-devel/c103e430-0e8f-4780-a5de-47c5398d7446n%40googlegroups.com.



--
William (http://wstein.org)

[William Stein]

Hi,

Proxying of URL's from github, etc., is now live in cocalc share
server. See the comment here about how it works:
https://github.com/sagemathinc/cocalc/issues/6015#issuecomment-1172967091

For example

https://cocalc.com/github/sagemanifolds/IntroToManifolds

is now actually proxying exactly what is on github directly. Also,
you can easily click "Edit" and in about 25 seconds you're running a
notebook with Sage!

William

--
William (http://wstein.org)

[Samuel Lelievre]

2022-07-02 21:49:53 UTC, William Stein:

>
> Proxying of URL's from github, etc., is now live
> in cocalc share server. See the comment here
> about how it works:
>
> https://github.com/sagemathinc/cocalc/issues/6015#issuecomment-1172967091
>
> For example
>
> https://cocalc.com/github/sagemanifolds/IntroToManifolds
>
> is now actually proxying exactly what is on github directly.
> Also, you can easily click "Edit" and in about 25 seconds
> you're running a notebook with Sage!

Wonderful. I guess it can work for GAP too if one

installs the GAP Jupyter kernel.

Installing the GAP Jupyter kernel CoCalc-wide

is tracked at:

https://github.com/sagemathinc/cocalc/issues/1706

[kcrisman]

By the way, addressing the original topic, there is still the possibility of adapting these to the Sage tutorials at https://doc.sagemath.org/html/en/thematic_tutorials/index.html which would be a great contribution - just a suggestion in case the authors are interested.