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(polynomial/*): make polynomials irreducible #7421

Closed
wants to merge 31 commits into from
Closed

[Merged by Bors] - refactor(polynomial/*): make polynomials irreducible #7421

wants to merge 31 commits into from

Commits on Apr 10, 2021

  1. first file

    @sgouezel
    sgouezel committed Apr 10, 2021
    Configuration menu
    Copy the full SHA
    0b4a650 View commit details
    Browse the repository at this point in the history

Commits on Apr 11, 2021

  1. progress

    @sgouezel
    sgouezel committed Apr 11, 2021
    Configuration menu
    Copy the full SHA
    aacda4f View commit details
    Browse the repository at this point in the history

Commits on Apr 13, 2021

  1. staging

    @sgouezel
    sgouezel committed Apr 13, 2021
    Configuration menu
    Copy the full SHA
    c8e40cc View commit details
    Browse the repository at this point in the history

  2. fix eval

    @sgouezel
    sgouezel committed Apr 13, 2021
    Configuration menu
    Copy the full SHA
    c2f1433 View commit details
    Browse the repository at this point in the history

  3. trailing_degree

    @sgouezel
    sgouezel committed Apr 13, 2021
    Configuration menu
    Copy the full SHA
    748622d View commit details
    Browse the repository at this point in the history

Commits on Apr 29, 2021

  1. merge master

    @sgouezel
    sgouezel committed Apr 29, 2021
    Configuration menu
    Copy the full SHA
    d06c72c View commit details
    Browse the repository at this point in the history

  2. fix breakage from update

    @sgouezel
    sgouezel committed Apr 29, 2021
    Configuration menu
    Copy the full SHA
    d98cadb View commit details
    Browse the repository at this point in the history

  3. add a handy lemma on card le one

    @sgouezel
    sgouezel committed Apr 29, 2021
    Configuration menu
    Copy the full SHA
    95c50d6 View commit details
    Browse the repository at this point in the history

  4. fix derivative

    @sgouezel
    sgouezel committed Apr 29, 2021
    Configuration menu
    Copy the full SHA
    4ca9b91 View commit details
    Browse the repository at this point in the history

  5. fix erase_lead

    @sgouezel
    sgouezel committed Apr 29, 2021
    Configuration menu
    Copy the full SHA
    33ad5ec View commit details
    Browse the repository at this point in the history

  6. fix reverse

    @sgouezel
    sgouezel committed Apr 29, 2021
    Configuration menu
    Copy the full SHA
    284f68f View commit details
    Browse the repository at this point in the history

  7. fix polynomial_algebra

    @sgouezel
    sgouezel committed Apr 29, 2021
    Configuration menu
    Copy the full SHA
    c5d4a15 View commit details
    Browse the repository at this point in the history

  8. fix

    @sgouezel
    sgouezel committed Apr 29, 2021
    Configuration menu
    Copy the full SHA
    4236687 View commit details
    Browse the repository at this point in the history

  9. fix div

    @sgouezel
    sgouezel committed Apr 29, 2021
    Configuration menu
    Copy the full SHA
    a46f38b View commit details
    Browse the repository at this point in the history

  10. fixes

    @sgouezel
    sgouezel committed Apr 29, 2021
    Configuration menu
    Copy the full SHA
    f25e8c2 View commit details
    Browse the repository at this point in the history

  11. fix integral_closure

    @sgouezel
    sgouezel committed Apr 29, 2021
    Configuration menu
    Copy the full SHA
    ab27564 View commit details
    Browse the repository at this point in the history

  12. further fixes

    @sgouezel
    sgouezel committed Apr 29, 2021
    Configuration menu
    Copy the full SHA
    12bfc3f View commit details
    Browse the repository at this point in the history

Commits on Apr 30, 2021

  1. more fixes

    @sgouezel
    sgouezel committed Apr 30, 2021
    Configuration menu
    Copy the full SHA
    efbe26b View commit details
    Browse the repository at this point in the history

  2. style

    @sgouezel
    sgouezel committed Apr 30, 2021
    Configuration menu
    Copy the full SHA
    c2c995f View commit details
    Browse the repository at this point in the history

  3. long line

    @sgouezel
    sgouezel committed Apr 30, 2021
    Configuration menu
    Copy the full SHA
    3d0e2e9 View commit details
    Browse the repository at this point in the history

  4. remove simp attribute

    @sgouezel
    sgouezel committed Apr 30, 2021
    Configuration menu
    Copy the full SHA
    4155669 View commit details
    Browse the repository at this point in the history

  5. move to the right place

    @sgouezel
    sgouezel committed Apr 30, 2021
    Configuration menu
    Copy the full SHA
    bbf99e7 View commit details
    Browse the repository at this point in the history

  6. merge other branch

    @sgouezel
    sgouezel committed Apr 30, 2021
    Configuration menu
    Copy the full SHA
    83e6913 View commit details
    Browse the repository at this point in the history

  7. Merge remote-tracking branch 'upstream/master' into polynomial_irreduc

    @sgouezel
    sgouezel committed Apr 30, 2021
    Configuration menu
    Copy the full SHA
    11efc6a View commit details
    Browse the repository at this point in the history

  8. lint

    @sgouezel
    sgouezel committed Apr 30, 2021
    Configuration menu
    Copy the full SHA
    9babc62 View commit details
    Browse the repository at this point in the history

  9. lint again

    @sgouezel
    sgouezel committed Apr 30, 2021
    Configuration menu
    Copy the full SHA
    3f4a718 View commit details
    Browse the repository at this point in the history

Commits on May 3, 2021

  1. merge master

    @sgouezel
    sgouezel committed May 3, 2021
    Configuration menu
    Copy the full SHA
    9fd237f View commit details
    Browse the repository at this point in the history

  2. fix build

    @sgouezel
    sgouezel committed May 3, 2021
    Configuration menu
    Copy the full SHA
    4b110d8 View commit details
    Browse the repository at this point in the history

Commits on May 5, 2021

  1. make 0 semireducible again

    @sgouezel
    sgouezel committed May 5, 2021
    Configuration menu
    Copy the full SHA
    afa39c7 View commit details
    Browse the repository at this point in the history

  2. Merge remote-tracking branch 'upstream/master' into polynomial_irreduc

    @sgouezel
    sgouezel committed May 5, 2021
    Configuration menu
    Copy the full SHA
    26cd4cd View commit details
    Browse the repository at this point in the history

  3. cleanup from semireducibility of 0

    @sgouezel
    sgouezel committed May 5, 2021
    Configuration menu
    Copy the full SHA
    be1c7a1 View commit details
    Browse the repository at this point in the history