Remainder.h File Reference

#include "Degree.h"
#include "Quotient.h"
#include "to_univariate_polynomial.h"
#include "../MultivariatePolynomial.h"
#include "../UnivariatePolynomial.h"

Include dependency graph for Remainder.h:

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

Go to the source code of this file.

Namespaces
	carl
	carl is the main namespace for the library.

Functions
template<typename Coeff >
UnivariatePolynomial< Coeff >	carl::remainder_helper (const UnivariatePolynomial< Coeff > &dividend, const UnivariatePolynomial< Coeff > &divisor, const Coeff *prefactor=nullptr)
	Does the heavy lifting for the remainder computation of polynomial division. More...
template<typename Coeff >
UnivariatePolynomial< Coeff >	carl::remainder (const UnivariatePolynomial< Coeff > &dividend, const UnivariatePolynomial< Coeff > &divisor, const Coeff &prefactor)
template<typename Coeff >
UnivariatePolynomial< Coeff >	carl::remainder (const UnivariatePolynomial< Coeff > &dividend, const UnivariatePolynomial< Coeff > &divisor)
template<typename Coeff >
UnivariatePolynomial< Coeff >	carl::pseudo_remainder (const UnivariatePolynomial< Coeff > &dividend, const UnivariatePolynomial< Coeff > &divisor)
	Calculates the pseudo-remainder. More...
template<typename Coeff >
UnivariatePolynomial< Coeff >	carl::signed_pseudo_remainder (const UnivariatePolynomial< Coeff > &dividend, const UnivariatePolynomial< Coeff > &divisor)
	Compute the signed pseudo-remainder. More...
template<typename C , typename O , typename P >
MultivariatePolynomial< C, O, P >	carl::remainder (const MultivariatePolynomial< C, O, P > &dividend, const MultivariatePolynomial< C, O, P > &divisor)
template<typename C , typename O , typename P >
MultivariatePolynomial< C, O, P >	carl::pseudo_remainder (const MultivariatePolynomial< C, O, P > &dividend, const MultivariatePolynomial< C, O, P > &divisor, Variable var)