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

matching: [Singular#master] - ubuntu-latest, julia ~1.6.0-0

succeeded Apr 18, 2024 in 3m 44s