]> gitweb.michael.orlitzky.com - sage.d.git/commitdiff
eja: add random_elements() method to get multiple random elements at once.
authorMichael Orlitzky <michael@orlitzky.com>
Sat, 24 Aug 2019 00:02:28 +0000 (20:02 -0400)
committerMichael Orlitzky <michael@orlitzky.com>
Sat, 24 Aug 2019 00:02:28 +0000 (20:02 -0400)

No differences found