Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Use RandomSource in a few more places #1599

Merged
merged 8 commits into from
Sep 19, 2017
Merged

Use RandomSource in a few more places #1599

merged 8 commits into from
Sep 19, 2017

Commits on Sep 17, 2017

  1. lib: add RandomSource support to free left modules Random

    @fingolfin
    fingolfin committed Sep 17, 2017
    Configuration menu
    Copy the full SHA
    9b4c4ef View commit details
    Browse the repository at this point in the history

  2. lib: add RandomSource support to finite field Random

    @fingolfin
    fingolfin committed Sep 17, 2017
    Configuration menu
    Copy the full SHA
    02a531b View commit details
    Browse the repository at this point in the history

  3. lib: add RandomSource support to Random*Mat functions 

    Also add test cases
    @fingolfin
    fingolfin committed Sep 17, 2017
    Configuration menu
    Copy the full SHA
    a06dbca View commit details
    Browse the repository at this point in the history

  4. lib: add RandomSource support to free semigroups Random

    @fingolfin
    fingolfin committed Sep 17, 2017
    Configuration menu
    Copy the full SHA
    d457d6f View commit details
    Browse the repository at this point in the history

  5. lib: add RandomSource support to ZmodnZ Random

    @fingolfin
    fingolfin committed Sep 17, 2017
    Configuration menu
    Copy the full SHA
    aaa5ccb View commit details
    Browse the repository at this point in the history

  6. Tweak meataxe test to be independent of random state

    @fingolfin
    fingolfin committed Sep 17, 2017
    Configuration menu
    Copy the full SHA
    358ebaa View commit details
    Browse the repository at this point in the history

Commits on Sep 18, 2017

  1. Sync hpcgap/lib/random.gi

    @fingolfin
    fingolfin committed Sep 18, 2017
    Configuration menu
    Copy the full SHA
    024d66e View commit details
    Browse the repository at this point in the history

  2. hpcgap: fix GlobalRandomSource behavior to match GAP

    @fingolfin
    fingolfin committed Sep 18, 2017
    Configuration menu
    Copy the full SHA
    ba23ccf View commit details
    Browse the repository at this point in the history