A symbolic algebra system