Contains the implementation of Hongs projection operator as specified in [15] in Section 2.2. More...

Functions
template<typename Poly , typename Callback >
void	single (const Poly &p, carl::Variable variable, Callback &&cb)
	Implements the part of Hongs projection operator from [15] that deals with a single polynomial `p` which is just the respective part of Collins' projection operator collins::single. More...

template<typename Poly , typename Callback >
void	paired (const Poly &p, const UPoly &q, carl::Variable variable, Callback &&cb)
	Implements the part of Hongs projection operator from [15] that deals with two polynomials `p` and `q`: $\bigcup_{F \in RED(p)} PSC(F, q)$ . More...

Detailed Description

Contains the implementation of Hongs projection operator as specified in [15] in Section 2.2.

Function Documentation

◆ paired()

template<typename Poly , typename Callback >

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

Implements the part of Hongs projection operator from [15] that deals with two polynomials p and q: $\bigcup_{F \in RED(p)} PSC(F, q)$ .

Definition at line 29 of file Hong.h.

Here is the call graph for this function:

Here is the caller graph for this function:

◆ single()