use of org.matheclipse.core.interfaces.IAST in project symja_android_library by axkr.
the class RubiIntegrationTest method testRubi003.
public void testRubi003() {
IAST ast;
ast = MemberQ(List($s("Sin"), $s("Cos"), $s("Tan"), $s("Cot"), $s("Sec"), $s("Csc")), If(AtomQ(Sin(Times(C2, x))), Sin(Times(C2, x)), Head(Sin(Times(C2, x)))));
check(ast, "True");
ast = UnsameQ(Coefficient(Times(2, x), x, C1), C0);
check(ast, "True");
ast = Exponent(Times(2, x), x);
check(ast, "1");
ast = PolyQ(Times(2, x), x, C1);
check(ast, "True");
ast = LinearQ(Times(2, x), x);
check(ast, "True");
ast = FunctionOfTrig(Sin(Times(2, x)), Null, x);
check(ast, "2*x");
ast = FunctionOfTrigOfLinearQ(Sin(Times(2, x)), x);
check(ast, "True");
ast = MatchQ(Times(2, x), Condition(Plus(a_DEFAULT, Times(b_DEFAULT, x)), FreeQ(List(a, b), x)));
check(ast, "True");
}
use of org.matheclipse.core.interfaces.IAST in project symja_android_library by axkr.
the class RubiIntegrationTest method testRubi008.
public void testRubi008() {
IAST ast;
ast = RealNumericQ(C1);
check(ast, "True");
}
use of org.matheclipse.core.interfaces.IAST in project symja_android_library by axkr.
the class RubiIntegrationTest method testRubi012.
public void testRubi012() {
IAST ast;
// 2*(a+b*x),x
ast = ExpandToSum(Times(C2, Plus(a, Times(b, x))), x);
// throws AbortException
check(ast, "2*a+2*b*x");
}
use of org.matheclipse.core.interfaces.IAST in project symja_android_library by axkr.
the class ExpandTestCase method testExpand005.
public void testExpand005() {
// x / y
IAST ast = Times(x, Power(y, -1));
IExpr temp = Algebra.expandAll(ast, null, true, false);
// because of sorting and flattening flags:
assertEquals(temp, F.NIL);
// temp = ExpandAll.expandAll((IAST)temp, null, true, false);
// assertNull(temp);
}
use of org.matheclipse.core.interfaces.IAST in project symja_android_library by axkr.
the class ExpandTestCase method testExpand002.
public void testExpand002() {
IAST ast = Times(x, Times(C1D2, x));
IExpr temp = Algebra.expand(ast, null, false, false);
assertEquals(temp.toString(), "x^2/2");
}
Aggregations