sympy/sympy — pull request #1209 by ness01 (2012-04-05 13:42:02+00:00)
Title: Agca3

The next installment in my series of pull requests. This finally implements some actual content. Namely, the module `sympy/polys/agca/modules.py` contains code to manipulate free modules over generalized polynomial rings and their submodules. It solves the submodule membership problem (and simple related stuff, like submodule equality) using the `sdm_groebner` code.

Extensive doctests and tests provided. Also implement some simple pretty-printing.