Class xlifepp::SymbolicTermMatrix#

class SymbolicTermMatrix#

Collaboration diagram for xlifepp::SymbolicTermMatrix:

digraph { graph [bgcolor="#00000000"] node [shape=rectangle style=filled fillcolor="#FFFFFF" font=Helvetica padding=2] edge [color="#1414CE"] "22" [label="xlifepp::LargeMatrix< complex_t >" tooltip="xlifepp::LargeMatrix< complex_t >"] "16" [label="xlifepp::LargeMatrix< real_t >" tooltip="xlifepp::LargeMatrix< real_t >"] "25" [label="xlifepp::LargeMatrix< xlifepp::Matrix< complex_t > >" tooltip="xlifepp::LargeMatrix< xlifepp::Matrix< complex_t > >"] "23" [label="xlifepp::LargeMatrix< xlifepp::Matrix< real_t > >" tooltip="xlifepp::LargeMatrix< xlifepp::Matrix< real_t > >"] "28" [label="std::map< const Unknown *, Constraints * >" tooltip="std::map< const Unknown *, Constraints * >"] "9" [label="std::map< string_t, number_t >" tooltip="std::map< string_t, number_t >"] "13" [label="std::map< uvPair, xlifepp::SuBilinearForm >" tooltip="std::map< uvPair, xlifepp::SuBilinearForm >"] "14" [label="std::map< uvPair, xlifepp::SuTermMatrix * >" tooltip="std::map< uvPair, xlifepp::SuTermMatrix * >"] "29" [label="std::set< xlifepp::Unknown * >" tooltip="std::set< xlifepp::Unknown * >"] "10" [label="std::map< K, T >" tooltip="std::map< K, T >"] "30" [label="std::set< K >" tooltip="std::set< K >"] "8" [label="std::vector< T >" tooltip="std::vector< T >"] "17" [label="std::vector< number_t >" tooltip="std::vector< number_t >"] "18" [label="std::vector< real_t >" tooltip="std::vector< real_t >"] "31" [label="std::vector< xlifepp::DofComponent >" tooltip="std::vector< xlifepp::DofComponent >"] "26" [label="std::vector< xlifepp::Matrix< complex_t > >" tooltip="std::vector< xlifepp::Matrix< complex_t > >"] "24" [label="std::vector< xlifepp::Matrix< real_t > >" tooltip="std::vector< xlifepp::Matrix< real_t > >"] "20" [label="std::vector< xlifepp::MatrixStorage * >" tooltip="std::vector< xlifepp::MatrixStorage * >"] "7" [label="std::vector< xlifepp::Parameter * >" tooltip="std::vector< xlifepp::Parameter * >"] "11" [label="std::vector< xlifepp::Term * >" tooltip="std::vector< xlifepp::Term * >"] "12" [label="xlifepp::BilinearForm" tooltip="xlifepp::BilinearForm"] "4" [label="xlifepp::ComputingInfo" tooltip="xlifepp::ComputingInfo"] "21" [label="xlifepp::LargeMatrix< T >" tooltip="xlifepp::LargeMatrix< T >"] "15" [label="xlifepp::MatrixEntry" tooltip="xlifepp::MatrixEntry"] "19" [label="xlifepp::MatrixStorage" tooltip="xlifepp::MatrixStorage"] "6" [label="xlifepp::Parameters" tooltip="xlifepp::Parameters"] "5" [label="xlifepp::ReductionMethod" tooltip="xlifepp::ReductionMethod"] "27" [label="xlifepp::SetOfConstraints" tooltip="xlifepp::SetOfConstraints"] "1" [label="xlifepp::SymbolicTermMatrix" tooltip="xlifepp::SymbolicTermMatrix" fillcolor="#BFBFBF"] "3" [label="xlifepp::Term" tooltip="xlifepp::Term"] "2" [label="xlifepp::TermMatrix" tooltip="xlifepp::TermMatrix"] "22" -> "17" [dir=forward tooltip="usage"] "22" -> "19" [dir=forward tooltip="usage"] "22" -> "21" [dir=forward tooltip="template-instance"] "16" -> "17" [dir=forward tooltip="usage"] "16" -> "18" [dir=forward tooltip="usage"] "16" -> "19" [dir=forward tooltip="usage"] "16" -> "21" [dir=forward tooltip="template-instance"] "25" -> "17" [dir=forward tooltip="usage"] "25" -> "26" [dir=forward tooltip="usage"] "25" -> "19" [dir=forward tooltip="usage"] "25" -> "21" [dir=forward tooltip="template-instance"] "23" -> "17" [dir=forward tooltip="usage"] "23" -> "24" [dir=forward tooltip="usage"] "23" -> "19" [dir=forward tooltip="usage"] "23" -> "21" [dir=forward tooltip="template-instance"] "28" -> "10" [dir=forward tooltip="template-instance"] "9" -> "10" [dir=forward tooltip="template-instance"] "13" -> "10" [dir=forward tooltip="template-instance"] "14" -> "10" [dir=forward tooltip="template-instance"] "29" -> "30" [dir=forward tooltip="template-instance"] "17" -> "8" [dir=forward tooltip="template-instance"] "18" -> "8" [dir=forward tooltip="template-instance"] "31" -> "8" [dir=forward tooltip="template-instance"] "26" -> "8" [dir=forward tooltip="template-instance"] "24" -> "8" [dir=forward tooltip="template-instance"] "20" -> "8" [dir=forward tooltip="template-instance"] "7" -> "8" [dir=forward tooltip="template-instance"] "11" -> "8" [dir=forward tooltip="template-instance"] "12" -> "13" [dir=forward tooltip="usage"] "4" -> "5" [dir=forward tooltip="usage"] "21" -> "17" [dir=forward tooltip="usage"] "21" -> "19" [dir=forward tooltip="usage"] "15" -> "16" [dir=forward tooltip="usage"] "15" -> "22" [dir=forward tooltip="usage"] "15" -> "23" [dir=forward tooltip="usage"] "15" -> "25" [dir=forward tooltip="usage"] "19" -> "20" [dir=forward tooltip="usage"] "6" -> "7" [dir=forward tooltip="usage"] "6" -> "9" [dir=forward tooltip="usage"] "27" -> "28" [dir=forward tooltip="public-inheritance"] "27" -> "29" [dir=forward tooltip="usage"] "1" -> "1" [dir=forward tooltip="usage"] "1" -> "2" [dir=forward tooltip="usage"] "3" -> "4" [dir=forward tooltip="usage"] "3" -> "6" [dir=forward tooltip="usage"] "3" -> "11" [dir=forward tooltip="usage"] "2" -> "3" [dir=forward tooltip="public-inheritance"] "2" -> "12" [dir=forward tooltip="usage"] "2" -> "14" [dir=forward tooltip="usage"] "2" -> "15" [dir=forward tooltip="usage"] "2" -> "27" [dir=forward tooltip="usage"] "2" -> "31" [dir=forward tooltip="usage"] }

handles expressions involving xlifepp::TermMatrix’s

xlifepp::SymbolicTermMatrix class is designed to handle any algebraic expression involving some xlifepp::TermMatrix The following symbolic operations are available + - * *scalar /scalar inv conj adj trans Id No real operations on xlifepp::TermMatrix are performed only the product by a xlifepp::TermVector may be performed example: A + trans(K)*inv(M)*K inv(A+B) is not allowed! We use a binary tree to represent such symbolic operation, a node representing an operation on one or two xlifepp::SymbolicTermMatrix The previous example has the following tree representation

                                 (+)
                         |--------|--------|
                      (Id)A               (*)
                                  |--------|-------|
                               (trans)K           (*)
                                          |--------|-------|
                                         (inv)M          (Id)K
The product by a xlifepp::TermVector will produce the xlifepp::TermVector A*X + trans(K)*inv(M)*K*X For instance A*B is not recognized as symbolic because the product of two xlifepp::TermMatrix exists so writing ~A*B or A*~B or ~A*~B will enforce a symbolic representation!

Public Functions

inline SymbolicTermMatrix()#

constructor

~SymbolicTermMatrix()#

Destructor.

void print(std::ostream&) const#

print tools

Public Members

complex_t coef_#

coefficient product

bool delMat_#

true if TermMatrix has to be deleted

SymbolicOperation op_#

algebraic operator related to the current node

SymbolicTermMatrix *st2_#

may be one or two SymbolicTermMatrix (pointers)

const TermMatrix *tm_#

may be one TermMatrix (pointers)