Convergent series on ultrametric discs

[xcaruso]

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/

Depends on #14823
Depends on #14824
Depends on #14826
Depends on #14828
Depends on #14829

Component: padics

Keywords: padics series days71

Branch/Commit: u/caruso/iwasawa @ dac3cf3

Issue created by migration from https://trac.sagemath.org/ticket/14830

[xcaruso]

Dependencies: #14823, #14824, #14826, #14828, #14829

[xcaruso]

Description changed:

--- 
+++ 
@@ -1,5 +1,5 @@
 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 need_works); if somebody wants to collaborate and help me to write this documentation, he is of course welcome!
+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/

[xcaruso]

Attachment: trac_14830_bounded_series.patch.gz