Have->Has

This commit is contained in:
Eric Berberich 2008-03-27 13:32:48 +00:00
parent cf3084bdd5
commit 076f2ebc49
4 changed files with 6 additions and 6 deletions

View File

@ -42,8 +42,8 @@ A model of \ccc{CurveKernel_2} must provide
\ccNestedType{Has_finite_number_of_self_intersections_2}{A model of
\ccc{CurveKernel_2::HasFiniteNumberOfSelfIntersections_2}.}
\ccGlue
\ccNestedType{Have_finite_number_of_intersections_2}{A model of
\ccc{CurveKernel_2::HaveFiniteNumberOfIntersections_2}.}
\ccNestedType{Has_finite_number_of_intersections_2}{A model of
\ccc{CurveKernel_2::HasFiniteNumberOfIntersections_2}.}
\ccGlue
\ccNestedType{Decompose_2}{A model of
\ccc{CurveKernel_2::Decompose_2}.}

View File

@ -53,7 +53,7 @@ A model \ccVar\ of this type must provide:
\ccc{CurveAnalysis_2}, and $mit$ is $int$. Returns the number of computed parts $n$.}
\ccSeeAlso
\ccRefIdfierPage{CurveKernel_2::HaveFiniteNumberOfIntersections_2}\\
\ccRefIdfierPage{CurveKernel_2::HasFiniteNumberOfIntersections_2}\\
\ccDefinition
computes for a given pair of curves $ca1$ and $ca2$ their common part $common$ and coprime parts respectively; returns true if the curves were decomposed.
@ -75,7 +75,7 @@ A model \ccVar\ of this type must provide:
Returns true if the curves were decomposed.}
\ccSeeAlso
\ccRefIdfierPage{CurveKernel_2::HaveFiniteNumberOfIntersections_2}\\
\ccRefIdfierPage{CurveKernel_2::HasFiniteNumberOfIntersections_2}\\
\end{ccRefFunctionObjectConcept}

View File

@ -1,4 +1,4 @@
\begin{ccRefFunctionObjectConcept}{CurveKernel_2::HaveFiniteNumberOfIntersections_2}
\begin{ccRefFunctionObjectConcept}{CurveKernel_2::HasFiniteNumberOfIntersections_2}
\ccDefinition
computes whether a curve pair has finitely many intersections, in other words, whether two curves have no continuous common part. For algerbaic curves checks whether supporting polynomials are

View File

@ -48,8 +48,8 @@
\input{Curved_kernel_via_analysis_2_ref/CurveKernel_2/XyCoordinate_2}
\input{Curved_kernel_via_analysis_2_ref/CurveKernel_2/HasFiniteNumberOfSelfIntersections_2}
\input{Curved_kernel_via_analysis_2_ref/CurveKernel_2/HasFiniteNumberOfIntersections_2}
\input{Curved_kernel_via_analysis_2_ref/CurveKernel_2/Decompose_2}
\input{Curved_kernel_via_analysis_2_ref/CurveKernel_2/HaveFiniteNumberOfIntersections_2}
\input{Curved_kernel_via_analysis_2_ref/CurveKernel_2/Get_2}
\input{Curved_kernel_via_analysis_2_ref/CurveKernel_2/Compare_2}