]> gitweb.michael.orlitzky.com - sage.d.git/commitdiff
More examples and a better implementation for random_element().
authorMichael Orlitzky <michael@orlitzky.com>
Thu, 31 Dec 2015 04:22:41 +0000 (23:22 -0500)
committerMichael Orlitzky <michael@orlitzky.com>
Thu, 31 Dec 2015 04:22:41 +0000 (23:22 -0500)

No differences found