adding smtlib parser based on the parser from Princess. Changes in the architecture of the smt solvers
removed a .swp file
Merge branch 'master' of github.com:regb/Regolic
More matrix ops
Adding vector methods and field methods
Linear programming operations on Tableau
test for Tableau operations
more matrix-vector ops
initial working implementation of the simplex algorithm
skeleton for transformation to StandardLinearProgram
some re-architecture of the calculus package
moving some advanced features out of real.Manip
Refinement of the polynomialForm and expandedForm with some refactoring. This actually breaks the compiler so need to fix that
fixed the stupid scala bug with code explosion when using too complex extractors
Fixed LinearSystemSolver with a cleaner implementation and adapted to the new polynomial form
Better implementation of Gauss elimination and Linear system solving
Fixed linear system solver and adding testcases
adding polynomial package
no comment
adding a more convenient interface to the linear programming tool