Safe Haskell | None |
---|---|
Language | Haskell98 |
Documentation
tauab :: Integer -> Integer -> (TauabTheorem, OptimizeResult) Source
data TauabcTheorem Source
tauabc :: Integer -> Integer -> Integer -> (TauabcTheorem, OptimizeResult) Source
Safe Haskell | None |
---|---|
Language | Haskell98 |
tauab :: Integer -> Integer -> (TauabTheorem, OptimizeResult) Source
data TauabcTheorem Source
tauabc :: Integer -> Integer -> Integer -> (TauabcTheorem, OptimizeResult) Source