]> gitweb.michael.orlitzky.com - sage.d.git/search
eja: add random_elements() method to get multiple random elements at once.