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(algebra/field/basic): nnrat.cast #16554

Closed
wants to merge 55 commits into from
Closed

feat(algebra/field/basic): nnrat.cast #16554

wants to merge 55 commits into from

Commits on Sep 19, 2022

  1. initial commit

    @YaelDillies
    YaelDillies committed Sep 19, 2022
    Configuration menu
    Copy the full SHA
    8a73631 View commit details
    Browse the repository at this point in the history

  2. tame imports a bit more

    @YaelDillies
    YaelDillies committed Sep 19, 2022
    Configuration menu
    Copy the full SHA
    baf396b View commit details
    Browse the repository at this point in the history

Commits on Sep 20, 2022

  1. fix data.fin.succ_pred

    @YaelDillies
    YaelDillies committed Sep 20, 2022
    Configuration menu
    Copy the full SHA
    32273f3 View commit details
    Browse the repository at this point in the history

  2. initial commit

    @YaelDillies
    YaelDillies committed Sep 20, 2022
    Configuration menu
    Copy the full SHA
    23c243c View commit details
    Browse the repository at this point in the history

  3. add_opposite instances

    @YaelDillies
    YaelDillies committed Sep 20, 2022
    Configuration menu
    Copy the full SHA
    bee8c4a View commit details
    Browse the repository at this point in the history

  4. nnrat.cast, at last

    @YaelDillies
    YaelDillies committed Sep 20, 2022
    Configuration menu
    Copy the full SHA
    4a7f5d2 View commit details
    Browse the repository at this point in the history

  5. fix order.succ_pred.interval_succ

    @YaelDillies
    YaelDillies committed Sep 20, 2022
    Configuration menu
    Copy the full SHA
    a466371 View commit details
    Browse the repository at this point in the history

  6. Merge remote-tracking branch 'origin/semifield_opposite' into nnrat_cast

    @YaelDillies
    YaelDillies committed Sep 20, 2022
    Configuration menu
    Copy the full SHA
    e783aa1 View commit details
    Browse the repository at this point in the history

Commits on Sep 21, 2022

  1. opposites

    @YaelDillies
    YaelDillies committed Sep 21, 2022
    Configuration menu
    Copy the full SHA
    c8956cd View commit details
    Browse the repository at this point in the history

  2. fix order.atoms

    @YaelDillies
    YaelDillies committed Sep 21, 2022
    Configuration menu
    Copy the full SHA
    ad8c70b View commit details
    Browse the repository at this point in the history

  3. lower imports of algebra.parity

    @YaelDillies
    YaelDillies committed Sep 21, 2022
    Configuration menu
    Copy the full SHA
    1fe5e9f View commit details
    Browse the repository at this point in the history

  4. fix algebra.ring.ulit

    @YaelDillies
    YaelDillies committed Sep 21, 2022
    Configuration menu
    Copy the full SHA
    cd35528 View commit details
    Browse the repository at this point in the history

Commits on Oct 4, 2022

  1. more

    @YaelDillies
    YaelDillies committed Oct 4, 2022
    Configuration menu
    Copy the full SHA
    294b34a View commit details
    Browse the repository at this point in the history

Commits on Nov 4, 2022

  1. Merge remote-tracking branch 'origin/master' into nnrat_cast

    @YaelDillies
    YaelDillies committed Nov 4, 2022
    Configuration menu
    Copy the full SHA
    a9f845d View commit details
    Browse the repository at this point in the history

  2. move(data/set/pointwise/interval): Sanitise imports

    @YaelDillies
    YaelDillies committed Nov 4, 2022
    Configuration menu
    Copy the full SHA
    5434717 View commit details
    Browse the repository at this point in the history

  3. fix

    @semorrison
    semorrison committed Nov 4, 2022
    Configuration menu
    Copy the full SHA
    1df9ed1 View commit details
    Browse the repository at this point in the history

  4. fix import

    @semorrison
    semorrison committed Nov 4, 2022
    Configuration menu
    Copy the full SHA
    327b61a View commit details
    Browse the repository at this point in the history

  5. fix

    @semorrison
    semorrison committed Nov 4, 2022
    Configuration menu
    Copy the full SHA
    19e44ea View commit details
    Browse the repository at this point in the history

  6. add missing downstream imports

    @semorrison
    semorrison committed Nov 4, 2022
    Configuration menu
    Copy the full SHA
    da238e0 View commit details
    Browse the repository at this point in the history

  7. merge master

    @semorrison
    semorrison committed Nov 4, 2022
    Configuration menu
    Copy the full SHA
    3b58be2 View commit details
    Browse the repository at this point in the history

  8. fix import

    @semorrison
    semorrison committed Nov 4, 2022
    Configuration menu
    Copy the full SHA
    6d6553b View commit details
    Browse the repository at this point in the history

  9. fix data.intervals.ord_connected_component

    @YaelDillies
    YaelDillies committed Nov 4, 2022
    Configuration menu
    Copy the full SHA
    01d46e6 View commit details
    Browse the repository at this point in the history

  10. clean opposites

    @YaelDillies
    YaelDillies committed Nov 4, 2022
    Configuration menu
    Copy the full SHA
    969b8c7 View commit details
    Browse the repository at this point in the history

  11. fix linear_algebra.affine_space.affine_map

    @YaelDillies
    YaelDillies committed Nov 4, 2022
    Configuration menu
    Copy the full SHA
    8f85286 View commit details
    Browse the repository at this point in the history

  12. fix topology.algebra.order.basic

    @YaelDillies
    YaelDillies committed Nov 4, 2022
    Configuration menu
    Copy the full SHA
    75ccc56 View commit details
    Browse the repository at this point in the history

  13. Merge remote-tracking branch 'origin/pointwise_interval' into nnrat_cast

    @YaelDillies
    YaelDillies committed Nov 4, 2022
    Configuration menu
    Copy the full SHA
    b6f9997 View commit details
    Browse the repository at this point in the history

Commits on Nov 6, 2022

  1. Merge remote-tracking branch 'origin/master' into nnrat_cast

    @YaelDillies
    YaelDillies committed Nov 6, 2022
    Configuration menu
    Copy the full SHA
    3c62f0a View commit details
    Browse the repository at this point in the history

  2. fix algebra.order.nonneg.field

    @YaelDillies
    YaelDillies committed Nov 6, 2022
    Configuration menu
    Copy the full SHA
    7ca9943 View commit details
    Browse the repository at this point in the history

  3. fix algebra.order.field.basic

    @YaelDillies
    YaelDillies committed Nov 6, 2022
    Configuration menu
    Copy the full SHA
    e5ae584 View commit details
    Browse the repository at this point in the history

Commits on Nov 10, 2022

  1. Merge remote-tracking branch 'origin/master' into nnrat_cast

    @YaelDillies
    YaelDillies committed Nov 10, 2022
    Configuration menu
    Copy the full SHA
    d03a854 View commit details
    Browse the repository at this point in the history

Commits on Nov 11, 2022

  1. Merge remote-tracking branch 'origin/master' into nnrat_cast

    @YaelDillies
    YaelDillies committed Nov 11, 2022
    Configuration menu
    Copy the full SHA
    0a32509 View commit details
    Browse the repository at this point in the history

  2. reduce diff

    @YaelDillies
    YaelDillies committed Nov 11, 2022
    Configuration menu
    Copy the full SHA
    be4b43c View commit details
    Browse the repository at this point in the history

Commits on Feb 17, 2023

  1. partial progress

    @YaelDillies
    YaelDillies committed Feb 17, 2023
    Configuration menu
    Copy the full SHA
    83497ff View commit details
    Browse the repository at this point in the history

  2. Merge remote-tracking branch 'origin/master' into nnrat_cast

    @YaelDillies
    YaelDillies committed Feb 17, 2023
    Configuration menu
    Copy the full SHA
    5a4e8e6 View commit details
    Browse the repository at this point in the history

  3. fix algebra.field.defs

    @YaelDillies
    YaelDillies committed Feb 17, 2023
    Configuration menu
    Copy the full SHA
    991e8b3 View commit details
    Browse the repository at this point in the history

  4. fix data.rat.nnrat.defs

    @YaelDillies
    YaelDillies committed Feb 17, 2023
    Configuration menu
    Copy the full SHA
    b67ffbd View commit details
    Browse the repository at this point in the history

Commits on Feb 18, 2023

  1. fix combinatorics.additive.pluennecke_ruzsa

    @YaelDillies
    YaelDillies committed Feb 18, 2023
    Configuration menu
    Copy the full SHA
    a425ecd View commit details
    Browse the repository at this point in the history

  2. fix algebra.ring.ulift?

    @YaelDillies
    YaelDillies committed Feb 18, 2023
    Configuration menu
    Copy the full SHA
    726da98 View commit details
    Browse the repository at this point in the history

Commits on Feb 19, 2023

  1. import shuffling

    @YaelDillies
    YaelDillies committed Feb 19, 2023
    Configuration menu
    Copy the full SHA
    5cabff4 View commit details
    Browse the repository at this point in the history

  2. split archimedean off

    @YaelDillies
    YaelDillies committed Feb 19, 2023
    Configuration menu
    Copy the full SHA
    3bbfbaa View commit details
    Browse the repository at this point in the history

  3. hopefully final import shuffling

    @YaelDillies
    YaelDillies committed Feb 19, 2023
    Configuration menu
    Copy the full SHA
    9be40f6 View commit details
    Browse the repository at this point in the history

  4. import creep hell

    @YaelDillies
    YaelDillies committed Feb 19, 2023
    Configuration menu
    Copy the full SHA
    a180e4e View commit details
    Browse the repository at this point in the history

Commits on Mar 15, 2023

  1. reduce diff

    @YaelDillies
    YaelDillies committed Mar 15, 2023
    Configuration menu
    Copy the full SHA
    76517ce View commit details
    Browse the repository at this point in the history

  2. revert wrong docstring changes

    @YaelDillies
    YaelDillies committed Mar 15, 2023
    Configuration menu
    Copy the full SHA
    4e8754a View commit details
    Browse the repository at this point in the history

Commits on Mar 16, 2023

  1. Merge remote-tracking branch 'origin/master' into nnrat_cast

    @YaelDillies
    YaelDillies committed Mar 16, 2023
    Configuration menu
    Copy the full SHA
    d1d9417 View commit details
    Browse the repository at this point in the history

Commits on Mar 17, 2023

  1. Merge remote-tracking branch 'origin/master' into nnrat_cast

    @YaelDillies
    YaelDillies committed Mar 17, 2023
    Configuration menu
    Copy the full SHA
    35762a5 View commit details
    Browse the repository at this point in the history

  2. reduce diff

    @YaelDillies
    YaelDillies committed Mar 17, 2023
    Configuration menu
    Copy the full SHA
    da091da View commit details
    Browse the repository at this point in the history

  3. fix algebra.field.opposite

    @YaelDillies
    YaelDillies committed Mar 17, 2023
    Configuration menu
    Copy the full SHA
    64f90fe View commit details
    Browse the repository at this point in the history

  4. remove assert_not_exists

    @YaelDillies
    YaelDillies committed Mar 17, 2023
    Configuration menu
    Copy the full SHA
    a382323 View commit details
    Browse the repository at this point in the history

  5. fix algebra.field.ulift

    @YaelDillies
    YaelDillies committed Mar 17, 2023
    Configuration menu
    Copy the full SHA
    d80aa03 View commit details
    Browse the repository at this point in the history

Commits on Mar 18, 2023

  1. move commute lemmas

    @YaelDillies
    YaelDillies committed Mar 18, 2023
    Configuration menu
    Copy the full SHA
    1fbb8a9 View commit details
    Browse the repository at this point in the history

  2. Merge remote-tracking branch 'origin/master' into nnrat_cast

    @YaelDillies
    YaelDillies committed Mar 18, 2023
    Configuration menu
    Copy the full SHA
    6e08817 View commit details
    Browse the repository at this point in the history

  3. reduce diff

    @YaelDillies
    YaelDillies committed Mar 18, 2023
    Configuration menu
    Copy the full SHA
    2e46b07 View commit details
    Browse the repository at this point in the history

Commits on Mar 19, 2023

  1. Merge remote-tracking branch 'origin/master' into nnrat_cast

    @YaelDillies
    YaelDillies committed Mar 19, 2023
    Configuration menu
    Copy the full SHA
    e5a2fe6 View commit details
    Browse the repository at this point in the history

Commits on Mar 24, 2023

  1. Merge remote-tracking branch 'origin/master' into nnrat_cast

    @YaelDillies
    YaelDillies committed Mar 24, 2023
    Configuration menu
    Copy the full SHA
    ecb869d View commit details
    Browse the repository at this point in the history