Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Documentation
discriminant :: Curve -> Gfp Source #
data TargetConfig Source #
Instances
Eq TargetConfig Source # | |
Defined in Factor.Ec (==) :: TargetConfig -> TargetConfig -> Bool # (/=) :: TargetConfig -> TargetConfig -> Bool # | |
Ord TargetConfig Source # | |
Defined in Factor.Ec compare :: TargetConfig -> TargetConfig -> Ordering # (<) :: TargetConfig -> TargetConfig -> Bool # (<=) :: TargetConfig -> TargetConfig -> Bool # (>) :: TargetConfig -> TargetConfig -> Bool # (>=) :: TargetConfig -> TargetConfig -> Bool # max :: TargetConfig -> TargetConfig -> TargetConfig # min :: TargetConfig -> TargetConfig -> TargetConfig # | |
Show TargetConfig Source # | |
Defined in Factor.Ec showsPrec :: Int -> TargetConfig -> ShowS # show :: TargetConfig -> String # showList :: [TargetConfig] -> ShowS # |
factorTargets :: RandomGen r => Integer -> ([(Curve, Point)], Int) -> [TargetConfig] -> r -> Verbose (Maybe Integer, r) Source #
data DivisionPolynomial Source #
Instances
Eq DivisionPolynomial Source # | |
Defined in Factor.Ec (==) :: DivisionPolynomial -> DivisionPolynomial -> Bool # (/=) :: DivisionPolynomial -> DivisionPolynomial -> Bool # | |
Ord DivisionPolynomial Source # | |
Defined in Factor.Ec compare :: DivisionPolynomial -> DivisionPolynomial -> Ordering # (<) :: DivisionPolynomial -> DivisionPolynomial -> Bool # (<=) :: DivisionPolynomial -> DivisionPolynomial -> Bool # (>) :: DivisionPolynomial -> DivisionPolynomial -> Bool # (>=) :: DivisionPolynomial -> DivisionPolynomial -> Bool # max :: DivisionPolynomial -> DivisionPolynomial -> DivisionPolynomial # min :: DivisionPolynomial -> DivisionPolynomial -> DivisionPolynomial # | |
Show DivisionPolynomial Source # | |
Defined in Factor.Ec showsPrec :: Int -> DivisionPolynomial -> ShowS # show :: DivisionPolynomial -> String # showList :: [DivisionPolynomial] -> ShowS # |
psiDivisionPolynomials :: Curve -> [Gfpx] Source #
traceOfFrobeniusMod2 :: Curve -> Integer Source #
traceOfFrobenius :: Curve -> Integer Source #
supersingular :: Curve -> Bool Source #