SPAR/AIModule/BWTA/vendors/CGAL/CGAL/Polynomial/subresultants.h File Reference

#include <list>
#include <CGAL/Polynomial_traits_d.h>
#include <CGAL/Polynomial/bezout_matrix.h>

Include dependency graph for subresultants.h:

This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Namespaces
namespace	CGALi
Functions
template<typename Polynomial_traits_d >
void	CGALi::lazard_optimization (typename Polynomial_traits_d::Coefficient_type y, double n, typename Polynomial_traits_d::Polynomial_d B, typename Polynomial_traits_d::Polynomial_d &C)
template<typename Polynomial_traits_d >
void	CGALi::lickteig_roy_optimization (typename Polynomial_traits_d::Polynomial_d A, typename Polynomial_traits_d::Polynomial_d B, typename Polynomial_traits_d::Polynomial_d C, typename Polynomial_traits_d::Coefficient_type s, typename Polynomial_traits_d::Polynomial_d &D)
template<typename Polynomial_traits_d >
Polynomial_traits_d::Coefficient_type	CGALi::resultant_for_constant_polynomial (typename Polynomial_traits_d::Polynomial_d P, typename Polynomial_traits_d::Polynomial_d Q)
template<typename Polynomial_traits_d , typename OutputIterator >
OutputIterator	CGALi::prs_polynomial_subresultants (typename Polynomial_traits_d::Polynomial_d P, typename Polynomial_traits_d::Polynomial_d Q, OutputIterator out)
	Compute the sequence of subresultants with pseudo-division.
template<typename Polynomial_traits_d , typename OutputIterator >
OutputIterator	CGALi::bezout_polynomial_subresultants (typename Polynomial_traits_d::Polynomial_d P, typename Polynomial_traits_d::Polynomial_d Q, OutputIterator out)
	Computes the polynomial subresultants as minors of the Bezout matrix.
template<typename Polynomial_traits_d , typename OutputIterator >
OutputIterator	CGALi::prs_principal_subresultants (typename Polynomial_traits_d::Polynomial_d P, typename Polynomial_traits_d::Polynomial_d Q, OutputIterator out)
	Compute the sequence of principal subresultants with pseudo-division.
template<typename Polynomial_traits_d , typename OutputIterator >
OutputIterator	CGALi::bezout_principal_subresultants (typename Polynomial_traits_d::Polynomial_d P, typename Polynomial_traits_d::Polynomial_d Q, OutputIterator out)
	Compute the sequence of principal subresultants with minors of the Bezout matrix.
template<typename Polynomial_traits_d , typename OutputIterator1 , typename OutputIterator2 , typename OutputIterator3 >
OutputIterator1	CGALi::prs_subresultants_with_cofactors (typename Polynomial_traits_d::Polynomial_d P, typename Polynomial_traits_d::Polynomial_d Q, OutputIterator1 sres_out, OutputIterator2 coP_out, OutputIterator3 coQ_out)
	Computes the subresultants together with the according cofactors.
template<typename Polynomial_traits_d , typename OutputIterator >
OutputIterator	CGALi::polynomial_subresultants_ (typename Polynomial_traits_d::Polynomial_d A, typename Polynomial_traits_d::Polynomial_d B, OutputIterator out, CGAL::Integral_domain_without_division_tag)
template<typename Polynomial_traits_d , typename OutputIterator >
OutputIterator	CGALi::polynomial_subresultants_ (typename Polynomial_traits_d::Polynomial_d A, typename Polynomial_traits_d::Polynomial_d B, OutputIterator out, CGAL::Integral_domain_tag)
template<typename Polynomial_traits_d , typename OutputIterator >
OutputIterator	CGALi::polynomial_subresultants_ (typename Polynomial_traits_d::Polynomial_d A, typename Polynomial_traits_d::Polynomial_d B, OutputIterator out)
template<typename Polynomial_traits_d , typename OutputIterator >
OutputIterator	CGALi::principal_subresultants_ (typename Polynomial_traits_d::Polynomial_d A, typename Polynomial_traits_d::Polynomial_d B, OutputIterator out, CGAL::Integral_domain_without_division_tag)
template<typename Polynomial_traits_d , typename OutputIterator >
OutputIterator	CGALi::principal_subresultants_ (typename Polynomial_traits_d::Polynomial_d A, typename Polynomial_traits_d::Polynomial_d B, OutputIterator out, CGAL::Integral_domain_tag)
template<typename Polynomial_traits_d , typename OutputIterator >
OutputIterator	CGALi::principal_subresultants_ (typename Polynomial_traits_d::Polynomial_d A, typename Polynomial_traits_d::Polynomial_d B, OutputIterator out)
template<typename Polynomial_traits_d , typename OutputIterator1 , typename OutputIterator2 , typename OutputIterator3 >
OutputIterator1	CGALi::polynomial_subresultants_with_cofactors_ (typename Polynomial_traits_d::Polynomial_d P, typename Polynomial_traits_d::Polynomial_d Q, OutputIterator1 sres_out, OutputIterator2 coP_out, OutputIterator3 coQ_out, CGAL::Integral_domain_tag)
template<typename Polynomial_traits_d , typename OutputIterator1 , typename OutputIterator2 , typename OutputIterator3 >
OutputIterator1	CGALi::polynomial_subresultants_with_cofactors_ (typename Polynomial_traits_d::Polynomial_d P, typename Polynomial_traits_d::Polynomial_d Q, OutputIterator1 sres_out, OutputIterator2 coP_out, OutputIterator3 coQ_out, CGAL::Integral_domain_without_division_tag)
template<typename Polynomial_traits_d , typename OutputIterator1 , typename OutputIterator2 , typename OutputIterator3 >
OutputIterator1	CGALi::polynomial_subresultants_with_cofactors_ (typename Polynomial_traits_d::Polynomial_d P, typename Polynomial_traits_d::Polynomial_d Q, OutputIterator1 sres_out, OutputIterator2 coP_out, OutputIterator3 coQ_out)
template<typename Polynomial_traits_d , typename OutputIterator1 , typename OutputIterator2 , typename OutputIterator3 >
OutputIterator1	CGALi::polynomial_subresultants_with_cofactors (typename Polynomial_traits_d::Polynomial_d p, typename Polynomial_traits_d::Polynomial_d q, OutputIterator1 sres_out, OutputIterator2 coP_out, OutputIterator3 coQ_out)