Max Horn

Release notes script: be nicer when run from Oscar.jl root directory

1

This is not nice: ``` $ dev/releases/release_notes.py Base tag is v1.2.2 v1.2.2 Base tag was created 2024-12-13 Downloading filtered PR list query: merged:>=2024-12-13 -label:"release notes: not needed" -label:"release notes: added"...

Release notes script: order entries by ascending (not descending) PR number

3

For reading the changelog, I would find it way more intuitive if the pr numbers in each section increase instead of decrease. In the current setting it could happen that...

Release notes script: replace startDate hack

3

See discussion here:

Invalidations

6

Related to issue #98, I had a look at invalidations in Oscar master as of right now, with Julia 1.10-DEV snapshot (and a dev version of Mongoc which already fixes...

Wishlist for `eigenspace` and `eigenspaces`

4

Some wishes: - [ ] searching for `eigenspace` or `eigenspaces` on https://docs.oscar-system.org/stable/ should yield more than 0 hits - I think this is because Nemo defines and exports these function,...

Add type parameter to `Matroid`

3

and use this to improve type stability

Rename IdealGens member 'gens' to 'gensBiPolyArray'

3

... to make it easy to grep for. Could also serve as preparation for merging `BiPolyArray` into `IdealGens`. But even without that it's useful when reading the code (`I.gens.gens.S` makes...

We've been seeing a worrying number of segfaults in CI recently. Let's start collecting some to get a better id of which ones occur and how often. Perhaps then we...

Add more basic functionality for pc groups and their elements

2

We need more methods for working with `PcGroupElem` objects. For starters, these: - `exponent_vector` - `relative_order` - `depth` - `leading_exponent` The corresponding GAP methods can be found [here for pcp...

During our recent Wednesday triage meetings we discussed `OScar.ModuleFP` vs. `AbstractAlgebra.FPModule` (see issue #4708). This resulted in PR #4847. But there was also the question in how far we need...