First version of simplification of expressions.
- Introducting of an algebraic node which holds informations about the algebraic properties of the current node.
- Introducting of an algebra class. Here algebraic properties are stored.
- Transformation functions based on algebraic properties
- Sorting nodes according to their weight and their name.
- Lifting of associative operations for example +(a,+(b+c)) = +(a,b,c)
- Simplification of group identities, for example inv(inv(x)) = x or x * inv( x ) = 1