seriesEd.h File Reference

#include "polyEd.h"
#include "../wrapperMMGD/seriesWrapper.h"
#include "../wrapperMMGD/matrixWrapper.h"
#include <iostream>
#include "../common/ISterm.h"

Go to the source code of this file.

Classes
class	etvo::seriesEd
	Class for ultimately-periodic series in the semiring E[[d]]. In a general way, the series are described by two standard (canonical) forms s=p+q.r*=p'+r'*.q' where p,p',q,q' are polynomials in E[[d]] and r/r' are etvo::gd terms (in MinMax[[g,d]]). More...

Namespaces
	etvo

Functions
std::ostream &	etvo::operator<< (std::ostream &f, const seriesEd &s)
seriesEd	etvo::star (const seriesEd &s)
seriesEd	etvo::oplus (const seriesEd &s1, const seriesEd &s2)
seriesEd	etvo::inf (const seriesEd &s1, const seriesEd &s2)
seriesEd	etvo::otimes (const seriesEd &s1, const seriesEd &s2)
seriesEd	etvo::lfrac (const seriesEd &s1, const seriesEd &s2)
seriesEd	etvo::rfrac (const seriesEd &s1, const seriesEd &s2)
seriesEd	etvo::eg (int n)
	element g^n in E[[d]]
seriesEd	etvo::ed (int t)
	element d^t in E[[d]]
seriesEd	etvo::em (unsigned m)
	element mu_m in E[[d]]
seriesEd	etvo::eb (unsigned b)
	element beta_b in E[[d]]
seriesEd	etvo::en (unsigned n)
	element Nabla_n=mu_n.beta_n in E[[d]]
seriesEd	etvo::em (const std::vector< unsigned > &seq)
	element mu var mu_<seq> in E[[d]] where the sequence is given by a vector
seriesEd	etvo::eb (const std::vector< unsigned > &seq)
	element beta var beta_<seq> in E[[d]] where the sequence is given by a vector