[sage-gsoc] Associative-Magmatic-Algebras

Hello Sir, I was going through "Algebras" and I had a doubt. Does MagmaticAlgebra and AssociativeAlgebra have to be implemented over Ring only? I went through internet and google uses rings to define those algebras, but the axioms that those algebra follow (Unital, Associative) are also preser

[sage-gsoc] Re: Associative-Magmatic-Algebras

Hello Sir, I have submitted my proposal. Please review it and let me know necessary updates and improvements. I want to verify soundness of my approach and extend the proposal for Multivariate Polynomials. Thank You Animesh Shree On Tuesday, March 12, 2024 at 12:26:38 AM UTC+5:30 tcscrims wrot

[sage-gsoc] Re: Associative-Magmatic-Algebras

I was going through this code and got error. But I could not understand why this is the case. sage: T = TropicalSemiring(QQ) sage: T(1) 1 sage: T(2) 2 sage: T(-2) -2 sage: -T(2) --- ArithmeticError

[sage-gsoc] Re: Associative-Magmatic-Algebras

This problem can be seen clearly if we use *Matrix_generic_dense* as element class for matrix space. On Tuesday, March 26, 2024 at 9:42:45 PM UTC+5:30 Animesh Shree wrote: > I was going through this code and got error. But I could not understand > why this is the case. > > > > > sage: T = Trop

[sage-gsoc] Re: Associative-Magmatic-Algebras

I read about Matrix Algebra over Tropical Semiring and found that there is "tropical determinant" for this purpose (Page 3 : Eq 4 ). This formulation does not use (additive) inversion. I was also trying different operations between tropical e

[sage-gsoc] Re: Associative-Magmatic-Algebras

Actually I was facing few errors. The 4th error made me feel like coercion was required. On Sunday, March 31, 2024 at 3:24:02 AM UTC+5:30 tcscrims wrote: > First, coercion is not in any way essential for polynomial rings. It makes > some things a bit more cumbersome, but it is certainly workabl

[sage-gsoc] Re: Associative-Magmatic-Algebras

Sorry, I mistakenly attached wrong file. This is the correct one On Sunday, March 31, 2024 at 11:36:25 AM UTC+5:30 Animesh Shree wrote: > Actually I was facing few errors. > The 4th error made me feel like coercion was required. > > > On Sunday, March 31, 2024 at 3:24:02 AM UTC+5:30 tcscrims wrot

[sage-gsoc] Re: Associative-Magmatic-Algebras

I have updated the proposal in GSOC portal. I updated the following things - Breakdown of Project Synopsis - Added phases of development - Updated the schedule - Added Appendix for extra details ( diagrams ) I submitted my proposal for the topic : *" Implement matrix spaces over com