cc.redberry.core.solver

Class ReduceEngine

java.lang.Object

cc.redberry.core.solver.ReduceEngine

public final class ReduceEngine
extends java.lang.Object

This class implements an algorithm for reducing a system of tensorial equations into system of symbolic equations. The underlying algorithm simply generates tensor of the most general form for each unknown tensorial variable and then tries to build a system of equations fot its coefficients.

Note: the implementation does not guaranties that solution (or proof of its absence) will be found.

Since:

1.1.5

Method Summary

Modifier and Type	Method and Description
static ReducedSystem	reduceToSymbolicSystem(Expression[] equations, SimpleTensor[] vars, Transformation[] rules) Tries to reduces a system of tensorial equations into a system of symbolic equations or return null if it fails to reduce.
static ReducedSystem	reduceToSymbolicSystem(Expression[] equations, SimpleTensor[] vars, Transformation[] rules, boolean[] symmetricForm) Tries to reduces a system of tensorial equations into a system of symbolic equations or return null if it fails to reduce.

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Method Detail

reduceToSymbolicSystem

public static ReducedSystem reduceToSymbolicSystem(Expression[] equations,
                                                   SimpleTensor[] vars,
                                                   Transformation[] rules)

Tries to reduces a system of tensorial equations into a system of symbolic equations or return null if it fails to reduce.

Parameters:

equations - equations

vars - unknown variables

rules - additional transformations/rules to be applied or taken into account

Returns:

reduced system of symbolic equations and solutions general form

reduceToSymbolicSystem

public static ReducedSystem reduceToSymbolicSystem(Expression[] equations,
                                                   SimpleTensor[] vars,
                                                   Transformation[] rules,
                                                   boolean[] symmetricForm)

Tries to reduces a system of tensorial equations into a system of symbolic equations or return null if it fails to reduce.

Parameters:

equations - equations

vars - unknown variables

rules - additional transformations/rules to be applied or taken into account

symmetricForm - specifies whether solutions should be putted into symmetric form (with respect to upper and lower indices separately)

Returns:

reduced system of symbolic equations and solutions general form