Re: [sage-devel] Building sage 9.0 fails in Centos 8

2020-01-15 Thread Dima Pasechnik
try running make distclean and then ./configure again. If this doesn't help, post config.log here On Wed, 15 Jan 2020, 23:03 Aria Shahverdi, wrote: > I just updated gcc, g++ and gfortran to 9.2.0 but ./configure still can > not detect gcc but it detects gfortran. > > gcc-9.2.0 >

Re: [sage-devel] Power series do not distinguish between different precisions!

2020-01-15 Thread Nils Bruin
On Wednesday, January 15, 2020 at 12:45:10 PM UTC-8, Sebastian Oehms wrote: > > My expectation is that two power series are considered to be equal if > there polynomials agree, but also their individual precisions as long as > one of them is below the default precision of the ring. Accordingly

Re: [sage-devel] Building sage 9.0 fails in Centos 8

2020-01-15 Thread Aria Shahverdi
I just updated gcc, g++ and gfortran to 9.2.0 but ./configure still can not detect gcc but it detects gfortran. gcc-9.2.0 gdb-8.2 gf2x-1.2.p0 gfan-0.6.2.p1 gfortran-9.2.0 will not be installed (configure check) Also forcing i.e. ./configure --with-system-gcc , does not seem

Re: [sage-devel] Building sage 9.0 fails in Centos 8

2020-01-15 Thread Dima Pasechnik
typically this happens if you don't have g++ and gfortran installed on your system. On Wed, 15 Jan 2020, 21:17 Aria Shahverdi, wrote: > Thanks, Yes the portable edition is working fine. I am trying to build > from source and that is when it causes the problem. > > I looked more and it seems the

Re: [sage-devel] Building sage 9.0 fails in Centos 8

2020-01-15 Thread Aria Shahverdi
Thanks, Yes the portable edition is working fine. I am trying to build from source and that is when it causes the problem. I looked more and it seems there is an issue with gcc and it tries to build gcc although I have gcc-8.3 On Wednesday, January 15, 2020 at 4:11:25 PM UTC-5, Dima Pasechnik

Re: [sage-devel] Building sage 9.0 fails in Centos 8

2020-01-15 Thread Dima Pasechnik
On Wed, 15 Jan 2020, 16:44 Aria Shahverdi, wrote: > Hi, > > I got the '*sage-9.0-Debian_GNU_Linux_10-x86_64.tar.bz2* > ' > from the website and am trying to install it on Centos 8. (I previously did > the same pr

Re: [sage-devel] Power series do not distinguish between different precisions!

2020-01-15 Thread Sebastian Oehms
> > For example, suppose you want to do some long computation and determine > whether you get 1 at the end. At the end of your computation, you find the > answer 1 + O(t^33). I think it's more useful to say that this is equal to > 1 than that it's not. > Sorry, that I was not clear enought a

Re: [sage-devel] Power series do not distinguish between different precisions!

2020-01-15 Thread Nils Bruin
On Wednesday, January 15, 2020 at 7:09:29 AM UTC-8, David Roe wrote: > > > I'm not sure what kind of equality you would imagine, but if we defined > equality by something like "equal absolute precision and equal value modulo > that absolute precision" then you no longer have additive and > multi

[sage-devel] Building sage 9.0 fails in Centos 8

2020-01-15 Thread Aria Shahverdi
Hi, I got the '*sage-9.0-Debian_GNU_Linux_10-x86_64.tar.bz2* ' from the website and am trying to install it on Centos 8. (I previously did the same procedure for sage 8.9 and it was successful). There is erro

[sage-devel] Re: drop python2 compatibility in 9.1 ?

2020-01-15 Thread Sébastien Labbé
On Tuesday, January 14, 2020 at 6:01:42 PM UTC+1, Frédéric Chapoton wrote: > > This has been a long discussion already. Let me try to summarize. My > question was : > > *Do you agree that sage release 9.1 (and most of the 9.1.betas) will > not be kept compatible with Python 2 ?* > here is my

Re: [sage-devel] Protocol for when you see a ticket describing a bug that doesn't seem to exist in the current version

2020-01-15 Thread kcrisman
set the milestone to duplicate/invalid/wontfix >> and give it positive review, with an explanation in a comment. >> > > Depending how striking the claimed bug is, it might be inspiration for a > good doctest, in which case the ticket can be used to actually "fix" the > documentation. > Yes,

Re: [sage-devel] Power series do not distinguish between different precisions!

2020-01-15 Thread David Roe
We only store power series and p-adics to finite precision, so it's impossible to tell whether the mathematical objects underlying two elements in Sage are actually equal. In practice, the goal of a p-adic or power series computation is to determine some result approximately, since that's all that

Re: [sage-devel] Re: Build of 9.0 failed at R

2020-01-15 Thread Malcolm MacCallum
Thanks to all those who replied, especially Eric. It seems clear the issue is/was with gfortran. I had not installed the system gfortran so I was using the sage one. I now have the system one (7.4.0, same as Eric). I'm not entirely sure how to ensure sage uses the system version (in principle I

[sage-devel] Power series do not distinguish between different precisions!

2020-01-15 Thread Sebastian Oehms
Dear all, obviously Sage does not distinguish between precisions of power series: sage: R. = PowerSeriesRing(ZZ) sage: O(t).is_zero() True sage: O(t) == O(t**2) True Similarly for p-adics: sage: O(3).is_zero() True sage: O(3) == O(3^2) True sage: This seems to be explicitly intended: def