[sage-devel] Re: [sage-packaging] About python2 vs python3 package versions

2019-07-13 Thread Dima Pasechnik
On Sat, 13 Jul 2019 19:33 Samuel Lelièvre, wrote: > Sat 2019-07-13 09:54 UTC, Antonio Rojas: > > > > Today I tested building Sage on Arch against our python3 packages. > > Not surprisingly, it failed to even start. This is due to our python3 > > ipython package being at version 7 already, with in

[sage-devel] Re: [sage-packaging] About python2 vs python3 package versions

2019-07-13 Thread Samuel Lelièvre
Sat 2019-07-13 09:54 UTC, Antonio Rojas: > > Today I tested building Sage on Arch against our python3 packages. > Not surprisingly, it failed to even start. This is due to our python3 > ipython package being at version 7 already, with includes some > API changes that require some porting in Sage. >

Re: [sage-devel] Re: Matrix Inverse for Arbitrary Rings

2019-07-13 Thread Vincent Delecroix
https://trac.sagemath.org/ticket/28189 Le 13/07/2019 à 15:51, Michael Jung a écrit : Yes, I see. (And of course I meant "R in Fields()" and "except AttributeError".) Does anybody open a ticket about this issue? I'd like to follow. Off-Topic question: Is Sage capable of checking *whether *a mul

[sage-devel] Re: Matrix Inverse for Arbitrary Rings

2019-07-13 Thread Michael Jung
Yes, I see. (And of course I meant "R in Fields()" and "except AttributeError".) Does anybody open a ticket about this issue? I'd like to follow. Off-Topic question: Is Sage capable of checking *whether *a multivariable (differentiable) function has a zero in a given domain? Best, Michael Am

[sage-devel] Re: Matrix Inverse for Arbitrary Rings

2019-07-13 Thread Simon King
Hi Michael, On 2019-07-13, Michael Jung wrote: > You could try something like > try: > is_field = R.is_field() > except TypeError: > is_field = (R in Rings()) > as a compromise? Would that make the code faster? I think today the preferred way to test if something is a ring or integral do

Re: [sage-devel] About python2 vs python3 package versions

2019-07-13 Thread Dima Pasechnik
I think we as well should build either only Python2 or only Python3, and do not try to do both in the same build. (while having both in the same build might be marginally useful, it's too messy to maintain IMHO) On Sat, Jul 13, 2019 at 12:19 PM Vincent Delecroix <20100.delecr...@gmail.com> wrote:

Re: [sage-devel] Matrix Inverse for Arbitrary Rings

2019-07-13 Thread Michael Jung
It is supposed to work for inheritances of Ring (see sage.rings.ring): def is_field(self, proof=True): if self.is_zero(): return False if proof: raise NotImplementedError("No way to prove that %s is an integral domain!" % self) else: return False But due to th

Re: [sage-devel] About python2 vs python3 package versions

2019-07-13 Thread Vincent Delecroix
Dear Antonio, First of all: thank for your work for Sage on archlinux! I like very much to have SageMath together with my system Python environment. Many developers are actually using Sage with Python3 (as I do). Also a Python3 version of Sage is available on conda-forge. There was also some eff

Re: [sage-devel] Re: New contributor experience

2019-07-13 Thread Samuel Lelièvre
Le mer. 10 juil. 2019 à 04:40, Jerry James a écrit : > > Actually, we do have sagemath in Fedora already. There have been some > issues with it, but we've been working to clean those up and give our users > a good experience. One issue, for example, is that Fedora started removing > python 2 aro

[sage-devel] About python2 vs python3 package versions

2019-07-13 Thread Antonio Rojas
Hi all, Today I tested building Sage on Arch against our python3 packages. Not surprisingly, it failed to even start. This is due to our python3 ipython package being at version 7 already, with includes some API changes that require some porting in Sage. More and more python modules are comp

Re: [sage-devel] Matrix Inverse for Arbitrary Rings

2019-07-13 Thread Vincent Delecroix
Le 13/07/2019 à 03:17, Michael Jung a écrit : It seems like huge parts of the code rely on is_field(). It'd be desireable to make the code more flexible in this way and implement the adjugate method as standard inversion algorithm for more general rings. +1 This function is_field is not behavi