Cadabra computer algebra