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

Renaming for localizations #3174

Merged
merged 18 commits into from
Jan 12, 2024
Merged

Renaming for localizations #3174

merged 18 commits into from
Jan 12, 2024

Commits on Jan 11, 2024

  1. Renamings for localizations of polynomial rings.

    @HechtiDerLachs
    HechtiDerLachs committed Jan 11, 2024
    Configuration menu
    Copy the full SHA
    076a60d View commit details
    Browse the repository at this point in the history

  2. Renaming for localizations of quotients.

    @HechtiDerLachs
    HechtiDerLachs committed Jan 11, 2024
    Configuration menu
    Copy the full SHA
    99975fe View commit details
    Browse the repository at this point in the history

  3. Rename the localizations of modules.

    @HechtiDerLachs
    HechtiDerLachs committed Jan 11, 2024
    Configuration menu
    Copy the full SHA
    f88c1d6 View commit details
    Browse the repository at this point in the history

  4. Progress on renaming.

    @HechtiDerLachs
    HechtiDerLachs committed Jan 11, 2024
    Configuration menu
    Copy the full SHA
    e09370d View commit details
    Browse the repository at this point in the history

  5. Add missing export statement again.

    @HechtiDerLachs
    HechtiDerLachs committed Jan 11, 2024
    Configuration menu
    Copy the full SHA
    e6b9ea8 View commit details
    Browse the repository at this point in the history

  6. Fix up MatroidRealizationSpaces.

    @HechtiDerLachs
    HechtiDerLachs committed Jan 11, 2024
    Configuration menu
    Copy the full SHA
    e989eba View commit details
    Browse the repository at this point in the history

  7. Fix up some tests.

    @HechtiDerLachs
    HechtiDerLachs committed Jan 11, 2024
    Configuration menu
    Copy the full SHA
    31dfc6c View commit details
    Browse the repository at this point in the history

  8. Fix tests.

    @HechtiDerLachs
    HechtiDerLachs committed Jan 11, 2024
    Configuration menu
    Copy the full SHA
    c502f1b View commit details
    Browse the repository at this point in the history

  9. Fix tests.

    @HechtiDerLachs
    HechtiDerLachs committed Jan 11, 2024
    Configuration menu
    Copy the full SHA
    65c8552 View commit details
    Browse the repository at this point in the history

  10. Fix tests.

    @HechtiDerLachs
    HechtiDerLachs committed Jan 11, 2024
    Configuration menu
    Copy the full SHA
    bfe9933 View commit details
    Browse the repository at this point in the history

  11. Fix tests.

    @HechtiDerLachs
    HechtiDerLachs committed Jan 11, 2024
    Configuration menu
    Copy the full SHA
    46f19ca View commit details
    Browse the repository at this point in the history

  12. Fix doctests.

    @HechtiDerLachs
    HechtiDerLachs committed Jan 11, 2024
    Configuration menu
    Copy the full SHA
    91b1158 View commit details
    Browse the repository at this point in the history

  13. Fix some more doctests.

    @HechtiDerLachs
    HechtiDerLachs committed Jan 11, 2024
    Configuration menu
    Copy the full SHA
    5f1cd3d View commit details
    Browse the repository at this point in the history

  14. Fix doctests again.

    @HechtiDerLachs
    HechtiDerLachs committed Jan 11, 2024
    Configuration menu
    Copy the full SHA
    4bb0262 View commit details
    Browse the repository at this point in the history

  15. Add deprecations.

    @HechtiDerLachs
    HechtiDerLachs committed Jan 11, 2024
    Configuration menu
    Copy the full SHA
    89fbfbd View commit details
    Browse the repository at this point in the history

Commits on Jan 12, 2024

  1. Repair deprecations.

    @HechtiDerLachs
    HechtiDerLachs committed Jan 12, 2024
    Configuration menu
    Copy the full SHA
    ac95899 View commit details
    Browse the repository at this point in the history

  2. Merge branch 'master' into renaming_for_localizations

    @HechtiDerLachs
    HechtiDerLachs authored Jan 12, 2024
    Configuration menu
    Copy the full SHA
    28dda8f View commit details
    Browse the repository at this point in the history

  3. Repair deprecations once more.

    @HechtiDerLachs
    HechtiDerLachs committed Jan 12, 2024
    Configuration menu
    Copy the full SHA
    b223169 View commit details
    Browse the repository at this point in the history