name:                   ideas-math
version:                1.2
synopsis:               Interactive domain reasoner for logic and mathematics
homepage:               http://ideas.cs.uu.nl/www/
description:

   Interactive domain reasoner for logic and mathematics, based on the 
   feedback services of the Ideas framework. Domains supported include 
   propositional logic (disjunctive normal form and equivalence proofs), 
   mathematics (fractions, polynomial equations, powers, derivatives), 
   linear algebra (Gaussian elimination and linear systems), and relation
   algebra. The domain reasoner is used by learning environments such as
   the digital mathematical environment of the Freudenthal Institute, MathDox,
   ActiveMath, and the LogEx logic tool. 

category:               Education
copyright:              (c) 2015
license:                GPL
license-file:           LICENSE.txt
author:                 Bastiaan Heeren, Alex Gerdes, Johan Jeuring
maintainer:             bastiaan.heeren@ou.nl
stability:              provisional
extra-source-files:     CREDITS.txt
build-type:             Simple
cabal-version:          >= 1.8.0.2
tested-with:            GHC == 7.4.1, GHC == 7.6.3, GHC == 7.8.3

-- feedback scripts
extra-source-files: 
  scripts/logic.txt
  scripts/math.lineq-en.txt
  scripts/math.polyeq-en.txt
  scripts/math.quadreq-en.txt

source-repository head
  type:     svn
  location: https://ideas.cs.uu.nl/svn/MathTutor/trunk
  
--------------------------------------------------------------------------------

Executable ideas-math
  Main-is:           Main.hs
  ghc-options:       -Wall -fno-warn-orphans
  hs-source-dirs:    src
  Build-Depends:     base >= 4.2 && < 5, 
                     QuickCheck >= 2.4.1 && < 2.7,
                     containers,
                     random,
                     parsec,
                     ideas == 1.3

  Other-modules:
    Domain.LinearAlgebra.Checks
    Domain.LinearAlgebra.EquationsRules
    Domain.LinearAlgebra.Exercises
    Domain.LinearAlgebra.GramSchmidtRules
    Domain.LinearAlgebra.LinearSystem
    Domain.LinearAlgebra.LinearView
    Domain.LinearAlgebra.Matrix
    Domain.LinearAlgebra.MatrixRules
    Domain.LinearAlgebra.Parser
    Domain.LinearAlgebra.Strategies
    Domain.LinearAlgebra.Vector
    Domain.LinearAlgebra
    Domain.Logic.BuggyRules
    Domain.Logic.Consequence
    Domain.Logic.Examples
    Domain.Logic.Exercises
    Domain.Logic.Formula
    Domain.Logic.GeneralizedRules
    Domain.Logic.Generator
    Domain.Logic.InverseRules
    Domain.Logic.Parser
    Domain.Logic.Proofs
    Domain.Logic.Rules
    Domain.Logic.Strategies
    Domain.Logic.Utils
    Domain.Logic.Views
    Domain.Logic
    Domain.Math.Approximation
    Domain.Math.CleanUp
    Domain.Math.Data.DecimalFraction
    Domain.Math.Data.Interval
    Domain.Math.Data.MixedFraction
    Domain.Math.Data.OrList
    Domain.Math.Data.Polynomial
    Domain.Math.Data.PrimeFactors
    Domain.Math.Data.Primes
    Domain.Math.Data.Relation
    Domain.Math.Data.SquareRoot
    Domain.Math.Data.TestingClassLaws
    Domain.Math.Data.WithBool
    Domain.Math.Derivative.Examples
    Domain.Math.Derivative.Exercises
    Domain.Math.Derivative.Rules
    Domain.Math.Derivative.Strategies
    Domain.Math.Equation.BalanceRules
    Domain.Math.Equation.CoverUpExercise
    Domain.Math.Equation.CoverUpRules
    Domain.Math.Equation.Examples
    Domain.Math.Equation.Views
    Domain.Math.ExerciseList
    Domain.Math.Expr.Clipboard
    Domain.Math.Expr.Data
    Domain.Math.Expr.Parser
    Domain.Math.Expr.Symbols
    Domain.Math.Expr.Views
    Domain.Math.Expr
    Domain.Math.Fraction.Exercises
    Domain.Math.Fraction.Rules
    Domain.Math.Fraction.Strategies
    Domain.Math.Numeric.Examples
    Domain.Math.Numeric.Exercises
    Domain.Math.Numeric.Generators
    Domain.Math.Numeric.Rules
    Domain.Math.Numeric.Strategies
    Domain.Math.Numeric.Tests
    Domain.Math.Numeric.Views
    Domain.Math.Polynomial.Balance
    Domain.Math.Polynomial.BalanceUtils
    Domain.Math.Polynomial.BuggyBalance
    Domain.Math.Polynomial.BuggyRules
    Domain.Math.Polynomial.Equivalence
    Domain.Math.Polynomial.Examples
    Domain.Math.Polynomial.Exercises
    Domain.Math.Polynomial.Generators
    Domain.Math.Polynomial.IneqExercises
    Domain.Math.Polynomial.LeastCommonMultiple
    Domain.Math.Polynomial.RationalExamples
    Domain.Math.Polynomial.RationalExercises
    Domain.Math.Polynomial.RationalRules
    Domain.Math.Polynomial.Rules
    Domain.Math.Polynomial.Strategies
    Domain.Math.Polynomial.Tests
    Domain.Math.Polynomial.Views
    Domain.Math.Power.Equation.Examples
    Domain.Math.Power.Equation.Exercises
    Domain.Math.Power.Equation.NormViews
    Domain.Math.Power.Equation.Rules
    Domain.Math.Power.Equation.Strategies
    Domain.Math.Power.Examples
    Domain.Math.Power.Exercises
    Domain.Math.Power.NormViews
    Domain.Math.Power.OldViews
    Domain.Math.Power.Rules
    Domain.Math.Power.Strategies
    Domain.Math.Power.Utils
    Domain.Math.Power.Views
    Domain.Math.Safe
    Domain.Math.Simplification
    Domain.Math.SquareRoot.Tests
    Domain.Math.SquareRoot.Views
    Domain.RelationAlgebra.Exercises
    Domain.RelationAlgebra.Formula
    Domain.RelationAlgebra.Generator
    Domain.RelationAlgebra.Parser
    Domain.RelationAlgebra.Rules
    Domain.RelationAlgebra.Strategies
    Domain.RelationAlgebra
    Main

--------------------------------------------------------------------------------