Closed Bodigrim closed 3 years ago
I changed the definition of Data.Field.Galois.Extension.deg' because Data.Euclidean.degree is not a recommended way to measure polynomial's degree - it is just a rather unfortunate names clash.
Data.Field.Galois.Extension.deg'
Data.Euclidean.degree
@sdiehl gentle ping. CI failure is unrelated to this PR, AFAICT.
All looks good. Thanks! :pray:
Any chance for a Hackage release please?
Pull Request Checklist
I changed the definition of
Data.Field.Galois.Extension.deg'
becauseData.Euclidean.degree
is not a recommended way to measure polynomial's degree - it is just a rather unfortunate names clash.