diff --git a/Mesh_3/doc/Mesh_3/CGAL/Labeled_mesh_domain_3.h b/Mesh_3/doc/Mesh_3/CGAL/Labeled_mesh_domain_3.h index 8755edeeb8c..f9cbe08ff15 100644 --- a/Mesh_3/doc/Mesh_3/CGAL/Labeled_mesh_domain_3.h +++ b/Mesh_3/doc/Mesh_3/CGAL/Labeled_mesh_domain_3.h @@ -7,7 +7,7 @@ namespace CGAL { This class is a model of concept `MeshDomain_3`. -Any boundary facet is labeled , a, with a, where b!=0. diff --git a/Mesh_3/doc/Mesh_3/CGAL/make_mesh_3.h b/Mesh_3/doc/Mesh_3/CGAL/make_mesh_3.h index 9a350b2972e..dbe20cf4fe8 100644 --- a/Mesh_3/doc/Mesh_3/CGAL/make_mesh_3.h +++ b/Mesh_3/doc/Mesh_3/CGAL/make_mesh_3.h @@ -119,12 +119,12 @@ they are always launched in the order that is a suborder of the following (see user manual for further details): *lloyd*, *odt*, *perturb*, *exude*. -Also beware, that optimization of the mesh is obtained +Beware that optimization of the mesh is obtained by perturbing mesh vertices and modifying the mesh connectivity and that this has an impact on the strict compliance to the refinement criteria. Though a strict compliance to mesh criteria -is granted at the end of the Delaunay refinement, this may no longer be true after +is guaranteed at the end of the Delaunay refinement, this may no longer be true after some optimization processes. Also beware that the default behavior does involve some optimization processes. diff --git a/Mesh_3/doc/Mesh_3/CGAL/refine_mesh_3.h b/Mesh_3/doc/Mesh_3/CGAL/refine_mesh_3.h index 05d32314ea4..109b016378e 100644 --- a/Mesh_3/doc/Mesh_3/CGAL/refine_mesh_3.h +++ b/Mesh_3/doc/Mesh_3/CGAL/refine_mesh_3.h @@ -121,7 +121,7 @@ by perturbing mesh vertices and modifying the mesh connectivity and that this has an impact on the strict compliance to the refinement criteria. Though a strict compliance to mesh criteria -is granted at the end of the Delaunay refinement, this may no longer be true after +is guaranteed at the end of the Delaunay refinement, this may no longer be true after some optimization processes. Also beware that the default behavior does involve some optimization processes. diff --git a/Mesh_3/include/CGAL/Labeled_mesh_domain_3.h b/Mesh_3/include/CGAL/Labeled_mesh_domain_3.h index c1441a9c9ca..404b1dd30c3 100644 --- a/Mesh_3/include/CGAL/Labeled_mesh_domain_3.h +++ b/Mesh_3/include/CGAL/Labeled_mesh_domain_3.h @@ -60,7 +60,7 @@ struct Null_subdomain_index { * - f(p)=0 means that p is outside domain. * - f(p)=a, a!=0 means that p is inside subdomain a. * - * Any boundary facet is labelled , a, with a, where b!=0. */ diff --git a/Mesh_3/include/CGAL/Mesh_3/Labeled_mesh_domain_3.h b/Mesh_3/include/CGAL/Mesh_3/Labeled_mesh_domain_3.h index 1a89d22e7b2..26b8840d555 100644 --- a/Mesh_3/include/CGAL/Mesh_3/Labeled_mesh_domain_3.h +++ b/Mesh_3/include/CGAL/Mesh_3/Labeled_mesh_domain_3.h @@ -58,7 +58,7 @@ namespace Mesh_3 { * - f(p)=0 means that p is outside domain. * - f(p)=a, a!=0 means that p is inside subdomain a. * - * Any boundary facet is labelled , a, with a, where b!=0. */ diff --git a/Periodic_3_mesh_3/doc/Periodic_3_mesh_3/CGAL/Labeled_periodic_3_mesh_domain_3.h b/Periodic_3_mesh_3/doc/Periodic_3_mesh_3/CGAL/Labeled_periodic_3_mesh_domain_3.h index f52222379f9..78671a72503 100644 --- a/Periodic_3_mesh_3/doc/Periodic_3_mesh_3/CGAL/Labeled_periodic_3_mesh_domain_3.h +++ b/Periodic_3_mesh_3/doc/Periodic_3_mesh_3/CGAL/Labeled_periodic_3_mesh_domain_3.h @@ -7,7 +7,7 @@ namespace CGAL { This class is a model of concept `Periodic_3MeshDomain_3`. -Any boundary facet is labeled , a, with a, where b!=0. diff --git a/Periodic_3_mesh_3/doc/Periodic_3_mesh_3/CGAL/Periodic_3_mesh_triangulation_3.h b/Periodic_3_mesh_3/doc/Periodic_3_mesh_3/CGAL/Periodic_3_mesh_triangulation_3.h index 5c4a0ef0df1..0a601689faa 100644 --- a/Periodic_3_mesh_3/doc/Periodic_3_mesh_3/CGAL/Periodic_3_mesh_triangulation_3.h +++ b/Periodic_3_mesh_3/doc/Periodic_3_mesh_3/CGAL/Periodic_3_mesh_triangulation_3.h @@ -18,6 +18,7 @@ the triangulation type to be used for the 3D periodic triangulation embedding th `Default` may be used, with default value `Mesh_cell_base_3 > >`. \sa `make_periodic_3_mesh_3()` +\sa `refine_periodic_3_mesh_3()` \sa `Mesh_triangulation_3` diff --git a/Periodic_3_mesh_3/doc/Periodic_3_mesh_3/CGAL/make_periodic_3_mesh_3.h b/Periodic_3_mesh_3/doc/Periodic_3_mesh_3/CGAL/make_periodic_3_mesh_3.h index 01bdb3ea123..6fd9696b29d 100644 --- a/Periodic_3_mesh_3/doc/Periodic_3_mesh_3/CGAL/make_periodic_3_mesh_3.h +++ b/Periodic_3_mesh_3/doc/Periodic_3_mesh_3/CGAL/make_periodic_3_mesh_3.h @@ -106,12 +106,12 @@ they are always launched in the order that is a suborder of the following (see user manual for further details): *lloyd*, *odt*, *perturb*, *exude*. -Also, beware that optimization of the mesh is obtained +Beware that optimization of the mesh is obtained by perturbing mesh vertices and modifying the mesh connectivity and that this has an impact on the strict compliance to the refinement criteria. Though a strict compliance to mesh criteria -is granted at the end of the Delaunay refinement, this may no longer be true after +is guaranteed at the end of the Delaunay refinement, this may no longer be true after some optimization processes. Also beware that the default behavior does involve some optimization processes. diff --git a/Periodic_3_mesh_3/doc/Periodic_3_mesh_3/CGAL/refine_periodic_3_mesh_3.h b/Periodic_3_mesh_3/doc/Periodic_3_mesh_3/CGAL/refine_periodic_3_mesh_3.h index 7eb48b94946..143854897c9 100644 --- a/Periodic_3_mesh_3/doc/Periodic_3_mesh_3/CGAL/refine_periodic_3_mesh_3.h +++ b/Periodic_3_mesh_3/doc/Periodic_3_mesh_3/CGAL/refine_periodic_3_mesh_3.h @@ -25,7 +25,7 @@ is further refined afterward. to refine a previously computed mesh, e.g.: \code{.cpp} -C3T3 c3t3 = CGAL::make_mesh_3(domain,criteria); +C3T3 c3t3 = CGAL::make_periodic_3_mesh_3(domain,criteria); CGAL::refine_periodic_3_mesh_3(c3t3, domain, new_criteria); \endcode @@ -106,7 +106,7 @@ of the following (see user manual for further details): Beware that optimization of the mesh is obtained by perturbing mesh vertices and modifying the mesh connectivity and that this has an impact on the strict compliance to the refinement criteria. Though a strict compliance to mesh criteria -is granted at the end of the Delaunay refinement, this may no longer be true after +is guaranteed at the end of the Delaunay refinement, this may no longer be true after some optimization processes. Also beware that the default behavior does involve some optimization processes. diff --git a/Periodic_3_mesh_3/doc/Periodic_3_mesh_3/Concepts/Periodic_3MeshDomain_3.h b/Periodic_3_mesh_3/doc/Periodic_3_mesh_3/Concepts/Periodic_3MeshDomain_3.h index 795bfa80e36..f9fe2198896 100644 --- a/Periodic_3_mesh_3/doc/Periodic_3_mesh_3/Concepts/Periodic_3MeshDomain_3.h +++ b/Periodic_3_mesh_3/doc/Periodic_3_mesh_3/Concepts/Periodic_3MeshDomain_3.h @@ -8,11 +8,12 @@ The concept `Periodic_3MeshDomain_3` describes the knowledge required on the object to be discretized. The concept `Periodic_3MeshDomain_3` is the concept to be used when the input domain is defined over the three-dimensional flat torus. From a syntaxic point -of view, it defines exactly the same requirement as the concept `MeshDomain_3`. +of view, it defines exactly the same requirement as the concept `MeshDomain_3` +(thus `Periodic_3MeshDomain_3` refines `MeshDomain_3` without adding any requirement). However, since periodic meshes are constructed by considering a single fundamental -domain, the oracles must be more powerful than in `MeshDomain_3` -and handle periodicity. +domain, the oracles must be more powerful than described in `MeshDomain_3` +and be able to reflect the periodicity of the domain. For instance, when evaluating the `Do_intersect_surface` oracle for a segment that intersects a predicate facet of the fundamental domain, it may be the case that does not intersect the surface in the domain, but its translated copy that diff --git a/Periodic_3_mesh_3/doc/Periodic_3_mesh_3/PackageDescription.txt b/Periodic_3_mesh_3/doc/Periodic_3_mesh_3/PackageDescription.txt index f4e29490be7..32c915d9b9a 100644 --- a/Periodic_3_mesh_3/doc/Periodic_3_mesh_3/PackageDescription.txt +++ b/Periodic_3_mesh_3/doc/Periodic_3_mesh_3/PackageDescription.txt @@ -46,14 +46,14 @@ flexibility that is offered in the \ref PkgMesh_3Summary package.} ### Efficiently computing periodic meshes ### -A periodic mesh extends by definition infinitely in space. To avoid storing and +A periodic mesh extends, by definition, infinitely in space. To avoid storing and manipulating duplicate points, well-chosen "dummy" points are inserted at the beginning of the meshing process, thus ensuring that the triangulation forms at all times a simplicial complex within a single fundamental copy of the domain (see Sections \ref P3Triangulation3secspace and \ref P3Triangulation3secintro of the manual of 3D periodic triangulations). The meshing process can then be exclusively conducted in the fundamental domain. -This single copy of the complete periodic mesh is then generated using +This single copy of the complete periodic mesh is generated using the three-dimensional mesh generator of %CGAL (see package: \ref PkgMesh_3Summary). Since this mesh generator only supports traditional (non-periodic) domains, it must be provided adapted oracles to handle the periodicity of the input domain @@ -67,8 +67,8 @@ mesh generator with periodic triangulations. The \ref PkgPeriodic_3_mesh_3 package relies entirely on the \ref PkgMesh_3Concepts and the \ref PkgMesh_3SecondaryConcepts described in the \ref PkgMesh_3Summary package. -The following concept is essentially identical to its equivalent in the \ref PkgMesh_3Summary -package but is nevertheless defined for clarity: +The following concept is essentially identical to the concept `MeshDomain_3` +in the \ref PkgMesh_3Summary package but is nevertheless defined for clarity: - `Periodic_3MeshDomain_3` diff --git a/Periodic_3_mesh_3/include/CGAL/Labeled_periodic_3_mesh_domain_3.h b/Periodic_3_mesh_3/include/CGAL/Labeled_periodic_3_mesh_domain_3.h index f195bc5585d..f838453e30a 100644 --- a/Periodic_3_mesh_3/include/CGAL/Labeled_periodic_3_mesh_domain_3.h +++ b/Periodic_3_mesh_3/include/CGAL/Labeled_periodic_3_mesh_domain_3.h @@ -38,7 +38,7 @@ namespace CGAL * - f(p)=0 means that p is outside domain. * - f(p)=a, a!=0 means that p is inside subdomain a. * - * Any boundary facet is labelled , a, with a, where b!=0. */