|
6 | 6 |  |
7 | 7 |  |
8 | 8 |
|
| 9 | +## Report |
| 10 | + |
| 11 | +Edgar Costa: |
| 12 | + |
| 13 | +* fixed flints formula in homebrew https://github.com/Homebrew/homebrew-core/pull/166490 |
| 14 | +* improved the release CI, to have hashes and nightly releases |
| 15 | +* helped Bill with his Jupiter kernel development using xeus |
| 16 | +* parsed the headers and the documentation with pycparser, so one can find mismatches, and fix them accordingly |
| 17 | +* I still hope to submit a couple of PRs where I plan: |
| 18 | + * fix mismatches between types and argument names |
| 19 | + * have a CI that checks that new added functions are documented |
| 20 | + |
| 21 | +Hartmut Monien: |
| 22 | + |
| 23 | +- Examples for roots of ZZ[x] in Z[p] |
| 24 | +- Examples for tanh-sinh integration |
| 25 | +- Example for “Monien” summation |
| 26 | +- Implementation of Flint general rings in Haskell version |
| 27 | +- Permutations in Flint |
| 28 | + |
| 29 | +Marc Mezzarobba: |
| 30 | + |
| 31 | +* Worked on basic Sage wrappers for FLINT generics, https://github.com/mezzarobba/flint_gr_sage |
| 32 | +* Took part in random discussions, including about API design for ODEs and holonomic functions, https://github.com/flintlib/flint/issues/1881 |
| 33 | + |
| 34 | +Albin Ahlbäck: |
| 35 | + |
| 36 | +- Fixed some build issues (disabling static build by default, removed `ldconfig` from Make, etc.), which led to a new patch for FLINT (v3.1.2) as Andreas Enge could not build with `ldconfig`. |
| 37 | +- Extended and corrected `config.guess`, and made changes accordingly in `configure.ac`. |
| 38 | +- Worked out some sloppy lower bound for high multiplication and squaring routines. |
| 39 | +- Fixed warnings in the "base" modules when setting `-Wextra` (mostly signed-unsigned compares and unused variables where the problem). Also created a new CI runner for checking for regressions here. |
| 40 | +- Fixed wrong stack usage for assembly routines. |
| 41 | +- Created some hardcoded assembly routines for low multiplication. This has not been merged yet as I'm currently trying to figure out whether we actually need $n + 1$ limbs, or simply $n$ limbs would suffice. |
| 42 | +- Worked with AVX512 for `fft_small` a bit, and tried to see where we could optimize this module. Let's see if I continue with this one, but I think it is named `fft_small_assembly` in my repository if anyone would like to check it out. |
| 43 | +- Had a great time and met new people :sunglasses: |
| 44 | + |
| 45 | +Jean Kieffer: |
| 46 | + |
| 47 | +My main focus was to improve the performance of `acb_theta` functions by avoiding unnecessary computations as much as possible (I figured it would be a good idea to clean this up before thinking about thresholds with `acb_modular_theta`): |
| 48 | +- I introduced a "context" structure to avoid recomputing things multiple times in the quasilinear algorithm (e.g. computing Cholesky decompositions and exponentials of the input values only once.) |
| 49 | +- Started rewriting key internal functions in the module (`acb_theta_naive_worker`, `acb_theta_ql_steps`) to use this new structure. |
| 50 | +- Thought about more efficient ways to handle error bounds in the module, e.g. some internal functions should ignore the error radii of their inputs. |
| 51 | +- All this didn't converge during the three days, but I'll continue working on it and hope to make a PR before the next workshop. |
| 52 | +- I second "had a great time and met new people"! |
| 53 | + |
| 54 | +Ricardo Buring: |
| 55 | + |
| 56 | +- Discussed with Fredrik and Marc about an [API for D-finite functions and ODEs in FLINT](https://github.com/flintlib/flint/issues/1881). |
| 57 | +- Worked on [generic implementations of Newton iteration and divide-and-conquer](https://gitlab.inria.fr/ricardo-thomas.buring/d-finite-fun) to solve systems of linear ODEs with univariate polynomial coefficients. After some more testing/fixing and small API changes, I'll be making PRs for including these in the `gr_poly` module, hopefully in the near future. |
| 58 | +- Discussed some potential optimizations of the above, e.g. using polynomials with matrix coefficients and passing an evaluation point directly. Also started benchmarking the above implementations. |
| 59 | +- Two [minor](https://github.com/flintlib/flint/pull/1859) [documentation](https://github.com/flintlib/flint/pull/1860) PRs. |
| 60 | +- Briefly looked at trying to [build the documentation faster](https://sagemath.zulipchat.com/#narrow/stream/408539-flint/topic/building.20the.20docs.20faster) |
| 61 | +- Made an [amusing logo](https://sagemath.zulipchat.com/#narrow/stream/408539-flint/topic/logo/near/427644504). |
| 62 | + |
| 63 | +Vincent Neiger: |
| 64 | + |
| 65 | +Hello, small report (on my remote participation): |
| 66 | +besides a bug fix on n_primitive_root, I have been working on a small prime FFT (prime up to ~60 bits, not using floating point conversions). Initially this was with nmod_poly_mat multiplication in mind, but in the end I thought it was good to understand better the FFT for nmod_poly first, and then move to the matrix case. I still need some more time (e.g. only forward FFT is done until now, and with no TFT) and then I should also do some more testing. But my current code is relatively concise and matches the performance of NTL's forward FFT. It also seems competitive with the current fft_small, if not faster, which surprises me: I would very much welcome any help on a good benchmarking file for fft_small's forward DFT for various sizes (not counting the time for precomputing root tables). |
| 67 | + |
| 68 | +Bill Allombert: |
| 69 | + |
| 70 | +- Did some benchmarking of FLINT vs Pari/GP, identified factoring and L-function bottlenecks |
| 71 | + |
| 72 | +Kartik Venkatram |
| 73 | + |
| 74 | +- Nearly finished PR for [sparse linear algebra](https://github.com/flintlib/flint/pull/1845) |
| 75 | + |
| 76 | +Oscar Benjamin |
| 77 | + |
| 78 | +- Building python-flint [using meson](https://github.com/flintlib/python-flint/pull/129) |
9 | 79 |
|
10 | 80 | ## When and where |
11 | 81 |
|
|
0 commit comments