Documentation of MARTY
A Modern ARtificial Theoretical phYsicist
Public Member Functions | Private Member Functions | Private Attributes
mty::ConjugationSimplifier Class Reference

Public Member Functions

 ConjugationSimplifier (mty::DiracSpace const *t_diracSpace)
 
bool hasContractionProperty (csl::Expr_info self, csl::Expr_info other) const
 
csl::Expr contraction (csl::Expr_info self, csl::Expr_info other) const
 

Private Member Functions

bool commutation (csl::Index &first, csl::Index &second, csl::Expr &tensor) const
 
bool commutationWithTensor (csl::Index &first, csl::Index &second, csl::Expr &tensor) const
 
bool commutationWithIntegral (csl::Index &first, csl::Index &second, csl::Expr &tensor) const
 
bool commutationWithProduct (csl::Index &first, csl::Index &second, csl::Expr &prod) const
 
bool commutationWithSum (csl::Index &first, csl::Index &second, csl::Expr &sum) const
 

Private Attributes

mty::DiracSpace const * diracSpace
 

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