public bool IsRealConstant()
 {
     return(CasInterface.EvalTrueQ(
                Mfs.And[
                    Mfs.NumericQ[Expression],
                    Mfs.Element[Expression, DomainSymbols.Reals]
                ]
                ));
 }
Exemple #2
0
 public bool IsNonZeroRealConstant()
 {
     return(CasInterface.EvalTrueQ(
                Mfs.And[
                    Mfs.NumericQ[MathExpr],
                    Mfs.Element[MathExpr, DomainSymbols.Reals],
                    Mfs.Not[Mfs.PossibleZeroQ[MathExpr]]
                ]
                ));
 }
Exemple #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));
        }
Exemple #4
0
        public bool IsDiagonal()
        {
            if (!IsSquare())
            {
                return(false);
            }

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

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

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

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

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