Re: [sage-devel] Re: Porting sagemath to Raspberry Pi OS

2020-07-10 Thread Jaap Spies 
Raspberry Pi OS is the new name of raspbian.
And indeed raspbian uses apt to deal with packages, but have their own 
repositories
based on debian


On Friday, July 10, 2020 at 11:22:30 AM UTC+2, Dima Pasechnik wrote:
>
> On Fri, Jul 10, 2020 at 10:11 AM Dima Pasechnik  > wrote: 
> > 
> > On Fri, Jul 10, 2020 at 9:08 AM Jaap Spies  > wrote: 
> > > 
> > > After this technicalities I reclaim my points: We need a port of 
> sagemath to Raspbery Pi OS. 
>
> As far as I see, it is 
> https://www.raspberrypi.org/downloads/raspberry-pi-desktop/ 
> (based on Debian Buster) - it uses apt to deal with packages, so the 
> setup we use on Debian/Ubuntu should 
> in principle be working. 
>
> Is this the OS you are referring to? 
>
> I don't know whether they try to import all the Debian packages, but 
> it looks as if Debian 
> effort to have Sage in Debian would be helpful here. 
>
> Thanks, 
> Dima 
>
> > > At least we need a binary of sagemath for Raspberry Pi OS. 
> > the binaries are made using 
> > https://github.com/sagemath/binary-pkg 
> > 
> > Could you try this on your Rasberry Pi? 
> > (probably nobody ever tested this on ARM, so YMMV). 
> > 
> > Dima 
> > > 
> > > Jaap Spies 
> > > 
> > > On Thursday, July 9, 2020 at 2:31:52 PM UTC+2, Jaap Spies wrote: 
> > >> 
> > >> Saying Raspberry Pi is saying education. There are zillion Raspberry 
> Pi's out there. 
> > >> Almost all of them are running Raspbian, now called Raspberry Pi OS. 
> > >> On every raspbian system there is an implementation of Mathematica. 
> > >> Wolfram was clever when he decided to make Matematica available to 
> the 
> > >> people of Raspberies. 
> > >> 
> > >> I did some experimentation out of an old book Mathematica Second 
> Edition. 
> > >> You can really do some math on a Raspberry Pi 4. 
> > >> 
> > >> Some time ago I could build sage-9.0 on my RPi4's, but now there are 
> problems 
> > >> with fplll. I opened a ticket, someone changed the priority to minor. 
> > >> 
> > >> I think it is of major importance to have at least a binary for 
> Raspberry Pi OS! 
> > >> 
> > >> I'm old and have no time and no energy to pursue this to the end, but 
> I plea 
> > >> someone would take this serious. 
> > >> 
> > >> Jaap 
> > >> 
> > >> early adapter of sage 
> > > 
> > > -- 
> > > 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-...@googlegroups.com . 
> > > To view this discussion on the web visit 
> https://groups.google.com/d/msgid/sage-devel/8ff7114f-29e6-46ec-9b96-87be8fcd778co%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/3de87549-f9b6-46f8-aa8d-7c047cdb0513o%40googlegroups.com.

Re: [sage-devel] Re: Porting sagemath to Raspberry Pi OS

2020-07-10 Thread Jaap Spies 
No

On Friday, July 10, 2020 at 11:22:30 AM UTC+2, Dima Pasechnik wrote:
>
> On Fri, Jul 10, 2020 at 10:11 AM Dima Pasechnik  > wrote: 
> > 
> > On Fri, Jul 10, 2020 at 9:08 AM Jaap Spies  > wrote: 
> > > 
> > > After this technicalities I reclaim my points: We need a port of 
> sagemath to Raspbery Pi OS. 
>
> As far as I see, it is 
> https://www.raspberrypi.org/downloads/raspberry-pi-desktop/ 
> (based on Debian Buster) - it uses apt to deal with packages, so the 
> setup we use on Debian/Ubuntu should 
> in principle be working. 
>
> Is this the OS you are referring to? 
>
> I don't know whether they try to import all the Debian packages, but 
> it looks as if Debian 
> effort to have Sage in Debian would be helpful here. 
>
> Thanks, 
> Dima 
>
> > > At least we need a binary of sagemath for Raspberry Pi OS. 
> > the binaries are made using 
> > https://github.com/sagemath/binary-pkg 
> > 
> > Could you try this on your Rasberry Pi? 
> > (probably nobody ever tested this on ARM, so YMMV). 
> > 
> > Dima 
> > > 
> > > Jaap Spies 
> > > 
> > > On Thursday, July 9, 2020 at 2:31:52 PM UTC+2, Jaap Spies wrote: 
> > >> 
> > >> Saying Raspberry Pi is saying education. There are zillion Raspberry 
> Pi's out there. 
> > >> Almost all of them are running Raspbian, now called Raspberry Pi OS. 
> > >> On every raspbian system there is an implementation of Mathematica. 
> > >> Wolfram was clever when he decided to make Matematica available to 
> the 
> > >> people of Raspberies. 
> > >> 
> > >> I did some experimentation out of an old book Mathematica Second 
> Edition. 
> > >> You can really do some math on a Raspberry Pi 4. 
> > >> 
> > >> Some time ago I could build sage-9.0 on my RPi4's, but now there are 
> problems 
> > >> with fplll. I opened a ticket, someone changed the priority to minor. 
> > >> 
> > >> I think it is of major importance to have at least a binary for 
> Raspberry Pi OS! 
> > >> 
> > >> I'm old and have no time and no energy to pursue this to the end, but 
> I plea 
> > >> someone would take this serious. 
> > >> 
> > >> Jaap 
> > >> 
> > >> early adapter of sage 
> > > 
> > > -- 
> > > 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-...@googlegroups.com . 
> > > To view this discussion on the web visit 
> https://groups.google.com/d/msgid/sage-devel/8ff7114f-29e6-46ec-9b96-87be8fcd778co%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/46d4e1d4-62a5-471b-a775-bee57208208do%40googlegroups.com.

Re: [sage-devel] Re: Porting sagemath to Raspberry Pi OS

2020-07-10 Thread Dima Pasechnik 
On Fri, Jul 10, 2020 at 10:11 AM Dima Pasechnik  wrote:
>
> On Fri, Jul 10, 2020 at 9:08 AM Jaap Spies  wrote:
> >
> > After this technicalities I reclaim my points: We need a port of sagemath 
> > to Raspbery Pi OS.

As far as I see, it is
https://www.raspberrypi.org/downloads/raspberry-pi-desktop/
(based on Debian Buster) - it uses apt to deal with packages, so the
setup we use on Debian/Ubuntu should
in principle be working.

Is this the OS you are referring to?

I don't know whether they try to import all the Debian packages, but
it looks as if Debian
effort to have Sage in Debian would be helpful here.

Thanks,
Dima

> > At least we need a binary of sagemath for Raspberry Pi OS.
> the binaries are made using
> https://github.com/sagemath/binary-pkg
>
> Could you try this on your Rasberry Pi?
> (probably nobody ever tested this on ARM, so YMMV).
>
> Dima
> >
> > Jaap Spies
> >
> > On Thursday, July 9, 2020 at 2:31:52 PM UTC+2, Jaap Spies wrote:
> >>
> >> Saying Raspberry Pi is saying education. There are zillion Raspberry Pi's 
> >> out there.
> >> Almost all of them are running Raspbian, now called Raspberry Pi OS.
> >> On every raspbian system there is an implementation of Mathematica.
> >> Wolfram was clever when he decided to make Matematica available to the
> >> people of Raspberies.
> >>
> >> I did some experimentation out of an old book Mathematica Second Edition.
> >> You can really do some math on a Raspberry Pi 4.
> >>
> >> Some time ago I could build sage-9.0 on my RPi4's, but now there are 
> >> problems
> >> with fplll. I opened a ticket, someone changed the priority to minor.
> >>
> >> I think it is of major importance to have at least a binary for Raspberry 
> >> Pi OS!
> >>
> >> I'm old and have no time and no energy to pursue this to the end, but I 
> >> plea
> >> someone would take this serious.
> >>
> >> Jaap
> >>
> >> early adapter of sage
> >
> > --
> > 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/8ff7114f-29e6-46ec-9b96-87be8fcd778co%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/CAAWYfq0fwFzYDd%3Dye-JUqMP8gZ83xti1hiCAAszxeManTm7P4A%40mail.gmail.com.

Re: [sage-devel] Re: Porting sagemath to Raspberry Pi OS

2020-07-10 Thread Dima Pasechnik 
On Fri, Jul 10, 2020 at 9:08 AM Jaap Spies  wrote:
>
> After this technicalities I reclaim my points: We need a port of sagemath to 
> Raspbery Pi OS.
> At least we need a binary of sagemath for Raspberry Pi OS.
the binaries are made using
https://github.com/sagemath/binary-pkg

Could you try this on your Rasberry Pi?
(probably nobody ever tested this on ARM, so YMMV).

Dima
>
> Jaap Spies
>
> On Thursday, July 9, 2020 at 2:31:52 PM UTC+2, Jaap Spies wrote:
>>
>> Saying Raspberry Pi is saying education. There are zillion Raspberry Pi's 
>> out there.
>> Almost all of them are running Raspbian, now called Raspberry Pi OS.
>> On every raspbian system there is an implementation of Mathematica.
>> Wolfram was clever when he decided to make Matematica available to the
>> people of Raspberies.
>>
>> I did some experimentation out of an old book Mathematica Second Edition.
>> You can really do some math on a Raspberry Pi 4.
>>
>> Some time ago I could build sage-9.0 on my RPi4's, but now there are problems
>> with fplll. I opened a ticket, someone changed the priority to minor.
>>
>> I think it is of major importance to have at least a binary for Raspberry Pi 
>> OS!
>>
>> I'm old and have no time and no energy to pursue this to the end, but I plea
>> someone would take this serious.
>>
>> Jaap
>>
>> early adapter of sage
>
> --
> 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/8ff7114f-29e6-46ec-9b96-87be8fcd778co%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/CAAWYfq2XTF8pgwggPyGj8FkV-NgHKumHN%3DoH5%2B-1gqbAvLnAOw%40mail.gmail.com.

Re: [sage-devel] Re: Porting sagemath to Raspberry Pi OS

2020-07-09 Thread Dima Pasechnik 
On Thu, Jul 9, 2020 at 10:30 PM Isuru Fernando  wrote:
>
> You can track the progress here, 
> https://github.com/conda-forge/sagelib-feedstock/pull/100
>
> Gap and rpy2 are now available. Need to build rw 0.7 now. Is there a reason 
> for not going to rw 0.8 in sage? I couldn't find a trac ticket for it.

open a new one - it seems that the sources migrated to sf:
https://sourceforge.net/projects/rankwidth/files/


>
> Isuru
>
> On Thu, Jul 9, 2020 at 11:14 AM Dima Pasechnik  wrote:
>>
>>
>>
>> On Thu, 9 Jul 2020, 17:07 Isuru Fernando,  wrote:
>>>
>>> Hi,
>>>
>>> In conda-forge, we have all the dependencies of sage for aarch64 already 
>>> built except for gap and rpy2.
>>> If those two are done, we can build sage the library and you can use 
>>> conda-forge to install a binary version of sage.
>>> Any help is appreciated.
>>
>>
>> Could you point out concrete issues?
>>
>>>
>>> Isuru
>>>
>>> On Thu, Jul 9, 2020 at 9:09 AM Jaap Spies  wrote:

 Done.

 On Thursday, July 9, 2020 at 3:58:20 PM UTC+2, Matthias Koeppe wrote:
>
> On Thursday, July 9, 2020 at 5:31:52 AM UTC-7, Jaap Spies wrote:
>>
>> ... Raspberry Pi ...
>
>
> https://trac.sagemath.org/ticket/29091, which adds test infrastructure 
> for raspbian-buster, still needs review.
>
>
 --
 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/508422c0-6e53-423f-8d15-1f55528fe93bo%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/CA%2B01voM5KESwgvYVQ%2BWAvdo8HJLqUwjg02TX-jh30Q3-99WZ%2BA%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/CAAWYfq0J_SM7u2izsEttv5_g%3DBYfokYKzU-NKsXbQZKwS1meeQ%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%2B01voMFt9_Hjf%3D5zPJuSVwyRj2MG6T1VfxGeDnA_%2BZe0_ijDg%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/CAAWYfq2mLd2DnDRzng-q6_q3mftzHVkgCqrjqQ%2Bp-sCfCCf7jA%40mail.gmail.com.

Re: [sage-devel] Re: Porting sagemath to Raspberry Pi OS

2020-07-09 Thread Isuru Fernando 
You can track the progress here,
https://github.com/conda-forge/sagelib-feedstock/pull/100

Gap and rpy2 are now available. Need to build rw 0.7 now. Is there a reason
for not going to rw 0.8 in sage? I couldn't find a trac ticket for it.

Isuru

On Thu, Jul 9, 2020 at 11:14 AM Dima Pasechnik  wrote:

>
>
> On Thu, 9 Jul 2020, 17:07 Isuru Fernando,  wrote:
>
>> Hi,
>>
>> In conda-forge, we have all the dependencies of sage for aarch64 already
>> built except for gap and rpy2.
>> If those two are done, we can build sage the library and you can use
>> conda-forge to install a binary version of sage.
>> Any help is appreciated.
>>
>
> Could you point out concrete issues?
>
>
>> Isuru
>>
>> On Thu, Jul 9, 2020 at 9:09 AM Jaap Spies  wrote:
>>
>>> Done.
>>>
>>> On Thursday, July 9, 2020 at 3:58:20 PM UTC+2, Matthias Koeppe wrote:

 On Thursday, July 9, 2020 at 5:31:52 AM UTC-7, Jaap Spies wrote:
>
> ... Raspberry Pi ...
>

 https://trac.sagemath.org/ticket/29091, which adds test infrastructure
 for raspbian-buster, still needs review.


 --
>>> 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/508422c0-6e53-423f-8d15-1f55528fe93bo%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/CA%2B01voM5KESwgvYVQ%2BWAvdo8HJLqUwjg02TX-jh30Q3-99WZ%2BA%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/CAAWYfq0J_SM7u2izsEttv5_g%3DBYfokYKzU-NKsXbQZKwS1meeQ%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%2B01voMFt9_Hjf%3D5zPJuSVwyRj2MG6T1VfxGeDnA_%2BZe0_ijDg%40mail.gmail.com.

Re: [sage-devel] Re: Porting sagemath to Raspberry Pi OS

2020-07-09 Thread Dima Pasechnik 
On Thu, 9 Jul 2020, 17:07 Isuru Fernando,  wrote:

> Hi,
>
> In conda-forge, we have all the dependencies of sage for aarch64 already
> built except for gap and rpy2.
> If those two are done, we can build sage the library and you can use
> conda-forge to install a binary version of sage.
> Any help is appreciated.
>

Could you point out concrete issues?


> Isuru
>
> On Thu, Jul 9, 2020 at 9:09 AM Jaap Spies  wrote:
>
>> Done.
>>
>> On Thursday, July 9, 2020 at 3:58:20 PM UTC+2, Matthias Koeppe wrote:
>>>
>>> On Thursday, July 9, 2020 at 5:31:52 AM UTC-7, Jaap Spies wrote:

 ... Raspberry Pi ...

>>>
>>> https://trac.sagemath.org/ticket/29091, which adds test infrastructure
>>> for raspbian-buster, still needs review.
>>>
>>>
>>> --
>> 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/508422c0-6e53-423f-8d15-1f55528fe93bo%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/CA%2B01voM5KESwgvYVQ%2BWAvdo8HJLqUwjg02TX-jh30Q3-99WZ%2BA%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/CAAWYfq0J_SM7u2izsEttv5_g%3DBYfokYKzU-NKsXbQZKwS1meeQ%40mail.gmail.com.

Re: [sage-devel] Re: Porting sagemath to Raspberry Pi OS

2020-07-09 Thread Isuru Fernando 
Hi,

In conda-forge, we have all the dependencies of sage for aarch64 already
built except for gap and rpy2.
If those two are done, we can build sage the library and you can use
conda-forge to install a binary version of sage.
Any help is appreciated.

Isuru

On Thu, Jul 9, 2020 at 9:09 AM Jaap Spies  wrote:

> Done.
>
> On Thursday, July 9, 2020 at 3:58:20 PM UTC+2, Matthias Koeppe wrote:
>>
>> On Thursday, July 9, 2020 at 5:31:52 AM UTC-7, Jaap Spies wrote:
>>>
>>> ... Raspberry Pi ...
>>>
>>
>> https://trac.sagemath.org/ticket/29091, which adds test infrastructure
>> for raspbian-buster, still needs review.
>>
>>
>> --
> 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/508422c0-6e53-423f-8d15-1f55528fe93bo%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/CA%2B01voM5KESwgvYVQ%2BWAvdo8HJLqUwjg02TX-jh30Q3-99WZ%2BA%40mail.gmail.com.