Convergent series on ultrametric discs
|Reported by:||caruso||Owned by:||roed|
|Component:||padics||Keywords:||padics series days71|
|Report Upstream:||N/A||Work issues:|
|Dependencies:||#14823, #14824, #14826, #14828, #14829||Stopgaps:|
Description (last modified by )
This patch implements various rings of convergent series on discs over ultrametric fields (that is padics fields or Laurent series fields).
The documentation is not written yet (it's why I leave the status of this ticket as new); if somebody wants to collaborate and help me to write this documentation, he is of course welcome!
An inline demo of the functionalities provided by this patch is available here: https://cethop.math.cnrs.fr:8443/home/pub/6/
Change History (10)
comment:1 Changed 4 years ago by
- Dependencies set to #14823, #14824, #14826, #14828, #14829
- Description modified (diff)
Changed 4 years ago by
comment:7 Changed 13 months ago by
- Commit changed from 8ccc2442ba2d6784dca7a063be332ff99c8b3c3a to dac3cf361e09e4a28dfa0210b57188fe721b648c