I couldn't find a way to register to this wiki, so could someone please update the page with the following info? Thanks! (Maybe for next time use https://github.com/sagemath/sage/wiki)
Project: Lie group actions on manifolds Mentor: Tobias Diez, Erik? Area: Differential Geometry Skills: Knowledge of Lie groups and their actions is desirable Length: 350 hours Difficulty: Medium This project aims to extend SageMath’s differential geometry and group theory framework by implementing Lie groups and their actions on manifolds. Lie groups are fundamental in geometry, physics, and representation theory. The project will include: - Extending the existing code for nilpotent Lie groups to arbitrary Lie groups - Implementing the standard matrix Lie groups (GL, SL, SO, ...) as Lie groups - Implementing Lie group actions on manifolds (with the long-term goal to compute orbits, stabilizers, and invariants). On Wednesday, February 19, 2025 at 4:55:11 PM UTC+1 vdelecroix wrote: > Thanks Martin for the suggestion. I think it would be nice to improve > the fricas interface as part of the project! (hint: you can help with > mentoring). > > On Wed, 19 Feb 2025 at 16:25, 'Martin R' via sage-devel > <sage-...@googlegroups.com> wrote: > > > > I would like to remark that, as far as I know, the guessing facilities > of gfun have a reasonable replacement which is available in sage through > fricas. The last time I checked, this was more general and at least as fast > than it's maple counterpart. > > > > The one thing that would dramatically improve the situation here would > be a sane way to exchange data with fricas. > > > > Best wishes, > > > > Martin > > On Tuesday, 18 February 2025 at 08:17:13 UTC+1 vdelecroix wrote: > >> > >> I lost my wiki password but I am willing to propose to mentor on the > >> following topics. I would welcome in anyone assisting me in the > >> mentoring. > >> > >> 1) Zariski closures of finitely generated matrix groups > >> > >> Mentor: Vincent Delecroix + (?) > >> Area: Algebra > >> Skills: Group theory, Lie algebras, Number fields, familiarity with > >> Python and GAP > >> Length: 175 hours and 350 hours variants > >> Difficulty: Medium-hard > >> > >> Finitely generated matrix groups over the rationals (or more generally > >> over number fields) appear in number theory (diophantine equations) as > >> well as in geometry (holonomy of flat connections). An important > >> invariant of such group is its Zariski closure: the smallest algebraic > >> group it is contained in. The goal of this project is to write an > >> algorithm to compute this Zariski closure using linear algebra in the > >> Lie algebra of the ambient group. > >> > >> 2) genfun > >> > >> Mentor: Vincent Delecroix + (?) > >> Area: Algebra, Combinatorics > >> Skills: Linear algebra, polynomial ring and power series, ODE, > >> familiarity with Python > >> Length: 175 hours and 350 hours variants > >> Difficulty: Medium-hard > >> > >> genfun is a Maple library developed by B. Salvy > >> (https://perso.ens-lyon.fr/bruno.salvy/software/the-gfun-package/). > >> Equivalent features are available in SageMath (some of them in plain > >> SageMath and others in the C-library flint or SageMath library > >> ore_algebra). The goal of this project is to write an interface to > >> these SageMath tools using the standardized names from genfun. > >> Additionally, there we expect the developer to write a document > >> explaining how each function call in genfun can be replaced by > >> standard SageMath computations. > >> In the course of the project, it is likely that the developer has to > >> implement additional interface to the C-library flint. We also expect > >> the developer to identify critical features that are missing in > >> SageMath in order to propose a complete open source alternative for > >> genfun integrated in the SageMath environment. > >> > >> Best > >> Vincent > >> > >> On Tue, 18 Feb 2025 at 05:12, Travis Scrimshaw <tcsc...@gmail.com> > wrote: > >> > > >> > Hi everyone, > >> > It would be good if people added more project ideas and/or be willing > to be listed as a mentor. Google is looking more closely at what mentor > orgs are putting in their ideas pages, and right now it looks like we do > not have many mentors this year. It would be great to improve this. > >> > > >> > Best, > >> > Travis > >> > > >> > On Friday, February 7, 2025 at 10:02:04 AM UTC+9 Travis Scrimshaw > wrote: > >> >> > >> >> Thanks, I've added you as a potential mentor there. > >> >> > >> >> Best, > >> >> Travis > >> >> > >> >> On Thursday, February 6, 2025 at 7:04:19 PM UTC+9 axio...@yahoo.de > wrote: > >> >>> > >> >>> I'd be happy to co-mentor the diagram algebra project (where I know > a little bit of the mathematics), and also the free module project. > >> >>> > >> >>> Martin > >> >>> On Thursday, 6 February 2025 at 00:38:30 UTC+1 tcsc...@gmail.com > wrote: > >> >>>> > >> >>>> Some other points I should mention: > >> >>>> > >> >>>> - Google will probably start looking at proposals after Feb. 11, > so it would be good to have the projects listed before then. However, this > is not a hard deadline and you are welcome to add project ideas at any time. > >> >>>> - If you are not able to edit the wiki page, you can simply post > the idea here. > >> >>>> - The idea does not have to be very concrete. It is ultimately the > responsibility of the contributor submitting the proposal to construct the > project. Of course, the more precise/concrete, generally the better. You > should also be somewhat available to provide feedback on projects. > >> >>>> - Being a mentor can be a relatively low-time commitment of 1-2 > hours / week. This depends on the student, how you mentor, and how much > time you want to spend. > >> >>>> - You do not have to be listed as the mentor on any idea you > propose. > >> >>>> > >> >>>> Best, > >> >>>> Travis > >> >>>> > >> >>>> On Thursday, February 6, 2025 at 8:31:59 AM UTC+9 Travis Scrimshaw > wrote: > >> >>>>> > >> >>>>> Hi everyone, > >> >>>>> I have submitted the application for SageMath to be involved with > this year's GSoC program. In order to make our participation in the program > successful and rewarding, as well as an important part of being selected as > a mentor organization, I need you to submit project ideas on our GSoC 2025 > page: > >> >>>>> > >> >>>>> https://wiki.sagemath.org/GSoC/2025 > >> >>>>> > >> >>>>> We need to have a diverse set of projects to attract good > students, and this is a good opportunity for you to get help with > completing some code, project, or feature that you've always wanted. You do > not need to be an experienced developer to be a mentor as someone who does > have experience can co-mentor to help with the technical details (I can do > this for instance for 1-2 projects). So feel free to ask your colleagues > for ideas and/or if they are willing to teach someone the underlying > mathematics! > >> >>>>> > >> >>>>> Let me know if you have any questions. > >> >>>>> > >> >>>>> Thank you, > >> >>>>> Travis > >> > > >> > -- > >> > You received this message because you are subscribed to the Google > Groups "sage-devel" group. > >> > To unsubscribe from this group and stop receiving emails from it, > send an email to sage-devel+...@googlegroups.com. > >> > To view this discussion visit > https://groups.google.com/d/msgid/sage-devel/a7ab0de6-2741-4ddc-888f-b6f8927470ddn%40googlegroups.com > . > > > > -- > > You received this message because you are subscribed to the Google > Groups "sage-devel" group. > > To unsubscribe from this group and stop receiving emails from it, send > an email to sage-devel+...@googlegroups.com. > > To view this discussion visit > https://groups.google.com/d/msgid/sage-devel/50a09f56-f4fe-4712-9b78-5292562b293en%40googlegroups.com > . > -- You received this message because you are subscribed to the Google Groups "sage-devel" group. To unsubscribe from this group and stop receiving emails from it, send an email to sage-devel+unsubscr...@googlegroups.com. To view this discussion visit https://groups.google.com/d/msgid/sage-devel/b38c768d-98b5-4b74-9152-f78386552eedn%40googlegroups.com.
