|
template<class Iterator > |
Iterator::value_type | polybori::index_vector_hash (Iterator start, Iterator finish) |
|
template<class DegreeCacher , class NaviType > |
NaviType::deg_type | polybori::dd_cached_degree (const DegreeCacher &cache, NaviType navi) |
|
template<class DegreeCacher , class NaviType , class SizeType > |
NaviType::deg_type | polybori::dd_cached_degree (const DegreeCacher &cache, NaviType navi, SizeType bound) |
|
template<class Iterator , class NameGenerator , class Separator , class EmptySetType , class OStreamType > |
void | polybori::dd_print_term (Iterator start, Iterator finish, const NameGenerator &get_name, const Separator &sep, const EmptySetType &emptyset, OStreamType &os) |
|
template<class TermType , class NameGenerator , class Separator , class EmptySetType , class OStreamType > |
void | polybori::dd_print_term (const TermType &term, const NameGenerator &get_name, const Separator &sep, const EmptySetType &emptyset, OStreamType &os) |
|
template<class Iterator , class NameGenerator , class Separator , class InnerSeparator , class EmptySetType , class OStreamType > |
void | polybori::dd_print_terms (Iterator start, Iterator finish, const NameGenerator &get_name, const Separator &sep, const InnerSeparator &innersep, const EmptySetType &emptyset, OStreamType &os) |
|
template<bool use_fast, class CacheType , class NaviType , class PolyType > |
PolyType | polybori::dd_multiply (const CacheType &cache_mgr, NaviType firstNavi, NaviType secondNavi, PolyType init) |
|
template<class CacheType , class NaviType , class PolyType > |
PolyType | polybori::dd_multiply_recursively (const CacheType &cache_mgr, NaviType firstNavi, NaviType secondNavi, PolyType init) |
|
template<class CacheType , class NaviType , class PolyType > |
PolyType | polybori::dd_multiply_recursively_monom (const CacheType &cache_mgr, NaviType monomNavi, NaviType navi, PolyType init) |
|
template<class DDGenerator , class Iterator , class NaviType , class PolyType > |
PolyType | polybori::dd_multiply_recursively_exp (const DDGenerator &ddgen, Iterator start, Iterator finish, NaviType navi, PolyType init) |
|
template<class DegCacheMgr , class NaviType , class SizeType > |
bool | polybori::max_degree_on_then (const DegCacheMgr °_mgr, NaviType navi, SizeType degree, valid_tag is_descending) |
|
template<class DegCacheMgr , class NaviType , class SizeType > |
bool | polybori::max_degree_on_then (const DegCacheMgr °_mgr, NaviType navi, SizeType degree, invalid_tag non_descending) |
|
template<class NaviType > |
NaviType | polybori::dd_get_constant (NaviType navi) |
|
template<class CacheType , class DegCacheMgr , class NaviType , class TermType , class SizeType , class DescendingProperty > |
TermType | polybori::dd_recursive_degree_lead (const CacheType &cache_mgr, const DegCacheMgr °_mgr, NaviType navi, TermType init, SizeType degree, DescendingProperty prop) |
|
template<class CacheType , class DegCacheMgr , class NaviType , class TermType , class DescendingProperty > |
TermType | polybori::dd_recursive_degree_lead (const CacheType &cache_mgr, const DegCacheMgr °_mgr, NaviType navi, TermType init, DescendingProperty prop) |
|
template<class CacheType , class DegCacheMgr , class NaviType , class TermType , class SizeType , class DescendingProperty > |
TermType & | polybori::dd_recursive_degree_leadexp (const CacheType &cache_mgr, const DegCacheMgr °_mgr, NaviType navi, TermType &result, SizeType degree, DescendingProperty prop) |
|
template<class CacheType , class DegCacheMgr , class NaviType , class TermType , class DescendingProperty > |
TermType & | polybori::dd_recursive_degree_leadexp (const CacheType &cache_mgr, const DegCacheMgr °_mgr, NaviType navi, TermType &result, DescendingProperty prop) |
|
template<class CacheType , class NaviType , class TermType > |
TermType | polybori::dd_existential_abstraction (const CacheType &cache_mgr, NaviType varsNavi, NaviType navi, TermType init) |
|
template<class CacheType , class NaviType , class PolyType > |
PolyType | polybori::dd_divide_recursively (const CacheType &cache_mgr, NaviType navi, NaviType monomNavi, PolyType init) |
|
template<class DDGenerator , class Iterator , class NaviType , class PolyType > |
PolyType | polybori::dd_divide_recursively_exp (const DDGenerator &ddgen, NaviType navi, Iterator start, Iterator finish, PolyType init) |
|
template<class CacheType , class NaviType , class MonomType > |
MonomType | polybori::cached_used_vars (const CacheType &cache, NaviType navi, MonomType init) |
|
template<class NaviType , class Iterator > |
bool | polybori::dd_owns (NaviType navi, Iterator start, Iterator finish) |
|
template<class NaviType , class MonomIterator > |
bool | polybori::dd_contains_divs_of_dec_deg (NaviType navi, MonomIterator start, MonomIterator finish) |
|
template<class CacheType , class NaviType , class DegType , class SetType > |
SetType | polybori::dd_graded_part (const CacheType &cache, NaviType navi, DegType deg, SetType init) |
|
template<class CacheManager , class NaviType , class SetType > |
SetType | polybori::dd_first_divisors_of (CacheManager cache_mgr, NaviType navi, NaviType rhsNavi, SetType init) |
|
template<class CacheType , class NaviType , class SetType > |
SetType | polybori::dd_first_multiples_of (const CacheType &cache_mgr, NaviType navi, NaviType rhsNavi, SetType init) |
|
template<class PolyType , class RingType , class MapType , class NaviType > |
PolyType | polybori::substitute_variables__ (const RingType &ring, const MapType &idx2poly, NaviType navi) |
|
template<class RingType , class MapType , class PolyType > |
PolyType | polybori::substitute_variables (const RingType &ring, const MapType &idx2poly, const PolyType &poly) |
|
- Author
- Alexander Dreyer
- Date
- 2006-08-23
This file includes files, which defines miscellaneous function templates.
- Copyright:
- (c) 2006 by The PolyBoRi Team