Esempio n. 1
0
 public bool IsRealConstant()
 {
     return(CasInterface.EvalTrueQ(
                Mfs.And[
                    Mfs.NumericQ[Expression],
                    Mfs.Element[Expression, DomainSymbols.Reals]
                ]
                ));
 }
Esempio n. 2
0
 public bool IsNonZeroRealConstant()
 {
     return(CasInterface.EvalTrueQ(
                Mfs.And[
                    Mfs.NumericQ[MathExpr],
                    Mfs.Element[MathExpr, DomainSymbols.Reals],
                    Mfs.Not[Mfs.PossibleZeroQ[MathExpr]]
                ]
                ));
 }
Esempio n. 3
0
        public bool IsOrthogonal()
        {
            if (!IsSquare())
            {
                return(false);
            }

            var e = Mfs.Equal[Mfs.Dot[MathExpr, Mfs.Transpose[MathExpr]], Mfs.IdentityMatrix[Mfs.Dimensions[MathExpr]]];

            return(CasInterface.EvalTrueQ(e));
        }
Esempio n. 4
0
        public bool IsDiagonal()
        {
            if (!IsSquare())
            {
                return(false);
            }

            var e = Mfs.Equal[MathExpr, Mfs.DiagonalMatrix[Mfs.Diagonal[MathExpr]]];

            return(CasInterface.EvalTrueQ(e));
        }
Esempio n. 5
0
        public bool IsIdentity()
        {
            if (!IsSquare())
            {
                return(false);
            }

            var e = Mfs.Equal[MathExpr, Mfs.IdentityMatrix[Mfs.Dimensions[MathExpr]]];

            return(CasInterface.EvalTrueQ(e));
        }
Esempio n. 6
0
 public bool IsInvertable()
 {
     return(IsSquare() && CasInterface.EvalFalseQ(Mfs.PossibleZeroQ[Mfs.Det[MathExpr]]));
 }
Esempio n. 7
0
 public bool IsSymmetric()
 {
     return(IsSquare() && CasInterface.EvalTrueQ(Mfs.SymmetricMatrixQ[MathExpr]));
 }
Esempio n. 8
0
        public bool IsZero()
        {
            var e = Mfs.Apply[Mfs.And.MathExpr, Mfs.Flatten[Mfs.PossibleZeroQ[MathExpr]]];

            return(CasInterface.EvalTrueQ(e));
        }
Esempio n. 9
0
 public bool IsConstant()
 {
     return(CasInterface.EvalTrueQ(Mfs.NumericQ[MathExpr]));
 }
Esempio n. 10
0
 //TODO: Add more overloads to accept integers
 public bool IsEqualScalar(MathematicaScalar expr)
 {
     return(CasInterface.EvalTrueQ(Mfs.Equal[MathExpr, expr.MathExpr]));
 }
Esempio n. 11
0
 public bool IsPossibleScalar(MathematicaScalar expr)
 {
     return(CasInterface.EvalIsTrue(Mfs.PossibleZeroQ[Mfs.Subtract[MathExpr, expr.MathExpr]]));
 }
Esempio n. 12
0
 public bool IsEqualZero()
 {
     return(CasInterface.EvalTrueQ(Mfs.Equal[MathExpr, CasConstants.ExprZero]));
 }
Esempio n. 13
0
 public bool IsPossibleZero()
 {
     return(CasInterface.EvalIsTrue(Mfs.PossibleZeroQ[MathExpr]));
 }
Esempio n. 14
0
 public bool IsConstant()
 {
     return(CasInterface.EvalTrueQ(Mfs.NumericQ[Expression]));
 }
Esempio n. 15
0
 //TODO: Add more overloads to accept integers
 public bool IsEqualScalar(MathematicaScalar expr)
 {
     return(CasInterface.EvalTrueQ(Mfs.Equal[Expression, expr.Expression]));
 }