Nemo v0.47.5
Merged pull requests:
- Add optimized is_trivial methods for zzModRing and ZZModRing (#1949) (@fingolfin)
- Replace Random.GLOBAL_RNG by Random.default_rng() (#1950) (@fingolfin)
- Make factor work for Int128, UInt128, BigInt (#1951) (@JohnAAbbott)
- fix: wrong caching in relative FqField construction (#1952) (@thofma)