IntegralDomainWithoutDiv -> IntegralDomainWithoutDivision

This commit is contained in:
Michael Hemmer 2008-09-12 16:04:36 +00:00
parent dc2a2cbb59
commit 70356ba2e2
2 changed files with 3 additions and 3 deletions

View File

@ -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.

View File

@ -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}\\