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

Witt vectors redone #39355

Draft
wants to merge 38 commits into
base: develop
Choose a base branch
from
+1,046 −0
Draft

Witt vectors redone #39355

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
38 commits
Select commit Hold shift + click to select a range
3e641dc
Add initial structure of Witt Vectors.
nielrenned Sep 25, 2022
d9db974
refreshing the branch
fchapoton Jan 20, 2025
d530f2b
fix imports
fchapoton Jan 21, 2025
fe6b019
add link in the documentation
fchapoton Jan 21, 2025
48a688d
adding some doctests
fchapoton Jan 21, 2025
74fde0e
adding doctests
fchapoton Jan 21, 2025
bf6c07c
adding to meson (eurk)
fchapoton Jan 21, 2025
180dc82
more doctests in constructor
fchapoton Jan 21, 2025
b3aed53
some details, annotations
fchapoton Jan 21, 2025
ac01b37
adding doctests in witt_vector
fchapoton Jan 22, 2025
466c239
Merge branch 'develop' into Witt_vectors_redone
fchapoton Feb 10, 2025
d9cf146
Remove Witt ring ambiguity
r-mb Feb 10, 2025
e0a6d9b
Remove duplicate entry in meson.build
r-mb Feb 10, 2025
ed9f885
Add heading documentation for Witt vector rings constructor
r-mb Feb 10, 2025
bc69d17
Merge branch 'sagemath:develop' into Witt_vectors_redone
r-mb Feb 12, 2025
2c2b757
Not a conjecture anymore
r-mb Feb 10, 2025
c2de206
Remove outdated comment
r-mb Feb 12, 2025
027ad8d
Add exceptions for inversion in characteristic != p
r-mb Feb 12, 2025
376f87e
Remove wrong mentions of p-typicality
r-mb Feb 12, 2025
7ebc2fa
Remove useless class in the p invertible case
r-mb Feb 12, 2025
ffce77a
Better handling of automatic choice of algorithm
r-mb Feb 12, 2025
95fde27
More explicit name of algorithm
r-mb Feb 12, 2025
cf88c73
Add exception in WittVectorRing constructor
r-mb Feb 13, 2025
1ab0997
Better handling of CommutativeRings
r-mb Feb 13, 2025
fa8b7ce
Handle coercion
r-mb Feb 13, 2025
c3a1b1e
Move unused method and use it
r-mb Feb 13, 2025
b8f4dee
Header cleaning
r-mb Feb 13, 2025
5df7763
Add documentation and tests and fix bugs
r-mb Feb 13, 2025
514138e
SageMath General Conventions, PEP 0008 and cosmetics
r-mb Feb 13, 2025
cca1fd9
Add copyright and authors
r-mb Feb 13, 2025
4c689cf
Modifications in documention for a clean compilation
r-mb Feb 13, 2025
ec4a528
Fix last remaining syntax mistakes in documentation
r-mb Feb 14, 2025
3e9976b
first proofreading
Feb 14, 2025
2a7ade3
Fix the fixes
r-mb Feb 14, 2025
bfccefc
Underscore class properties
r-mb Feb 14, 2025
556514d
Remove copypasta remains
r-mb Feb 14, 2025
67d7295
Better style
r-mb Feb 14, 2025
3d34b15
Handle extra arguments in the random element generator
r-mb Feb 14, 2025
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
3 changes: 3 additions & 0 deletions src/doc/en/reference/padics/index.rst
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -42,4 +42,7 @@
sage/rings/padics/common_conversion
sage/rings/padics/morphism

sage/rings/padics/witt_vector_ring
sage/rings/padics/witt_vector

.. include:: ../footer.txt
1 change: 1 addition & 0 deletions src/sage/rings/padics/all.py
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -4,3 +4,4 @@
from sage.rings.padics.padic_generic import local_print_mode
from sage.rings.padics.pow_computer import PowComputer
from sage.rings.padics.pow_computer_ext import PowComputer_ext_maker
from sage.rings.padics.witt_vector_ring import WittVectorRing
2 changes: 2 additions & 0 deletions src/sage/rings/padics/meson.build
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -47,6 +47,8 @@ py.install_sources(
'tests.py',
'tutorial.py',
'unramified_extension_generic.py',
'witt_vector_ring.py',
'witt_vector.py',
subdir: 'sage/rings/padics',
)

Expand Down
Loading
Loading