GSoC 2025 Ideas

[Travis Scrimshaw]

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

[Travis Scrimshaw]

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

[Martin R]

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

[Vincent Delecroix]

Thanks Travis for setting that up again!

> --
> 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/a8fecf72-a58c-4116-9505-ce7b7c355a98n%40googlegroups.com.

[Travis Scrimshaw]

Thanks, I've added you as a potential mentor there.

Best,

Travis

[Travis Scrimshaw]

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

[Vincent Delecroix]

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

> --
> 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.

[Vincent Delecroix]

Additionally, I would like to propose that "SageMath subprojects"
(such as ore_algebra, admcycles, sage-flatsurf, slabbe, ...) could
make GSOC proposal under the SageMath umbrella. I believe it is easier
for a newcomer to be able to contribute to a smaller standalone
project. What do you think?

On Tue, 18 Feb 2025 at 08:12, Vincent Delecroix

[Vincent Neiger]

Hello,

I just added to the wiki the two projects suggested above. Could you please have a look to make sure I did not introduce any typo and such? In particular for the second project, as I created some title and I changed "genfun" into "gfun" which seems to be the usual name for the Maple library (I can revert back, if using "genfun" was intentional).

Best,

Vincent

[Travis Scrimshaw]

Hi Vincent^2,

   Thank you for the ideas and adding them to the ideas page.

Best,

Travis

[Travis Scrimshaw]

Additionally, I would like to propose that "SageMath subprojects"
(such as ore_algebra, admcycles, sage-flatsurf, slabbe, ...) could
make GSOC proposal under the SageMath umbrella. I believe it is easier
for a newcomer to be able to contribute to a smaller standalone
project. What do you think?

That's a great idea. Indeed, GSoC proposals to work on, add, etc. a subproject/downstream are acceptable as I recall. (I will double-check with the GSoC rules, but if I don't post anything, then it is okay.)

Best,

Travis

 

[Martin R]

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

[Vincent Delecroix]

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).

> To view this discussion visit https://groups.google.com/d/msgid/sage-devel/50a09f56-f4fe-4712-9b78-5292562b293en%40googlegroups.com.

[Tobia...@gmx.de]

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).

[Dima Pasechnik]

On 19 February 2025 09:25:12 GMT-06:00, '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.

This needs a Lisp hacker.
We certainly can have such a project in GSoC,
say, an interface based on libsbcl looks feasible,
I can even try to mentor it.
But finding a student to do it is another story.

Dima

[Martin R]

That would be awesome!  Maybe it is not completely impossible to find a suitable Lisp student, if we advertise it in the right places?

Martin

[dim...@gmail.com]

On Sat, Feb 22, 2025 at 09:29:35AM -0800, 'Martin R' via sage-devel wrote:
> That would be awesome! Maybe it is not completely impossible to find a
> suitable Lisp student, if we advertise it in the right places?

well, we can add a project, still, not too late?

explore and implement Python/Python-Sage bindings to FriCAS (and time
allowing, to Maxima) via sbcl/libsbcl, probably using
https://github.com/quil-lang/sbcl-librarian

The latter might need a degree of cooperation with sbcl-librarian
devs, as it's not documented much.

Dima

> To view this discussion visit https://groups.google.com/d/msgid/sage-devel/ea9cb7f5-c6ed-4ea3-a445-36e45e1a43b7n%40googlegroups.com.

[Travis Scrimshaw]

Hi Dima,

   We can still add projects. We can add projects up until the student submission deadline. However, for us to be accepted as a mentor org, we need sufficiently many new project ideas. Can you add this to the wiki page?

Best,
Travis