terms like d^tl.V_m.d^tc.W_b.d^tr More...

#include <dDd.h>

Public Member Functions
	dDd (int tl, unsigned int v, int tc, unsigned int w, int tr)
	Create term d^tl.V_v.d^tc.W_w.d^tr. More...

	dDd (int tl, unsigned int v, unsigned int w, int tr)
	Create term d^tl.V_v.d^0.W_w.d^tr. More...

	dDd (int tl, unsigned int vw, int tr)
	Create term d^tl.D_(vw).d^tr=d^tl.V_m.d^0.W_m.d^tr. More...

	dDd (int tc=0)
	d^0.V_1.d^tc.W_1.d^0 = d^tc

int	getTl () const
	getter : gives tl in d^tl V_v d^tc W_w d^tr

unsigned int	getV () const
	getter : gives v in d^tl V_v d^tc W_w d^tr

int	getTc () const
	getter : gives tc in d^tl V_v d^tc W_w d^tr

unsigned int	getW () const
	getter : gives w in d^tl V_v d^tc W_w d^tr

int	getTr () const
	getter : gives tr in d^tl V_v d^tc W_w d^tr

bool	operator<= (const dDd &m) const
	comparison of terms (with the same Periodicity)

bool	operator>= (const dDd &m) const

bool	operator== (const dDd &m) const

void	canon ()
	set to the canonical form (depends on the choice made by setCanonForm)

void	canonL ()
	set to the Left form [-w<tr<=0 and tc=0]

void	canonC ()
	set to the Central form [-w<tr<=0 and -v<tl<=0]

void	canonR ()
	set Right form [-v<tl<=0 and tc=0]

int	Rw (int ki) const
	value of Release function Rw(ti) = ceil(((tr+ti)/W)+tc)*V+tl

Fmaxp	getRw () const
	returns function Rw

T_op	extendBy (unsigned mul) const
	Extension of d^tl V_v d^tc W_w d^tr.

std::pair< unsigned, unsigned >	getPeriodicity () const
	periodicity as a pair <_b,_m>

std::string	toString (unsigned nVer=0) const

bool	isEpsilon ()

Static Public Member Functions
static void	setCanonForm (unsigned val=0)
	set the type of canonical form 0=left 1=center 2=right More...

static unsigned	getCanonForm ()

Protected Attributes
int	_tl
	tl,v,tc,w,tr

unsigned int	_v

int	_tc

unsigned int	_w

int	_tr

Static Protected Attributes
static unsigned	_canon =0
	set canonical form of dDd (default left form) More...

Detailed Description

terms like d^tl.V_m.d^tc.W_b.d^tr

Class to describe terms in T[[g]] written d^tl.Delta_(m|b).d^tr= d^tl.V_m.d^tc.W_b.d^tr.

Formal series in T[[g]] can be seen as infinite sums of terms ( d^ti.Delta_(m|b).d^ti').g^n_i

We can also decompose a dDd term into a central form (d^tli.V_m.d^tci.W_b.d^tri) where -m<tli<=0 and -b<tri<=0

Author: BC LH JT LARIS

Version: 2.0

Constructor & Destructor Documentation

◆ dDd() [1/3]

etvo::dDd::dDd	(	int	tl,
		unsigned int	v,
		int	tc,
		unsigned int	w,
		int	tr
	)

Create term d^tl.V_v.d^tc.W_w.d^tr.

Create term d^tl.V_m.d^tc.W_b.d^tr.

◆ dDd() [2/3]

etvo::dDd::dDd	(	int	tl,
		unsigned int	v,
		unsigned int	w,
		int	tr
	)

Create term d^tl.V_v.d^0.W_w.d^tr.

Create term d^tl.V_m.d^0.W_b.d^tr.

◆ dDd() [3/3]

etvo::dDd::dDd	(	int	tl,
		unsigned int	vw,
		int	tr
	)

Create term d^tl.D_(vw).d^tr=d^tl.V_m.d^0.W_m.d^tr.

Create term d^tl.D_vw.d^tr=d^tl.V_m.d^0.W_m.d^tr.

Member Function Documentation

◆ setCanonForm()

void etvo::dDd::setCanonForm ( unsigned val = 0 )

static

set the type of canonical form 0=left 1=center 2=right

Class method to choose the canonical form of dDd terms

Parameters

val=0-left form 1-central form 2- right form

◆ toString()

std::string etvo::dDd::toString ( unsigned nVer = 0 ) const

gives a string description of a dDd term

Parameters

nVer	(default=0)

Member Data Documentation

◆ _canon

unsigned etvo::dDd::_canon =0

staticprotected

set canonical form of dDd (default left form)

set the default form as the Left Form

The documentation for this class was generated from the following files:

C:/Users/usrlocal/ownCloud/DevSoft/etvoIII/etvo31/etvo/etop/dDd.h
C:/Users/usrlocal/ownCloud/DevSoft/etvoIII/etvo31/etvo/etop/dDd.cpp

Public Member Functions

Static Public Member Functions

Protected Attributes

Static Protected Attributes