A general algebra library exploring computational algorithms as applied to mathematics.