cc.redberry.core.solver

Class ExternalSolver

java.lang.Object

cc.redberry.core.solver.ExternalSolver

public class ExternalSolver
extends java.lang.Object

Tools for solving a symbolic system with external systems (Maple or Mathematica).

Since:

1.1.5

Nested Class Summary

Nested Classes

Modifier and Type	Class and Description
static interface	ExternalSolver.ExternalScriptCreator
static class	ExternalSolver.MapleScriptCreator
static class	ExternalSolver.MathematicaScriptCreator

Constructor Summary

Constructors

Constructor and Description
ExternalSolver()

Method Summary

Modifier and Type	Method and Description
static Expression[][]	solveSystemWithExternalProgram(ExternalSolver.ExternalScriptCreator scriptCreator, ReducedSystem reducedSystem, boolean keepFreeParameters, java.lang.String programBinDir, java.lang.String path) Solves a system of symbolic equations using external program.
static Expression[][]	solveSystemWithMaple(ReducedSystem reducedSystem, boolean keepFreeParameters, java.lang.String mapleBinDir, java.lang.String path) Solves a system of symbolic equations using Maplesoft Maple installation.
static Expression[][]	solveSystemWithMathematica(ReducedSystem reducedSystem, boolean keepFreeParameters, java.lang.String mathematicaBinDir, java.lang.String path) Solves a system of symbolic equations using Wolfram Mathematica installation.

Methods inherited from class java.lang.Object

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

Constructor Detail

ExternalSolver

public ExternalSolver()

Method Detail

solveSystemWithMaple

public static Expression[][] solveSystemWithMaple(ReducedSystem reducedSystem,
                                                  boolean keepFreeParameters,
                                                  java.lang.String mapleBinDir,
                                                  java.lang.String path)
                                           throws java.io.IOException,
                                                  java.lang.InterruptedException

Solves a system of symbolic equations using Maplesoft Maple installation.

Parameters:

reducedSystem - a system of symbolic equations

keepFreeParameters - if true then each solutions family will be in the most general form, otherwise some particular solution will be taken for each family of solutions

mapleBinDir - path to Maple bin directory

path - path to temporary directory

Returns:

solution of reducedSystem

Throws:

java.io.IOException

java.lang.InterruptedException

solveSystemWithMathematica

public static Expression[][] solveSystemWithMathematica(ReducedSystem reducedSystem,
                                                        boolean keepFreeParameters,
                                                        java.lang.String mathematicaBinDir,
                                                        java.lang.String path)
                                                 throws java.io.IOException,
                                                        java.lang.InterruptedException

Solves a system of symbolic equations using Wolfram Mathematica installation.

Parameters:

reducedSystem - a system of symbolic equations

keepFreeParameters - if true then each solutions family will be in the most general form, otherwise some particular solution will be taken for each family of solutions

mathematicaBinDir - path to directory with Mathematica executables

path - path to temporary directory

Returns:

solution of reducedSystem

Throws:

java.io.IOException

java.lang.InterruptedException

solveSystemWithExternalProgram

public static Expression[][] solveSystemWithExternalProgram(ExternalSolver.ExternalScriptCreator scriptCreator,
                                                            ReducedSystem reducedSystem,
                                                            boolean keepFreeParameters,
                                                            java.lang.String programBinDir,
                                                            java.lang.String path)
                                                     throws java.io.IOException,
                                                            java.lang.InterruptedException

Solves a system of symbolic equations using external program.

Parameters:

scriptCreator - external engine

reducedSystem - a system of symbolic equations

keepFreeParameters - if true then each solutions family will be in the most general form, otherwise some particular solution will be taken for each family of solutions

path - path to temporary directory

Returns:

solution of reducedSystem

Throws:

java.io.IOException

java.lang.InterruptedException