Hi Henry, I would prioritize the proposal, but doing the (hopefully small) PR should not take up a significant portion of time. Feel free to @tscrim me on the PR for a review.
Also, since you are studying computational mathematics, you might want to read again some of the other project ideas as they are more computationally focused, such as "Lie group actions on manifolds", the "Coordinate the graded commutative algebra and exterior algebra implementations and Gröbner bases" (mainly the Gröbner bases portion), or the "Zariski closures of finitely generated matrix groups" (but not limited to these). Of course, we would be happy with the matrix space project being completed, but it is more infrastructure/refactoring than about performing computations (efficiently). (In particular, representation theory is essentially translating algebraic structures into linear algebra.) Let me know if you have any other questions. Best, Travis On Tuesday, March 11, 2025 at 9:24:44 PM UTC+9 Henry Wu wrote: > 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/af4fdeed-297f-4bae-b776-b60090619a97n%40googlegroups.com.
