Documentation of MARTY
A Modern ARtificial Theoretical phYsicist
Data Structures | Public Member Functions | Static Public Member Functions | Data Fields | Private Attributes | Friends
mty::DiracSpace Class Reference
Inheritance diagram for mty::DiracSpace:
[legend]

Data Structures

struct  alignedCycle
 
struct  Chain
 
struct  FiertzContraction
 

Public Member Functions

 DiracSpace (csl::Space const *t_spaceTime)
 
csl::Space const * getSpaceTime () const
 
bool hasSpecialTraceProperty (const csl::vector_expr &tensors) const override
 
csl::Expr calculateTrace (csl::vector_expr tensors) const override
 
csl::Expr calculateTrace (csl::Expr const &init) const
 
csl::Index index () const
 
csl::Index st_index () const
 
void initProperties ()
 
alignedCycle align (csl::vector_expr tensors) const
 
alignedCycle alignOpen (csl::vector_expr tensors) const
 
void insert (csl::Index const &toInsert, std::vector< csl::Index > &tensors, std::vector< size_t > &cuts, size_t i) const
 
void contract (std::vector< csl::Index > &tensors, std::vector< size_t > &cuts, size_t i) const
 
void contract (std::vector< csl::Index > &tensors, std::vector< size_t > &cuts, size_t i, size_t j) const
 
void contractTensor (std::vector< csl::Index > &tensors, std::vector< size_t > &cuts, size_t i, size_t j) const
 
std::vector< ChainsimplifyGammaProd (std::vector< csl::Index > const &indices, std::vector< size_t > const &cuts, csl::Expr const &factor) const
 
std::vector< ChainsimplifyGammaProd (Chain const &init) const
 
Chirality getChirality (size_t pos, size_t cut, csl::Index proj) const
 
std::vector< FiertzContractiongetFiertzContractions (Chain const &init) const
 
std::vector< ChainsimplifyFiertzProd (Chain const &init) const
 
void applyUniqueChiralityStructure (std::vector< csl::Index > &tensors, std::vector< size_t > &cuts, csl::Expr &factor) const
 
std::pair< csl::Index, csl::IndexgetBorderOfChain (std::vector< csl::Expr >::const_iterator first, std::vector< csl::Expr >::const_iterator last) const
 
std::vector< std::pair< csl::Index, csl::Index > > getBorderOfChains (std::vector< csl::Expr > const &tensors, std::vector< size_t > &cuts) const
 
csl::vector_expr applyChainIndices (std::vector< csl::Index > const &tensors, std::vector< size_t > const &cuts, std::vector< std::pair< size_t, size_t >> const &flipped, std::vector< std::pair< csl::Index, csl::Index >> const &indices) const
 
csl::vector_expr simplifyChain (csl::vector_expr const &tensors) const
 
std::vector< csl::IndexapplyInvolution (csl::vector_expr &tensors, csl::Expr &factor) const
 
void applyChiralityProp (std::vector< csl::Index > &tensors, csl::Expr &factor) const
 
void simplifySquares (std::vector< csl::Index > &tensors, csl::Expr &factor) const
 
csl::Expr applyRecursion (std::vector< csl::Index > &tensors, csl::Expr &factor) const
 
csl::Expr applyStandardRecursion (std::vector< csl::Index > const &tensors, bool first=true) const
 
csl::Expr applyChiralRecursion (std::vector< csl::Index > const &tensors, bool first=true) const
 
csl::Expr compute (csl::vector_expr const &tensors) const
 
size_t countGammaMult (csl::vector_expr const &tensors) const
 
size_t countGammaMult (std::vector< csl::Index > const &tensors) const
 
std::vector< csl::IndexexprToIndex (std::vector< csl::Expr > const &tensors, std::vector< size_t > &cuts) const
 
csl::Expr indexToExpr (csl::Index const &spaceTimeIndex, csl::Index const &first, csl::Index const &second) const
 
bool isDelta (csl::Expr const &tensor) const
 
bool isGammaTensor (csl::Expr const &tensor) const
 
bool isGammaMu (csl::Expr const &tensor) const
 
bool isSigma (csl::Expr const &tensor) const
 
bool isGammaChir (csl::Expr const &tensor) const
 
bool isP_L (csl::Expr const &tensor) const
 
bool isP_R (csl::Expr const &tensor) const
 
bool isProjector (csl::Expr const &tensor) const
 
bool isCMatrix (csl::Expr const &tensor) const
 
bool isSymmetric (csl::Expr const &tensor) const
 
bool isDelta (csl::Expr_info tensor) const
 
bool isGammaTensor (csl::Expr_info tensor) const
 
bool isGammaMu (csl::Expr_info tensor) const
 
bool isSigma (csl::Expr_info tensor) const
 
bool isGammaChir (csl::Expr_info tensor) const
 
bool isP_L (csl::Expr_info tensor) const
 
bool isP_R (csl::Expr_info tensor) const
 
bool isProjector (csl::Expr_info tensor) const
 
bool isCMatrix (csl::Expr_info tensor) const
 
bool isSymmetric (csl::Expr_info tensor) const
 
bool isDelta (csl::Index const &tensor) const
 
bool isGammaMu (csl::Index const &tensor) const
 
bool isGammaChir (csl::Index const &tensor) const
 
bool isP_L (csl::Index const &tensor) const
 
bool isP_R (csl::Index const &tensor) const
 
bool isProjector (csl::Index const &tensor) const
 
bool isCMatrix (csl::Index const &tensor) const
 
void flipChirality (csl::Index &tensor) const
 
csl::Index flippedChirality (csl::Index const &tensor) const
 
csl::Index getSpaceTimeIndex (csl::Expr const &tensor) const
 
csl::Index getFirstIndex (csl::Expr const &tensor) const
 
csl::Index getSecondIndex (csl::Expr const &tensor) const
 
- Public Member Functions inherited from csl::Space
 Space (const std::string &t_name, int t_dim, std::vector< std::string > const &indexNames={"i", "j", "k", "l"})
 
 Space (const std::string &t_name, int t_dim, const std::string &name_metric, const Expr &t_metric, std::vector< std::string > const &indexNames={"i", "j", "k", "l"})
 
virtual std::string getName () const
 
int getDim () const
 
bool getSignedIndex () const
 
Index generateIndex (const std::string &name) const
 
Index generateIndex () const
 
Expr generateVector (const std::string &t_name) const
 

Static Public Member Functions

static size_t getSpinorDimension (size_t spaceTimeDim)
 

Data Fields

csl::Tensor gamma
 
csl::Tensor sigma
 
csl::Tensor gamma_chir
 
csl::Tensor P_L
 
csl::Tensor P_R
 
csl::Tensor C_matrix
 

Private Attributes

csl::Space const * spaceTime
 

Friends

void setDiracTensor4 (const DiracSpace *self)
 

Additional Inherited Members

- Protected Attributes inherited from csl::Space
std::string name
 
int dim
 
bool signedIndex
 
Tensor delta
 
Tensor metric
 

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