#27143 closed enhancement (fixed)

Add option to `as_permutation_group` to initialize the seed for pseudo random results via libgap

Reported by: soehms Owned by:
Priority: major Milestone: sage-8.7
Component: group theory Keywords: as_permutation_group, seed
Cc: embray, tscrim Merged in:
Authors: Sebastian Oehms Reviewers: Travis Scrimshaw
Report Upstream: N/A Work issues:
Branch: 3b3599d (Commits) Commit: 3b3599d9be44c7994682e3cbab24132dbc702509
Dependencies: Stopgaps:


This is a follow up ticket to #26903. The aim is to realize the suggestion given there in comment 9.

Furthermore, as an example the missing doctest of that ticket should be added!

Change History (8)

comment:1 Changed 22 months ago by soehms

  • Branch set to u/soehms/seed_arg_as_permutation_group_27143

comment:2 Changed 22 months ago by soehms

  • Authors set to Sebastian Oehms
  • Commit set to 51cb6fc1b72b39558f51e1f999471d21e3aa1789
  • Status changed from new to needs_review

I use the new option to modify existing doctests and add a note citing the GAP documentation. Furthermore, I add the doctest concerning #26903.

New commits:

51cb6fc27143: initial version

comment:3 Changed 22 months ago by tscrim

I would just pass seed to libgap.set_seed or explicitly cast it to an int or Integer (whichever is more appropriate and let the error fall out from that. IMO, the traceback would provide sufficient information and this would allow things that to convert to ZZ to work (well, at least in the latter case).

comment:4 Changed 22 months ago by git

  • Commit changed from 51cb6fc1b72b39558f51e1f999471d21e3aa1789 to 3b3599d9be44c7994682e3cbab24132dbc702509

Branch pushed to git repo; I updated commit sha1. New commits:

3b3599d27143: following the reviewers suggestion

comment:5 Changed 22 months ago by soehms

The reason, why I didn't just pass it, is:

gap> Reset(GlobalRandomSource, "something");
[ 45, [ 66318732, 86395905, 22233618, 21989103, 237245480, 264566285, 240037038, 264902875, 9274660, 180361945, 94688010, 24032135, 106293216, 27264613, 126456102, 243761907, 80312412, 2522186,
      59575208, 70682510, 228947516, 173992210, 175178224, 250788150, 73030390, 210575942, 128491926, 194508966, 201311350, 63569414, 185485910, 62786150, 213986102, 88913350, 94904086,
      252860454, 247700982, 233113990, 75685846, 196780518, 74570934, 7958751, 130274620, 247708693, 183364378, 82600777, 28385464, 184547675, 20423483, 75041763, 235736203, 54265107, 49075195,
      100648387, 114539755 ] ]
gap> State(GlobalRandomSource);

I have no idea, what this should mean (this use of the argument is not described in the GAP-documentation).

But I agree to your suggestion to cast the argument!

comment:6 Changed 22 months ago by tscrim

  • Reviewers set to Travis Scrimshaw
  • Status changed from needs_review to positive_review

Thank you.

comment:7 Changed 22 months ago by soehms

Thanks, as well!

comment:8 Changed 22 months ago by vbraun

  • Branch changed from u/soehms/seed_arg_as_permutation_group_27143 to 3b3599d9be44c7994682e3cbab24132dbc702509
  • Resolution set to fixed
  • Status changed from positive_review to closed
Note: See TracTickets for help on using tickets.