Cayley computer algebra system