simplify hyperbolic symmetry group interface
generalize **a -> *a*b