From 00be0efc4a119f9ebc0e2c99160e1b4fc2ec28c9 Mon Sep 17 00:00:00 2001
From: Michael Hemmer <hemmer@mpi-inf.mpg.de>
Date: Fri, 28 Aug 2009 12:46:28 +0000
Subject: [PATCH] add forgotten refines Default/CopyConstructible

---
 Polynomial/doc_tex/Polynomial_ref/Polynomial.tex            | 1 +
 .../Polynomial_ref/PolynomialTraits_d_Canonicalize.tex      | 4 +++-
 .../doc_tex/Polynomial_ref/PolynomialTraits_d_Compare.tex   | 4 +++-
 ...omialTraits_d_ConstructCoefficientConstIteratorRange.tex | 4 +++-
 ...ts_d_ConstructInnermostCoefficientConstIteratorRange.tex | 4 +++-
 .../PolynomialTraits_d_ConstructPolynomial.tex              | 4 +++-
 .../doc_tex/Polynomial_ref/PolynomialTraits_d_Degree.tex    | 4 +++-
 .../Polynomial_ref/PolynomialTraits_d_DegreeVector.tex      | 4 +++-
 .../Polynomial_ref/PolynomialTraits_d_Differentiate.tex     | 4 +++-
 .../doc_tex/Polynomial_ref/PolynomialTraits_d_Evaluate.tex  | 4 +++-
 .../PolynomialTraits_d_EvaluateHomogeneous.tex              | 4 +++-
 .../PolynomialTraits_d_GcdUpToConstantFactor.tex            | 4 +++-
 .../Polynomial_ref/PolynomialTraits_d_GetCoefficient.tex    | 4 +++-
 .../PolynomialTraits_d_GetInnermostCoefficient.tex          | 4 +++-
 .../PolynomialTraits_d_InnermostLeadingCoefficient.tex      | 4 +++-
 ...olynomialTraits_d_IntegralDivisionUpToConstantFactor.tex | 4 +++-
 .../doc_tex/Polynomial_ref/PolynomialTraits_d_Invert.tex    | 4 +++-
 .../Polynomial_ref/PolynomialTraits_d_IsSquareFree.tex      | 4 +++-
 .../doc_tex/Polynomial_ref/PolynomialTraits_d_IsZeroAt.tex  | 4 +++-
 .../PolynomialTraits_d_IsZeroAtHomogeneous.tex              | 4 +++-
 .../PolynomialTraits_d_LeadingCoefficient.tex               | 4 +++-
 .../Polynomial_ref/PolynomialTraits_d_MakeSquareFree.tex    | 4 +++-
 .../doc_tex/Polynomial_ref/PolynomialTraits_d_Move.tex      | 4 +++-
 .../PolynomialTraits_d_MultivariateContent.tex              | 4 +++-
 .../doc_tex/Polynomial_ref/PolynomialTraits_d_Negate.tex    | 4 +++-
 .../doc_tex/Polynomial_ref/PolynomialTraits_d_Permute.tex   | 4 +++-
 .../PolynomialTraits_d_PolynomialSubresultants.tex          | 6 ++++++
 ...ynomialTraits_d_PolynomialSubresultantsWithCofactors.tex | 5 +++++
 .../PolynomialTraits_d_PrincipalSturmHabichtSequence.tex    | 5 +++++
 .../PolynomialTraits_d_PrincipalSubresultants.tex           | 5 +++++
 .../Polynomial_ref/PolynomialTraits_d_PseudoDivision.tex    | 4 +++-
 .../PolynomialTraits_d_PseudoDivisionQuotient.tex           | 5 ++++-
 .../PolynomialTraits_d_PseudoDivisionRemainder.tex          | 4 +++-
 .../doc_tex/Polynomial_ref/PolynomialTraits_d_Resultant.tex | 4 +++-
 .../doc_tex/Polynomial_ref/PolynomialTraits_d_Scale.tex     | 4 +++-
 .../Polynomial_ref/PolynomialTraits_d_ScaleHomogeneous.tex  | 4 +++-
 .../doc_tex/Polynomial_ref/PolynomialTraits_d_Shift.tex     | 4 +++-
 .../doc_tex/Polynomial_ref/PolynomialTraits_d_SignAt.tex    | 4 +++-
 .../Polynomial_ref/PolynomialTraits_d_SignAtHomogeneous.tex | 4 +++-
 .../PolynomialTraits_d_SturmHabichtSequence.tex             | 6 ++++++
 ...PolynomialTraits_d_SturmHabichtSequenceWithCofactors.tex | 5 +++++
 .../doc_tex/Polynomial_ref/PolynomialTraits_d_Swap.tex      | 4 +++-
 .../Polynomial_ref/PolynomialTraits_d_TotalDegree.tex       | 4 +++-
 .../doc_tex/Polynomial_ref/PolynomialTraits_d_Translate.tex | 4 +++-
 .../PolynomialTraits_d_TranslateHomogeneous.tex             | 4 +++-
 .../Polynomial_ref/PolynomialTraits_d_UnivariateContent.tex | 4 +++-
 ...lynomialTraits_d_UnivariateContentUpToConstantFactor.tex | 4 +++-
 47 files changed, 154 insertions(+), 40 deletions(-)

diff --git a/Polynomial/doc_tex/Polynomial_ref/Polynomial.tex b/Polynomial/doc_tex/Polynomial_ref/Polynomial.tex
index b73ca57adc2..d69f2f95e0d 100644
--- a/Polynomial/doc_tex/Polynomial_ref/Polynomial.tex
+++ b/Polynomial/doc_tex/Polynomial_ref/Polynomial.tex
@@ -70,6 +70,7 @@ the zero polynomial is represented by a single zero coefficient.
 %An empty coefficient sequence denotes an undefined value.
 
 \ccIsModel 
+
 \begin{tabular}{ll}
 \ccc{Polynomial_d}\\
 \ccc{Assignable}\\
diff --git a/Polynomial/doc_tex/Polynomial_ref/PolynomialTraits_d_Canonicalize.tex b/Polynomial/doc_tex/Polynomial_ref/PolynomialTraits_d_Canonicalize.tex
index 28cf9481653..e9deceb559a 100644
--- a/Polynomial/doc_tex/Polynomial_ref/PolynomialTraits_d_Canonicalize.tex
+++ b/Polynomial/doc_tex/Polynomial_ref/PolynomialTraits_d_Canonicalize.tex
@@ -21,7 +21,9 @@ Note that the computed polynomial has the same zero set as the given one.
 
 \ccRefines 
 
-\ccc{AdaptableUnaryFunction}
+\ccc{AdaptableUnaryFunction}\\
+\ccc{CopyConstructible}\\
+\ccc{DefaultConstructible}\\
 
 \ccTypes
 
diff --git a/Polynomial/doc_tex/Polynomial_ref/PolynomialTraits_d_Compare.tex b/Polynomial/doc_tex/Polynomial_ref/PolynomialTraits_d_Compare.tex
index 3d794320f70..267b6c853f7 100644
--- a/Polynomial/doc_tex/Polynomial_ref/PolynomialTraits_d_Compare.tex
+++ b/Polynomial/doc_tex/Polynomial_ref/PolynomialTraits_d_Compare.tex
@@ -10,7 +10,9 @@ This functor is well defined if \ccc{PolynomialTraits_d::Innermost_coefficient_t
 
 \ccRefines 
 
-\ccc{AdaptableBinaryFunction}
+\ccc{AdaptableBinaryFunction}\\
+\ccc{CopyConstructible}\\
+\ccc{DefaultConstructible}\\
 
 \ccTypes
 
diff --git a/Polynomial/doc_tex/Polynomial_ref/PolynomialTraits_d_ConstructCoefficientConstIteratorRange.tex b/Polynomial/doc_tex/Polynomial_ref/PolynomialTraits_d_ConstructCoefficientConstIteratorRange.tex
index 82a046a2306..ef8336e0155 100644
--- a/Polynomial/doc_tex/Polynomial_ref/PolynomialTraits_d_ConstructCoefficientConstIteratorRange.tex
+++ b/Polynomial/doc_tex/Polynomial_ref/PolynomialTraits_d_ConstructCoefficientConstIteratorRange.tex
@@ -7,7 +7,9 @@ coefficients of the given polynomial, with respect to the outermost variable, $x
 The range starts with the coefficient for $x_{d-1}^0$. \\
 
 \ccRefines 
-\ccc{AdaptableUnaryFunction}
+\ccc{AdaptableUnaryFunction}\\
+\ccc{CopyConstructible}\\
+\ccc{DefaultConstructible}\\
 
 \ccTypes
 
diff --git a/Polynomial/doc_tex/Polynomial_ref/PolynomialTraits_d_ConstructInnermostCoefficientConstIteratorRange.tex b/Polynomial/doc_tex/Polynomial_ref/PolynomialTraits_d_ConstructInnermostCoefficientConstIteratorRange.tex
index 557ab8f0981..a602ea3261b 100644
--- a/Polynomial/doc_tex/Polynomial_ref/PolynomialTraits_d_ConstructInnermostCoefficientConstIteratorRange.tex
+++ b/Polynomial/doc_tex/Polynomial_ref/PolynomialTraits_d_ConstructInnermostCoefficientConstIteratorRange.tex
@@ -7,7 +7,9 @@ This \ccc{AdaptableUnaryFunction} returns a const iterator range over all
 innermost coefficients of the given polynomial.
 
 \ccRefines 
-\ccc{AdaptableUnaryFunction}
+\ccc{AdaptableUnaryFunction}\\
+\ccc{CopyConstructible}\\
+\ccc{DefaultConstructible}\\
 
 \ccTypes
 
diff --git a/Polynomial/doc_tex/Polynomial_ref/PolynomialTraits_d_ConstructPolynomial.tex b/Polynomial/doc_tex/Polynomial_ref/PolynomialTraits_d_ConstructPolynomial.tex
index bc97bf60e57..3c2723fdc9e 100644
--- a/Polynomial/doc_tex/Polynomial_ref/PolynomialTraits_d_ConstructPolynomial.tex
+++ b/Polynomial/doc_tex/Polynomial_ref/PolynomialTraits_d_ConstructPolynomial.tex
@@ -6,7 +6,9 @@ This \ccc{AdaptableFunctor} provides several operators
 to construct objects of type \ccc{PolynomialTraits_d::Polynomial_d}.
 
 \ccRefines 
-\ccc{AdaptableFunctor}
+\ccc{AdaptableFunctor}\\
+\ccc{CopyConstructible}\\
+\ccc{DefaultConstructible}\\
 
 \ccTypes
 
diff --git a/Polynomial/doc_tex/Polynomial_ref/PolynomialTraits_d_Degree.tex b/Polynomial/doc_tex/Polynomial_ref/PolynomialTraits_d_Degree.tex
index d6d2856565e..2510a8242fd 100644
--- a/Polynomial/doc_tex/Polynomial_ref/PolynomialTraits_d_Degree.tex
+++ b/Polynomial/doc_tex/Polynomial_ref/PolynomialTraits_d_Degree.tex
@@ -17,7 +17,9 @@ be $-infinity$, but this would imply an inconvenient return type.
  
 
 \ccRefines 
-\ccc{AdaptableUnaryFunction}
+\ccc{AdaptableUnaryFunction}\\
+\ccc{CopyConstructible}\\
+\ccc{DefaultConstructible}\\
 
 
 \ccTypes
diff --git a/Polynomial/doc_tex/Polynomial_ref/PolynomialTraits_d_DegreeVector.tex b/Polynomial/doc_tex/Polynomial_ref/PolynomialTraits_d_DegreeVector.tex
index 05c2bf4683a..8aa74fa2a5f 100644
--- a/Polynomial/doc_tex/Polynomial_ref/PolynomialTraits_d_DegreeVector.tex
+++ b/Polynomial/doc_tex/Polynomial_ref/PolynomialTraits_d_DegreeVector.tex
@@ -10,7 +10,9 @@ variables a higher priority. In particular, this is the monomial
 that belongs to the innermost leading coefficient of $p$.  
 
 \ccRefines 
-\ccc{AdaptableUnaryFunction}
+\ccc{AdaptableUnaryFunction}\\
+\ccc{CopyConstructible}\\
+\ccc{DefaultConstructible}\\
 
 
 \ccTypes
diff --git a/Polynomial/doc_tex/Polynomial_ref/PolynomialTraits_d_Differentiate.tex b/Polynomial/doc_tex/Polynomial_ref/PolynomialTraits_d_Differentiate.tex
index 3411477d179..6323f43ae6a 100644
--- a/Polynomial/doc_tex/Polynomial_ref/PolynomialTraits_d_Differentiate.tex
+++ b/Polynomial/doc_tex/Polynomial_ref/PolynomialTraits_d_Differentiate.tex
@@ -5,7 +5,9 @@ This \ccc{AdaptableUnaryFunction} computes the derivative of a
 \ccc{PolynomialTraits_d::Polynomial_d} with respect to one variable. 
 
 \ccRefines 
-\ccc{AdaptableUnaryFunction}
+\ccc{AdaptableUnaryFunction}\\
+\ccc{CopyConstructible}\\
+\ccc{DefaultConstructible}\\
 
 \ccTypes
 
diff --git a/Polynomial/doc_tex/Polynomial_ref/PolynomialTraits_d_Evaluate.tex b/Polynomial/doc_tex/Polynomial_ref/PolynomialTraits_d_Evaluate.tex
index 01096810693..423a759c99a 100644
--- a/Polynomial/doc_tex/Polynomial_ref/PolynomialTraits_d_Evaluate.tex
+++ b/Polynomial/doc_tex/Polynomial_ref/PolynomialTraits_d_Evaluate.tex
@@ -5,7 +5,9 @@ This \ccc{AdaptableBinaryFunction} evaluates
 \ccc{PolynomialTraits_d::Polynomial_d} with respect to one variable. 
 
 \ccRefines 
-\ccc{AdaptableBinaryFunction}
+\ccc{AdaptableBinaryFunction}\\
+\ccc{CopyConstructible}\\
+\ccc{DefaultConstructible}\\
 
 \ccTypes
 
diff --git a/Polynomial/doc_tex/Polynomial_ref/PolynomialTraits_d_EvaluateHomogeneous.tex b/Polynomial/doc_tex/Polynomial_ref/PolynomialTraits_d_EvaluateHomogeneous.tex
index 972d35ad448..e0bb28f4f8f 100644
--- a/Polynomial/doc_tex/Polynomial_ref/PolynomialTraits_d_EvaluateHomogeneous.tex
+++ b/Polynomial/doc_tex/Polynomial_ref/PolynomialTraits_d_EvaluateHomogeneous.tex
@@ -8,7 +8,9 @@ For instance the polynomial $p = 5x^2y^3 + y$ is interpreted as the homogeneous
 $p[x](u,v) = 5x^2u^3 + uv^2$ and evaluated as such. 
 
 \ccRefines 
-\ccc{AdaptableFunctor}
+\ccc{AdaptableFunctor}\\
+\ccc{CopyConstructible}\\
+\ccc{DefaultConstructible}\\
 
 \ccTypes
 
diff --git a/Polynomial/doc_tex/Polynomial_ref/PolynomialTraits_d_GcdUpToConstantFactor.tex b/Polynomial/doc_tex/Polynomial_ref/PolynomialTraits_d_GcdUpToConstantFactor.tex
index 8cf34d5882e..ee1acb98648 100644
--- a/Polynomial/doc_tex/Polynomial_ref/PolynomialTraits_d_GcdUpToConstantFactor.tex
+++ b/Polynomial/doc_tex/Polynomial_ref/PolynomialTraits_d_GcdUpToConstantFactor.tex
@@ -19,7 +19,9 @@ Hence, $gcd\_utcf(f,g)$ may not be a divisor of $f$ and $g$ in $R[x_0,\dots,x_{d
 
 \ccRefines 
 
-\ccc{AdaptableBinaryFunction}
+\ccc{AdaptableBinaryFunction}\\
+\ccc{CopyConstructible}\\
+\ccc{DefaultConstructible}\\
 
 \ccTypes
 
diff --git a/Polynomial/doc_tex/Polynomial_ref/PolynomialTraits_d_GetCoefficient.tex b/Polynomial/doc_tex/Polynomial_ref/PolynomialTraits_d_GetCoefficient.tex
index e20124d141c..8b7c265bf5e 100644
--- a/Polynomial/doc_tex/Polynomial_ref/PolynomialTraits_d_GetCoefficient.tex
+++ b/Polynomial/doc_tex/Polynomial_ref/PolynomialTraits_d_GetCoefficient.tex
@@ -6,7 +6,9 @@ This \ccc{AdaptableBinaryFunction} provides access to coefficients of a
 \ccc{PolynomialTraits_d::Polynomial_d}.
 
 \ccRefines 
-\ccc{AdaptableBinaryFunction}
+\ccc{AdaptableBinaryFunction}\\
+\ccc{CopyConstructible}\\
+\ccc{DefaultConstructible}\\
 
 \ccTypes
 
diff --git a/Polynomial/doc_tex/Polynomial_ref/PolynomialTraits_d_GetInnermostCoefficient.tex b/Polynomial/doc_tex/Polynomial_ref/PolynomialTraits_d_GetInnermostCoefficient.tex
index e5a88897fd2..94e9c293e1c 100644
--- a/Polynomial/doc_tex/Polynomial_ref/PolynomialTraits_d_GetInnermostCoefficient.tex
+++ b/Polynomial/doc_tex/Polynomial_ref/PolynomialTraits_d_GetInnermostCoefficient.tex
@@ -7,7 +7,9 @@ For the given \ccc{PolynomialTraits_d::Polynomial_d} this
 the (multivariate) monomial specified by the given \ccc{Exponent_vector}. 
  
 \ccRefines 
-\ccc{AdaptableBinaryFunction}
+\ccc{AdaptableBinaryFunction}\\
+\ccc{CopyConstructible}\\
+\ccc{DefaultConstructible}\\
 
 \ccTypes
 
diff --git a/Polynomial/doc_tex/Polynomial_ref/PolynomialTraits_d_InnermostLeadingCoefficient.tex b/Polynomial/doc_tex/Polynomial_ref/PolynomialTraits_d_InnermostLeadingCoefficient.tex
index a03852294fa..f3ad147ab14 100644
--- a/Polynomial/doc_tex/Polynomial_ref/PolynomialTraits_d_InnermostLeadingCoefficient.tex
+++ b/Polynomial/doc_tex/Polynomial_ref/PolynomialTraits_d_InnermostLeadingCoefficient.tex
@@ -6,7 +6,9 @@ This \ccc{AdaptableUnaryFunction} computes the innermost leading coefficient
 of a \ccc{PolynomialTraits_d::Polynomial_d} $p$. The innermost leading coefficient is recursively defined as the innermost leading coefficient of the leading coefficient of $p$. In case $p$ is univariate it coincides with the leading coefficient. 
 
 \ccRefines 
-\ccc{AdaptableUnaryFunction}
+\ccc{AdaptableUnaryFunction}\\
+\ccc{CopyConstructible}\\
+\ccc{DefaultConstructible}\\
 
 \ccTypes
 \ccCreationVariable{fo}
diff --git a/Polynomial/doc_tex/Polynomial_ref/PolynomialTraits_d_IntegralDivisionUpToConstantFactor.tex b/Polynomial/doc_tex/Polynomial_ref/PolynomialTraits_d_IntegralDivisionUpToConstantFactor.tex
index bfa14c65434..f0d8001925c 100644
--- a/Polynomial/doc_tex/Polynomial_ref/PolynomialTraits_d_IntegralDivisionUpToConstantFactor.tex
+++ b/Polynomial/doc_tex/Polynomial_ref/PolynomialTraits_d_IntegralDivisionUpToConstantFactor.tex
@@ -12,7 +12,9 @@ field of the base ring $R$, \ccc{PolynomialTraits_d::Innermost_coefficient_type}
 
 \ccRefines 
 
-\ccc{AdaptableBinaryFunction}
+\ccc{AdaptableBinaryFunction}\\
+\ccc{CopyConstructible}\\
+\ccc{DefaultConstructible}\\
 
 \ccTypes
 
diff --git a/Polynomial/doc_tex/Polynomial_ref/PolynomialTraits_d_Invert.tex b/Polynomial/doc_tex/Polynomial_ref/PolynomialTraits_d_Invert.tex
index 19a25228546..bf4b59c83ea 100644
--- a/Polynomial/doc_tex/Polynomial_ref/PolynomialTraits_d_Invert.tex
+++ b/Polynomial/doc_tex/Polynomial_ref/PolynomialTraits_d_Invert.tex
@@ -14,7 +14,9 @@ order of the coefficients with respect to the specified variable.
 
 
 \ccRefines 
-\ccc{AdaptableUnaryFunction}
+\ccc{AdaptableUnaryFunction}\\
+\ccc{CopyConstructible}\\
+\ccc{DefaultConstructible}\\
 
 \ccTypes
 
diff --git a/Polynomial/doc_tex/Polynomial_ref/PolynomialTraits_d_IsSquareFree.tex b/Polynomial/doc_tex/Polynomial_ref/PolynomialTraits_d_IsSquareFree.tex
index 8ced89f2d6f..efb65b41960 100644
--- a/Polynomial/doc_tex/Polynomial_ref/PolynomialTraits_d_IsSquareFree.tex
+++ b/Polynomial/doc_tex/Polynomial_ref/PolynomialTraits_d_IsSquareFree.tex
@@ -9,7 +9,9 @@ Note that this statement does cover constant factors,
 i.e., whether the multivariate content contains a square.
 
 \ccRefines 
-\ccc{AdaptableUnaryFunction}
+\ccc{AdaptableUnaryFunction}\\
+\ccc{CopyConstructible}\\
+\ccc{DefaultConstructible}\\
 
 \ccTypes
 
diff --git a/Polynomial/doc_tex/Polynomial_ref/PolynomialTraits_d_IsZeroAt.tex b/Polynomial/doc_tex/Polynomial_ref/PolynomialTraits_d_IsZeroAt.tex
index 4fd5a0233a4..f127a5a84c8 100644
--- a/Polynomial/doc_tex/Polynomial_ref/PolynomialTraits_d_IsZeroAt.tex
+++ b/Polynomial/doc_tex/Polynomial_ref/PolynomialTraits_d_IsZeroAt.tex
@@ -6,7 +6,9 @@ This \ccc{AdaptableFunctor} returns whether a
 which is represented as an iterator range.
 
 \ccRefines 
-\ccc{AdaptableFunctor}
+\ccc{AdaptableFunctor}\\
+\ccc{CopyConstructible}\\
+\ccc{DefaultConstructible}\\
 
 \ccTypes
 
diff --git a/Polynomial/doc_tex/Polynomial_ref/PolynomialTraits_d_IsZeroAtHomogeneous.tex b/Polynomial/doc_tex/Polynomial_ref/PolynomialTraits_d_IsZeroAtHomogeneous.tex
index a8c3921d960..a898d61798b 100644
--- a/Polynomial/doc_tex/Polynomial_ref/PolynomialTraits_d_IsZeroAtHomogeneous.tex
+++ b/Polynomial/doc_tex/Polynomial_ref/PolynomialTraits_d_IsZeroAtHomogeneous.tex
@@ -10,7 +10,9 @@ For instance the polynomial $p(x_0,x_1) = x_0^2x_1^3+x_1^4$ is interpreted as th
 polynomial  $p(x_0,x_1,w) = x_0^2x_1^3+x_1^4w^1$.
 
 \ccRefines 
-\ccc{AdaptableFunctor}
+\ccc{AdaptableFunctor}\\
+\ccc{CopyConstructible}\\
+\ccc{DefaultConstructible}\\
 
 \ccTypes
 
diff --git a/Polynomial/doc_tex/Polynomial_ref/PolynomialTraits_d_LeadingCoefficient.tex b/Polynomial/doc_tex/Polynomial_ref/PolynomialTraits_d_LeadingCoefficient.tex
index 56a1e08499b..c8af8f6f222 100644
--- a/Polynomial/doc_tex/Polynomial_ref/PolynomialTraits_d_LeadingCoefficient.tex
+++ b/Polynomial/doc_tex/Polynomial_ref/PolynomialTraits_d_LeadingCoefficient.tex
@@ -6,7 +6,9 @@ This \ccc{AdaptableUnaryFunction} computes the leading coefficient
 of a \ccc{PolynomialTraits_d::Polynomial_d}. 
 
 \ccRefines 
-\ccc{AdaptableUnaryFunction}
+\ccc{AdaptableUnaryFunction}\\
+\ccc{CopyConstructible}\\
+\ccc{DefaultConstructible}\\
 
 
 \ccTypes
diff --git a/Polynomial/doc_tex/Polynomial_ref/PolynomialTraits_d_MakeSquareFree.tex b/Polynomial/doc_tex/Polynomial_ref/PolynomialTraits_d_MakeSquareFree.tex
index 6cfe9591ae9..d77522f5df0 100644
--- a/Polynomial/doc_tex/Polynomial_ref/PolynomialTraits_d_MakeSquareFree.tex
+++ b/Polynomial/doc_tex/Polynomial_ref/PolynomialTraits_d_MakeSquareFree.tex
@@ -13,7 +13,9 @@ Given this decomposition, the square free part is defined as the product $g_1  \
 which is computed by this functor. 
 
 \ccRefines 
-\ccc{AdaptableUnaryFunction}
+\ccc{AdaptableUnaryFunction}\\
+\ccc{CopyConstructible}\\
+\ccc{DefaultConstructible}\\
 
 \ccTypes
 
diff --git a/Polynomial/doc_tex/Polynomial_ref/PolynomialTraits_d_Move.tex b/Polynomial/doc_tex/Polynomial_ref/PolynomialTraits_d_Move.tex
index ee9c105e0a9..5c879bb658a 100644
--- a/Polynomial/doc_tex/Polynomial_ref/PolynomialTraits_d_Move.tex
+++ b/Polynomial/doc_tex/Polynomial_ref/PolynomialTraits_d_Move.tex
@@ -11,7 +11,9 @@ This function may be used to make a certain variable the outer most variable.
 
 \ccRefines 
 
-\ccc{AdaptableFunctor}
+\ccc{AdaptableFunctor}\\
+\ccc{CopyConstructible}\\
+\ccc{DefaultConstructible}\\
 
 \ccTypes
 \ccSetThreeColumns{xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx}{xxx}{}
diff --git a/Polynomial/doc_tex/Polynomial_ref/PolynomialTraits_d_MultivariateContent.tex b/Polynomial/doc_tex/Polynomial_ref/PolynomialTraits_d_MultivariateContent.tex
index ad047845b34..b0c0e3b1730 100644
--- a/Polynomial/doc_tex/Polynomial_ref/PolynomialTraits_d_MultivariateContent.tex
+++ b/Polynomial/doc_tex/Polynomial_ref/PolynomialTraits_d_MultivariateContent.tex
@@ -10,7 +10,9 @@ This functor is well defined if \ccc{PolynomialTraits_d::Innermost_coefficient_t
 \ccc{Field} or a \ccc{UniqueFactorizationDomain}. 
 
 \ccRefines 
-\ccc{AdaptableUnaryFunction}
+\ccc{AdaptableUnaryFunction}\\
+\ccc{CopyConstructible}\\
+\ccc{DefaultConstructible}\\
 
 \ccTypes
 
diff --git a/Polynomial/doc_tex/Polynomial_ref/PolynomialTraits_d_Negate.tex b/Polynomial/doc_tex/Polynomial_ref/PolynomialTraits_d_Negate.tex
index ae503cb9008..9f8506062ae 100644
--- a/Polynomial/doc_tex/Polynomial_ref/PolynomialTraits_d_Negate.tex
+++ b/Polynomial/doc_tex/Polynomial_ref/PolynomialTraits_d_Negate.tex
@@ -10,7 +10,9 @@ This functor is provided for efficiency reasons, since this operation just flips
 of all odd coefficients with respect to the specified variable.  
 
 \ccRefines 
-\ccc{AdaptableUnaryFunction}
+\ccc{AdaptableUnaryFunction}\\
+\ccc{CopyConstructible}\\
+\ccc{DefaultConstructible}\\
 
 \ccTypes
 \ccSetThreeColumns{xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx}{xxx}{}
diff --git a/Polynomial/doc_tex/Polynomial_ref/PolynomialTraits_d_Permute.tex b/Polynomial/doc_tex/Polynomial_ref/PolynomialTraits_d_Permute.tex
index 49f6e12fbdc..489588aa061 100644
--- a/Polynomial/doc_tex/Polynomial_ref/PolynomialTraits_d_Permute.tex
+++ b/Polynomial/doc_tex/Polynomial_ref/PolynomialTraits_d_Permute.tex
@@ -17,7 +17,9 @@ In this case the iterator range should contain the sequence $[2,0,1,3]$.
 
 \ccRefines 
 
-\ccc{AdaptableFunctor}
+\ccc{AdaptableFunctor}\\
+\ccc{CopyConstructible}\\
+\ccc{DefaultConstructible}\\
 
 \ccTypes
 
diff --git a/Polynomial/doc_tex/Polynomial_ref/PolynomialTraits_d_PolynomialSubresultants.tex b/Polynomial/doc_tex/Polynomial_ref/PolynomialTraits_d_PolynomialSubresultants.tex
index 2c94e700e3d..0b4b751c853 100644
--- a/Polynomial/doc_tex/Polynomial_ref/PolynomialTraits_d_PolynomialSubresultants.tex
+++ b/Polynomial/doc_tex/Polynomial_ref/PolynomialTraits_d_PolynomialSubresultants.tex
@@ -38,6 +38,12 @@ The result is written in an output range, starting with the $0$-th subresultant
 $\mathrm{Sres}_0(p,q)$
 (aka as the resultant of $p$ and $q$).
 
+
+\ccRefines 
+\ccc{AdaptableBinaryFunction}\\
+\ccc{CopyConstructible}\\
+\ccc{DefaultConstructible}\\
+
 \ccCreationVariable{fo}
 
 \ccOperations
diff --git a/Polynomial/doc_tex/Polynomial_ref/PolynomialTraits_d_PolynomialSubresultantsWithCofactors.tex b/Polynomial/doc_tex/Polynomial_ref/PolynomialTraits_d_PolynomialSubresultantsWithCofactors.tex
index 8c770b041f8..492d3c46aba 100644
--- a/Polynomial/doc_tex/Polynomial_ref/PolynomialTraits_d_PolynomialSubresultantsWithCofactors.tex
+++ b/Polynomial/doc_tex/Polynomial_ref/PolynomialTraits_d_PolynomialSubresultantsWithCofactors.tex
@@ -15,6 +15,11 @@ the \emph{cofactors} of $\mathrm{Sres}_i(p,q)$.
 The result is written in three output ranges, each of length $\min\{n,m\}+1$, 
 starting with the $0$-th subresultant and the corresponding cofactors.
 
+\ccRefines 
+\ccc{AdaptableBinaryFunction}\\
+\ccc{CopyConstructible}\\
+\ccc{DefaultConstructible}\\
+
 \ccCreationVariable{fo}
 \ccOperations
 \ccMethod{template< typename OutputIterator1,
diff --git a/Polynomial/doc_tex/Polynomial_ref/PolynomialTraits_d_PrincipalSturmHabichtSequence.tex b/Polynomial/doc_tex/Polynomial_ref/PolynomialTraits_d_PrincipalSturmHabichtSequence.tex
index 61e3d2a2654..7960f97c268 100644
--- a/Polynomial/doc_tex/Polynomial_ref/PolynomialTraits_d_PrincipalSturmHabichtSequence.tex
+++ b/Polynomial/doc_tex/Polynomial_ref/PolynomialTraits_d_PrincipalSturmHabichtSequence.tex
@@ -18,6 +18,11 @@ In case that \ccc{PolynomialTraits_d::Coefficient_type} is \ccc{RealEmbeddable},
 on the resulting sequence to count the number of distinct real roots of
 the polynomial~$f$.
 
+\ccRefines 
+\ccc{AdaptableBinaryFunction}\\
+\ccc{CopyConstructible}\\
+\ccc{DefaultConstructible}\\
+
 \ccCreationVariable{fo}
 
 \ccOperations
diff --git a/Polynomial/doc_tex/Polynomial_ref/PolynomialTraits_d_PrincipalSubresultants.tex b/Polynomial/doc_tex/Polynomial_ref/PolynomialTraits_d_PrincipalSubresultants.tex
index b9966342e27..cd2fe240c98 100644
--- a/Polynomial/doc_tex/Polynomial_ref/PolynomialTraits_d_PrincipalSubresultants.tex
+++ b/Polynomial/doc_tex/Polynomial_ref/PolynomialTraits_d_PrincipalSubresultants.tex
@@ -18,6 +18,11 @@ principal subresultant $\mathrm{sres}_0(p,q)$
 ,aka as the resultant of $p$ and $q$.
 (Note that $\mathrm{sres}_0(p,q)=\mathrm{Sres}_0(p,q)$ by definition)
 
+\ccRefines 
+\ccc{AdaptableBinaryFunction}\\
+\ccc{CopyConstructible}\\
+\ccc{DefaultConstructible}\\
+
 \ccCreationVariable{fo}
 
 \ccOperations
diff --git a/Polynomial/doc_tex/Polynomial_ref/PolynomialTraits_d_PseudoDivision.tex b/Polynomial/doc_tex/Polynomial_ref/PolynomialTraits_d_PseudoDivision.tex
index c1c472b13c4..f3b4a44a02f 100644
--- a/Polynomial/doc_tex/Polynomial_ref/PolynomialTraits_d_PseudoDivision.tex
+++ b/Polynomial/doc_tex/Polynomial_ref/PolynomialTraits_d_PseudoDivision.tex
@@ -17,7 +17,9 @@ computation.
 
 
 \ccRefines 
-\ccc{AdaptableFunctor}
+\ccc{AdaptableFunctor}\\
+\ccc{CopyConstructible}\\
+\ccc{DefaultConstructible}\\
 
 \ccTypes
 
diff --git a/Polynomial/doc_tex/Polynomial_ref/PolynomialTraits_d_PseudoDivisionQuotient.tex b/Polynomial/doc_tex/Polynomial_ref/PolynomialTraits_d_PseudoDivisionQuotient.tex
index 5e1c96cfddc..bb528eb57dc 100644
--- a/Polynomial/doc_tex/Polynomial_ref/PolynomialTraits_d_PseudoDivisionQuotient.tex
+++ b/Polynomial/doc_tex/Polynomial_ref/PolynomialTraits_d_PseudoDivisionQuotient.tex
@@ -12,7 +12,10 @@ where $ D = leading\_coefficient(g)^{max(0, degree(f)-degree(g)+1)}$
 This functor computes $q$. 
 
 \ccRefines 
-\ccc{AdaptableBinaryFunction} 
+\ccc{AdaptableBinaryFunction} \\
+\ccc{CopyConstructible}\\
+\ccc{DefaultConstructible}\\
+
 \ccCreationVariable{fo}
 
 \ccTypes
diff --git a/Polynomial/doc_tex/Polynomial_ref/PolynomialTraits_d_PseudoDivisionRemainder.tex b/Polynomial/doc_tex/Polynomial_ref/PolynomialTraits_d_PseudoDivisionRemainder.tex
index 762f9c64111..12d150444a9 100644
--- a/Polynomial/doc_tex/Polynomial_ref/PolynomialTraits_d_PseudoDivisionRemainder.tex
+++ b/Polynomial/doc_tex/Polynomial_ref/PolynomialTraits_d_PseudoDivisionRemainder.tex
@@ -12,7 +12,9 @@ where $ D = leading\_coefficient(g)^{max(0, degree(f)-degree(g)+1)}$
 This functor computes $r$.
 
 \ccRefines 
-\ccc{AdaptableBinaryFunction}
+\ccc{AdaptableBinaryFunction}\\
+\ccc{CopyConstructible}\\
+\ccc{DefaultConstructible}\\
 
 
 \ccTypes
diff --git a/Polynomial/doc_tex/Polynomial_ref/PolynomialTraits_d_Resultant.tex b/Polynomial/doc_tex/Polynomial_ref/PolynomialTraits_d_Resultant.tex
index 03dfc3c4f71..89c0fb889f6 100644
--- a/Polynomial/doc_tex/Polynomial_ref/PolynomialTraits_d_Resultant.tex
+++ b/Polynomial/doc_tex/Polynomial_ref/PolynomialTraits_d_Resultant.tex
@@ -66,7 +66,9 @@ More sophisticated methods may use modular arithmetic and interpolation.
 For more information we refer to, e.g., \cite{gg-mca-99}. 
 
 \ccRefines 
-\ccc{AdaptableBinaryFunction}
+\ccc{AdaptableBinaryFunction}\\
+\ccc{CopyConstructible}\\
+\ccc{DefaultConstructible}\\
 
 \ccTypes
 \ccSetThreeColumns{xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx}{xxx}{}
diff --git a/Polynomial/doc_tex/Polynomial_ref/PolynomialTraits_d_Scale.tex b/Polynomial/doc_tex/Polynomial_ref/PolynomialTraits_d_Scale.tex
index fe442190a5e..42ad1e0069f 100644
--- a/Polynomial/doc_tex/Polynomial_ref/PolynomialTraits_d_Scale.tex
+++ b/Polynomial/doc_tex/Polynomial_ref/PolynomialTraits_d_Scale.tex
@@ -10,7 +10,9 @@ Note that this functor operates on the polynomial in the univariate view, that i
 the polynomial is considered as a univariate polynomial in one specific variable. 
 
 \ccRefines 
-\ccc{AdaptableBinaryFunction}
+\ccc{AdaptableBinaryFunction}\\
+\ccc{CopyConstructible}\\
+\ccc{DefaultConstructible}\\
 
 \ccTypes
 
diff --git a/Polynomial/doc_tex/Polynomial_ref/PolynomialTraits_d_ScaleHomogeneous.tex b/Polynomial/doc_tex/Polynomial_ref/PolynomialTraits_d_ScaleHomogeneous.tex
index f00a5fca696..c29987a79ca 100644
--- a/Polynomial/doc_tex/Polynomial_ref/PolynomialTraits_d_ScaleHomogeneous.tex
+++ b/Polynomial/doc_tex/Polynomial_ref/PolynomialTraits_d_ScaleHomogeneous.tex
@@ -9,7 +9,9 @@ Note that this functor operates on the polynomial in the univariate view, that i
 the polynomial is considered as a univariate homogeneous polynomial in one specific variable. 
 
 \ccRefines 
-\ccc{AdaptableFunctor}
+\ccc{AdaptableFunctor}\\
+\ccc{CopyConstructible}\\
+\ccc{DefaultConstructible}\\
 
 \ccTypes
 
diff --git a/Polynomial/doc_tex/Polynomial_ref/PolynomialTraits_d_Shift.tex b/Polynomial/doc_tex/Polynomial_ref/PolynomialTraits_d_Shift.tex
index cf67eb5afbe..9813be9ae97 100644
--- a/Polynomial/doc_tex/Polynomial_ref/PolynomialTraits_d_Shift.tex
+++ b/Polynomial/doc_tex/Polynomial_ref/PolynomialTraits_d_Shift.tex
@@ -8,7 +8,9 @@ This functor is provided for efficiency reasons, since multiplication by some va
 will in general correspond to a shift of coefficients in the internal representation. 
 
 \ccRefines 
-\ccc{AdaptableBinaryFunction}
+\ccc{AdaptableBinaryFunction}\\
+\ccc{CopyConstructible}\\
+\ccc{DefaultConstructible}\\
 
 \ccTypes
 \ccCreationVariable{fo}
diff --git a/Polynomial/doc_tex/Polynomial_ref/PolynomialTraits_d_SignAt.tex b/Polynomial/doc_tex/Polynomial_ref/PolynomialTraits_d_SignAt.tex
index 7f1b0331b5f..06d6ca38093 100644
--- a/Polynomial/doc_tex/Polynomial_ref/PolynomialTraits_d_SignAt.tex
+++ b/Polynomial/doc_tex/Polynomial_ref/PolynomialTraits_d_SignAt.tex
@@ -9,7 +9,9 @@ This functor is well defined if \ccc{PolynomialTraits_d::Innermost_coefficient_t
 \ccc{RealEmbeddable}. 
 
 \ccRefines 
-\ccc{AdaptableFunctor}
+\ccc{AdaptableFunctor}\\
+\ccc{CopyConstructible}\\
+\ccc{DefaultConstructible}\\
 
 \ccTypes
 
diff --git a/Polynomial/doc_tex/Polynomial_ref/PolynomialTraits_d_SignAtHomogeneous.tex b/Polynomial/doc_tex/Polynomial_ref/PolynomialTraits_d_SignAtHomogeneous.tex
index 3e3f3589097..66be221a491 100644
--- a/Polynomial/doc_tex/Polynomial_ref/PolynomialTraits_d_SignAtHomogeneous.tex
+++ b/Polynomial/doc_tex/Polynomial_ref/PolynomialTraits_d_SignAtHomogeneous.tex
@@ -13,7 +13,9 @@ This functor is well defined if \ccc{PolynomialTraits_d::Innermost_coefficient_t
 \ccc{RealEmbeddable}. 
 
 \ccRefines 
-\ccc{AdaptableFunctor}
+\ccc{AdaptableFunctor}\\
+\ccc{CopyConstructible}\\
+\ccc{DefaultConstructible}\\
 
 \ccTypes
 
diff --git a/Polynomial/doc_tex/Polynomial_ref/PolynomialTraits_d_SturmHabichtSequence.tex b/Polynomial/doc_tex/Polynomial_ref/PolynomialTraits_d_SturmHabichtSequence.tex
index 86986b5629f..9eab10166ab 100644
--- a/Polynomial/doc_tex/Polynomial_ref/PolynomialTraits_d_SturmHabichtSequence.tex
+++ b/Polynomial/doc_tex/Polynomial_ref/PolynomialTraits_d_SturmHabichtSequence.tex
@@ -37,6 +37,12 @@ The result is written in an output range,
 starting with the $0$-th Sturm-Habicht polynomial (which is equal to
 the discriminant of $f$ up to a multiple of the leading coefficient).
 
+\ccRefines 
+\ccc{AdaptableBinaryFunction}\\
+\ccc{CopyConstructible}\\
+\ccc{DefaultConstructible}\\
+
+
 \ccCreationVariable{fo}
 \ccOperations
 \ccMethod{template<typename OutputIterator>
diff --git a/Polynomial/doc_tex/Polynomial_ref/PolynomialTraits_d_SturmHabichtSequenceWithCofactors.tex b/Polynomial/doc_tex/Polynomial_ref/PolynomialTraits_d_SturmHabichtSequenceWithCofactors.tex
index b695f85b108..739a202eb62 100644
--- a/Polynomial/doc_tex/Polynomial_ref/PolynomialTraits_d_SturmHabichtSequenceWithCofactors.tex
+++ b/Polynomial/doc_tex/Polynomial_ref/PolynomialTraits_d_SturmHabichtSequenceWithCofactors.tex
@@ -15,6 +15,11 @@ The result is written in three output ranges, each of length $\min\{n,m\}+1$,
 starting with the $0$-th Sturm-Habicht polynomial $\mathrm{Stha_0(f)}$ 
 and the corresponding cofactors.
 
+\ccRefines 
+\ccc{AdaptableBinaryFunction}\\
+\ccc{CopyConstructible}\\
+\ccc{DefaultConstructible}\\
+
 \ccCreationVariable{fo}
 
 \ccOperations
diff --git a/Polynomial/doc_tex/Polynomial_ref/PolynomialTraits_d_Swap.tex b/Polynomial/doc_tex/Polynomial_ref/PolynomialTraits_d_Swap.tex
index 13c2d329cd3..6096e14aa88 100644
--- a/Polynomial/doc_tex/Polynomial_ref/PolynomialTraits_d_Swap.tex
+++ b/Polynomial/doc_tex/Polynomial_ref/PolynomialTraits_d_Swap.tex
@@ -6,7 +6,9 @@ This \ccc{AdaptableFunctor} swaps two variables of a multivariate polynomial.
 
 \ccRefines 
 
-\ccc{AdaptableFunctor}
+\ccc{AdaptableFunctor}\\
+\ccc{CopyConstructible}\\
+\ccc{DefaultConstructible}\\
 
 \ccTypes
 
diff --git a/Polynomial/doc_tex/Polynomial_ref/PolynomialTraits_d_TotalDegree.tex b/Polynomial/doc_tex/Polynomial_ref/PolynomialTraits_d_TotalDegree.tex
index 7730d0754f7..975fe1e6510 100644
--- a/Polynomial/doc_tex/Polynomial_ref/PolynomialTraits_d_TotalDegree.tex
+++ b/Polynomial/doc_tex/Polynomial_ref/PolynomialTraits_d_TotalDegree.tex
@@ -18,7 +18,9 @@ be $-inf$, but this would imply an inconvenient return type.
  
 
 \ccRefines 
-\ccc{AdaptableUnaryFunction}
+\ccc{AdaptableUnaryFunction}\\
+\ccc{CopyConstructible}\\
+\ccc{DefaultConstructible}\\
 
 
 \ccTypes
diff --git a/Polynomial/doc_tex/Polynomial_ref/PolynomialTraits_d_Translate.tex b/Polynomial/doc_tex/Polynomial_ref/PolynomialTraits_d_Translate.tex
index dc61b2bbf5d..28212918941 100644
--- a/Polynomial/doc_tex/Polynomial_ref/PolynomialTraits_d_Translate.tex
+++ b/Polynomial/doc_tex/Polynomial_ref/PolynomialTraits_d_Translate.tex
@@ -9,7 +9,9 @@ Note that this functor operates on the polynomial in the univariate view, that i
 the polynomial is considered as a univariate polynomial in one specific variable. 
 
 \ccRefines 
-\ccc{AdaptableBinaryFunction}
+\ccc{AdaptableBinaryFunction}\\
+\ccc{CopyConstructible}\\
+\ccc{DefaultConstructible}\\
 
 \ccTypes
 
diff --git a/Polynomial/doc_tex/Polynomial_ref/PolynomialTraits_d_TranslateHomogeneous.tex b/Polynomial/doc_tex/Polynomial_ref/PolynomialTraits_d_TranslateHomogeneous.tex
index b49a6e6dc13..27d37485dd6 100644
--- a/Polynomial/doc_tex/Polynomial_ref/PolynomialTraits_d_TranslateHomogeneous.tex
+++ b/Polynomial/doc_tex/Polynomial_ref/PolynomialTraits_d_TranslateHomogeneous.tex
@@ -10,7 +10,9 @@ the polynomial is considered as a univariate homogeneous polynomial in one speci
 
 
 \ccRefines 
-\ccc{AdaptableFunctor}
+\ccc{AdaptableFunctor}\\
+\ccc{CopyConstructible}\\
+\ccc{DefaultConstructible}\\
 
 \ccTypes
 
diff --git a/Polynomial/doc_tex/Polynomial_ref/PolynomialTraits_d_UnivariateContent.tex b/Polynomial/doc_tex/Polynomial_ref/PolynomialTraits_d_UnivariateContent.tex
index c1f25ef22a8..da8f6776f1e 100644
--- a/Polynomial/doc_tex/Polynomial_ref/PolynomialTraits_d_UnivariateContent.tex
+++ b/Polynomial/doc_tex/Polynomial_ref/PolynomialTraits_d_UnivariateContent.tex
@@ -12,7 +12,9 @@ This functor is well defined if \ccc{PolynomialTraits_d::Coefficient_type} is
 a \ccc{Field} or a \ccc{UniqueFactorizationDomain}.
 
 \ccRefines 
-\ccc{AdaptableUnaryFunction}
+\ccc{AdaptableUnaryFunction}\\
+\ccc{CopyConstructible}\\
+\ccc{DefaultConstructible}\\
 
 \ccTypes
 
diff --git a/Polynomial/doc_tex/Polynomial_ref/PolynomialTraits_d_UnivariateContentUpToConstantFactor.tex b/Polynomial/doc_tex/Polynomial_ref/PolynomialTraits_d_UnivariateContentUpToConstantFactor.tex
index 5a4f0333662..7ff58b96653 100644
--- a/Polynomial/doc_tex/Polynomial_ref/PolynomialTraits_d_UnivariateContentUpToConstantFactor.tex
+++ b/Polynomial/doc_tex/Polynomial_ref/PolynomialTraits_d_UnivariateContentUpToConstantFactor.tex
@@ -15,7 +15,9 @@ However, a concept \ccc{PolynomialTraits_d::MultivariateContentUpToConstantFacto
 does not exist since the result is trivial. 
  
 \ccRefines 
-\ccc{AdaptableUnaryFunction}
+\ccc{AdaptableUnaryFunction}\\
+\ccc{CopyConstructible}\\
+\ccc{DefaultConstructible}\\
 \ccCreationVariable{fo}
 
 \ccTypes