Safe Haskell | None |
---|
Algorithms.CL.Test
Description
Test the Class Number algorithm, and its components, using classical computation
- periodOfIdeals :: (IdDist -> IdDist) -> IdDist -> (CLReal, [IdDist])
- showPeriodForBigD :: CLIntP -> String
- showPeriodForManyDs :: Int -> IO ()
- showPeriodForSomeBigD :: CLIntP -> IO ()
- showBigDs :: Int -> IO ()
- firstFew :: IO ()
- opAllIdeals :: (IdDist -> IdDist -> IdDist) -> String -> CLIntP -> IO ()
- dotAllIdeals :: CLIntP -> IO ()
- starAllIdeals :: CLIntP -> IO ()
- testBoundedWhile :: (Show int, Integral int) => int -> int -> IO ()
- main :: IO ()
- testPrimes :: IO ()
Documentation
periodOfIdeals :: (IdDist -> IdDist) -> IdDist -> (CLReal, [IdDist])Source
Classical period finding (just compare the "next" ideal to O and see if it is the same). Takes in the O ideal with appropriate Δ, and returns the circle length (sum δ(I)) and the list of ideals in the first iteration.
showPeriodForBigD :: CLIntP -> StringSource
Show period string for a given Δ.
showPeriodForManyDs :: Int -> IO ()Source
Show the period for the first n valid Δ's.
showPeriodForSomeBigD :: CLIntP -> IO ()Source
Show period string and the list of ideals for a given Δ.
opAllIdeals :: (IdDist -> IdDist -> IdDist) -> String -> CLIntP -> IO ()Source
Perform an operation on all ideal pairs that are generated by Δ.
dotAllIdeals :: CLIntP -> IO ()Source
The the product of all pairs of ideals for a given Δ.
starAllIdeals :: CLIntP -> IO ()Source
Take the star product of all pairs of ideals for a given Δ.
testBoundedWhile :: (Show int, Integral int) => int -> int -> IO ()Source
Test the boundedWhile
functionality.
testPrimes :: IO ()Source
Test the primes code.