Simon Brandhorst

Bug in primary decomposition & does not terminate on a principal ideal

9

**Describe the bug** Let K be a number field (e.g. a cyclotomic field) 1. Primary decomposition does not terminate after 12 hours for a principal ideal (f) < K[x,y,t] (but...

Wrap DoubleCosetsRepsAndSizes

2

Adds `double_cosets_representatives_and_sizes` and `smaller_degree_permutation_representation`. If you point me to the right place, I will happily add these functions to the docs.

Disjoint gluings

13

Introduces disjoint gluings. In particular when we ask a covering for a gluing which is a disjoint union, before it would give a key error in a dictionary. Not it...

Center of a blowup

5

There has been some discussion about what the method `center` of a blowup should return. In personal discussion with @HechtiDerLachs and @paemurru we came to the following: - mathematically speaking...

Ideal Saturation over F(t)[x,y] for F a number field could be faster.

8

The saturation of an ideal in `F(t)[x,y]` for `F = QQ(a)` a simple number field could be faster. The following computation terminates in Magma in Total time: 85.219 seconds, Total...

I was notified that the documentation for elliptic curves is missing/hard to find in Oscar. There seems to be at least a little something in Hecke. Could we add that...