diff --git a/Algebraic_kernel_d/doc_tex/Algebraic_kernel_d_ref/AlgebraicKernel_d_2_Refine_2.tex b/Algebraic_kernel_d/doc_tex/Algebraic_kernel_d_ref/AlgebraicKernel_d_2_Refine_2.tex
index e7b016f52d6..b26cc5b8eed 100644
--- a/Algebraic_kernel_d/doc_tex/Algebraic_kernel_d_ref/AlgebraicKernel_d_2_Refine_2.tex
+++ b/Algebraic_kernel_d/doc_tex/Algebraic_kernel_d_ref/AlgebraicKernel_d_2_Refine_2.tex
@@ -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$