]> www.ginac.de Git - ginac.git/search
documentation: it is get_dim(), not get_dimension()