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

2022-02-03 Thread Akos M
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 Thursda

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

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

2022-02-03 Thread Akos M
s). 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 created - my first - ticket. > > https://trac.sagemath.org/ticket/33285#ticket > > > > O

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

2022-02-03 Thread Akos M
now 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 > > L

[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

Re: [sage-devel] possible bug: kernel of ring homomorphism

2021-02-08 Thread Akos M
King (2011). Simon, > > can you help? > > > > John > > > > On Mon, 8 Feb 2021 at 09:20, Akos M wrote: > > > > > > Hi, > > > > > > I'm not sure whether this is a bug or not, but the kernel of a ring > homomorphism to a quotient ring g

[sage-devel] possible bug: kernel of ring homomorphism

2021-02-08 Thread Akos M
Hi, I'm not sure whether this is a bug or not, but the kernel of a ring homomorphism to a quotient ring gives unexpected results: A. = QQ[] B. = QQ[] H = B.quotient(B.ideal([B.1])) f = A.hom([H.0], H) f f.kernel() outputs: Ring morphism: From: Univariate Polynomial Ring in t over