From 6ac8c8bb0a00ce101bbe014f6465f31e9b8b56e6 Mon Sep 17 00:00:00 2001 From: Michael Hemmer Date: Thu, 25 Sep 2008 13:23:34 +0000 Subject: [PATCH] minor changes according to 2.review of Sylvain Pion --- .../doc_tex/Modular_arithmetic/main.tex | 16 ++++++++++------ 1 file changed, 10 insertions(+), 6 deletions(-) diff --git a/Modular_arithmetic/doc_tex/Modular_arithmetic/main.tex b/Modular_arithmetic/doc_tex/Modular_arithmetic/main.tex index ca11c6846e6..8faf98bb367 100644 --- a/Modular_arithmetic/doc_tex/Modular_arithmetic/main.tex +++ b/Modular_arithmetic/doc_tex/Modular_arithmetic/main.tex @@ -6,10 +6,15 @@ \section{Introduction} -Modular arithmetic is a fundamental tool in modern algebra systems. In conjunction with the Chinese remainder theorem it serves as the workhorse in several algorithms computing the gcd, resultant etc. Moreover, it can serve as a very efficient filter, since it is often possible to exclude that some value is zero by computing its modular correspondent with respect to one prime only. +Modular arithmetic is a fundamental tool in modern algebra systems. +In conjunction with the Chinese remainder theorem it serves as the +workhorse in several algorithms computing the gcd, resultant etc. +Moreover, it can serve as a very efficient filter, since it is often +possible to exclude that some value is zero by computing its modular +correspondent with respect to one prime only. -This package introduces a type \ccc{CGAL::Residue}, which can be considered as -the workhorse of the package. It represents $\Z_{/p\Z}$ for some prime $p$. +First of all, this package introduces a type \ccc{CGAL::Residue}. +It represents $\Z_{/p\Z}$ for some prime $p$. The prime number $p$ is stored in a static member variable. The class provides static member functions to change this value. {\bf Note that changing the prime invalidates already existing objects @@ -44,12 +49,11 @@ The class \ccc{CGAL::Modular_traits} is designed such that the concept \ccc{Modularizable} can be considered as optional, i.e., \ccc{CGAL::Modular_traits} provides a tag that can be used for dispatching. -\subsection{Examples} +\subsection{Example} -In the following example the modular arithmetic is used as a filter. +In the following example modular arithmetic is used as a filter. \ccIncludeExampleCode{Modular_arithmetic/modular_filter.cpp} - \section{Design and Implementation History} The class \ccc{CGAL::Residue} is based on the C-code of Sylvain Pion et. al.