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(data/polynomial): use linear_map for monomial, review degree #4784

Closed
wants to merge 16 commits into from
Closed

[Merged by Bors] - refactor(data/polynomial): use linear_map for monomial, review degree #4784

wants to merge 16 commits into from

Commits on Oct 24, 2020

  1. chore(data/polynomial/degree/basic): add supp_card_le_succ_nat_degree

    @riccardobrasca
    riccardobrasca committed Oct 24, 2020
    Configuration menu
    Copy the full SHA
    eece34a View commit details
    Browse the repository at this point in the history

  2. chore(data/polynomial/eval): remove commutativity in map_sum and map_neg

    @riccardobrasca
    riccardobrasca committed Oct 24, 2020
    Configuration menu
    Copy the full SHA
    b508ed9 View commit details
    Browse the repository at this point in the history

Commits on Oct 25, 2020

  1. Golf a proof

    @urkud
    urkud committed Oct 25, 2020
    Configuration menu
    Copy the full SHA
    82ac1be View commit details
    Browse the repository at this point in the history

  2. Golf 1 more proof

    @urkud
    urkud committed Oct 25, 2020
    Configuration menu
    Copy the full SHA
    53b60da View commit details
    Browse the repository at this point in the history

  3. Merge branch 'master' into polylemmas

    @urkud
    urkud committed Oct 25, 2020
    Configuration menu
    Copy the full SHA
    1fc2f55 View commit details
    Browse the repository at this point in the history

  4. chore(order/galois_connection): define with_bot.gi_get_or_else_bot 

    This Galois insertion can be used to golf proofs about
`polynomial.degree` vs `polynomial.nat_degree`.
    @urkud
    urkud committed Oct 25, 2020
    Configuration menu
    Copy the full SHA
    4c1eb2f View commit details
    Browse the repository at this point in the history

Commits on Oct 26, 2020

  1. Snapshot

    @urkud
    urkud committed Oct 26, 2020
    Configuration menu
    Copy the full SHA
    5ee1372 View commit details
    Browse the repository at this point in the history

  2. Merge branch 'polylemmas' into bundled-monomial

    @urkud
    urkud committed Oct 26, 2020
    Configuration menu
    Copy the full SHA
    70ea881 View commit details
    Browse the repository at this point in the history

  3. Merge branch 'degree-gi' into bundled-monomial

    @urkud
    urkud committed Oct 26, 2020
    Configuration menu
    Copy the full SHA
    76c426c View commit details
    Browse the repository at this point in the history

  4. Snapshot

    @urkud
    urkud committed Oct 26, 2020
    Configuration menu
    Copy the full SHA
    e208d9a View commit details
    Browse the repository at this point in the history

  5. Fix

    @urkud
    urkud committed Oct 26, 2020
    Configuration menu
    Copy the full SHA
    7bf8fd2 View commit details
    Browse the repository at this point in the history

  6. Many fixes

    @urkud
    urkud committed Oct 26, 2020
    Configuration menu
    Copy the full SHA
    2331d70 View commit details
    Browse the repository at this point in the history

  7. Merge branch 'master' into bundled-monomial

    @urkud
    urkud committed Oct 26, 2020
    Configuration menu
    Copy the full SHA
    1231c72 View commit details
    Browse the repository at this point in the history

  8. Merge branch 'master' into bundled-monomial

    @urkud
    urkud committed Oct 26, 2020
    Configuration menu
    Copy the full SHA
    dfa260c View commit details
    Browse the repository at this point in the history

  9. Fix

    @urkud
    urkud committed Oct 26, 2020
    Configuration menu
    Copy the full SHA
    2bf5b29 View commit details
    Browse the repository at this point in the history

Commits on Oct 27, 2020

  1. Merge branch 'master' into bundled-monomial

    @urkud
    urkud committed Oct 27, 2020
    Configuration menu
    Copy the full SHA
    63b08c5 View commit details
    Browse the repository at this point in the history