Proyecto

General

Perfil

Diferencias con el ex4j original » Histórico » Versión 2

Federico Vera, 2018-07-12 22:30

1 1 Federico Vera
# Diferencias con el ex4j original
2
3
{{>toc}}
4
# Nota
5
Existen muchas diferencias con `exp4j` original, algunas de las cuales pueden causar problemas de compatibilidad para usuarios avanzados de `exp4j`.
6
7
# Diferencias Generales
8 2 Federico Vera
Entre los cambios mas significativos de esta versión de `exp4j` se encuentran: un simplificador (preevaluador), manejo de variables, funciones adicionales, enums, [[Diferencias_con_el_ex4j_original#Constantes-como-funciones|*constantes como funciones*]] e impresión de tokens.
9 1 Federico Vera
10 2 Federico Vera
## Simplificador (preevaluador)
11
El simplificador es una funcionalidad intereante ([discusión original](https://github.com/fasseg/exp4j/issues/26)) cuando las expresiones tienen operaciones conocidas en tiempo de creación, por ejemplo, consideremos la expresión `2^x + 4 / 2` que puede convertirse en `2^x + 2`. No parece demasiado.... o si? la realidad es que al utilizar múltiples evaluaciones, muchas constantes varios valores de `x` (por ejemplo al graficar) esta diferencia es muy notoria ([primera prueba de performance](https://github.com/fasseg/exp4j/issues/26#issuecomment-70547026)).
12 1 Federico Vera
13 2 Federico Vera
Otra simplificación interesante es al utilizar expresiones del tipo `if(exp, v_true, v_false)`, el simplificador puede quitar (en algunos casos) el bloque `if` completo, por ejemplo `if(1 > 0 & 3 < 4, a * pi(), e())` se convierte en `a * pi()` (de hecho en `if(1, a * pi(), e())`... _Todavía estoy trabajando en esto..._
14 1 Federico Vera
15 2 Federico Vera
### Usando el simplificador
16
Por defecto se encuentra desactivado, dado que no es realmente necesarios cuando se ejecuta una operación una sola vez (el simplificador hace toda una evaluación para funcionar). 
17 1 Federico Vera
18 2 Federico Vera
Para activar el simplificador simplemente es necesario pasar `true` al builder:
19 1 Federico Vera
20
~~~java
21 2 Federico Vera
    // por defecto ExpressionBuilder#build() es #build(false)
22 1 Federico Vera
    Expression ex = new ExpressionBuilder("2^3 + 4 / 2").build(true);
23
    double result = ex.evaluate();
24
~~~
25
26 2 Federico Vera
### Una pequeña nota
27
Un simplificador _**debería**_ simplificar solamente funciones determinísticas, por lo tanto ahora disponemos de una bandera `deterministic` en el constructor de las funciones (valor por defecto `true`). Por lo tanto si utiliza funciones [no deterministas](https://es.wikipedia.org/wiki/Algoritmo_no_determinista) deberá cambiar la declaración de la función a:
28 1 Federico Vera
29
~~~java
30 2 Federico Vera
    Function rand_deterministica = new Function("randd", 0) {
31 1 Federico Vera
        @Override
32
        public double apply(double... args) {
33 2 Federico Vera
            // Falla épica de simplificación
34 1 Federico Vera
            return Math.random();
35
        }
36
    };
37
~~~
38 2 Federico Vera
A esto:
39 1 Federico Vera
~~~java
40 2 Federico Vera
    Function rand_NO_deterministica = new Function("randnd", 0, false) {
41
    //                                             Esta bandera ^^^^^
42 1 Federico Vera
        @Override
43
        public double apply(double... args) {
44
            return Math.random();
45
        }
46
    };
47
~~~
48
49 2 Federico Vera
Este cambio puede resultar molesto para aquellos que utlicen muchas funciones no deterministas... aunque dado que el simplificador está desactivado por defecto, la mayoría de la gente no debería tener problemas.
50 1 Federico Vera
51
## Internal variable handling
52
This isn't really an issue in itself, it makes `exp4j` gain some performance, avoid possible errors, and improve code readability. But doesn't honor the _inmutable token_ filosophy of both `exp4j` and stack based calculators, so if you want to start hacking in this fork you should take this into account.
53
54
### So... what's the change?
55
The real changes is commit:d2d96fce and in commit:7f280988 you can see an example of one the pitfalls.
56
57
The original `exp4j` uses one token per variable, that's to say one token each time a variable is present in an expression which creates every time a variable is set, a state where the same variable has a different values in an expression. That's really a no go for me.
58
59
This version of `exp4j` uses the same token for each and every time a variable is present in an expression, which means that the moment you set a variable it was changed in every occurrence.
60
61
## Enums instead of final int variables
62
This should not be a problem for anybody, but it's necessary to address the change `->` commit:39dff556.
63
64
## Token printing
65
Some might call this a debugging tool, others the reason of a 50% increase in the final jar size, I simply call it token printing... it allowed me create a view of the internal expression. 
66
### Why should you care? 
67
Well the thing is, you probably won't, but there are some cases when using this sort of tools for research you need a way to audit the internals of the expression, not to try and guarantee result reproducibility, but to build extra trust in the expression that's being evaluated (_also... it's an awesome debbuging tool!_).
68
### How to print the tokens?
69
The two basic ways are:
70
~~~java
71
   Expression exp = new ExpressionBuilder("2x + 1").variable("x").build();
72
   String out1 = exp.toString();
73
   // out1 -> 2.0 x * 1.0 +
74
   String out2 = exp.toTokenString();
75
   // out2 -> NUMBER[2.0] VARIABLE[x] OPERATOR[*] NUMBER[1.0] OPERATOR[+]
76
~~~
77
78
## Constantes como funciones
79
We finally got to the change that will annoy most users and it's the change that will most probably _break_ things. In the original `exp4j` the constants where declared as simply constants, in this version constants are declared as functions so for instance `d * pi` is now `d * pi()`, this isn't an extreme change, but the reasoning is: some times your variables can have the name of constants... since users are not expected to know each and every constant implemented in `exp4j` this can cause trouble.
80
81 2 Federico Vera
## Traducciones
82
Todos los mensajes y advertencias pueden ser traducidos, y ya se tiene la primera traducción al Español
83 1 Federico Vera
84 2 Federico Vera
## Serialización
85
Todas las expresiones son `Serializable`s!
86 1 Federico Vera
87 2 Federico Vera
## Funciones adicionales
88
* [[Funciones Incluidas]]
89
* [[Operadores Incluidos]]
90
* [[Funciones y Operadores adicionales]]
Volver al inicio