internal MathematicaConstants(MathematicaInterface parentCas)
{
Cas = parentCas;
True = MathematicaCondition.Create(parentCas, true);
_constantsDictionary.Add("true", True);
False = MathematicaCondition.Create(parentCas, false);
_constantsDictionary.Add("false", False);
Zero = MathematicaScalar.Create(parentCas, 0);
_constantsDictionary.Add("zero", Zero);
One = MathematicaScalar.Create(parentCas, 1);
_constantsDictionary.Add("one", One);
MinusOne = MathematicaScalar.Create(parentCas, -1);
_constantsDictionary.Add("minusone", MinusOne);
Pi = MathematicaScalar.Create(parentCas, CasConnection.EvaluateToExpr("Pi"));
_constantsDictionary.Add("pi", Pi);
TwoPi = MathematicaScalar.Create(parentCas, CasConnection.EvaluateToExpr("Times[2, Pi]"));
_constantsDictionary.Add("twopi", TwoPi);
}
public static bool IsRationalScalar(this MathematicaScalar sc, Expr assumeExpr)
{
var cond = MathematicaCondition.CreateIsDomainMemberTest(sc, DomainSymbols.Rationals, assumeExpr);
return(cond.IsConstantTrue());
}
