From 70356ba2e2edd05fce664ec7c7f48d435e19db3d Mon Sep 17 00:00:00 2001 From: Michael Hemmer Date: Fri, 12 Sep 2008 16:04:36 +0000 Subject: [PATCH] IntegralDomainWithoutDiv -> IntegralDomainWithoutDivision --- Polynomial/doc_tex/Polynomial_ref/Polynomial.tex | 2 +- Polynomial/doc_tex/Polynomial_ref/Polynomial_d.tex | 4 ++-- 2 files changed, 3 insertions(+), 3 deletions(-) diff --git a/Polynomial/doc_tex/Polynomial_ref/Polynomial.tex b/Polynomial/doc_tex/Polynomial_ref/Polynomial.tex index 8a4db2b5780..946aeb13ea0 100644 --- a/Polynomial/doc_tex/Polynomial_ref/Polynomial.tex +++ b/Polynomial/doc_tex/Polynomial_ref/Polynomial.tex @@ -12,7 +12,7 @@ polynomial $p = a_0 + a_1*x + ...a_i*x^i$ from the ring $Coeff[x]$. multivariate polynomials. The template argument \ccc{Coeff} must be at -least a model of \ccc{IntegralDomainWithoutDiv}. +least a model of \ccc{IntegralDomainWithoutDivision}. For all operations naturally involving division, an \ccc{IntegralDomain} is required. %If more than a \c IntegralDomain is required, this is documented. diff --git a/Polynomial/doc_tex/Polynomial_ref/Polynomial_d.tex b/Polynomial/doc_tex/Polynomial_ref/Polynomial_d.tex index 83b503effcd..e862ec92d0c 100644 --- a/Polynomial/doc_tex/Polynomial_ref/Polynomial_d.tex +++ b/Polynomial/doc_tex/Polynomial_ref/Polynomial_d.tex @@ -17,7 +17,7 @@ all functionality related to polynomials is provided by the traits. \ccRefines -\ccc{IntegralDomainWithoutDiv} \\ +\ccc{IntegralDomainWithoutDivision} \\ The algebraic structure of \ccc{Polynomial_d} depends on the algebraic structure of \ccc{Innermost_coefficient_type}: @@ -26,7 +26,7 @@ algebraic structure of \ccc{Innermost_coefficient_type}: \hline \ccc{Innermost_coefficient_type}&\ccc{Polynomial_d}\\ \hline -\ccc{IntegralDomainWithoutDiv}&\ccc{IntegralDomainWithoutDiv}\\ +\ccc{IntegralDomainWithoutDivision}&\ccc{IntegralDomainWithoutDivision}\\ \ccc{IntegralDomain}&\ccc{IntegralDomain}\\ \ccc{UniqueFactorizationDomain}&\ccc{UFDomain}\\ \ccc{EuclideanRing}&\ccc{UniqueFactorizationDomain}\\