GiNaC::make_flat_inserter Class Reference

Class to handle the renaming of dummy indices. More...

#include <expairseq.h>

Public Member Functions
	make_flat_inserter (const epvector &epv, bool b)
	make_flat_inserter (const exvector &v, bool b)
ex	handle_factor (const ex &x, const ex &coeff)

Private Member Functions
void	combine_indices (const exvector &dummies_of_factor)

Private Attributes
bool	do_renaming
exvector	used_indices

Detailed Description

Class to handle the renaming of dummy indices.

It holds a vector of indices that are being used in the expression so far. If the same index occurs again as a dummy index in a factor, it is to be renamed. Unless dummy index renaming was switched off, of course ;-) .

Definition at line 135 of file expairseq.h.

Constructor & Destructor Documentation

make_flat_inserter() [1/2]

GiNaC::make_flat_inserter::make_flat_inserter ( const epvector &  epv, bool  b  )

inline

Definition at line 138 of file expairseq.h.

References GiNaC::are_ex_trivially_equal(), combine_indices(), and do_renaming.

make_flat_inserter() [2/2]

GiNaC::make_flat_inserter::make_flat_inserter ( const exvector &  v, bool  b  )

inline

Definition at line 146 of file expairseq.h.

References combine_indices(), and do_renaming.

Member Function Documentation

handle_factor()

ex GiNaC::make_flat_inserter::handle_factor ( const ex &  x, const ex &  coeff  )

inline

Definition at line 153 of file expairseq.h.

References GiNaC::coeff(), combine_indices(), do_renaming, GiNaC::get_all_dummy_indices_safely(), GiNaC::ex::is_equal(), GiNaC::rename_dummy_indices_uniquely(), used_indices, and x.

Referenced by GiNaC::ncmul::eval(), and GiNaC::expairseq::make_flat().

combine_indices()

void GiNaC::make_flat_inserter::combine_indices ( const exvector &  dummies_of_factor )

inlineprivate

Definition at line 173 of file expairseq.h.

References used_indices.

Referenced by handle_factor(), and make_flat_inserter().

Member Data Documentation

do_renaming

bool GiNaC::make_flat_inserter::do_renaming

private

Definition at line 181 of file expairseq.h.

Referenced by handle_factor(), and make_flat_inserter().

used_indices

exvector GiNaC::make_flat_inserter::used_indices

private

Definition at line 182 of file expairseq.h.

Referenced by combine_indices(), and handle_factor().

---

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

• expairseq.h