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

Hide AbstractAlgebra ordering of a polynomial ring (a bit) #3374

Merged
merged 14 commits into from
Feb 21, 2024
Merged

Hide AbstractAlgebra ordering of a polynomial ring (a bit) #3374

merged 14 commits into from
Feb 21, 2024

Commits on Feb 21, 2024

  1. ordering -> internal_ordering for polynomial rings

    @joschmitt
    joschmitt committed Feb 21, 2024
    Configuration menu
    Copy the full SHA
    eadc758 View commit details
    Browse the repository at this point in the history

  2. Remove unnecessary usage

    @joschmitt
    joschmitt committed Feb 21, 2024
    Configuration menu
    Copy the full SHA
    373d8b2 View commit details
    Browse the repository at this point in the history

  3. Remove unnecessary usage

    @joschmitt
    joschmitt committed Feb 21, 2024
    Configuration menu
    Copy the full SHA
    aa0b883 View commit details
    Browse the repository at this point in the history

  4. Add comments to (probably) on-purpose uses

    @joschmitt
    joschmitt committed Feb 21, 2024
    Configuration menu
    Copy the full SHA
    bf0e44f View commit details
    Browse the repository at this point in the history

  5. Remove some mentions of internal_ordering from the docs

    @joschmitt
    joschmitt committed Feb 21, 2024
    Configuration menu
    Copy the full SHA
    73e4bd8 View commit details
    Browse the repository at this point in the history

  6. Remove unnecessary usage

    @joschmitt
    joschmitt committed Feb 21, 2024
    Configuration menu
    Copy the full SHA
    f2965e7 View commit details
    Browse the repository at this point in the history

  7. Remove unnecessary usage

    @joschmitt
    joschmitt committed Feb 21, 2024
    Configuration menu
    Copy the full SHA
    6baa077 View commit details
    Browse the repository at this point in the history

  8. More adjustments to expected upstream changes

    @joschmitt
    joschmitt committed Feb 21, 2024
    Configuration menu
    Copy the full SHA
    7e31096 View commit details
    Browse the repository at this point in the history

  9. Bump dependencies

    @joschmitt
    joschmitt committed Feb 21, 2024
    Configuration menu
    Copy the full SHA
    3690653 View commit details
    Browse the repository at this point in the history

  10. FakeFmpqMat is not exported any more

    @joschmitt
    joschmitt committed Feb 21, 2024
    Configuration menu
    Copy the full SHA
    ee7f1a8 View commit details
    Browse the repository at this point in the history

  11. find_name now lives in PrettyPrinting

    @joschmitt
    joschmitt committed Feb 21, 2024
    Configuration menu
    Copy the full SHA
    cb62fb3 View commit details
    Browse the repository at this point in the history

  12. Adapt to name printing changes (again)

    @lgoettgens
    lgoettgens committed Feb 21, 2024
    Configuration menu
    Copy the full SHA
    404ac73 View commit details
    Browse the repository at this point in the history

  13. disc_log_bs_gs is not exported any more

    @joschmitt
    joschmitt committed Feb 21, 2024
    Configuration menu
    Copy the full SHA
    a6b780a View commit details
    Browse the repository at this point in the history

  14. Further functions not exported any more

    @joschmitt
    joschmitt committed Feb 21, 2024
    Configuration menu
    Copy the full SHA
    da83a79 View commit details
    Browse the repository at this point in the history