Re: [sage-devel] Introduction to differentiable manifolds in SageMath

[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.

-- 
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 view this discussion on the web visit 
https://groups.google.com/d/msgid/sage-devel/9f7800b4-30c0-4315-8ad7-e88abc643443n%40googlegroups.com.

Re: [sage-devel] Introduction to differentiable manifolds in SageMath

[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


-- 
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 view this discussion on the web visit 
https://groups.google.com/d/msgid/sage-devel/ed667767-ebd1-4869-ad56-f0d18b87412dn%40googlegroups.com.

Re: [sage-devel] Introduction to differentiable manifolds in SageMath

[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


On Sun, Jun 26, 2022 at 11:42 AM William Stein  wrote:
>
> On Sun, Jun 26, 2022 at 1:42 AM Eric Gourgoulhon  
> wrote:
> >
> > 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
>
> 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+unsubscr...@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 (http://wstein.org)

-- 
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 view this discussion on the web visit 
https://groups.google.com/d/msgid/sage-devel/CACLE5GD5r%2BWre42M7QN2TT9cy8DMAQiEGfU33tXvHVVem6f7nw%40mail.gmail.com.

Re: [sage-devel] Introduction to differentiable manifolds in SageMath

[William Stein]

On Sun, Jun 26, 2022 at 1:42 AM Eric Gourgoulhon  wrote:
>
> 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

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+unsubscr...@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)

-- 
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 view this discussion on the web visit 
https://groups.google.com/d/msgid/sage-devel/CACLE5GAfCGT7NdhPhJrDJMu0gSYEXgWDg3FCgp3kDrDQL0Vbtg%40mail.gmail.com.

Re: [sage-devel] Introduction to differentiable manifolds in SageMath

[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.

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

Re: [sage-devel] Introduction to differentiable manifolds in SageMath

[William Stein]

On Fri, Jun 24, 2022 at 11:17 AM Eric Gourgoulhon
 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+unsubscr...@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)

-- 
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 view this discussion on the web visit 
https://groups.google.com/d/msgid/sage-devel/CACLE5GBue5juR_OY-LU%2B5s-cHRRgx_Bg6HeiFm5NHk_4y%3DKhcA%40mail.gmail.com.

Re: [sage-devel] Introduction to differentiable manifolds in SageMath

[Dima Pasechnik]

On Fri, 24 Jun 2022, 19:17 Eric Gourgoulhon,  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+unsubscr...@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
> 
> .
>

-- 
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 view this discussion on the web visit 
https://groups.google.com/d/msgid/sage-devel/CAAWYfq3Yw-ntxMQBba%3DPwCmNLgB%3DkSuUWtv0Ce6SO0s4zEJbsA%40mail.gmail.com.

Re: [sage-devel] Introduction to differentiable manifolds in SageMath

[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. 


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

Re: [sage-devel] Introduction to differentiable manifolds in SageMath

[William Stein]

On Thu, Jun 23, 2022 at 7:38 AM Eric Gourgoulhon  wrote:
>
> 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
>

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+unsubscr...@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)

-- 
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 view this discussion on the web visit 
https://groups.google.com/d/msgid/sage-devel/CACLE5GDLrUSOtHL92vZr6Q2X2Mq14qrWPywCtvrQt6ukEQ9vRw%40mail.gmail.com.

Re: [sage-devel] Introduction to differentiable manifolds in SageMath

[Niranjana K M]

Very nice. Good work..

Best regards
Niranjana

On Thu, 23 Jun 2022, 8:08 pm Eric Gourgoulhon, 
wrote:

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

-- 
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 view this discussion on the web visit 
https://groups.google.com/d/msgid/sage-devel/CAMcUJ1uWEWORdJzrBgrFAQofn08iiLh-NbMrqnvw-B9y%3DV-jcw%40mail.gmail.com.