From 4ef4b18fd11f705dc771ca4cde8bb692c3f376e0 Mon Sep 17 00:00:00 2001 From: Andreas Fabri Date: Wed, 3 Oct 2012 06:17:23 +0000 Subject: [PATCH] comment was moved to the user manual --- .../Modular_arithmetic/modular_filter.cpp | 15 --------------- 1 file changed, 15 deletions(-) diff --git a/Modular_arithmetic/examples/Modular_arithmetic/modular_filter.cpp b/Modular_arithmetic/examples/Modular_arithmetic/modular_filter.cpp index 5c4363f532f..44c6909a58d 100644 --- a/Modular_arithmetic/examples/Modular_arithmetic/modular_filter.cpp +++ b/Modular_arithmetic/examples/Modular_arithmetic/modular_filter.cpp @@ -1,18 +1,3 @@ -/* Modular arithmetic can be used as a filter, in this example modular - arithmetic is used to avoid unnecessary gcd computations of polynomials. - A gcd computation can be very costly due to coefficient growth within the - Euclidean algorithm. - - The general idea is that firstly the gcd is computed with respect - to one prime only. If this modular gcd is constant we can (in most cases) - conclude that the actual gcd is constant as well. - - For this purpose the example introduces the function may_have_common_factor. - Note that there are two versions of this function, namely for the case - that the coefficient type is Modularizable and that it is not. - If the type is not Modularizable the filter is just not applied and the - function returns true. -*/ #include