Hi Travis and other sage-math community members: Thanks for your reply! I've been reading the related docs and codes, especially the matrix, matrix space, semiring codes the past few days (I see why you say it's complex now). And I think I'm beginning to get the overall picture of the problem. I may come up with some update on that end hopefully in the next couple of days. In the meanwhile, I notice that the GSOC application also requires some contribution to the code base, i.e. complete a PR on git etc. I've found one related to linear algebra and plan to get on with it. But how do you feel if I should prioritize on thinking about the overall proposal or contributing PR? Regards Henry On Friday, March 7, 2025 at 1:23:46 AM UTC-5 tcscrims wrote:
> 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/0855f36f-1574-4f4e-9fc0-5095ea2961fen%40googlegroups.com.
