Commit Graph

3 Commits

Author SHA1 Message Date
6c7682073d add first version of finite determinacy calculations 2025-05-13 16:14:12 +01:00
Nelynx
34d6393207 work modulo maxideal always 2025-03-26 18:53:35 +01:00
Nelynx
af26d3cb59 add correct multiplication by units 2025-03-24 15:31:51 +01:00