more small fixes

Triangulation/doc_tex/Triangulation_ref/DelaunayTriangulationTraits.tex

@@ -30,7 +30,7 @@ lies on the sphere \ccc{S}. If the simplex \ccc{[start,end)} is positively
 oriented, then the positive side of sphere \ccc{S} corresponds geometrically
 to the bounded side of \ccc{S} and the negative side corresponds to the
 unbounded side of \ccc{S}. If the simplex is negatively oriented, the
-correspondance is inverted. 
+correspondence is inverted. 
 %\\ The range's size must of course be one more
 %than the dimension of the euclidean space the points live in: 
 \ccPrecond
@@ -80,7 +80,7 @@ const;}
 
 \ccc{Cartesian_d<FT, Dim, LA>},\\
 \ccc{Simple_cartesian_d<FT, Dim, LA>},\\
-\ccc{Filtered_kernel_d<K>} (recommended).\note{c'est quoi K?}
+\ccc{Filtered_kernel_d} (recommended)
 
 \ccSeeAlso
 

Triangulation/doc_tex/Triangulation_ref/TriangulationDSFullCell.tex

@@ -39,9 +39,9 @@ nested type \ccc{TDS::Full_cell_handle} of the \ccc{TDS} in which the
 
 \ccTypedef{typedef TDS::Full_cell_data TDS_data;}{}
 
-\ccNestedType{template<typename PC2> Rebind_TDS}{This nested template
+\ccNestedType{template<typename TDS2> Rebind_TDS}{This nested template
 class must define a nested type \ccc{Other} which is the rebound cell
-class template, that is: \ccc{Other == TriangulationDSFullCell<PC2>}.}
+class template, that is: \ccc{Other == TriangulationDSFullCell<TDS2>}.}
 
 \ccCreation	
 \ccCreationVariable{c}
@@ -165,8 +165,8 @@ there is an existing neighbor.}
 % \ccGlue\ccMethod{void* & for_compact_container();}{}
 
 % These member functions are required by the classes
-% \ccc{Pure_complex_data_structure<Dimensionality, TDSVertex, TDSFullCell>} and
-% \ccc{Pure_complex<PCTraits, TDS>} (and its derived classes) because they use
+% \ccc{Triangulation_data_structure<Dimensionality, TDSVertex, TDSFullCell>} and
+% \ccc{Triangulation<TrTraits, TDS>} (and its derived classes) because they use
 % \ccc{Compact_container} to store their vertices and simplices. See the
 % documentation of \ccc{Compact_container} for the exact requirements.
 

Triangulation/doc_tex/Triangulation_ref/TriangulationDSVertex.tex

@@ -21,9 +21,9 @@ concept.
 nested type \ccc{TDS::Full_cell_handle} of the \ccc{TDS} in which the
 \ccc{TriangulationDSVertex} is defined/used.}
 
-\ccNestedType{template<typename PC2> Rebind_TDS}{This nested template
+\ccNestedType{template<typename TDS2> Rebind_TDS}{This nested template
 class must define a nested type \ccc{Other} which is the rebound vertex
-class template, that is: \ccc{Other == TriangulationDSVertex<PC2>}.}
+class template, that is: \ccc{Other == TriangulationDSVertex<TDS2>}.}
 
 \ccCreation	
 \ccCreationVariable{v}

Triangulation/doc_tex/Triangulation_ref/TriangulationFace.tex

@@ -26,6 +26,9 @@ defined/used.}
 \ccCreation
 \ccCreationVariable{f}
 
+There is no default constructor, since the ambient dimension (the maximal
+dimension of the simplices) must be known by the constructors of a \ccRefName.
+
 \ccConstructor{Triangulation_face(Triangulation_face g);}{Copy constructor.}
 
 \ccConstructor{Triangulation_face(Full_cell_handle c);}{Sets the \ccc{Face}'s

Triangulation/doc_tex/Triangulation_ref/TriangulationTraits.tex

@@ -3,14 +3,17 @@
 \ccDefinition
 
 The concept \ccRefName\ describes the various types and functions that a class
-has to provide as the first parameter (\ccc{TrTraits}) to the class template
+must provide as the first parameter (\ccc{TrTraits}) to the class template
 \ccc{Triangulation<TrTraits, TDS>}. It brings the geometric ingredient to the
 definition of a triangulation, while the combinatorial ingredient is brought by
 the second template parameter, \ccc{TDS}.
 
 Inserting a range of points in a triangulation is optimized using
 spatial sorting, thus besides the requirements below, 
-a class provided as \ccc{TrTraits} should also satisfies  the concept 
+a class provided as \ccc{TrTraits} should also satisfies the concept 
+\ccc{SpatialSortingTraits_d}.
+
+\ccRefines
 \ccc{SpatialSortingTraits_d}.
 
 \ccTypes