include/algebramix/quotient_series.hpp File Reference

#include <algebramix/series.hpp>

Go to the source code of this file.

Classes

class REP_STRUCT< Series, Monomial >
class quotient_series< Series, Monomial >

Namespaces

namespace mmx

Defines

#define TMPL_DEF template<typename Series, typename Monomial>
#define TMPL template<typename Series, typename Monomial>
#define C typename scalar_type_helper<Series>::val
#define Stair list<Monomial >
#define Variable typename Series::variable_type
#define Quotient_series quotient_series<Series,Monomial>
#define Quotient_series_rep quotient_series_rep<Series,Monomial>
#define Set table<bool,Variable >

Functions

INDIRECT_IMPL_2 (quotient_series, quotient_series_rep, typename Series, Series, typename Monomial, Monomial) STYPE_TO_TYPE(template< typename Series
template<typename Series , typename Monomial > nat hash (const quotient_series< Series, Monomial > &f)
template<typename Series , typename Monomial > bool operator== (const quotient_series< Series, Monomial > &f, const quotient_series< Series, Monomial > &g)
template<typename Series , typename Monomial > bool operator!= (const quotient_series< Series, Monomial > &f, const quotient_series< Series, Monomial > &g)
template<typename Series , typename Monomial > nat exact_hash (const quotient_series< Series, Monomial > &f)
template<typename Series , typename Monomial > bool exact_eq (const quotient_series< Series, Monomial > &f, const quotient_series< Series, Monomial > &g)
template<typename Series , typename Monomial > bool exact_neq (const quotient_series< Series, Monomial > &f, const quotient_series< Series, Monomial > &g)
template<typename Series , typename Monomial > syntactic flatten (const quotient_series< Series, Monomial > &f)
template<typename Series , typename Monomial > table< bool, typename
Series::variable_type > variables (const quotient_series< Series, Monomial > &f)
template<typename Series , typename Monomial > int val (const quotient_series< Series, Monomial > &f, const typename Series::variable_type &v)
template<typename Series , typename Monomial > Monomial monomial_val (const quotient_series< Series, Monomial > f)
template<typename Series , typename Monomial > quotient_series< Series, Monomial > project (const quotient_series< Series, Monomial > &f, const list< Monomial > &l)
template<typename Series , typename Monomial > quotient_series< Series, Monomial > head (const quotient_series< Series, Monomial > &f, const list< Monomial > &l)
template<typename Series , typename Monomial > quotient_series< Series, Monomial > tail (const quotient_series< Series, Monomial > &f, const list< Monomial > &l)
template<typename Series , typename Monomial > list< Monomial > dominant_monomials (const quotient_series< Series, Monomial > &f)
template<typename Series , typename Monomial > quotient_series< Series, Monomial > normalize (const quotient_series< Series, Monomial > &f, const Monomial &dom_m)
template<typename Series , typename Monomial > quotient_series< Series, Monomial > operator+ (const quotient_series< Series, Monomial > &f, const quotient_series< Series, Monomial > &g)
template<typename Series , typename Monomial > quotient_series< Series, Monomial > operator+ (const quotient_series< Series, Monomial > &f, const typename scalar_type_helper< Series >::val &c)
template<typename Series , typename Monomial > quotient_series< Series, Monomial > operator+ (const typename scalar_type_helper< Series >::val &c, const quotient_series< Series, Monomial > &f)
template<typename Series , typename Monomial > quotient_series< Series, Monomial > operator- (const quotient_series< Series, Monomial > &f)
template<typename Series , typename Monomial > quotient_series< Series, Monomial > operator- (const quotient_series< Series, Monomial > &f, const quotient_series< Series, Monomial > &g)
template<typename Series , typename Monomial > quotient_series< Series, Monomial > operator- (const quotient_series< Series, Monomial > &f, const typename scalar_type_helper< Series >::val &c)
template<typename Series , typename Monomial > quotient_series< Series, Monomial > operator- (const typename scalar_type_helper< Series >::val &c, const quotient_series< Series, Monomial > &f)
template<typename Series , typename Monomial > quotient_series< Series, Monomial > operator* (const Monomial &m, const quotient_series< Series, Monomial > &f)
template<typename Series , typename Monomial > quotient_series< Series, Monomial > operator* (const quotient_series< Series, Monomial > &f, const Monomial &m)
template<typename Series , typename Monomial > quotient_series< Series, Monomial > operator* (const typename scalar_type_helper< Series >::val &c, const quotient_series< Series, Monomial > &f)
template<typename Series , typename Monomial > quotient_series< Series, Monomial > operator* (const quotient_series< Series, Monomial > &f, const typename scalar_type_helper< Series >::val &c)
template<typename Series , typename Monomial > quotient_series< Series, Monomial > operator* (const quotient_series< Series, Monomial > &f, const quotient_series< Series, Monomial > &g)
template<typename Series , typename Monomial > quotient_series< Series, Monomial > operator/ (const quotient_series< Series, Monomial > &f, const Monomial &m)
template<typename Series , typename Monomial > quotient_series< Series, Monomial > operator/ (const Monomial &m, const quotient_series< Series, Monomial > &f)
template<typename Series , typename Monomial > quotient_series< Series, Monomial > operator/ (const quotient_series< Series, Monomial > &f, const typename scalar_type_helper< Series >::val &c)
template<typename Series , typename Monomial > quotient_series< Series, Monomial > operator/ (const typename scalar_type_helper< Series >::val &c, const quotient_series< Series, Monomial > &f)
template<typename Series , typename Monomial > quotient_series< Series, Monomial > operator/ (const quotient_series< Series, Monomial > &f, const quotient_series< Series, Monomial > &g)
ARITH_SCALAR_INT_SUGAR (template< typename Series, typename Monomial >, quotient_series< Series, Monomial >)

Variables

Define Documentation

#define C typename scalar_type_helper<Series>::val

Definition at line 20 of file quotient_series.hpp.

#define Quotient_series quotient_series<Series,Monomial>

Definition at line 23 of file quotient_series.hpp.

Referenced by mmx::head(), mmx::normalize(), mmx::operator*(), mmx::operator+(), mmx::operator-(), mmx::operator/(), mmx::project(), and mmx::tail().

#define Quotient_series_rep quotient_series_rep<Series,Monomial>

Definition at line 24 of file quotient_series.hpp.

#define Set table<bool,Variable >

Definition at line 25 of file quotient_series.hpp.

Referenced by mmx::decode_modular_int(), and implementation< matrix_multiply_base, V, matrix_strassen< W > >::mat_save().

#define Stair list<Monomial >

Definition at line 21 of file quotient_series.hpp.

#define TMPL template<typename Series, typename Monomial>

Definition at line 19 of file quotient_series.hpp.

#define TMPL_DEF template<typename Series, typename Monomial>

Definition at line 18 of file quotient_series.hpp.

#define Variable typename Series::variable_type

Definition at line 22 of file quotient_series.hpp.