intrinsic c9Group(S::MonStgElt) -> Grp
{c9lattices group S}

    fn := GetLibraryRoot() cat "/c9lattices/" cat S;
    G := eval Read(fn);
    return G;
end intrinsic;
