Workshop 2025

Jump to bottom Edit New page

Marc Mezzarobba edited this page Oct 4, 2024 · 26 revisions

Tentatively Jan 27–31, 2025. Currently under development. Date to be confirmed.

Zulip chat

https://sagemath.zulipchat.com/#narrow/stream/408539-flint

Possible topics

More streamlining of FLINT

People: Albin

Continuing on Edgar's work, check that each entry in header files has a corresponding docstring. Automate this and integrate into our CI.
Add a runner for checking documentation format.
One of our CI runners currently checks parts of FLINT for an extended list of warnings. Extend this check to cover the whole of FLINT.
Perhaps write a tool that helps downstream projects to write wrappers for structs and basic functions (see https://github.com/Nemocas/Nemo.jl/issues/1812). Would also be useful for SageMath, python-flint, PARI/GP, ...