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

[Merged by Bors] - feat(NumberTheory.NumberField.Units): add torsion subgroup #5748

Closed
wants to merge 15 commits into from
Closed

[Merged by Bors] - feat(NumberTheory.NumberField.Units): add torsion subgroup #5748

wants to merge 15 commits into from

Commits on Jul 6, 2023

  1. 1st commit

    @xroblot
    xroblot committed Jul 6, 2023
    Configuration menu
    Copy the full SHA
    de183ff View commit details
    Browse the repository at this point in the history

Commits on Jul 8, 2023

  1. add results about rootsOfUnity

    @xroblot
    xroblot committed Jul 8, 2023
    Configuration menu
    Copy the full SHA
    993f95a View commit details
    Browse the repository at this point in the history

Commits on Jul 18, 2023

  1. Merge remote-tracking branch 'origin' into xfr-unit-torsion

    @xroblot
    xroblot committed Jul 18, 2023
    Configuration menu
    Copy the full SHA
    2337643 View commit details
    Browse the repository at this point in the history

  2. Update

    @xroblot
    xroblot committed Jul 18, 2023
    Configuration menu
    Copy the full SHA
    4a13f86 View commit details
    Browse the repository at this point in the history

Commits on Jul 19, 2023

  1. backport

    @xroblot
    xroblot committed Jul 19, 2023
    Configuration menu
    Copy the full SHA
    929e27e View commit details
    Browse the repository at this point in the history

  2. Merge remote-tracking branch 'origin' into xfr-unit-torsion

    @xroblot
    xroblot committed Jul 19, 2023
    Configuration menu
    Copy the full SHA
    b502571 View commit details
    Browse the repository at this point in the history

  3. Fix end

    @xroblot
    xroblot committed Jul 19, 2023
    Configuration menu
    Copy the full SHA
    57192af View commit details
    Browse the repository at this point in the history

  4. Add doc

    @xroblot
    xroblot committed Jul 19, 2023
    Configuration menu
    Copy the full SHA
    8aa9980 View commit details
    Browse the repository at this point in the history

Commits on Jul 29, 2023

  1. Add map_zpow

    @xroblot
    xroblot committed Jul 29, 2023
    Configuration menu
    Copy the full SHA
    2238c4f View commit details
    Browse the repository at this point in the history

  2. Add coe_coe

    @xroblot
    xroblot committed Jul 29, 2023
    Configuration menu
    Copy the full SHA
    6c5a344 View commit details
    Browse the repository at this point in the history

Commits on Aug 2, 2023

  1. Review

    @xroblot
    xroblot committed Aug 2, 2023
    Configuration menu
    Copy the full SHA
    4dbe2df View commit details
    Browse the repository at this point in the history

  2. Remove coercion

    @xroblot
    xroblot committed Aug 2, 2023
    Configuration menu
    Copy the full SHA
    abfa77e View commit details
    Browse the repository at this point in the history

  3. Clean up

    @xroblot
    xroblot committed Aug 2, 2023
    Configuration menu
    Copy the full SHA
    e8e322b View commit details
    Browse the repository at this point in the history

  4. Merge remote-tracking branch 'origin' into xfr-unit-torsion

    @xroblot
    xroblot committed Aug 2, 2023
    Configuration menu
    Copy the full SHA
    09a105f View commit details
    Browse the repository at this point in the history

  5. Add coe_mul and coe_neg_one

    @xroblot
    xroblot committed Aug 2, 2023
    Configuration menu
    Copy the full SHA
    3d5e334 View commit details
    Browse the repository at this point in the history