Package | Description |
---|---|
jhelp.util.math.formal |
Formal computing
|
Modifier and Type | Method and Description |
---|---|
private Function |
Addition.AdditionSimplifier.simplify(Function function,
Subtraction subtraction)
f1 + (f2 - f3) => (f2 + f1) - f3
|
private Function |
Subtraction.SubtractionSimplifier.simplify(Function function,
Subtraction subtraction)
Simplification : X-(Y-Z) -> X+(Z-Y)
|
private Function |
MinusUnary.MinusUnarySimplifier.simplify(Subtraction subtraction)
Simplification : -(X-Y) -> Y-X
|
private Function |
Addition.AdditionSimplifier.simplify(Subtraction subtraction,
Function function)
(f1 - f2) + f3 => (f3 - f2) + f1
|
private Function |
Subtraction.SubtractionSimplifier.simplify(Subtraction subtraction,
Function function)
Simplification : (X-Y)-Z -> (X-Z)-Y
|
private Function |
Addition.AdditionSimplifier.simplify(Subtraction subtraction1,
Subtraction subtraction2)
(f1 - f2) + (f3 - f4) => (f1 + f3) - (f2 + f4)
|
private Function |
Subtraction.SubtractionSimplifier.simplify(Subtraction subtraction1,
Subtraction subtraction2)
Simplification : (X-Y)-(Z-A) -> (X-Z)+(A-Y)
|