smtrat::cad::projection::mccallum_partial Namespace Reference

Contains the implementation of an optimized version McCallums projection operator. More...

Functions
template<typename Poly , typename Callback >
void	single (const Poly &p, carl::Variable variable, Callback &&cb)
template<typename Poly , typename Callback >
void	paired (const Poly &p, const UPoly &q, carl::Variable variable, Callback &&cb)

Detailed Description

Contains the implementation of an optimized version McCallums projection operator.

It is based on the observation by Brown that if some coefficient does not vanish only the leading coefficient is required.

Function Documentation

paired()

template<typename Poly , typename Callback >

void smtrat::cad::projection::mccallum_partial::paired	(	const Poly &	p,
		const UPoly &	q,
		carl::Variable	variable,
		Callback &&	cb
	)

Definition at line 44 of file McCallum_partial.h.

Here is the call graph for this function:

Here is the caller graph for this function:

single()

template<typename Poly , typename Callback >

void smtrat::cad::projection::mccallum_partial::single	(	const Poly &	p,
		carl::Variable	variable,
		Callback &&	cb
	)

Definition at line 17 of file McCallum_partial.h.

Here is the call graph for this function:

Here is the caller graph for this function: