include/algebramix/series_implicit.hpp File Reference

#include <algebramix/series_vector.hpp>

Go to the source code of this file.

Classes

class REP_STRUCT< Series, Monomial >
class unknown< C, V >
class solver_series_rep< C, V >
class unknown_series_rep< C, V >
class known_series_rep< C, V, UV >
class subst_mul_series_rep< C, V, UV >
class solver_container_series_rep< C, V >

Namespaces

namespace mmx

Defines

#define TMPL_DEF template<typename C, typename V=typename Series_variant(C)>
#define TMPL template<typename C, typename V>
#define Series series<C,V>
#define Series_rep series_rep<C,V>
#define VC vector<C>
#define VSeries series<vector<C>,V>
#define VSeries_rep series_rep<vector<C>,V>
#define UC unknown<C,V>
#define UC_rep unknown_rep<C,V>
#define USeries series<UC >
#define USeries_rep series_rep<UC >
#define Solver_rep solver_series_rep<C,V>

Functions

INDIRECT_IMPL_2 (unknown, unknown_rep, typename C, C, typename V, V) template< typename C
V bool is_known (const unknown< C, V > &c)
template<typename C , typename V > C known (const unknown< C, V > &c)
template<typename C , typename V > bool is_exact_zero (const unknown< C, V > c)
template<typename Op , typename C , typename V > nat unary_hash (const unknown< C, V > &c)
template<typename Op , typename C , typename V > bool binary_test (const unknown< C, V > &c1, const unknown< C, V > &c2)
template<typename C , typename V > syntactic flatten (const unknown< C, V > &c)
TRUE_IDENTITY_OP_SUGAR (template< typename C, typename V >, unknown< C, V >) EXACT_IDENTITY_OP_SUGAR(template< typename C
template<typename C , typename V > unknown< C, V > unknown< C, V > operator- (const unknown< C, V > &c)
template<typename C , typename V > unknown< C, V > operator+ (const unknown< C, V > &c1, const C &c2)
template<typename C , typename V > unknown< C, V > operator* (const unknown< C, V > &c1, const C &c2)
template<typename C , typename V > unknown< C, V > operator* (const C &c1, const unknown< C, V > &c2)
template<typename C , typename V > unknown< C, V > operator+ (const unknown< C, V > &c1, const unknown< C, V > &c2)
template<typename C , typename V > unknown< C, V > operator- (const unknown< C, V > &c1, const unknown< C, V > &c2)
template<typename C , typename V > unknown< C, V > substitute (const unknown< C, V > &c)
template<typename C , typename V > unknown< C, V > operator* (const unknown< C, V > &c1, const unknown< C, V > &c2)
template<typename C , typename V > void reduce (unknown< C, V > &c1, unknown< C, V > &c2)
template<typename C , typename V > void insert_and_reduce (vector< unknown< C, V > > &sys, unknown< C, V > &c)
template<typename C , typename V > series< unknown< C, V > > unknown_series (solver_series_rep< C, V > *f, nat k)
template<typename C , typename V , typename UV > series< C, V > known (const series< unknown< C, V >, UV > &f)
template<typename C , typename V , typename UV > series< unknown< C, V >,UV > operator* (const series< unknown< C, V >, UV > &f, const series< unknown< C, V >, UV > &g)
template<typename C , typename V > series< vector< C >, V > solver (const series< vector< C >, V > &f)