songsenand
/
cgal
mirror of https://github.com/CGAL/cgal
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

changes according to Refine_1

This commit is contained in:
Michael Hemmer 2008-04-25 11:20:48 +00:00
parent 44eeb8a631
commit f369f01fe6
1 changed files with 4 additions and 20 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

24
Algebraic_kernel_d/doc_tex/Algebraic_kernel_d_ref/AlgebraicKernel_d_2_Refine_2.tex
View File

@ -4,14 +4,6 @@
Refines the first coordinate of a given
\ccc{AlgebraicKernel_d_2::AlgebraicReal_2}.
\ccRefines
\ccc{AdaptableUnaryFunction}
\ccTypes
\ccThree{typedef AlgebraicKernel_d_2::Algebraic_real_2}{argument_type+}{}
\ccTypedef{typedef void result_type;}{}
\ccGlue
\ccTypedef{typedef AlgebraicKernel_d_2::Algebraic_real_2 argument_type;}{}
\ccOperations
@ -22,14 +14,14 @@ Refines the first coordinate of a given
A model \ccVar\ of this type must provide:
\ccMethod{
result_type operator()(const argument_type &ar2);}{
void operator()(AlgebraicKernel_d_2::AlgebraicReal_2 &ar2);}{
This operator at least half's the current interval of the first
coordinate of $ar2$. \\
Note that an interval may also be degenerated to a single point.
}
\ccMethod{
result_type operator()(const argument_type & ar2, int rel_prec);}{
void operator()(AlgebraicKernel_d_2::AlgebraicReal_2& ar2, int rel_prec);}{
This operator refines the current interval of the first coordinate $x$
of $ar2$ with respect to the given relative precision. \\
That is: $|lower - upper| / |x| \leq 2^{-rel\_prec}$, where $lower$
@ -49,14 +41,6 @@ result_type operator()(const argument_type & ar2, int rel_prec);}{
Refines the second coordinate of a given
\ccc{AlgebraicKernel_d_2::AlgebraicReal_2}.
\ccRefines
\ccc{AdaptableUnaryFunction}
\ccTypes
\ccThree{typedef AlgebraicKernel_d_2::Algebraic_real_2}{argument_type+}{}
\ccTypedef{typedef void result_type;}{}
\ccGlue
\ccTypedef{typedef AlgebraicKernel_d_2::Algebraic_real_2 argument_type;}{}
\ccOperations
\ccCreationVariable{fo}
@ -66,14 +50,14 @@ Refines the second coordinate of a given
A model \ccVar\ of this type must provide:
\ccMethod{
result_type operator()(const argument_type &ar2);}{
void operator()(AlgebraicKernel_d_2::AlgebraicReal_2& ar2);}{
This operator at least half's the current interval of the second
coordinate of $ar2$. \\
Note that an interval may also be degenerated to a single point.
}
\ccMethod{
result_type operator()(const argument_type & ar2, int rel_prec);}{
void operator()(AlgebraicKernel_d_2::AlgebraicReal_2& ar2, int rel_prec);}{
This operator refines the current interval of the second coordinate $y$
of $ar2$ with respect to the given relative precision.\\
That is: $|lower - upper| / |y| \leq 2^{-rel\_prec}$, where $lower$