[sympy] Week2 update (#1377)

2012-06-22 Thread Aleksandar Makelov
Implemented the product replacement algorithm for producing random group elements, Monte Carlo testing for the alternating/symmetric group, Atkinson's algorithm for finding minimal blocks, and testing a permutation group for primitivity. Added some more functionality to the function orbit, and

[sympy] Permutation groups: Random Schreier-Sims, fundamental tools for backtracking, minor additions (#1406)

2012-07-06 Thread Aleksandar Makelov
Implemented the randomized version of the Schreier-Sims algorithm. Implemented a depth-first search visiting all group elements (to be used in backtracking algorithms) and a function for swapping two consecutive points in the base of a permutation group. Added some more attributes to the Permut

[sympy] Fixed issue 3323 (#1422)

2012-07-16 Thread Aleksandar Makelov
Implemented the resolution proposed by Aaron in the discussion of the issue on the google code website: http://code.google.com/p/sympy/issues/detail?id=3323 You can merge this Pull Request by running: git pull https://github.com/amakelov/sympy fix-3323 Or you can view, comment on it, or merge

[sympy] Incremental Schreier-Sims algorithm, and subgroup searching. (#1454)

2012-07-31 Thread Aleksandar Makelov
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_s