There are a wealth of cool and interesting groups in
the group libraries, but I cannot find hide nor hair of
functions that could spit out projective groups for
me. Do such things exist? It is probably possible to create them
by hand, factoring out the center of the SL, but
I would hope there was a nicer more direct way.
Or is there no more efficient way anyway?