Skip to content

FIX: Scaling of gcd of polynomials to be standard#3227

Merged
fingolfin merged 1 commit intogap-system:masterfrom hulpke:fixesJan 24, 2019
+17-5

Commits

Commits on Jan 24, 2019