DoCon is a program for symbolic computation in mathematics - package of modules DoCon joins the categorial approach to the mathematical computation expressed via the Haskell type classes, and explicit processing of the domain description terms. It implements recently a good piece of commutative algebra: linear algebra, polynomial gcd, factorization, Groebner bases, and other functions. They are programmed under the very generic assumptions , like "over any Euclidean ring", over any GCD-ring, any field, and so on. DoCon also supports the constructions on domains: Fraction, Polynomial, Residue ring, and others. That is certain set of operations on a constructed domain is built automatically.
Some of the things you can do with the GrassmannAlgebra software. You can: * Set up your own space of any dimension and metric. The default is a 3D Euclidean * Work basis-free or with a basis * Declare your own scalar symbols * Declare your own vector symbols: * Apply Grassmann operations. A Grassmann operation is any of: the complement operation and the six product operations: the exterior, regressive, interior, generalized Grassmann, hypercomplex and Clifford products. * Manipulate Grassmann expressions and numbers. A Grassmann expression is either a scalar, a Grassmann variable, or the result of a sequence of Grassmann operations or sums on Grassmann expressions. A Grassmann number is a Grassmann expression expressed as a linear combination of basis elements. * Compute the grade of any Grassmann expression. * Query the attributes of any expression. * Extract components of different types