-
Notifications
You must be signed in to change notification settings - Fork 299
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/witt_vector/witt_polynomial): definition and basic properties #4236
Conversation
…roperties From the Witt vector project This is the first of a dozen of files on Witt vectors. This file contains the definition of the so-called Witt polynomials. Follow-up PRs will contain: * An important structural result on the Witt polynomials * The definition of the ring of Witt vectors (including the ring structure) * Several common operations on Witt vectors * Identities between thes operations * A comparison isomorphism between the ring of Witt vectors over F_p and the ring of p-adic integers Z_p. Co-Authored-By: Rob Y. Lewis <rob.y.lewis@gmail.com>
ccd4536
to
e12873f
Compare
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Looks good to me, ready to merge when expand
gets merged.
Co-authored-by: Vierkantor <Vierkantor@users.noreply.github.com>
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Thanks!
bors r+
Canceled. |
bors merge |
…roperties (#4236) From the Witt vector project This is the first of a dozen of files on Witt vectors. This file contains the definition of the so-called Witt polynomials. Follow-up PRs will contain: * An important structural result on the Witt polynomials * The definition of the ring of Witt vectors (including the ring structure) * Several common operations on Witt vectors * Identities between thes operations * A comparison isomorphism between the ring of Witt vectors over F_p and the ring of p-adic integers Z_p. Co-Authored-By: Rob Y. Lewis <rob.y.lewis@gmail.com>
Pull request successfully merged into master. Build succeeded: |
From the Witt vector project
This is the first of a dozen of files on Witt vectors. This file contains
the definition of the so-called Witt polynomials.
Follow-up PRs will contain:
the ring of p-adic integers Z_p.
Co-Authored-By: Rob Y. Lewis rob.y.lewis@gmail.com
Blocked by: #4197