resultant.hpp File Reference

#include "config.hpp"
#include "polyalg.hpp"
#include "matrix.hpp"
#include "resultant.cpp"

Go to the source code of this file.

Namespaces
namespace	Arageli
Defines
#define	ARAGELI_INCLUDE_CPP_WITH_EXPORT_TEMPLATE_resultant
Functions
template<typename P1, typename P2, typename M>
M &	Arageli::sylvester_fill (const P1 &p1, const P2 &p2, M &res)
	Fills non-zero elements in Sylvester matrix from two polynomials.
template<typename P1, typename P2, typename M, typename MTFactory>
M &	Arageli::sylvester (const P1 &p1, const P2 &p2, M &res, MTFactory fctr)
	Creates Sylvester matrix from two polynomials.
template<typename P1, typename P2, typename M>
M &	Arageli::sylvester (const P1 &p1, const P2 &p2, M &res)
	Creates Sylvester matrix from two polynomials.
template<typename P1, typename P2>
matrix< typename P1::coef_type >	Arageli::sylvester (const P1 &p1, const P2 &p2)
	Creates Sylvester matrix from two polynomials.
template<typename P1, typename P2, typename SRChain, typename PCFactory>
void	Arageli::subresultants_nonmodular (const P1 &p1, const P2 &p2, SRChain &s, PCFactory fctr)
	Computes the chain of subresultants of two polynomials.
template<typename P1, typename P2, typename SRChain>
void	Arageli::subresultants_nonmodular (const P1 &p1, const P2 &p2, SRChain &s)
	Computes the chain of subresultants of two polynomials.
template<typename P1, typename P2, typename PCFactory>
P1::coef_type	Arageli::resultant_nonmodular (const P1 &p1, const P2 &p2, PCFactory fctr)
	Computes the resultant of two polynomials.
template<typename P1, typename P2>
P1::coef_type	Arageli::resultant_nonmodular (const P1 &p1, const P2 &p2)
	Computes the resultant of two polynomials.
template<typename P1, typename P2, typename PCFactory>
P1::coef_type	Arageli::resultant (const P1 &p1, const P2 &p2, PCFactory fctr)
	Computes the resultant of two polynomials.
template<typename P1, typename P2>
P1::coef_type	Arageli::resultant (const P1 &p1, const P2 &p2)
	Computes the resultant of two polynomials.

---

Detailed Description

This file contains historicaly first and primitive methods for computation subresultant chains and resultant in particular. Also there are routines for Silvester matrix generation.

All given methods ripped from the book (in Russian, but translated from English): Êîìïüþòåðíàÿ àëãåáðà: Ñèìâîëüíûå è àëãåáðàè÷åñêèå âû÷èñëåíèÿ: Ïåð. ñ àíãë./Ïîä ðåä. Á.Áóõáåðãåðà, Äæ.Êîëëèíçà, Ð.Ëîîñà. --- Ì.: Ìèð, 1986.

Definition in file resultant.hpp.

---

Define Documentation

#define ARAGELI_INCLUDE_CPP_WITH_EXPORT_TEMPLATE_resultant

Definition at line 146 of file resultant.hpp.

---