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.

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

[Merged by Bors] - feat(ring_theory/DVR,padics/padic_integers): characterize ideals of DVRs, apply to Z_p #3827

Closed
wants to merge 24 commits into from

Commits on Aug 14, 2020

  1. WIP on Z_p is DVR

    robertylewis committed Aug 14, 2020
    Configuration menu
    Copy the full SHA
    5e85774 View commit details
    Browse the repository at this point in the history
  2. valuation on padic seqs

    robertylewis committed Aug 14, 2020
    Configuration menu
    Copy the full SHA
    572e6d4 View commit details
    Browse the repository at this point in the history
  3. some cleanup

    robertylewis committed Aug 14, 2020
    Configuration menu
    Copy the full SHA
    caf88d6 View commit details
    Browse the repository at this point in the history
  4. valuation on Q_p

    robertylewis committed Aug 14, 2020
    Configuration menu
    Copy the full SHA
    05e0864 View commit details
    Browse the repository at this point in the history
  5. valuation on Z_p

    robertylewis committed Aug 14, 2020
    Configuration menu
    Copy the full SHA
    01bec38 View commit details
    Browse the repository at this point in the history
  6. units facts

    robertylewis committed Aug 14, 2020
    Configuration menu
    Copy the full SHA
    fe0ce29 View commit details
    Browse the repository at this point in the history
  7. finish pid

    robertylewis committed Aug 14, 2020
    Configuration menu
    Copy the full SHA
    56b1946 View commit details
    Browse the repository at this point in the history
  8. begin cleanup

    robertylewis committed Aug 14, 2020
    Configuration menu
    Copy the full SHA
    a75cc32 View commit details
    Browse the repository at this point in the history

Commits on Aug 15, 2020

  1. Some more stuff on Z_p

    jcommelin committed Aug 15, 2020
    Configuration menu
    Copy the full SHA
    cc2ab07 View commit details
    Browse the repository at this point in the history
  2. Some general stuff on DVRs

    jcommelin committed Aug 15, 2020
    Configuration menu
    Copy the full SHA
    ec47660 View commit details
    Browse the repository at this point in the history
  3. mini update

    jcommelin committed Aug 15, 2020
    Configuration menu
    Copy the full SHA
    369f2c8 View commit details
    Browse the repository at this point in the history
  4. Constructors for DVRs

    jcommelin committed Aug 15, 2020
    Configuration menu
    Copy the full SHA
    4843152 View commit details
    Browse the repository at this point in the history
  5. Configuration menu
    Copy the full SHA
    ff63113 View commit details
    Browse the repository at this point in the history
  6. superficial cleanup/docs

    robertylewis committed Aug 15, 2020
    Configuration menu
    Copy the full SHA
    f3d30f2 View commit details
    Browse the repository at this point in the history
  7. cleanup

    robertylewis committed Aug 15, 2020
    Configuration menu
    Copy the full SHA
    be955cb View commit details
    Browse the repository at this point in the history
  8. Configuration menu
    Copy the full SHA
    317a9b8 View commit details
    Browse the repository at this point in the history

Commits on Aug 16, 2020

  1. Configuration menu
    Copy the full SHA
    f6d9033 View commit details
    Browse the repository at this point in the history
  2. statement for Z_p

    robertylewis committed Aug 16, 2020
    Configuration menu
    Copy the full SHA
    77a68bd View commit details
    Browse the repository at this point in the history
  3. Configuration menu
    Copy the full SHA
    600b63e View commit details
    Browse the repository at this point in the history
  4. lint

    robertylewis committed Aug 16, 2020
    Configuration menu
    Copy the full SHA
    45ba568 View commit details
    Browse the repository at this point in the history
  5. Configuration menu
    Copy the full SHA
    58495bb View commit details
    Browse the repository at this point in the history
  6. lowercase UFD/PID

    robertylewis committed Aug 16, 2020
    Configuration menu
    Copy the full SHA
    d9bc600 View commit details
    Browse the repository at this point in the history
  7. lint

    robertylewis committed Aug 16, 2020
    Configuration menu
    Copy the full SHA
    daa1d17 View commit details
    Browse the repository at this point in the history

Commits on Aug 17, 2020

  1. Configuration menu
    Copy the full SHA
    24aa487 View commit details
    Browse the repository at this point in the history