reform 0.1.0

A symbolic manipulation toolkit which aims to handle expressions with billions of terms, taking up terabytes of diskspace.
Documentation 
1
2
3
4
5
6
7
8
9
10

expr F = 1;

attrib f = NonCommutative;

apply {
    Multiply f(2)*f(1)*f(3);

    id f(1)*f(2) = 5; // should not match
    id f(1) = f(2)*f(4);
}