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

On Thursday, 20 February 2025 at 02:56:52 UTC+1 dim...@gmail.com wrote:



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 

> 
>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+unsubscr...@googlegroups.com.
To view this discussion visit 
https://groups.google.com/d/msgid/sage-devel/ea9cb7f5-c6ed-4ea3-a445-36e45e1a43b7n%40googlegroups.com.

Reply via email to