generating sets implemented and somewhat tested