SymEngine::MatrixSymmetricVisitor Class Reference

Inheritance diagram for SymEngine::MatrixSymmetricVisitor:

Collaboration diagram for SymEngine::MatrixSymmetricVisitor:

Public Member Functions
	MatrixSymmetricVisitor (const Assumptions *assumptions)
void	bvisit (const Basic &x)
void	bvisit (const MatrixExpr &x)
void	bvisit (const IdentityMatrix &x)
void	bvisit (const ZeroMatrix &x)
void	bvisit (const DiagonalMatrix &x)
void	bvisit (const ImmutableDenseMatrix &x)
void	bvisit (const MatrixAdd &x)
void	bvisit (const HadamardProduct &x)
tribool	apply (const MatrixExpr &s)

Private Member Functions
void	check_vector (const vec_basic &vec)

Private Attributes
tribool	is_symmetric_
const Assumptions *	assumptions_

Detailed Description

Definition at line 9 of file is_symmetric.cpp.

Constructor & Destructor Documentation

MatrixSymmetricVisitor()

SymEngine::MatrixSymmetricVisitor::MatrixSymmetricVisitor ( const Assumptions *  assumptions )

inline

Definition at line 38 of file is_symmetric.cpp.

        : assumptions_(assumptions)
    {
    }

Member Function Documentation

apply()

tribool SymEngine::MatrixSymmetricVisitor::apply ( const MatrixExpr &  s )

inline

Definition at line 99 of file is_symmetric.cpp.

    {
        s.accept(*this);
        return is_symmetric_;
    }

bvisit() [1/8]

void SymEngine::MatrixSymmetricVisitor::bvisit ( const Basic &  x )

inline

Definition at line 43 of file is_symmetric.cpp.

{};

bvisit() [2/8]

void SymEngine::MatrixSymmetricVisitor::bvisit ( const DiagonalMatrix &  x )

inline

Definition at line 59 of file is_symmetric.cpp.

    {
        is_symmetric_ = tribool::tritrue;
    }

bvisit() [3/8]

void SymEngine::MatrixSymmetricVisitor::bvisit ( const HadamardProduct &  x )

inline

Definition at line 94 of file is_symmetric.cpp.

    {
        check_vector(x.get_factors());
    }

bvisit() [4/8]

void SymEngine::MatrixSymmetricVisitor::bvisit ( const IdentityMatrix &  x )

inline

Definition at line 49 of file is_symmetric.cpp.

    {
        is_symmetric_ = tribool::tritrue;
    }

bvisit() [5/8]

void SymEngine::MatrixSymmetricVisitor::bvisit ( const ImmutableDenseMatrix &  x )

inline

Definition at line 64 of file is_symmetric.cpp.

    {
        size_t nrows = x.nrows();
        size_t ncols = x.ncols();
        if (nrows != ncols) {
            is_symmetric_ = tribool::trifalse;
            return;
        }
        ZeroVisitor visitor(assumptions_);
        is_symmetric_ = tribool::tritrue;
        for (size_t i = 0; i < ncols; i++) {
            for (size_t j = 0; j <= i; j++) {
                if (j != i) {
                    auto e1 = x.get(i, j);
                    auto e2 = x.get(j, i);
                    is_symmetric_ = and_tribool(is_symmetric_,
                                                visitor.apply(*sub(e1, e2)));
                }
                if (is_false(is_symmetric_)) {
                    return;
                }
            }
        }
    }

bvisit() [6/8]

void SymEngine::MatrixSymmetricVisitor::bvisit ( const MatrixAdd &  x )

inline

Definition at line 89 of file is_symmetric.cpp.

    {
        check_vector(x.get_terms());
    }

bvisit() [7/8]

void SymEngine::MatrixSymmetricVisitor::bvisit ( const MatrixExpr &  x )

inline

Definition at line 44 of file is_symmetric.cpp.

    {
        is_symmetric_ = tribool::indeterminate;
    }

bvisit() [8/8]

void SymEngine::MatrixSymmetricVisitor::bvisit ( const ZeroMatrix &  x )

inline

Definition at line 54 of file is_symmetric.cpp.

    {
        is_symmetric_ = is_square(x, assumptions_);
    }

check_vector()

void SymEngine::MatrixSymmetricVisitor::check_vector ( const vec_basic &  vec )

inlineprivate

Definition at line 15 of file is_symmetric.cpp.

    {
        bool found_nonsym = false;
        for (auto &elt : vec) {
            elt->accept(*this);
            if (is_indeterminate(is_symmetric_)) {
                return;
            } else if (is_false(is_symmetric_)) {
                if (found_nonsym) {
                    return;
                } else {
                    found_nonsym = true;
                }
            }
        }
        if (found_nonsym) {
            is_symmetric_ = tribool::trifalse;
        } else {
            is_symmetric_ = tribool::tritrue;
        }
    }

Field Documentation

assumptions_

const Assumptions* SymEngine::MatrixSymmetricVisitor::assumptions_

private

Definition at line 13 of file is_symmetric.cpp.

is_symmetric_

tribool SymEngine::MatrixSymmetricVisitor::is_symmetric_

private

Definition at line 12 of file is_symmetric.cpp.

---

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

• /home/runner/work/symengine/symengine/symengine/matrices/is_symmetric.cpp