• Home
• Search 
• Browse
• What's new
• Upload
• User accounts

Directory listing for constructive-algebra-0.1.5 source tarball

constructive-algebra-0.1.5/

• LICENSE
• README.hs
• Setup.hs
• constructive-algebra.cabal
• examples/
  • Z_Examples.hs
• src/
  • Algebra/
    • FieldOfRationalFunctions.hs
    • Ideal.hs
    • Matrix.hs
    • PLM.hs
    • Q.hs
    • UPoly.hs
    • Z.hs
    • Zn.hs
    • Structures/
      • BezoutDomain.hs
      • Coherent.hs
      • CommutativeRing.hs
      • EuclideanDomain.hs
      • Field.hs
      • FieldOfFractions.hs
      • GCDDomain.hs
      • IntegralDomain.hs
      • PruferDomain.hs
      • Ring.hs
      • StronglyDiscrete.hs
    • TypeChar/
      • Char.hs