Examples with Theory com.sri.ai.grinder.api.Theory used on opensource projects

Example 46 with Theory

use of com.sri.ai.grinder.api.Theory in project aic-expresso by aic-sri-international.

the class Derivative method divCase.

public static Expression divCase(Expression expression, Expression variable, Context context) {
    Theory theory = context.getTheory();
    List<Expression> arguments = expression.getArguments();
    Expression factor = arguments.get(1);
    for (int i = 2; i < arguments.size(); i++) {
        factor = apply(TIMES, factor, arguments.get(i));
    }
    Expression toEvaluate = apply("-", apply("*", computeDerivative(arguments.get(0), variable, context), factor), apply("*", arguments.get(0), computeDerivative(factor, variable, context)));
    toEvaluate = apply("/", toEvaluate, apply("*", factor, factor));
    return theory.simplify(toEvaluate, context);
}