Math.Singular.Factory

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:

• Singular: https://www.singular.uni-kl.de/
• Factory: https://www.singular.uni-kl.de/dox/html/factory_page.html

Initialization

initialize :: IO ()

You are supposed to call initialize before doing anything (though factorization over characteristic zeros should work without it)

Configuration

factoryVersion :: String

factoryConfig :: FactoryConfig

data FactoryConfig

Constructors

FactoryConfig

Fields

• withFLINT :: Bool
• withNTL :: Bool
• withGMP :: Bool

Instances

Eq FactoryConfig

Defined in Math.Singular.Factory

Methods

(==) :: FactoryConfig -> FactoryConfig -> Bool

(/=) :: FactoryConfig -> FactoryConfig -> Bool

Show FactoryConfig

Defined in Math.Singular.Factory

Methods

showsPrec :: Int -> FactoryConfig -> ShowS

show :: FactoryConfig -> String

showList :: [FactoryConfig] -> ShowS

printVersion :: IO ()

Prints factory's version

printConfig :: IO ()

Prints some more detailed configuration info

Re-exported modules

module Math.Singular.Factory.Domains

module Math.Singular.Factory.Variables

module Math.Singular.Factory.Polynomial