cboolToBool | Math.FiniteField.GaloisField.Zech.C |
ceilingLog2 | Math.FiniteField.Primes |
ceilingSquareRoot | Math.FiniteField.Primes |
CFq | |
1 (Type/Class) | Math.FiniteField.GaloisField.Zech.C |
2 (Data Constructor) | Math.FiniteField.GaloisField.Zech.C |
characteristic | Math.FiniteField.Class |
checkSomeSNat | Math.FiniteField.TypeLevel |
checkSomeSNat64 | Math.FiniteField.TypeLevel |
constructDivisor | Math.FiniteField.TypeLevel |
constructGaloisField | Math.FiniteField.GaloisField.Small |
constructSubField | Math.FiniteField.GaloisField.Zech |
constructWitnessC | Math.FiniteField.GaloisField.Zech.C |
constructZechField | Math.FiniteField.GaloisField.Zech |
conwayCoefficients | Math.FiniteField.Conway |
conwayDim | Math.FiniteField.Conway |
conwayParams | Math.FiniteField.Conway |
conwayParams' | Math.FiniteField.Conway |
ConwayPoly | Math.FiniteField.Conway |
conwayPrime | Math.FiniteField.Conway |