Re: [sage-devel] Possible bug: specifying category messes up coercion?

2022-02-03 Thread 'Travis Scrimshaw' via sage-devel
It is trying to do coercion, as it rightly should IMO. Since you have specified that it is an algebra, it should have the base ring coercion, which means that the "algebra" knows what 1 is. An algebra should not be testing that it knows what 1 is because it is an assumption of being in that

Re: [sage-devel] Re: minimal requirements

2022-02-03 Thread Thierry
On Thu, Feb 03, 2022 at 04:05:05PM -0800, Matthias Koeppe wrote: > And https://doc.sagemath.org/html/en/reference/spkg/_prereq.html#spkg-prereq > has formatted versions of this information. Thanks, this is the kind of lists i was looking for. Ciao, Thierry > On Thursday, February 3, 2022 at

Re: [sage-devel] Possible bug: specifying category messes up coercion?

2022-02-03 Thread Akos M
I agree, any reference to 1 should fail. But does the zero element of an algebra (i.e. its neutral element as a Z-module) really have to refer to the identity element of the algebra? Also, it probably should throw an error, instead of getting stuck in an infinite loop. Best, Akos On Friday,

Re: [sage-devel] Possible bug: specifying category messes up coercion?

2022-02-03 Thread 'Travis Scrimshaw' via sage-devel
As I stated on the ticket, this is not a bug because you have not properly defined your algebra. It needs to have an (multiplicative) identity specified as it is rightfully expecting it. This is the correct behavior because you are saying it is an algebra without specifying what the algebra

[sage-devel] Re: minimal requirements

2022-02-03 Thread Matthias Koeppe
And https://doc.sagemath.org/html/en/reference/spkg/_prereq.html#spkg-prereq has formatted versions of this information. On Thursday, February 3, 2022 at 3:59:00 PM UTC-8 Matthias Koeppe wrote: > README.md links to the files build/pkgs/*_prereq*/distros/*.txt for this > purpose. > > Yes, the

[sage-devel] Re: minimal requirements

2022-02-03 Thread Matthias Koeppe
README.md links to the files build/pkgs/*_prereq*/distros/*.txt for this purpose. Yes, the installation guide needs improvements; this is https://trac.sagemath.org/ticket/33088 (which needs help). On Thursday, February 3, 2022 at 2:51:44 PM UTC-8 Thierry (sage-googlesucks@xxx) wrote: >

Re: [sage-devel] minimal requirements

2022-02-03 Thread Dima Pasechnik
On Thu, 3 Feb 2022, 22:51 Thierry, wrote: > Hi, > > the install from source documentation used to separate between minimal > requirements to build Sage and the optional packages that avoids > building things that can be provided by the distro. It seems that the > two list have been merged on

[sage-devel] minimal requirements

2022-02-03 Thread Thierry
Hi, the install from source documentation used to separate between minimal requirements to build Sage and the optional packages that avoids building things that can be provided by the distro. It seems that the two list have been merged on recent documentation:

Re: [sage-devel] Possible bug: specifying category messes up coercion?

2022-02-03 Thread Vincent Delecroix
There is an explanation and a "solution" on the ticket. Best Vincent Le 03/02/2022 à 23:48, Akos M a écrit : Replacing 0 with self.zero() works perfectly, thank you! Best, Akos On Thursday, February 3, 2022 at 11:34:43 PM UTC+1 Akos M wrote: Thanks for the feedback. Indeed, defined as

Re: [sage-devel] Possible bug: specifying category messes up coercion?

2022-02-03 Thread Akos M
Replacing 0 with self.zero() works perfectly, thank you! Best, Akos On Thursday, February 3, 2022 at 11:34:43 PM UTC+1 Akos M wrote: > Thanks for the feedback. > > Indeed, defined as such, C is a broken object - this was just the smallest > example where I could reproduce the error. > > I was

Re: [sage-devel] Possible bug: specifying category messes up coercion?

2022-02-03 Thread Akos M
Thanks for the feedback. Indeed, defined as such, C is a broken object - this was just the smallest example where I could reproduce the error. I was hoping that it should be possible to access the module elements without referring to 1, or multiplication. I would like to define multiplication

Re: [sage-devel] Possible bug: specifying category messes up coercion?

2022-02-03 Thread Vincent Delecroix
Now I am thinking about it, I am not sure it is a bug. You did not defined any algebra structure (neither the unit nor the product on the basis). C is definitely a broken object. However, it would make sense for C(0) not to call C(1). Vincent Le 03/02/2022 à 21:49, Akos M a écrit : Thanks, I

Re: [sage-devel] Possible bug: specifying category messes up coercion?

2022-02-03 Thread Vincent Delecroix
Thanks for creating the ticket. Once the ticket is solved there are two routes to obtain a version of SageMath including the fix. * Either you obtain the corresponding git branch that will be attached to the ticket and compile this version of the source code * Or wait for a release of

Re: [sage-devel] Possible bug: specifying category messes up coercion?

2022-02-03 Thread Akos M
Thanks, I created - my first - ticket. https://trac.sagemath.org/ticket/33285#ticket Once the ticket is (eventually) resolved, how do I update sage to involve the resolution? Thanks, Akos On Thursday, February 3, 2022 at 1:39:10 PM UTC+1 vdelecroix wrote: > It is definitely a bug. Do you know

Re: [sage-devel] Install SageMath in Red Hat Enterprise Linux Server

2022-02-03 Thread SUSANTA SAMANTA
Thanks to all. I have installed SageMath using conda and it was easy. On Fri, Feb 4, 2022 at 1:01 AM Matthias Koeppe wrote: > Adding to this: The SageMath project does not provide binaries for Redhat > and its variants. > However, the Fedora project does maintain a SageMath package. See >

Re: [sage-devel] Re: sage 9.5 build failed at package numpy-1.21.4 (on Windows Server 2019 WSL)

2022-02-03 Thread Matthias Koeppe
It would probably be a good idea to do "make ccache" and then re-attempt the build. On Thursday, February 3, 2022 at 11:32:32 AM UTC-8 hohoa...@gmail.com wrote: > Hi, > > Actually this approach was tried a few times before. The report was from a > fresh clone and build. > > 'MAKE="make -j8"

Re: [sage-devel] Re: sage 9.5 build failed at package numpy-1.21.4 (on Windows Server 2019 WSL)

2022-02-03 Thread ph h
Hi, Actually this approach was tried a few times before. The report was from a fresh clone and build. 'MAKE="make -j8" make' was just tried again and the re-make ended with these failed packages: real 13m20.842s user 14m38.391s sys 6m4.781s

Re: [sage-devel] Install SageMath in Red Hat Enterprise Linux Server

2022-02-03 Thread Dima Pasechnik
On Thu, Feb 3, 2022 at 7:08 PM SUSANTA SAMANTA wrote: > > Thanks Isuru and Dima. > I would like to know whether there is any binary for the latest version of > Red Hat. I don't think there are any (there could be some more on the, currently down, server files.sagemath.org, but it's just a

Re: [sage-devel] Install SageMath in Red Hat Enterprise Linux Server

2022-02-03 Thread SUSANTA SAMANTA
Thanks Isuru and Dima. I would like to know whether there is any binary for the latest version of Red Hat. On Fri, Feb 4, 2022 at 12:20 AM Dima Pasechnik wrote: > RedHat 7.9 is quite old, we don't build binaries for it. Conda would > be a quick installation too, by the way. > > > > On Thu, Feb

Re: [sage-devel] Install SageMath in Red Hat Enterprise Linux Server

2022-02-03 Thread Dima Pasechnik
RedHat 7.9 is quite old, we don't build binaries for it. Conda would be a quick installation too, by the way. On Thu, Feb 3, 2022 at 6:45 PM SUSANTA SAMANTA wrote: > > Is there any other option without using conda? Like installation in Ubuntu by > some binaries. > > On Thu, Feb 3, 2022 at

Re: [sage-devel] Install SageMath in Red Hat Enterprise Linux Server

2022-02-03 Thread SUSANTA SAMANTA
Is there any other option without using conda? Like installation in Ubuntu by some binaries. On Thu, Feb 3, 2022 at 11:42 PM Isuru Fernando wrote: > See https://doc.sagemath.org/html/en/installation/conda.html > > Isuru > > On Thu, Feb 3, 2022 at 11:55 AM SAMANTA > wrote: > >> Hi all, >> I

Re: [sage-devel] Install SageMath in Red Hat Enterprise Linux Server

2022-02-03 Thread Isuru Fernando
See https://doc.sagemath.org/html/en/installation/conda.html Isuru On Thu, Feb 3, 2022 at 11:55 AM SAMANTA wrote: > Hi all, > I want to use SageMath on my Red Hat Enterprise Linux Server (version > 7.9). The mentioned binaries (in > http://ftp.riken.jp/sagemath/linux/64bit/index.html > ) are

[sage-devel] Install SageMath in Red Hat Enterprise Linux Server

2022-02-03 Thread SAMANTA
Hi all, I want to use SageMath on my Red Hat Enterprise Linux Server (version 7.9). The mentioned binaries (in http://ftp.riken.jp/sagemath/linux/64bit/index.html ) are for Ubuntu and Debian, but there is no such option for Red Hat. Could you suggest which distribution and packages I should

[sage-devel] Re: sage 9.5 build failed at package numpy-1.21.4 (on Windows Server 2019 WSL)

2022-02-03 Thread Matthias Koeppe
The compilation fails with a failed system call: /usr/include/x86_64-linux-gnu/bits/types.h:142:10: fatal error: /mnt/g/Maths/sage-9.5/clone/local/var/lib/sage/venv-python3.8/include/bits/time64.h: Invalid argument 142 | #include /* Defines __TIME*_T_TYPE macros. */ |

Re: [sage-devel] Possible bug: specifying category messes up coercion?

2022-02-03 Thread Vincent Delecroix
It is definitely a bug. Do you know how to open a ticket on the trac server ? The infinite loop comes from C.one() calling C(1) calling C.one()... When you specify a category the inheritance is different and this explains the difference of behaviour. Best Vincent Le 03/02/2022 à 11:29, Akos M

[sage-devel] Possible bug: specifying category messes up coercion?

2022-02-03 Thread Akos M
Hi, The snippet D = CombinatorialFreeModule(ZZ, [1,2]) D(0) works fine, however C = CombinatorialFreeModule(ZZ, [1,2], category=AlgebrasWithBasis(ZZ)) C(0) gets into an infinite loop: File "/opt/sagemath-9.0/local/lib/python3.7/site-packages/sage/categories/magmas.py", line 488, in one

[sage-devel] Re: sage 9.5 build failed at package numpy-1.21.4 (on Windows Server 2019 WSL)

2022-02-03 Thread Eric Gourgoulhon
Hi, Have you followed the instructions in the section "Ubuntu on Windows Subsystem for Linux (WSL) prerequisite installation" of https://doc.sagemath.org/html/en/installation/source.html ? Eric. Le jeudi 3 février 2022 à 10:22:11 UTC+1, hohoa...@gmail.com a écrit : > Greetings, > > The