From: Michael Orlitzky Date: Sat, 24 Aug 2019 00:02:28 +0000 (-0400) Subject: eja: add random_elements() method to get multiple random elements at once. X-Git-Url: http://gitweb.michael.orlitzky.com/?a=commitdiff_plain;h=a2dabad45525791c258a91e2134abbf5f5591dbe;hp=a2dabad45525791c258a91e2134abbf5f5591dbe;p=sage.d.git eja: add random_elements() method to get multiple random elements at once. ---