Workshop 2023

Workshop Homepage: https://flintlib.github.io/workshop2023.html

Zulip chat

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

Schedule

Monday

• 09:30: work session
• 12:30: lunch (see food options below)
• 13:30: work session
• 14:30: FFT discussion

Tuesday

• 09:00: work session
• 10:00: linear algebra discussion
• 12:30: lunch (see food options below)
• 14:00: work session
• 14:30: generics discussion

Wednesday

• 09:00: work session
• 12:15: group photo
• 12:30: lunch (see food options below)
• 14:00: work session
• 14:30: p-adics discussion

Thursday

• 09:00: work session
• 12:30: lunch (see food options below)
• 14:00: work session

Friday

• 09:00: work session
• 12:30: lunch (see food options below)
• 14:00: work session

Possible Topics

Final 3.0 release

People: Fredrik, Joel

• Distribute autofiles?
• Any additional bugfixes
• Documentation proofreading

Linear algebra

People: Fredrik, Vincent, Vincent N.

• Tuning HNF, other functions over Z
• Generic-ify linear algebra
• Sparse linear algebra
• Linear algebra over number fields / order

p-adics, q-adics

People: Hartmut?

• more functionality?
• Error bounds
• Centered representation

Interfaces

People: Fredrik, Vincent, Joel

• Python-FLINT
• Sage
• Nemo
• Haskell
• Can we have more code reuse, testing?
• Auto-generation (eg as cypari2)? Generic wrapper (cppyy)?
• Prepare Arblib.jl for 1.0

Tuning, portability

People: Fredrik

• How should we tune FLINT for various architectures?
• How to handle different instruction sets (AVX2, etc.)

FFTs

People: Fredrik, Vincent N.

• Continue to review/cleanup/document fft_small
• Add more helper functions (invariant multiplication, etc.)
• FFT matrix multiplication
• Fallback nmod FFT code
• Generic FFT code (port Pascal's acb code?)

Miscellaneous

Food

There are multiple options for getting food on and near the campus:

• On the campus map:
  • building 36 is right across the math building and has a bistro serving vegetarian and vegan cold meals and usually one warm dish (menu here, but you have to select "Bistro 436" manually; for german speakers see also https://www.mensa-kl.de)
  • building 30 is the main Mensa with multiple meals (menu here; for german speakers see also https://www.mensa-kl.de)
    • unfortunately this requires a "Mensa card" -- guest cards are available at the entrance, though
  • building 7 is the Restaurant “Sommerhaus”
  • building 27 is the Restaurant “UNIQUE”
  • there is a Döner (also with Vegtarian options) within 10 minutes walking distance to the east of the university (also a Pizza place?)
  • there is a “LIDL” supermarket within 6 minutes walking distance to the southwest of the university
  • there is a bakery “Barbarossa Bäckerei” within 15 minutes walking distance to the north of the university

Remote Availability

David Einstein After 1300 CET. Proofreading documentation and adding undocumented functions, python-flint, sage, and anything else as needed.

Vincent Delecroix

• Monday 09:00 - 12:00
• Tuesday 09:00 - 12:00
• Wednesday 09:00 - 17:00
• Thursday 09:00 - 12:00