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

[Merged by Bors] - refactor(group_theory/order_of_element): now makes sense for infinite monoids #6587

Closed
wants to merge 40 commits into from
Closed

[Merged by Bors] - refactor(group_theory/order_of_element): now makes sense for infinite monoids #6587

wants to merge 40 commits into from

Commits on Mar 8, 2021

  1. refactored the definition of order_of

    @Julian-Kuelshammer
    Julian-Kuelshammer committed Mar 8, 2021
    Configuration menu
    Copy the full SHA
    8399983 View commit details
    Browse the repository at this point in the history

  2. some minor changes

    @Julian-Kuelshammer
    Julian-Kuelshammer committed Mar 8, 2021
    Configuration menu
    Copy the full SHA
    0ca3dd3 View commit details
    Browse the repository at this point in the history

  3. style

    @Julian-Kuelshammer
    Julian-Kuelshammer committed Mar 8, 2021
    Configuration menu
    Copy the full SHA
    bbb754f View commit details
    Browse the repository at this point in the history

  4. Apply suggestions from code review 

    Co-authored-by: Eric Wieser <wieser.eric@gmail.com>
    @Julian-Kuelshammer @eric-wieser
    Julian-Kuelshammer and eric-wieser committed Mar 8, 2021
    Configuration menu
    Copy the full SHA
    bf02842 View commit details
    Browse the repository at this point in the history

  5. moved instance and corrected typos

    @Julian-Kuelshammer
    Julian-Kuelshammer committed Mar 8, 2021
    Configuration menu
    Copy the full SHA
    bd223ee View commit details
    Browse the repository at this point in the history

Commits on Mar 9, 2021

  1. some fun with decidable

    @Julian-Kuelshammer
    Julian-Kuelshammer committed Mar 9, 2021
    Configuration menu
    Copy the full SHA
    f11c5a2 View commit details
    Browse the repository at this point in the history

  2. some more decidable changes

    @Julian-Kuelshammer
    Julian-Kuelshammer committed Mar 9, 2021
    Configuration menu
    Copy the full SHA
    4300b0b View commit details
    Browse the repository at this point in the history

  3. some linting

    @Julian-Kuelshammer
    Julian-Kuelshammer committed Mar 9, 2021
    Configuration menu
    Copy the full SHA
    23b4556 View commit details
    Browse the repository at this point in the history

  4. fix broken simp

    @eric-wieser
    eric-wieser committed Mar 9, 2021
    Configuration menu
    Copy the full SHA
    394cf44 View commit details
    Browse the repository at this point in the history

  5. some more fixes

    @Julian-Kuelshammer
    Julian-Kuelshammer committed Mar 9, 2021
    Configuration menu
    Copy the full SHA
    f6aabe8 View commit details
    Browse the repository at this point in the history

  6. fixing decidable_gpowers

    @Julian-Kuelshammer
    Julian-Kuelshammer committed Mar 9, 2021
    Configuration menu
    Copy the full SHA
    314e8b2 View commit details
    Browse the repository at this point in the history

  7. remove some double group structures

    @Julian-Kuelshammer
    Julian-Kuelshammer committed Mar 9, 2021
    Configuration menu
    Copy the full SHA
    7b3d2da View commit details
    Browse the repository at this point in the history

  8. 100 linter

    @Julian-Kuelshammer
    Julian-Kuelshammer committed Mar 9, 2021
    Configuration menu
    Copy the full SHA
    45aebc4 View commit details
    Browse the repository at this point in the history

Commits on Mar 10, 2021

  1. main file compiles again

    @Julian-Kuelshammer
    Julian-Kuelshammer committed Mar 10, 2021
    Configuration menu
    Copy the full SHA
    2288e1f View commit details
    Browse the repository at this point in the history

  2. clean up duplicate group arguments

    @Julian-Kuelshammer
    Julian-Kuelshammer committed Mar 10, 2021
    Configuration menu
    Copy the full SHA
    d85c3b0 View commit details
    Browse the repository at this point in the history

  3. had to add a classical

    @Julian-Kuelshammer
    Julian-Kuelshammer committed Mar 10, 2021
    Configuration menu
    Copy the full SHA
    898af1a View commit details
    Browse the repository at this point in the history

  4. reestablished order_of_pos

    @Julian-Kuelshammer
    Julian-Kuelshammer committed Mar 10, 2021
    Configuration menu
    Copy the full SHA
    38d2a20 View commit details
    Browse the repository at this point in the history

  5. reestablished order_of_pow

    @Julian-Kuelshammer
    Julian-Kuelshammer committed Mar 10, 2021
    Configuration menu
    Copy the full SHA
    e06be08 View commit details
    Browse the repository at this point in the history

  6. line linter

    @Julian-Kuelshammer
    Julian-Kuelshammer committed Mar 10, 2021
    Configuration menu
    Copy the full SHA
    c6e0770 View commit details
    Browse the repository at this point in the history

  7. fix of perm

    @Julian-Kuelshammer
    Julian-Kuelshammer committed Mar 10, 2021
    Configuration menu
    Copy the full SHA
    15ce8ca View commit details
    Browse the repository at this point in the history

  8. let's not get that constructive

    @Julian-Kuelshammer
    Julian-Kuelshammer committed Mar 10, 2021
    Configuration menu
    Copy the full SHA
    7ad74fe View commit details
    Browse the repository at this point in the history

  9. some linting

    @Julian-Kuelshammer
    Julian-Kuelshammer committed Mar 10, 2021
    Configuration menu
    Copy the full SHA
    d03484a View commit details
    Browse the repository at this point in the history

  10. fix char_p

    @Julian-Kuelshammer
    Julian-Kuelshammer committed Mar 10, 2021
    Configuration menu
    Copy the full SHA
    43c4c04 View commit details
    Browse the repository at this point in the history

  11. fixed integral_domain

    @Julian-Kuelshammer
    Julian-Kuelshammer committed Mar 10, 2021
    Configuration menu
    Copy the full SHA
    0a1de4a View commit details
    Browse the repository at this point in the history

Commits on Mar 11, 2021

  1. going back to classical

    @Julian-Kuelshammer
    Julian-Kuelshammer committed Mar 11, 2021
    Configuration menu
    Copy the full SHA
    2c29043 View commit details
    Browse the repository at this point in the history

  2. some cleanup

    @Julian-Kuelshammer
    Julian-Kuelshammer committed Mar 11, 2021
    Configuration menu
    Copy the full SHA
    7508b10 View commit details
    Browse the repository at this point in the history

  3. more cleanup

    @Julian-Kuelshammer
    Julian-Kuelshammer committed Mar 11, 2021
    Configuration menu
    Copy the full SHA
    76bf6fe View commit details
    Browse the repository at this point in the history

  4. more cleanup

    @Julian-Kuelshammer
    Julian-Kuelshammer committed Mar 11, 2021
    Configuration menu
    Copy the full SHA
    d0554c2 View commit details
    Browse the repository at this point in the history

  5. some generalisations

    @Julian-Kuelshammer
    Julian-Kuelshammer committed Mar 11, 2021
    Configuration menu
    Copy the full SHA
    ea1d1c1 View commit details
    Browse the repository at this point in the history

  6. some fixes

    @Julian-Kuelshammer
    Julian-Kuelshammer committed Mar 11, 2021
    Configuration menu
    Copy the full SHA
    7584e61 View commit details
    Browse the repository at this point in the history

Commits on Mar 12, 2021

  1. dihedral

    @Julian-Kuelshammer
    Julian-Kuelshammer committed Mar 12, 2021
    Configuration menu
    Copy the full SHA
    9ad5bb5 View commit details
    Browse the repository at this point in the history

  2. more dihedral

    @Julian-Kuelshammer
    Julian-Kuelshammer committed Mar 12, 2021
    Configuration menu
    Copy the full SHA
    b8c9de4 View commit details
    Browse the repository at this point in the history

  3. line linter

    @Julian-Kuelshammer
    Julian-Kuelshammer committed Mar 12, 2021
    Configuration menu
    Copy the full SHA
    f0df477 View commit details
    Browse the repository at this point in the history

  4. one thing fixed

    @Julian-Kuelshammer
    Julian-Kuelshammer committed Mar 12, 2021
    Configuration menu
    Copy the full SHA
    6bb7bb6 View commit details
    Browse the repository at this point in the history

  5. appearently it was a universe issue

    @Julian-Kuelshammer
    Julian-Kuelshammer committed Mar 12, 2021
    Configuration menu
    Copy the full SHA
    657f961 View commit details
    Browse the repository at this point in the history

Commits on Mar 13, 2021

  1. modify documentation

    @Julian-Kuelshammer
    Julian-Kuelshammer committed Mar 13, 2021
    Configuration menu
    Copy the full SHA
    f0c856f View commit details
    Browse the repository at this point in the history

Commits on Mar 15, 2021

  1. git merge master

    @Julian-Kuelshammer
    Julian-Kuelshammer committed Mar 15, 2021
    Configuration menu
    Copy the full SHA
    d5261c8 View commit details
    Browse the repository at this point in the history

Commits on Mar 16, 2021

  1. Apply suggestions from code review 

    Co-authored-by: Johan Commelin <johan@commelin.net>
    @Julian-Kuelshammer @jcommelin
    Julian-Kuelshammer and jcommelin committed Mar 16, 2021
    Configuration menu
    Copy the full SHA
    2d030b6 View commit details
    Browse the repository at this point in the history

  2. added warning about multiplicativity

    @Julian-Kuelshammer
    Julian-Kuelshammer committed Mar 16, 2021
    Configuration menu
    Copy the full SHA
    317fe9d View commit details
    Browse the repository at this point in the history

  3. indentation

    @Julian-Kuelshammer
    Julian-Kuelshammer committed Mar 16, 2021
    Configuration menu
    Copy the full SHA
    00f0174 View commit details
    Browse the repository at this point in the history