Hi Henry, Thank you for your interest. The short version is the matrix code is really complex and spread across multiple files, but there are many features of it that does not require all the commutative ring axioms. So the goal would be to figure out a way to refine things such that you can construct the MatrixSpace parent and matrices (with perhaps a special class) that only subtraction free operations are performed. Hence, the first thing to do is get familiar with the matrix code already in Sage and then figure out the best way to allow this input (one possibility is allowing methods to fail when they involve subtraction in a fundamental way).
Let us know if you have any additional questions. Best, Travis On Friday, March 7, 2025 at 9:05:56 AM UTC+9 Henry Wu wrote: > dear sage math communities: > Hi my name is Henry and is a current junior studying computational > mathematics and statistics&machine learning at CMU. I found this project > idea of "matrix spaces over commutative semirings" of sage math and is > enthusiastic about moving forward with this project idea. > I'm pretty familiar with python development, and am experienced in working > with linear algebra and implementation of linear algebraic algorithms. I've > been reading the guide and past conversations, and am currently acquainting > myself with basic sagemath structures. I'm also a bit rusty on abstract > algebra, and am catching up on those ends as well. > I would love to learn more about the current state of implementation, and > some suggestions on moving forward with a solid proposal. Besides basic > intro to sagemath, could you kindly share some references as to the nature > of the problem, some documents I should read, or some background knowledge > to learn beforehand? I would greatly appreciate the opportunity to discuss > this further at your convenience > Regards > Henry > > > -- You received this message because you are subscribed to the Google Groups "sage-gsoc" group. To unsubscribe from this group and stop receiving emails from it, send an email to sage-gsoc+unsubscr...@googlegroups.com. To view this discussion visit https://groups.google.com/d/msgid/sage-gsoc/89550003-598d-476b-9e60-5172455b06bdn%40googlegroups.com.
