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

Fixed quotient and modulus for non-integer domains #3400

Draft
wants to merge 6 commits into
base: development
Choose a base branch
from
Draft

Fixed quotient and modulus for non-integer domains #3400

wants to merge 6 commits into from

Commits on Aug 18, 2024

  1. fixed quotient and modulus for non-integer domains

    @mahrud
    mahrud committed Aug 18, 2024
    Configuration menu
    Copy the full SHA
    ea8ac9e View commit details
    Browse the repository at this point in the history

  2. fixed up documentation for symbol % methods

    @mahrud
    mahrud committed Aug 18, 2024
    Configuration menu
    Copy the full SHA
    ff3bb54 View commit details
    Browse the repository at this point in the history

  3. fixed a couple of monomial ideal multiply methods

    @mahrud
    mahrud committed Aug 18, 2024
    Configuration menu
    Copy the full SHA
    8234b1b View commit details
    Browse the repository at this point in the history

  4. changed QQ // ZZ to / in WeylGroups::scalarProduct

    @mahrud
    mahrud committed Aug 18, 2024
    Configuration menu
    Copy the full SHA
    968c1aa View commit details
    Browse the repository at this point in the history

  5. changed RingElement / Number and Permanents::glynn

    @mahrud
    mahrud committed Aug 18, 2024
    Configuration menu
    Copy the full SHA
    eb46dc9 View commit details
    Browse the repository at this point in the history

  6. fixed RingElement / Number for inexact base fields 

    Example:
RR_100[x]; x/2
    @mahrud
    mahrud committed Aug 18, 2024
    Configuration menu
    Copy the full SHA
    0bc19d8 View commit details
    Browse the repository at this point in the history