Re: [sage-devel] Re: Build issue for wheel for scipy OS X Catalina

2021-01-07 Thread Jack Wimberley
Hi Zach and Masoud,

Thanks for the suggestions! I tried fix_mac_sage and this worked perfectly.

Best,

Jack
On Thursday, January 7, 2021 at 4:31:21 PM UTC-5 maso...@umbc.edu wrote:

> Jack,
>
> I had the same problem. Suggested by Nathan Dunfield, I followed the steps 
> in https://github.com/3-manifolds/fix_mac_sage, and Sage is now working 
> in the Jupyter environment on my mac. I believe this solution is the same 
> as the first option of Zachary's response. 
>
> Masoud
>
> On Thu, Jan 7, 2021 at 3:45 PM Zachary Scherr  wrote:
>
>> Maybe somebody with more experience can answer, but the problem is likely 
>> caused by the fact that you used a prebuilt binary of sage and then tried 
>> to remake it on your own computer.  What tends to happen in this situation 
>> is that the prebuilt binary was built with a specific version of Xcode but 
>> then in the meantime Xcode is updated and when you try to remake sage it 
>> breaks because it's retained paths to libraries that have been changed by 
>> Xcode updates.
>>
>> There are a few different options for installing Sage on Mac and getting 
>> it to work.
>>
>> 1.  Install it through homebrew cask and then apply the fix for ssl at 
>> https://github.com/3-manifolds/fix_mac_sage.  I have not personally 
>> tried this but I've seen others in this forum have success.
>>
>> 2.  Install it through anaconda.  This is currently my favorite approach 
>> since it is simple, fast, and everything just seems to work.  Directions 
>> are at https://doc.sagemath.org/html/en/installation/conda.html
>>
>> 3.  Install from source.  You can get directions from 
>> https://doc.sagemath.org/html/en/installation/source.html.  The basic 
>> workflow after you've extracted the archive would be to run:
>>
>> >>> source .homebrew-build-env
>> >>> ./configure
>> >>> make -jNUM
>>
>>where NUM is the number of parallel processes you want to use in your 
>> build process.
>>
>> On Thursday, January 7, 2021 at 2:43:47 PM UTC-5 jackwi...@gmail.com 
>> wrote:
>>
>>> Hello all,
>>>
>>> I installed sage via homebrew on OS X 10.15.7 (Macbook Pro laptop) with 
>>> python3 version 3.8.5. (I'm not sure if I got python3 through homebrew, as 
>>> I also seem to have more copies of python lying about than I thought.) My 
>>> first issue was that a Jupyter page could not load due to being unable to 
>>> import the _ssl module, and the log suggested that I run "sage -f python." 
>>> Upon doing so, this eventually failed while compiling the wheel for scipy:
>>>
>>> [scipy-1.5.2] 
>>> 
>>> [scipy-1.5.2] Error building a wheel for scipy-1.5.2
>>> [scipy-1.5.2] 
>>> 
>>> [scipy-1.5.2]
>>> [scipy-1.5.2] real 2m19.074s
>>> [scipy-1.5.2] user 3m40.041s
>>> [scipy-1.5.2] sys 0m34.633s
>>> [scipy-1.5.2] 
>>> 
>>> [scipy-1.5.2] Error installing package scipy-1.5.2
>>> [scipy-1.5.2] 
>>> 
>>> [scipy-1.5.2] Please email sage-devel (
>>> http://groups.google.com/group/sage-devel)
>>> [scipy-1.5.2] explaining the problem and including the log file
>>>
>>> I attempt to open the subshell
>>>
>>> cd 
>>> '/Applications/SageMath-9.2.app/Contents/Resources/sage/local/var/tmp/sage/build/scipy-1.5.2'
>>>  
>>> && '/Applications/SageMath-9.2.app/Contents/Resources/sage/sage' --buildsh
>>>
>>> and run "MACOSX_DEPLOYMENT_TARGET=11.0 make scipy", as I saw mentioned 
>>> in a recent thread titled "MACOSX_DEPLOYMENT_TARGET problems", but I think 
>>> I was mixing and matching wrong suggestions as this just told me there was 
>>> no rule to make scipy.
>>>
>>> I have attached the logfile from the failed "sage -f python" build here:
>>>
>>>
>>> /Applications/SageMath-9.2.app/Contents/Resources/sage/logs/pkgs/scipy-1.5.2.log
>>>
>>>
>>> Best,
>>>
>>>
>>> Jack
>>>
>> -- 
>> 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/b5bb1546-34be-47f5-bcf8-23fb2d591510n%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/0cfa172a-001b-4e09-aaa4-785ad138d7f2n%40googlegroups.com.


Re: [sage-devel] Re: Build issue for wheel for scipy OS X Catalina

2021-01-07 Thread Masoud Soroush
Jack,

I had the same problem. Suggested by Nathan Dunfield, I followed the steps
in https://github.com/3-manifolds/fix_mac_sage, and Sage is now working in
the Jupyter environment on my mac. I believe this solution is the same as
the first option of Zachary's response.

Masoud

On Thu, Jan 7, 2021 at 3:45 PM Zachary Scherr  wrote:

> Maybe somebody with more experience can answer, but the problem is likely
> caused by the fact that you used a prebuilt binary of sage and then tried
> to remake it on your own computer.  What tends to happen in this situation
> is that the prebuilt binary was built with a specific version of Xcode but
> then in the meantime Xcode is updated and when you try to remake sage it
> breaks because it's retained paths to libraries that have been changed by
> Xcode updates.
>
> There are a few different options for installing Sage on Mac and getting
> it to work.
>
> 1.  Install it through homebrew cask and then apply the fix for ssl at
> https://github.com/3-manifolds/fix_mac_sage.  I have not personally tried
> this but I've seen others in this forum have success.
>
> 2.  Install it through anaconda.  This is currently my favorite approach
> since it is simple, fast, and everything just seems to work.  Directions
> are at https://doc.sagemath.org/html/en/installation/conda.html
>
> 3.  Install from source.  You can get directions from
> https://doc.sagemath.org/html/en/installation/source.html.  The basic
> workflow after you've extracted the archive would be to run:
>
> >>> source .homebrew-build-env
> >>> ./configure
> >>> make -jNUM
>
>where NUM is the number of parallel processes you want to use in your
> build process.
>
> On Thursday, January 7, 2021 at 2:43:47 PM UTC-5 jackwi...@gmail.com
> wrote:
>
>> Hello all,
>>
>> I installed sage via homebrew on OS X 10.15.7 (Macbook Pro laptop) with
>> python3 version 3.8.5. (I'm not sure if I got python3 through homebrew, as
>> I also seem to have more copies of python lying about than I thought.) My
>> first issue was that a Jupyter page could not load due to being unable to
>> import the _ssl module, and the log suggested that I run "sage -f python."
>> Upon doing so, this eventually failed while compiling the wheel for scipy:
>>
>> [scipy-1.5.2]
>> 
>> [scipy-1.5.2] Error building a wheel for scipy-1.5.2
>> [scipy-1.5.2]
>> 
>> [scipy-1.5.2]
>> [scipy-1.5.2] real 2m19.074s
>> [scipy-1.5.2] user 3m40.041s
>> [scipy-1.5.2] sys 0m34.633s
>> [scipy-1.5.2]
>> 
>> [scipy-1.5.2] Error installing package scipy-1.5.2
>> [scipy-1.5.2]
>> 
>> [scipy-1.5.2] Please email sage-devel (
>> http://groups.google.com/group/sage-devel)
>> [scipy-1.5.2] explaining the problem and including the log file
>>
>> I attempt to open the subshell
>>
>> cd
>> '/Applications/SageMath-9.2.app/Contents/Resources/sage/local/var/tmp/sage/build/scipy-1.5.2'
>> && '/Applications/SageMath-9.2.app/Contents/Resources/sage/sage' --buildsh
>>
>> and run "MACOSX_DEPLOYMENT_TARGET=11.0 make scipy", as I saw mentioned in
>> a recent thread titled "MACOSX_DEPLOYMENT_TARGET problems", but I think I
>> was mixing and matching wrong suggestions as this just told me there was no
>> rule to make scipy.
>>
>> I have attached the logfile from the failed "sage -f python" build here:
>>
>>
>> /Applications/SageMath-9.2.app/Contents/Resources/sage/logs/pkgs/scipy-1.5.2.log
>>
>>
>> Best,
>>
>>
>> Jack
>>
> --
> 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/b5bb1546-34be-47f5-bcf8-23fb2d591510n%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/CALt00dqGDBxaFCkph-mqA%3D%2BZDO3zLrX_PuAVnPVePvYz1d-6fA%40mail.gmail.com.


Re: [sage-devel] Re: incremental migration to github? [prompted by FUNDING issues!!!]

2021-01-07 Thread David Roe
On Thu, Jan 7, 2021 at 3:49 PM Isuru Fernando  wrote:

> It should be sagemath.zulipchat.com right? (Instead of .org)
>

Yes, sorry for the typo!
David


> Isuru
>
> On Thu, Jan 7, 2021 at 2:47 PM David Roe  wrote:
>
>>
>>
>> On Thu, Jan 7, 2021 at 3:30 PM Harald Schilly  wrote:
>>
>>> On Thu, Jan 7, 2021 at 9:23 PM Dima Pasechnik  wrote:
>>> > Harald - can you take care of this?
>>> >
>>>
>>> Uhm, what's happening? Could someone please summarize this for me?
>>>
>>
>> zulip.sagemath.org used to point to a google virtual machine.  We'd like
>> it to redirect to sagemath.zulipchat.org so that people looking for the
>> Zulip server are sent to the right place.
>> David
>>
>>
>>>
>>> --
>>> 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/CAGG4CB5oiSVA3W3AJWfosLuMuzEKPaoHZ_DWNS58H%3DFgast98w%40mail.gmail.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/CAChs6_mN8PRRt2Ot7YcHqcZGLXPoPcVS0_R_QdjCVYpZHpi5Ng%40mail.gmail.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/CA%2B01voOy5SXXkyQeqMB-AxeGMXEv5MN%2Bj3FBdYB1DihHHh0inQ%40mail.gmail.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/CAChs6_nVW7eR4CeUpUUxwWSc7shWC%2BB9w2A0Akiu%2B6AHOScoug%40mail.gmail.com.


Re: [sage-devel] Re: incremental migration to github? [prompted by FUNDING issues!!!]

2021-01-07 Thread Isuru Fernando
It should be sagemath.zulipchat.com right? (Instead of .org)

Isuru

On Thu, Jan 7, 2021 at 2:47 PM David Roe  wrote:

>
>
> On Thu, Jan 7, 2021 at 3:30 PM Harald Schilly  wrote:
>
>> On Thu, Jan 7, 2021 at 9:23 PM Dima Pasechnik  wrote:
>> > Harald - can you take care of this?
>> >
>>
>> Uhm, what's happening? Could someone please summarize this for me?
>>
>
> zulip.sagemath.org used to point to a google virtual machine.  We'd like
> it to redirect to sagemath.zulipchat.org so that people looking for the
> Zulip server are sent to the right place.
> David
>
>
>>
>> --
>> 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/CAGG4CB5oiSVA3W3AJWfosLuMuzEKPaoHZ_DWNS58H%3DFgast98w%40mail.gmail.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/CAChs6_mN8PRRt2Ot7YcHqcZGLXPoPcVS0_R_QdjCVYpZHpi5Ng%40mail.gmail.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/CA%2B01voOy5SXXkyQeqMB-AxeGMXEv5MN%2Bj3FBdYB1DihHHh0inQ%40mail.gmail.com.


Re: [sage-devel] Re: incremental migration to github? [prompted by FUNDING issues!!!]

2021-01-07 Thread David Roe
On Thu, Jan 7, 2021 at 3:30 PM Harald Schilly  wrote:

> On Thu, Jan 7, 2021 at 9:23 PM Dima Pasechnik  wrote:
> > Harald - can you take care of this?
> >
>
> Uhm, what's happening? Could someone please summarize this for me?
>

zulip.sagemath.org used to point to a google virtual machine.  We'd like it
to redirect to sagemath.zulipchat.org so that people looking for the Zulip
server are sent to the right place.
David


>
> --
> 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/CAGG4CB5oiSVA3W3AJWfosLuMuzEKPaoHZ_DWNS58H%3DFgast98w%40mail.gmail.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/CAChs6_mN8PRRt2Ot7YcHqcZGLXPoPcVS0_R_QdjCVYpZHpi5Ng%40mail.gmail.com.


[sage-devel] Re: Build issue for wheel for scipy OS X Catalina

2021-01-07 Thread Zachary Scherr
Maybe somebody with more experience can answer, but the problem is likely 
caused by the fact that you used a prebuilt binary of sage and then tried 
to remake it on your own computer.  What tends to happen in this situation 
is that the prebuilt binary was built with a specific version of Xcode but 
then in the meantime Xcode is updated and when you try to remake sage it 
breaks because it's retained paths to libraries that have been changed by 
Xcode updates.

There are a few different options for installing Sage on Mac and getting it 
to work.

1.  Install it through homebrew cask and then apply the fix for ssl 
at https://github.com/3-manifolds/fix_mac_sage.  I have not personally 
tried this but I've seen others in this forum have success.

2.  Install it through anaconda.  This is currently my favorite approach 
since it is simple, fast, and everything just seems to work.  Directions 
are at https://doc.sagemath.org/html/en/installation/conda.html

3.  Install from source.  You can get directions 
from https://doc.sagemath.org/html/en/installation/source.html.  The basic 
workflow after you've extracted the archive would be to run:

>>> source .homebrew-build-env
>>> ./configure
>>> make -jNUM

   where NUM is the number of parallel processes you want to use in your 
build process.

On Thursday, January 7, 2021 at 2:43:47 PM UTC-5 jackwi...@gmail.com wrote:

> Hello all,
>
> I installed sage via homebrew on OS X 10.15.7 (Macbook Pro laptop) with 
> python3 version 3.8.5. (I'm not sure if I got python3 through homebrew, as 
> I also seem to have more copies of python lying about than I thought.) My 
> first issue was that a Jupyter page could not load due to being unable to 
> import the _ssl module, and the log suggested that I run "sage -f python." 
> Upon doing so, this eventually failed while compiling the wheel for scipy:
>
> [scipy-1.5.2] 
> 
> [scipy-1.5.2] Error building a wheel for scipy-1.5.2
> [scipy-1.5.2] 
> 
> [scipy-1.5.2]
> [scipy-1.5.2] real 2m19.074s
> [scipy-1.5.2] user 3m40.041s
> [scipy-1.5.2] sys 0m34.633s
> [scipy-1.5.2] 
> 
> [scipy-1.5.2] Error installing package scipy-1.5.2
> [scipy-1.5.2] 
> 
> [scipy-1.5.2] Please email sage-devel (
> http://groups.google.com/group/sage-devel)
> [scipy-1.5.2] explaining the problem and including the log file
>
> I attempt to open the subshell
>
> cd 
> '/Applications/SageMath-9.2.app/Contents/Resources/sage/local/var/tmp/sage/build/scipy-1.5.2'
>  
> && '/Applications/SageMath-9.2.app/Contents/Resources/sage/sage' --buildsh
>
> and run "MACOSX_DEPLOYMENT_TARGET=11.0 make scipy", as I saw mentioned in 
> a recent thread titled "MACOSX_DEPLOYMENT_TARGET problems", but I think I 
> was mixing and matching wrong suggestions as this just told me there was no 
> rule to make scipy.
>
> I have attached the logfile from the failed "sage -f python" build here:
>
>
> /Applications/SageMath-9.2.app/Contents/Resources/sage/logs/pkgs/scipy-1.5.2.log
>
>
> Best,
>
>
> Jack
>

-- 
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/b5bb1546-34be-47f5-bcf8-23fb2d591510n%40googlegroups.com.


Re: [sage-devel] Re: incremental migration to github? [prompted by FUNDING issues!!!]

2021-01-07 Thread Harald Schilly
On Thu, Jan 7, 2021 at 9:23 PM Dima Pasechnik  wrote:
> Harald - can you take care of this?
>

Uhm, what's happening? Could someone please summarize this for me?

-- 
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/CAGG4CB5oiSVA3W3AJWfosLuMuzEKPaoHZ_DWNS58H%3DFgast98w%40mail.gmail.com.


Re: [sage-devel] Re: incremental migration to github? [prompted by FUNDING issues!!!]

2021-01-07 Thread Dima Pasechnik
On Thu, Jan 7, 2021 at 8:13 PM David Roe  wrote:
>
>
>
> On Thu, Dec 10, 2020 at 10:19 PM Samuel Lelievre  
> wrote:
>>
>> 2020-12-10 11:37:41 UTC, David Roe:
>> >
>> > On Thu, Dec 10, 2020 at 6:06 AM Dima Pasechnik:
>> > >
>> > > On Thu, Dec 10, 2020 at 10:49 AM David Roe:
>> > > >
>> > > > For Zulip, zulipchat.com provides free hosting for open source 
>> > > > projects.
>> > > > I'm fairly confident that we could export our history and import it to
>> > > > a new organization there fairly easily, if there's a consensus to do 
>> > > > so.
>> > >
>> > > I don't think we even need a consensus for this. Lack of funds
>> > > is a sufficient reason to migrate.
>> > > (apart from the history, account data is important...)
>> > >
>> > > We then can point zulip.sagemath.org to the appropriate url at 
>> > > zulipchat.com
>> >
>> > I've created sagemath.zulipchat.com and requested sponsorship
>> > as an open source project. I exported our current Zulip history
>> > into a tarball as a test. We probably want to wait until the current
>> > Sage Days is over to complete the migration so there's no disruption
>> > (the traffic is low enough that I'll probably pick a convenient time
>> > to deactivate it for a day, port the history over to zulipchat.com
>> > and then invite all our current users to the new organization).
>>
>> Is there a way to retain the zulip.sagemath.org url
>> while hosting at zulipchat.com?
>
>
> It took me longer than I wanted, but I've ported over all of our history and 
> accounts to sagemath.zulipchat.com.  For security reasons the passwords 
> haven't been migrated, so you'll need to use the password reset link (let me 
> know if you don't remember what email you used).
>
> I've been struggling with the google cloud interface and can't figure out how 
> to shut down the VM that was running Zulip.  Dima, since you started the 
> thread about costs, do you know how to do this?  Anyone else?

Great, thanks.
OK, the VM is shut down now. I have not yet deleted the VM, but will
do, once we are happy that everything is properly saved etc.
>
> As for the url, I assume it should be possible to set up a redirect, but I 
> don't have easy access to our DNS records.

Harald - can you take care of this?

Cheers
Dima

> David
>>
>> --
>> 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/05a659d7-48c6-4fd0-9ead-fa48701c2190n%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/CAChs6_nBJ8qXH8nrVv_%3DTS3fL9G7TztiWBtfXSqJY5jUL9n7XA%40mail.gmail.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/CAAWYfq2izKUPzhxUasEK%2Byc_C3%2BUPVXKbv-kdD%2Bh19gv8S5BiQ%40mail.gmail.com.


Re: [sage-devel] Re: incremental migration to github? [prompted by FUNDING issues!!!]

2021-01-07 Thread David Roe
On Thu, Dec 10, 2020 at 10:19 PM Samuel Lelievre 
wrote:

> 2020-12-10 11:37:41 UTC, David Roe:
> >
> > On Thu, Dec 10, 2020 at 6:06 AM Dima Pasechnik:
> > >
> > > On Thu, Dec 10, 2020 at 10:49 AM David Roe:
> > > >
> > > > For Zulip, zulipchat.com provides free hosting for open source
> projects.
> > > > I'm fairly confident that we could export our history and import it
> to
> > > > a new organization there fairly easily, if there's a consensus to do
> so.
> > >
> > > I don't think we even need a consensus for this. Lack of funds
> > > is a sufficient reason to migrate.
> > > (apart from the history, account data is important...)
> > >
> > > We then can point zulip.sagemath.org to the appropriate url at
> zulipchat.com
> >
> > I've created sagemath.zulipchat.com and requested sponsorship
> > as an open source project. I exported our current Zulip history
> > into a tarball as a test. We probably want to wait until the current
> > Sage Days is over to complete the migration so there's no disruption
> > (the traffic is low enough that I'll probably pick a convenient time
> > to deactivate it for a day, port the history over to zulipchat.com
> > and then invite all our current users to the new organization).
>
> Is there a way to retain the zulip.sagemath.org url
> while hosting at zulipchat.com?
>

It took me longer than I wanted, but I've ported over all of our history
and accounts to sagemath.zulipchat.com.  For security reasons the passwords
haven't been migrated, so you'll need to use the password reset link (let
me know if you don't remember what email you used).

I've been struggling with the google cloud interface and can't figure out
how to shut down the VM that was running Zulip.  Dima, since you started
the thread about costs, do you know how to do this?  Anyone else?

As for the url, I assume it should be possible to set up a redirect, but I
don't have easy access to our DNS records.
David

> --
> 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/05a659d7-48c6-4fd0-9ead-fa48701c2190n%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/CAChs6_nBJ8qXH8nrVv_%3DTS3fL9G7TztiWBtfXSqJY5jUL9n7XA%40mail.gmail.com.


Re: [sage-devel] Re: "Real Field" -> "Real Floating-point Field"

2021-01-07 Thread Michael Jung
Hi,
so, what's the punch line now? I totally lost track because we digressed 
too much. Is the representation change still wanted or not? And if so, what 
shall be it? I would like to conclude 
https://trac.sagemath.org/ticket/24523.

Best,
Michael

emanuel.c...@gmail.com schrieb am Samstag, 24. Oktober 2020 um 23:06:22 
UTC+2:

> You might as well create support for nonstandard analysis (which would be 
> eased  by some form of intuitionist logic in the framework...).
>
> We're no longer in Kan^Ka CAS, Toto... But that could be a fine use of 
> Sage, bridging to proof systems. Maybe a separate development, to be merged 
> when ready (à la differentiable manifolds...).
>
> Le samedi 24 octobre 2020 à 20:16:38 UTC+2, dim...@gmail.com a écrit :
>
>> well, for doing various things in real algebraic geometry, one 
>> certainly needs fields of Puiseux series, with (non-Archimedean) 
>> ordering 
>> dictated by 0<>
>> On Sat, Oct 24, 2020 at 7:04 PM kcrisman  wrote: 
>> > 
>> > 
>> >> If it is possible though not perfect, I would prefer it to an abstract 
>> ghost. 
>> > 
>> > 
>> > So we should also start adding infinitesimals [1] to the RealField as 
>> well? ;-) 
>> > 
>> > [1] cf. Berkeley's "ghosts of departed quantities" 
>> > 
>> > -- 
>> > 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/4f5bd614-20ca-45c1-9514-9aedb21ca086o%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/ebbf8aff-6538-4eb8-bf86-d916422916can%40googlegroups.com.