Definition in file SturmSeq.h.
Go to the source code of this file.
Namespaces | |
| namespace | sturmseq |
Classes | |
| struct | SturmSeq< C, UPoly, SEQ > |
Functions | |
| template<class UPoly> | |
| bool | isNull (const UPoly &b) |
| template<class UPoly> | |
| int | parity (const UPoly &p) |
| template<class Pol> | |
| Pol | Prem (const Pol &a, const Pol &b) |
| template<class C, class UPoly, class SEQ> | |
| void | sturmseq::init (STD mthd, SturmSeq< C, UPoly, SEQ > &tab, const UPoly &a, const UPoly &b) |
| template<class C, class UPoly, class SEQ> | |
| void | sturmseq::init (EUCLIDEAN mth, SturmSeq< C, UPoly, SEQ > &tab, const UPoly &a, const UPoly &b) |
| template<class C, class UPoly, class SEQ> | |
| void | sturmseq::init (REDUCED mth, SturmSeq< C, UPoly, SEQ > &tab, const UPoly &a, const UPoly &b) |
| template<class C, class UPoly, class SEQ> | |
| void | sturmseq::init (SUBRES, SturmSeq< C, UPoly, SEQ > &tab, const UPoly &a, const UPoly &b) |
| template<class C, class Pol, class TAB_TYPE> | |
| void | sturmseq::init (HABICHT mth, SturmSeq< C, Pol, TAB_TYPE > &tab, const Pol &a, const Pol &b) |
| template<class C, class UPoly, class SEQ, class R> | |
| unsigned | variation (const SturmSeq< C, UPoly, SEQ > &tab, const R &x) |
| template<class C, class UPoly, class SEQ> | |
| unsigned | variation (const SturmSeq< C, UPoly, SEQ > &tab, const Infinity &x) |
| template<class RET_TYPE, class C, class Pol, class TAB_TYPE> | |
| RET_TYPE | CoeffStHa (const SturmSeq< C, Pol, TAB_TYPE > &StHa) |
| Leading coefficients. | |
| template<class C, class UPoly, class SEQ> | |
| std::ostream & | operator<< (std::ostream &os, const SturmSeq< C, UPoly, SEQ > &tab) |
| RET_TYPE CoeffStHa | ( | const SturmSeq< C, Pol, TAB_TYPE > & | StHa | ) |
Leading coefficients.
Definition at line 451 of file SturmSeq.h.
References UPOLDAR::lcoeff(), SturmSeq< C, UPoly, SEQ >::push_back(), and SturmSeq< C, UPoly, SEQ >::rep().
| unsigned variation | ( | const SturmSeq< C, UPoly, SEQ > & | tab, | |
| const Infinity & | x | |||
| ) |
Return the number of sign changes at a value x, which is "-oo" or "+oo".
Definition at line 414 of file SturmSeq.h.
References parity(), Infinity::sign, and SturmSeq< C, UPoly, SEQ >::size().
| unsigned variation | ( | const SturmSeq< C, UPoly, SEQ > & | tab, | |
| const R & | x | |||
| ) |
Return the number of sign changes at a value x.
Definition at line 391 of file SturmSeq.h.
References UPOLDAR::sign_at(), and SturmSeq< C, UPoly, SEQ >::size().
Referenced by symbolic::sturmcompare().
|