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

feat(data/polynomial/trinomial): X^n - X - 1 is irreducible #6421

Closed
wants to merge 34 commits into from
Closed

feat(data/polynomial/trinomial): X^n - X - 1 is irreducible #6421

wants to merge 34 commits into from

Commits on Feb 25, 2021

  1. first commit

    @tb65536
    tb65536 committed Feb 25, 2021
    Copy the full SHA
    4ae1c08 View commit details
    Browse the repository at this point in the history

  2. docs

    @tb65536
    tb65536 committed Feb 25, 2021
    Copy the full SHA
    f7edb70 View commit details
    Browse the repository at this point in the history

  3. rename file

    @tb65536
    tb65536 committed Feb 25, 2021
    Copy the full SHA
    79882f2 View commit details
    Browse the repository at this point in the history

  4. moved a lemma

    @tb65536
    tb65536 committed Feb 25, 2021
    Copy the full SHA
    2c4bd52 View commit details
    Browse the repository at this point in the history

  5. move more lemmas

    @tb65536
    tb65536 committed Feb 25, 2021
    Copy the full SHA
    afd159b View commit details
    Browse the repository at this point in the history

  6. move one more lemma

    @tb65536
    tb65536 committed Feb 25, 2021
    Copy the full SHA
    f813a40 View commit details
    Browse the repository at this point in the history

  7. move monomial_left_inj

    @tb65536
    tb65536 committed Feb 25, 2021
    Copy the full SHA
    48be6c9 View commit details
    Browse the repository at this point in the history

  8. lemma

    @tb65536
    tb65536 committed Feb 25, 2021
    Copy the full SHA
    a9de487 View commit details
    Browse the repository at this point in the history

  9. lemmas

    @tb65536
    tb65536 committed Feb 25, 2021
    Copy the full SHA
    5f55fe0 View commit details
    Browse the repository at this point in the history

  10. lemma

    @tb65536
    tb65536 committed Feb 25, 2021
    Copy the full SHA
    90aa6e7 View commit details
    Browse the repository at this point in the history

  11. results

    @tb65536
    tb65536 committed Feb 25, 2021
    Copy the full SHA
    8cabff7 View commit details
    Browse the repository at this point in the history

  12. fix error

    @tb65536
    tb65536 committed Feb 25, 2021
    Copy the full SHA
    263bb82 View commit details
    Browse the repository at this point in the history

  13. results

    @tb65536
    tb65536 committed Feb 25, 2021
    Copy the full SHA
    1c32a9e View commit details
    Browse the repository at this point in the history

  14. results

    @tb65536
    tb65536 committed Feb 25, 2021
    Copy the full SHA
    01a170c View commit details
    Browse the repository at this point in the history

  15. fix spacing

    @tb65536
    tb65536 committed Feb 25, 2021
    Copy the full SHA
    02c93c1 View commit details
    Browse the repository at this point in the history

  16. merge

    @tb65536
    tb65536 committed Feb 25, 2021
    Copy the full SHA
    2d4760c View commit details
    Browse the repository at this point in the history

  17. Merge branch 'selmer7' into selmer8 

    merge
    @tb65536
    tb65536 committed Feb 25, 2021
    Copy the full SHA
    2fe2f26 View commit details
    Browse the repository at this point in the history

  18. results

    @tb65536
    tb65536 committed Feb 25, 2021
    Copy the full SHA
    ebdc389 View commit details
    Browse the repository at this point in the history

  19. another version

    @tb65536
    tb65536 committed Feb 25, 2021
    Copy the full SHA
    de3034f View commit details
    Browse the repository at this point in the history

  20. move lemma

    @tb65536
    tb65536 committed Feb 25, 2021
    Copy the full SHA
    2ffa4c7 View commit details
    Browse the repository at this point in the history

  21. Merge branch 'selmer3' into selmer1 

    merge
    @tb65536
    tb65536 committed Feb 25, 2021
    Copy the full SHA
    4f3c208 View commit details
    Browse the repository at this point in the history

  22. fix

    @tb65536
    tb65536 committed Feb 25, 2021
    Copy the full SHA
    315ce18 View commit details
    Browse the repository at this point in the history

  23. fix

    @tb65536
    tb65536 committed Feb 25, 2021
    Copy the full SHA
    5842686 View commit details
    Browse the repository at this point in the history

  24. fix

    @tb65536
    tb65536 committed Feb 25, 2021
    Copy the full SHA
    8b3d872 View commit details
    Browse the repository at this point in the history

  25. refine golf

    @tb65536
    tb65536 committed Feb 25, 2021
    Copy the full SHA
    a26a4cd View commit details
    Browse the repository at this point in the history

Commits on Feb 26, 2021

  1. hacky fix

    @tb65536
    tb65536 committed Feb 26, 2021
    Copy the full SHA
    67cd064 View commit details
    Browse the repository at this point in the history

  2. better fix

    @tb65536
    tb65536 committed Feb 26, 2021
    Copy the full SHA
    5439ffd View commit details
    Browse the repository at this point in the history

  3. merge

    @tb65536
    tb65536 committed Feb 26, 2021
    Copy the full SHA
    3d53808 View commit details
    Browse the repository at this point in the history

  4. Merge branch 'selmer5' into selmer6 

    merge
    @tb65536
    tb65536 committed Feb 26, 2021
    Copy the full SHA
    492d281 View commit details
    Browse the repository at this point in the history

  5. Merge branch 'selmer6' into selmer7 

    merge
    @tb65536
    tb65536 committed Feb 26, 2021
    Copy the full SHA
    b7c87eb View commit details
    Browse the repository at this point in the history

  6. Merge branch 'selmer7' into selmer8 

    merge
    @tb65536
    tb65536 committed Feb 26, 2021
    Copy the full SHA
    fdb80d8 View commit details
    Browse the repository at this point in the history

  7. Merge branch 'selmer8' into selmer9 

    merge
    @tb65536
    tb65536 committed Feb 26, 2021
    Copy the full SHA
    c3c029e View commit details
    Browse the repository at this point in the history

  8. merge

    @tb65536
    tb65536 committed Feb 26, 2021
    Copy the full SHA
    004ae44 View commit details
    Browse the repository at this point in the history

  9. fix merge

    @tb65536
    tb65536 committed Feb 26, 2021
    Copy the full SHA
    2e9fae2 View commit details
    Browse the repository at this point in the history