Documentation

Author: cjdoris

Generics.mag

@@ -23,6 +23,9 @@ declare attributes PadExactElt
 declare type Val_PadExactElt;
 
 ///# Internals
+///
+///toc
+///
 ///## Generic interface
 ///
 /// The type `StrPadExact` is for structures whose elements are in terms of Exact p-adic numbers. Examples of subtypes include `FldPadExact` for p-adic fields, `RngUPol_FldPadExact` for polynomials over p-adic fields, `SetCart_PadExact` for cartesian products of such structures. Elements of such structures have type deriving from `PadExactElt`.

Tuples.mag

@@ -1,6 +1,8 @@
 ///# Aggregates
 ///
 /// Sometimes a collection of p-adic objects are highly related and should share a single update function. For example, if we Hensel-lift a system of roots of a system of multivariate polynomials, then updating one element of the system requires updating them all. In this case, we represent the whole aggregation as a single p-adic object.
+/// 
+///toc
 
 import "ExactpAdics.mag": NEXTID;
 Z := Integers();

docs/aggregates.md

@@ -3,6 +3,13 @@
 
 Sometimes a collection of p-adic objects are highly related and should share a single update function. For example, if we Hensel-lift a system of roots of a system of multivariate polynomials, then updating one element of the system requires updating them all. In this case, we represent the whole aggregation as a single p-adic object.
 
+
+**Contents**
+* [Tuples](#tuples)
+  * [Cartesian products](#cartesian-products)
+  * [Creation of tuples](#creation-of-tuples)
+  * [Basic operations](#basic-operations)
+
 ## Tuples
 
 ### Cartesian products

docs/internals.md

@@ -1,5 +1,19 @@
 # Internals
 
+
+
+**Contents**
+* [Generic interface](#generic-interface)
+* [Getters](#getters)
+  * [Overview](#overview)
+  * [Creation](#creation)
+  * [Evaluation](#evaluation)
+* [Composition](#composition)
+  * [Reductions](#reductions)
+  * [Short-circuit reductions](#short-circuit-reductions)
+* [ExtDataFldPadExact](#extdatafldpadexact)
+
+
 ## Generic interface