]> gitweb.michael.orlitzky.com - sage.d.git/search
Add tests for Corollary 2 in the paper (lineality of pi-star).