constructive-algebra-0.3.0: constructive-algebra.cabal

-- constructive-algebra.cabal auto-generated by cabal init. For
-- additional options, see
-- http://www.haskell.org/cabal/release/cabal-latest/doc/users-guide/authors.html#pkg-descr.

Name:                constructive-algebra

-- The package version. See the Haskell package versioning policy
-- (http://www.haskell.org/haskellwiki/Package_versioning_policy) for
-- standards guiding when and how versions should be incremented.
Version:             0.3.0

Synopsis:            A library of constructive algebra.
Description:         
        A library of algebra focusing mainly on commutative ring theory from a 
        constructive point of view. 
        .
        Classical structures are implemented without Noetherian assumptions. 
        This means that it is not assumed that all ideals are finitely 
        generated. For example, instead of principal ideal domains one gets 
        Bezout domains which are integral domains in which all finitely 
        generated ideals are principal (and not necessarily that all ideals are
        principal). This give a good framework for implementing many 
        interesting algorithms.

License:             BSD3
License-file:        LICENSE

Author:              Anders Mortberg, Bassel Mannaa

Maintainer:          mortberg@chalmers.se

-- A copyright notice.
-- Copyright:           

-- Stability of the pakcage (experimental, provisional, stable...)
Stability:           Experimental

Category:            Math, Algebra

Build-type:          Simple

-- Extra files to be distributed with the package, such as examples or
-- a README.
Extra-source-files:  examples/Z_Examples.hs

-- Constraint on the version of Cabal needed to build this package.
Cabal-version:       >=1.2


Library
  -- Modules exported by the library.
  Exposed-modules:     Algebra.Structures.BezoutDomain,
                       Algebra.Structures.Coherent,
                       Algebra.Structures.CommutativeRing,
                       Algebra.Structures.EuclideanDomain,
                       Algebra.Structures.ExplicitUnits,
                       Algebra.Structures.Field,
                       Algebra.Structures.FieldOfFractions,
                       Algebra.Structures.GCDDomain, 
                       Algebra.Structures.Group, 
                       Algebra.Structures.IntegralDomain, 
                       Algebra.Structures.Module,
                       Algebra.Structures.PruferDomain,
                       Algebra.Structures.Ring,
                       Algebra.Structures.StronglyDiscrete,
                       Algebra.TypeChar.Char,
                       Algebra.EllipticCurve,
                       Algebra.FieldOfRationalFunctions,
                       Algebra.Ideal,
                       Algebra.Matrix,
                       Algebra.PLM,
                       Algebra.Q,
--                       Algebra.SmithNormalForm,  <- Should be added to separate package
                       Algebra.UPoly,
                       Algebra.Z,                  
                       Algebra.ZSqrt5,
                       Algebra.Zn
                       

  -- Packages needed in order to build this package.
  Build-depends:       base >= 3 && <= 4.3.1.0, QuickCheck >= 2, type-level >= 0.2
  
  -- Modules not exported by this package.
  -- Other-modules:       
  
  -- Extra tools (e.g. alex, hsc2hs, ...) needed to build the source.
  -- Build-tools:         
  
  -- Source directories
  hs-source-dirs: src, .