[sage-devel] Re: Apple on ARM

[Samuel Lelievre]

And I missed this Sage Trac ticket:

- Build failure of fplll-5.3.2 on Raspbian Buster (ARM)
  https://trac.sagemath.org/ticket/29091

where the fplll issue is discussed.

-- 
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/ac994177-705c-4186-831b-de33a991751co%40googlegroups.com.

[sage-devel] Re: Apple on ARM

[Samuel Lelievre]

# Some SageMath / ARM related links


## Conda on ARM

- Miniforge provides Conda on ARM
  https://github.com/conda-forge/miniforge/


## Discussions

- sage-release, 2020-01-26, Jaap Spies, Dima Pasechnik, Martin Albrecht
  On Raspberry Pi, Sage 9.1.beta0 builds but Sage 9.1.beta1 does not,
  likely an ARM-specific problem with new multicore code in fplll 5.3.x
  https://groups.google.com/d/msg/sage-release/xcGXMuHuEOw/Mq25b-13DgAJ

  --> would be nice to set up continuous integration for fplll
  that would build and test on ARM, maybe using GitHub Actions

- sage-devel, 2019-12-30, Jaap Spies
  Buiding sage on a Raspberry Pi 4B
  https://groups.google.com/d/msg/sage-devel/yngGVDsQ85k/HOMd1BmVBQAJ

- sage-release, 2019-12-21, Jaap Spies
  Got Sage 9.0.beta9 running on Raspberry Pi 4B 2GB Raspbian
  https://groups.google.com/d/msg/sage-release/p3mnazZ58HQ/7HrQzsgxBAAJ

- sage-devel, 2017-07, Pavel Sayekat
  Is it possible to make an arm port of sage?
  https://groups.google.com/d/msg/sage-release/YaedKjwMhzc/ML5A2FIVBwAJ


## Ask Sage

- Binaries for sage-8.4 armv7l
  https://ask.sagemath.org/question/44489

- Issues building sagelib-8.4 for Raspbian Stretch on armv7l
  https://ask.sagemath.org/question/44528


## Sage Trac tickets

- make sage work on arm64/aarch64
  https://trac.sagemath.org/ticket/23687

- Upgrade to Tachyon 0.99b6
  https://trac.sagemath.org/ticket/23712

- GCC does not build on ARM
  https://trac.sagemath.org/ticket/16918


## Searches

- search various lists for arm
  https://groups.google.com/forum/#!searchin/sage-devel/arm%7Csort:date
  https://groups.google.com/forum/#!searchin/sage-packaging/arm%7Csort:date
  https://groups.google.com/forum/#!searchin/sage-release/arm%7Csort:date
  https://groups.google.com/forum/#!searchin/sage-support/arm%7Csort:date

- other terms to search for: raspberry, raspbian, arm64, aarch64


## Other discussions

- jupyter-education, 2020-06, Wes Turner
  ARM is a real thing that's worth our time
  https://groups.google.com/d/msg/jupyter-education/l-Zhg7ztF6o/Am--uyvWBgAJ


-- 
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/b61c3f71-11ff-483a-a73f-a43b7e20140eo%40googlegroups.com.

Re: [sage-devel] Apple on ARM

[Samuel Lelievre]

2020-06-24 10:09:50 UTC, Jaap Spies:
>
> Martin knows of the problem. He reacted in the thread.

I opened this issue:

  https://github.com/fplll/fplll/issues/432

It might be possible to use GitHub actions to test on ARM.

-- 
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/2680d7a6-aff1-4a0f-aa67-168770ba9e92o%40googlegroups.com.

Re: [sage-devel] Apple on ARM

[kcrisman]

Great, glad that we didn't lose the ARM trail.  Not that I'm necessarily 
looking forward to upgrading ... but I bet a lot of our "customers" will! 
 Thanks for all your replies.

-- 
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/ae09ecf8-aee4-47e2-b814-f2671ff9f08bo%40googlegroups.com.

Re: [sage-devel] Apple on ARM

[Jaap Spies]

Yes. Sorry Martin. I mixed things up.

Martin knows of the problem. He reacted in the thread.

Jaap

On Wednesday, June 24, 2020 at 11:58:14 AM UTC+2, Dima Pasechnik wrote:
>
>
>
> On Wed, 24 Jun 2020, 10:34 Jaap Spies, > 
> wrote:
>
>> This was me on sagerelease. Starting with sage-9.1.beta1 fplll failed. 
>> According to Bill Hart they never test on ARM.
>>
> fplll bug tracker is here:
> https://github.com/fplll/fplll/issues
> In the past they dealt with ARM bugs.
> Please file yours there.
>
> (it is Martin Albrecht's project mostly, I don't think Bill Hart is 
> involved)
>
>
>>

-- 
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/019bccce-a263-4875-b124-42afd1343d9co%40googlegroups.com.

Re: [sage-devel] Apple on ARM

[Dima Pasechnik]

On Wed, 24 Jun 2020, 10:34 Jaap Spies,  wrote:

> This was me on sagerelease. Starting with sage-9.1.beta1 fplll failed.
> According to Bill Hart they never test on ARM.
>
fplll bug tracker is here:
https://github.com/fplll/fplll/issues
In the past they dealt with ARM bugs.
Please file yours there.

(it is Martin Albrecht's project mostly, I don't think Bill Hart is
involved)


> Jaap
>
>
> On Wednesday, June 24, 2020 at 8:21:48 AM UTC+2, tdumont wrote:
>>
>> Some weeks ago, there was a post on this list (or an other sage list)
>> where somebody said he succeeded compiling sage on a Raspberry 4... so...
>> t.
>>
>> Le 23/06/2020 à 14:11, Dima Pasechnik a écrit :
>> > Sage used to work on ARM chips, we stopped testing on it due to lack of
>> > hardware in 2015 or so.
>> >
>> > We can pick it up again.
>> >
>> >
>> > On Tue, 23 Jun 2020, 13:03 kcrisman, > > > wrote:
>> >
>> > See e.g.
>> >
>> https://www.theverge.com/2020/6/21/21298607/first-arm-mac-macbook-pro-imac-ming-chi-kuo-wwdc-2020
>> >
>> > When Apple moved to Intel, there were definitely some impacts for
>> > Sage - obviously needing to provide two sets of binaries - but I
>> > wonder if maybe the Sage ecosystem is a lot more stable w.r.t.
>> > processors this time around (e.g. assembly code already available
>> > for major upstream packages).  Maybe it's so trivial that I am
>> > foolish for mentioning it, but I thought I would ask if anyone has
>> > thoughts on this, as I couldn't find anything on this forum about
>> it
>> > yet.
>> >
>> > --
>> > 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/7aa3429b-d2d6-4453-b708-793da943275ao%40googlegroups.com
>> > <
>> https://groups.google.com/d/msgid/sage-devel/7aa3429b-d2d6-4453-b708-793da943275ao%40googlegroups.com?utm_medium=email_source=footer>.
>>
>> >
>> > --
>> > 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/CAAWYfq0B_TZssoMRqwvrp7bgjz99WRm4OzQ%3DguZcy5CP1atxtg%40mail.gmail.com
>> > <
>> https://groups.google.com/d/msgid/sage-devel/CAAWYfq0B_TZssoMRqwvrp7bgjz99WRm4OzQ%3DguZcy5CP1atxtg%40mail.gmail.com?utm_medium=email_source=footer>.
>>
>>
> --
> 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/6fb5f524-76c5-4565-a545-36c41a2bffbbo%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/CAAWYfq0_6CYzu9cS2HYUkpCMEJNdDkNz5s9T634Hkcwak2DBWw%40mail.gmail.com.

Re: [sage-devel] Apple on ARM

[Jaap Spies]

See ticket: https://trac.sagemath.org/ticket/29091

Jaap

On Wednesday, June 24, 2020 at 11:34:40 AM UTC+2, Jaap Spies wrote:
>
> This was me on sagerelease. Starting with sage-9.1.beta1 fplll failed. 
> According to Bill Hart they never test on ARM.
>
> Jaap
>
>
> On Wednesday, June 24, 2020 at 8:21:48 AM UTC+2, tdumont wrote:
>>
>> Some weeks ago, there was a post on this list (or an other sage list) 
>> where somebody said he succeeded compiling sage on a Raspberry 4... so... 
>> t. 
>>
>> Le 23/06/2020 à 14:11, Dima Pasechnik a écrit : 
>> > Sage used to work on ARM chips, we stopped testing on it due to lack of 
>> > hardware in 2015 or so. 
>> > 
>> > We can pick it up again. 
>> > 
>> > 
>> > On Tue, 23 Jun 2020, 13:03 kcrisman, > > > wrote: 
>> > 
>> > See e.g. 
>> > 
>> https://www.theverge.com/2020/6/21/21298607/first-arm-mac-macbook-pro-imac-ming-chi-kuo-wwdc-2020
>>  
>> > 
>> > When Apple moved to Intel, there were definitely some impacts for 
>> > Sage - obviously needing to provide two sets of binaries - but I 
>> > wonder if maybe the Sage ecosystem is a lot more stable w.r.t. 
>> > processors this time around (e.g. assembly code already available 
>> > for major upstream packages).  Maybe it's so trivial that I am 
>> > foolish for mentioning it, but I thought I would ask if anyone has 
>> > thoughts on this, as I couldn't find anything on this forum about 
>> it 
>> > yet. 
>> > 
>> > -- 
>> > 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/7aa3429b-d2d6-4453-b708-793da943275ao%40googlegroups.com
>>  
>> > <
>> https://groups.google.com/d/msgid/sage-devel/7aa3429b-d2d6-4453-b708-793da943275ao%40googlegroups.com?utm_medium=email_source=footer>.
>>  
>>
>> > 
>> > -- 
>> > 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/CAAWYfq0B_TZssoMRqwvrp7bgjz99WRm4OzQ%3DguZcy5CP1atxtg%40mail.gmail.com
>>  
>> > <
>> https://groups.google.com/d/msgid/sage-devel/CAAWYfq0B_TZssoMRqwvrp7bgjz99WRm4OzQ%3DguZcy5CP1atxtg%40mail.gmail.com?utm_medium=email_source=footer>.
>>  
>>
>>
>

-- 
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/47e78128-0d36-4d57-b5bc-6811cc046049o%40googlegroups.com.

Re: [sage-devel] Apple on ARM

[Jaap Spies]

This was me on sagerelease. Starting with sage-9.1.beta1 fplll failed. 
According to Bill Hart they never test on ARM.

Jaap


On Wednesday, June 24, 2020 at 8:21:48 AM UTC+2, tdumont wrote:
>
> Some weeks ago, there was a post on this list (or an other sage list) 
> where somebody said he succeeded compiling sage on a Raspberry 4... so... 
> t. 
>
> Le 23/06/2020 à 14:11, Dima Pasechnik a écrit : 
> > Sage used to work on ARM chips, we stopped testing on it due to lack of 
> > hardware in 2015 or so. 
> > 
> > We can pick it up again. 
> > 
> > 
> > On Tue, 23 Jun 2020, 13:03 kcrisman,  
> > > wrote: 
> > 
> > See e.g. 
> > 
> https://www.theverge.com/2020/6/21/21298607/first-arm-mac-macbook-pro-imac-ming-chi-kuo-wwdc-2020
>  
> > 
> > When Apple moved to Intel, there were definitely some impacts for 
> > Sage - obviously needing to provide two sets of binaries - but I 
> > wonder if maybe the Sage ecosystem is a lot more stable w.r.t. 
> > processors this time around (e.g. assembly code already available 
> > for major upstream packages).  Maybe it's so trivial that I am 
> > foolish for mentioning it, but I thought I would ask if anyone has 
> > thoughts on this, as I couldn't find anything on this forum about it 
> > yet. 
> > 
> > -- 
> > 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/7aa3429b-d2d6-4453-b708-793da943275ao%40googlegroups.com
>  
> > <
> https://groups.google.com/d/msgid/sage-devel/7aa3429b-d2d6-4453-b708-793da943275ao%40googlegroups.com?utm_medium=email_source=footer>.
>  
>
> > 
> > -- 
> > 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/CAAWYfq0B_TZssoMRqwvrp7bgjz99WRm4OzQ%3DguZcy5CP1atxtg%40mail.gmail.com
>  
> > <
> https://groups.google.com/d/msgid/sage-devel/CAAWYfq0B_TZssoMRqwvrp7bgjz99WRm4OzQ%3DguZcy5CP1atxtg%40mail.gmail.com?utm_medium=email_source=footer>.
>  
>
>

-- 
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/6fb5f524-76c5-4565-a545-36c41a2bffbbo%40googlegroups.com.

Re: [sage-devel] Apple on ARM

[Dima Pasechnik]

On Wed, Jun 24, 2020 at 7:21 AM Thierry Dumont
 wrote:
>
> Some weeks ago, there was a post on this list (or an other sage list)
> where somebody said he succeeded compiling sage on a Raspberry 4... so...
> t.

these are underpowered for the job, but one can get e.g.
https://aws.amazon.com/ec2/instance-types/a1/
which run Linux on ARM 64 chips.
(I don't know how to get "real" computer with such specs:))


>
> Le 23/06/2020 à 14:11, Dima Pasechnik a écrit :
> > Sage used to work on ARM chips, we stopped testing on it due to lack of
> > hardware in 2015 or so.
> >
> > We can pick it up again.
> >
> >
> > On Tue, 23 Jun 2020, 13:03 kcrisman,  > > wrote:
> >
> > See e.g.
> > 
> > https://www.theverge.com/2020/6/21/21298607/first-arm-mac-macbook-pro-imac-ming-chi-kuo-wwdc-2020
> >
> > When Apple moved to Intel, there were definitely some impacts for
> > Sage - obviously needing to provide two sets of binaries - but I
> > wonder if maybe the Sage ecosystem is a lot more stable w.r.t.
> > processors this time around (e.g. assembly code already available
> > for major upstream packages).  Maybe it's so trivial that I am
> > foolish for mentioning it, but I thought I would ask if anyone has
> > thoughts on this, as I couldn't find anything on this forum about it
> > yet.
> >
> > --
> > 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/7aa3429b-d2d6-4453-b708-793da943275ao%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/CAAWYfq0B_TZssoMRqwvrp7bgjz99WRm4OzQ%3DguZcy5CP1atxtg%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/991621e6-7de4-03ff-387e-3e6a4fdd9595%40math.univ-lyon1.fr.

-- 
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/CAAWYfq2gOmrv5qXf4o_XD9_zLEqSfQFk80jFoTa9Gjz2TSPXNQ%40mail.gmail.com.

[sage-devel] Re: Feedback on Berkovich Space

[John Cremona]

I'll forward this to sage-nt where you might find someone who knows what 
this is about.

On Tuesday, June 23, 2020 at 3:18:21 PM UTC+1, Alex G wrote:
>
> Hi Sage developers,
>
> I'm one of the Summer of Code students. I'm looking for feedback about my 
> design and implementation of the Berkovich projective line over Cp in 
> ticket 29844. Comments about design, usability, and any bugs are greatly 
> appreciated.
>
> For references the Berkovich projective line, see chapter 6 of 
> https://www.amazon.com/Dynamics-Non-archimedean-Variable-Graduate-Mathematics/dp/147044688X,
>  
> or chapter 2 of https://arxiv.org/abs/math/0407433.
>
> Thank you all!
>

-- 
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/ab2c531d-4b1f-43f0-a5bb-118c1cf0786eo%40googlegroups.com.

Re: [sage-devel] Apple on ARM

[Thierry Dumont]

Some weeks ago, there was a post on this list (or an other sage list)
where somebody said he succeeded compiling sage on a Raspberry 4... so...
t.

Le 23/06/2020 à 14:11, Dima Pasechnik a écrit :
> Sage used to work on ARM chips, we stopped testing on it due to lack of
> hardware in 2015 or so.
> 
> We can pick it up again.
> 
> 
> On Tue, 23 Jun 2020, 13:03 kcrisman,  > wrote:
> 
> See e.g.
> 
> https://www.theverge.com/2020/6/21/21298607/first-arm-mac-macbook-pro-imac-ming-chi-kuo-wwdc-2020
> 
> When Apple moved to Intel, there were definitely some impacts for
> Sage - obviously needing to provide two sets of binaries - but I
> wonder if maybe the Sage ecosystem is a lot more stable w.r.t.
> processors this time around (e.g. assembly code already available
> for major upstream packages).  Maybe it's so trivial that I am
> foolish for mentioning it, but I thought I would ask if anyone has
> thoughts on this, as I couldn't find anything on this forum about it
> yet.
> 
> -- 
> 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/7aa3429b-d2d6-4453-b708-793da943275ao%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/CAAWYfq0B_TZssoMRqwvrp7bgjz99WRm4OzQ%3DguZcy5CP1atxtg%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/991621e6-7de4-03ff-387e-3e6a4fdd9595%40math.univ-lyon1.fr.
<>