Études-Mathématique/Mathématiques et compute
Question
Quels seront les évolutions de compute nécessaires pour s'adapter aux évolutions de la partie mathématique ?
Étude
Le logiciel "compute" calcul les expressions Lazi, si ce n'est pour des optimisations il n'a pas besoin de s'adapter. Il nous reste donc à étudier quels sont les optimisations qu'il serait utile d'intégrer à compute par la suite. Cela est d'autant plus utile que Lazi peut passer par des abstractions (représenter et calculer Lazi en Lazi) très longues à calculer sans optimisation.
Des optimisations courantes sont les calculs sur les représentations de formules. Il est bien dans compute d'avoir une notation pour la représentation de formules, par exemple pour pouvoir faire des remplacements de variables Lazi.
Réponse
Les adaptations de compute ont seulement un but d'optimisation, mais celles ci peuvent être impératives car la quantité de calcul nécessaire pourraient sinon devenir irréalisable. Je pense qu'il faut juste prévoir une représentation de formule. Il me semble que compute n'aura pas à beaucoup changer sa structure pour s'adapter.