Skip to content

Consistently use ZZ/QQ instead of mix of ZZ/QQ and FlintZZ/FlintQQ #61

Consistently use ZZ/QQ instead of mix of ZZ/QQ and FlintZZ/FlintQQ

Consistently use ZZ/QQ instead of mix of ZZ/QQ and FlintZZ/FlintQQ #61

Annotations

1 warning

[Singular]#release - ubuntu-latest, julia ~1.6.0-0

succeeded Apr 18, 2024 in 3m 32s