[sage-devel] ./bootstrap error in 9.2.rc3

2020-10-19 Thread Dima Pasechnik
Running ./bootstrap on macOS 10.15.6 with Homebrew, my student gets ... src/doc/bootstrap:56: installing src/doc/en/installation/homebrew.txt and src/doc/en/installation/homebrew-optional.txt src/doc/bootstrap:65: installing src/doc/en/reference/spkg/*.rst src/doc/bootstrap:97: installing src/do

[sage-devel] Re: ./bootstrap error in 9.2.rc3

2020-10-19 Thread Dima Pasechnik
On Mon, Oct 19, 2020 at 12:22 PM Dima Pasechnik wrote: > > Running ./bootstrap on macOS 10.15.6 with Homebrew, my student gets > > ... > src/doc/bootstrap:56: installing src/doc/en/installation/homebrew.txt > and src/doc/en/installation/homebrew-optional.txt > > src/doc/bootstrap:65: installing sr

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

2020-10-19 Thread Michael Jung
Dear all, vdelecroix schrieb am Freitag, 16. Oktober 2020 um 07:50:46 UTC+2: > I agree that these are not fields in the mathematical sense. And Sage > knows about it > > sage: RR.is_exact() > > > False > sage: QQ.is_exact() > > > True > That's actually what I meant. We also have: sage: RR

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

2020-10-19 Thread Nathan Dunfield
-1: I don't really care what RealField.__repr__ returns, but cast a token no vote to object to the logical next move of breaking backwards compatibility by changing the meaning of RealField and/or RR. I see the need for a "genuine real field", but it seems a lot simpler just to call it somethi