search

gap-packages / recog

The GAP package recog to collect methods for constructive recognition
https://gap-packages.github.io/recog/
GNU General Public License v3.0
6 stars 14 forks source link

Add RandomOrd and extend RandomElm[Ord] #237

Open ssiccha opened 3 years ago

ssiccha commented 3 years ago

In the discussion for #197 @fingolfin wrote:

In the two existing use cases for RandomElmOrd we actually only use the order part. So perhaps we should change it to only return the order, not a record with other stuff we just discard.

Overall RandomElmOrd has quite some overhead. So an additional idea would be to add an argument N which indicates how many random elements we want, and then return a list of the corresponding orders.