sympy/sympy — pull request #1454 by amakelov (2012-07-31 14:35:46+00:00)
Title: Incremental Schreier-Sims algorithm, and subgroup searching.

Implemented a version of the Schreier-Sims algorithm that takes a sequence of points and a generating set for a group and extends them to a base and strong generating set.

Implemented a procedure to remove redundant generators from a strong generating set.

Implemented the procedure `subgroup_search` which finds generators for the subgroup of all elements satisfying a given property in a larger group.