Safe Haskell | None |
---|---|
Language | Haskell2010 |
Haskell bindings to the Singular-Factory multivariate polynomial factorization engine.
Singular is a computer algebra system developed at the University of Kaiserslautern, and Factory is the polynomial factorization engine of Singular.
It handles multivariate polynomials over the integers, rationals, and finite fields (and also algebraic and trancendental extensions of these, but those are not yet supported).
Links:
Synopsis
- initialize :: IO ()
- factoryVersion :: String
- factoryConfig :: FactoryConfig
- data FactoryConfig = FactoryConfig {}
- printVersion :: IO ()
- printConfig :: IO ()
- module Math.Singular.Factory.Domains
- module Math.Singular.Factory.Variables
- module Math.Singular.Factory.Polynomial
Initialization
initialize :: IO () Source #
You are supposed to call initialize
before doing anything
(though factorization over characteristic zeros should work without it)
Configuration
data FactoryConfig Source #
Instances
Eq FactoryConfig Source # | |
Defined in Math.Singular.Factory (==) :: FactoryConfig -> FactoryConfig -> Bool # (/=) :: FactoryConfig -> FactoryConfig -> Bool # | |
Show FactoryConfig Source # | |
Defined in Math.Singular.Factory showsPrec :: Int -> FactoryConfig -> ShowS # show :: FactoryConfig -> String # showList :: [FactoryConfig] -> ShowS # |
printVersion :: IO () Source #
Prints factory's version
printConfig :: IO () Source #
Prints some more detailed configuration info