songsenand
/
cgal
mirror of https://github.com/CGAL/cgal
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

New functors for subresultants and sturm-habicht-sequences

This commit is contained in:
Michael Kerber 2008-06-27 10:02:52 +00:00
parent 2294e0452c
commit 6794adacb8
1 changed files with 71 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

71
Polynomial/include/CGAL/Polynomial_traits_d.h
View File

@ -21,6 +21,7 @@
#include <CGAL/Polynomial/Polynomial_type.h> #include <CGAL/Polynomial/Polynomial_type.h>
#include <CGAL/Polynomial/polynomial_utils.h> #include <CGAL/Polynomial/polynomial_utils.h>
#include <CGAL/Polynomial/resultant.h> #include <CGAL/Polynomial/resultant.h>
#include <CGAL/Polynomial/subresultants.h>
#include <CGAL/Polynomial/square_free_factorization.h> #include <CGAL/Polynomial/square_free_factorization.h>
#include <CGAL/Polynomial/modular_filter.h> #include <CGAL/Polynomial/modular_filter.h>
#include <CGAL/extended_euclidean_algorithm.h> #include <CGAL/extended_euclidean_algorithm.h>
@ -1328,6 +1329,76 @@ public:
} }
}; };
// polynomial subresultants;
struct Polynomial_subresultants {
template<typename OutputIterator>
OutputIterator operator()(
const Polynomial_d& p,
const Polynomial_d& q,
OutputIterator out,
int i = (d-1) ) const {
if(i == (d-1) )
return CGAL::CGALi::polynomial_subresultants(p,q,out);
else
return CGAL::CGALi::polynomial_subresultants(Move()(p,i),
Move()(q,i),
out);
}
};
// principal subresultants;
struct Principal_subresultants {
template<typename OutputIterator>
OutputIterator operator()(
const Polynomial_d& p,
const Polynomial_d& q,
OutputIterator out,
int i = (d-1) ) const {
if(i == (d-1) )
return CGAL::CGALi::principal_subresultants(p,q,out);
else
return CGAL::CGALi::principal_subresultants(Move()(p,i),
Move()(q,i),
out);
}
};
// Sturm-Habicht sequence
struct Sturm_habicht_sequence {
template<typename OutputIterator>
OutputIterator operator()(
const Polynomial_d& p,
OutputIterator out,
int i = (d-1) ) const {
if(i == (d-1) )
return CGAL::CGALi::sturm_habicht_sequence(p,out);
else
return CGAL::CGALi::sturm_habicht_sequence(Move()(p,i),
out);
}
};
// Sturm-Habicht sequence
struct Principal_sturm_habicht_sequence {
template<typename OutputIterator>
OutputIterator operator()(
const Polynomial_d& p,
OutputIterator out,
int i = (d-1) ) const {
if(i == (d-1) )
return CGAL::CGALi::principal_sturm_habicht_sequence(p,out);
else
return CGAL::CGALi::principal_sturm_habicht_sequence
(Move()(p,i),out);
}
};
// //
// Functors not mentioned in the reference manual // Functors not mentioned in the reference manual
// //