]> gitweb.michael.orlitzky.com - sage.d.git/commit
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)
commitcd746d047748a9aa56c51bb78c3db9882ea16a16
treecf562f01191343d0a63f45c0d2c2c3ac61632a3c
parent4b23d203e61783a9fb53f03555469f3542e16999
More examples and a better implementation for random_element().
mjo/cone/cone.py