Workshop 2025

January 27­–31, 2025

https://flintlib.github.io/workshop2025.html

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.

Interfaces

People: Albin, Fredrik, Lars, ...

• Sage interface

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

• Upstream issues / missing functions found in Nemo.jl; remove workarounds there for things have been fixed already

  • https://github.com/Nemocas/Nemo.jl/pull/1996: Remove workaround for https://github.com/flintlib/flint/pull/1261.
  • https://github.com/Nemocas/Nemo.jl/pull/1997: Slightly improve performance of fq_default ctx type distinctions.
  • https://github.com/flintlib/flint/pull/2189: Add fmpz_mod_mat_pow

• Work on interface for nfloat in Arblib.jl https://github.com/flintlib/flint/issues/2184

Linear ODEs, D-finite functions

People: Marc, Fredrik, Ricardo

• Discuss and continue WIP in #2186
• More generally #1881

Theta functions

People: Jean, Fredrik

• Review #2182

New features

Some ideas for self-contained new features that could reasonably be implemented during the workshop:

• Sparse linear algebra (rebase PR from last workshop, #1845)
• Quasilinear power series composition (#1911)
• Factoring over number fields (#1601)