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

various fixes for schemes #2508

Merged
merged 9 commits into from
Jul 3, 2023
Merged

various fixes for schemes #2508

merged 9 commits into from
Jul 3, 2023

Commits on Jul 3, 2023

  1. various fixes for schemes

    @simonbrandhorst
    simonbrandhorst committed Jul 3, 2023
    Configuration menu
    Copy the full SHA
    1b31fd0 View commit details
    Browse the repository at this point in the history

  2. fix merge leftover

    @simonbrandhorst
    simonbrandhorst committed Jul 3, 2023
    Configuration menu
    Copy the full SHA
    91fe3d7 View commit details
    Browse the repository at this point in the history

  3. Apply suggestions from code review 

    Co-authored-by: Matthias Zach <85350711+HechtiDerLachs@users.noreply.github.com>
    @simonbrandhorst @HechtiDerLachs
    simonbrandhorst and HechtiDerLachs authored Jul 3, 2023
    Configuration menu
    Copy the full SHA
    1265d9a View commit details
    Browse the repository at this point in the history

  4. Update src/Rings/mpolyquo-localizations.jl

    @simonbrandhorst
    simonbrandhorst authored Jul 3, 2023
    Configuration menu
    Copy the full SHA
    931dcf0 View commit details
    Browse the repository at this point in the history

  5. Update src/Rings/mpolyquo-localizations.jl

    @simonbrandhorst
    simonbrandhorst authored Jul 3, 2023
    Configuration menu
    Copy the full SHA
    5c9c682 View commit details
    Browse the repository at this point in the history

  6. add a check

    @simonbrandhorst
    simonbrandhorst committed Jul 3, 2023
    Configuration menu
    Copy the full SHA
    3759216 View commit details
    Browse the repository at this point in the history

  7. better verbose printing

    @simonbrandhorst
    simonbrandhorst committed Jul 3, 2023
    Configuration menu
    Copy the full SHA
    5f5e80a View commit details
    Browse the repository at this point in the history

  8. Merge branch 'preparation' of github.com:oscar-system/Oscar.jl into p… 

    …reparation
    @simonbrandhorst
    simonbrandhorst committed Jul 3, 2023
    Configuration menu
    Copy the full SHA
    26511ea View commit details
    Browse the repository at this point in the history

  9. fix tests

    @simonbrandhorst
    simonbrandhorst committed Jul 3, 2023
    Configuration menu
    Copy the full SHA
    d4afd1d View commit details
    Browse the repository at this point in the history