Dans la présentation classique des quaternions, où on prend comme base sur R, 1, i, j, k avec les relations qui vont bien (comme p.ex. dans Wikipedia).
En fait je corrigeais une erreur, puisque tu n'inverses pas i et j dans ton équation.
Je ne suis pas sûr de bien te comprendre, mais j'ai l'impression qu'en gros tu veux que le langage se retienne le plus longtemps possible de faire les calculs sur les nombres réels jusqu'à ce que "l'expression finale" soit connue, pour être adéquatement simplifiée avant que le calcul proprement dit n'ait lieu, en choisissant une précision adéquate?
Exactement, quittes à sortir maxima si il le faut.
La difficulté tient dans le fait qu'il faut pouvoir faire des optimisations qui soient cohérentes dans un contexte que le compilateur ne connaît a priori pas, par exemple un système d'équations que le compilateur ne connaît pas parceque les systèmes d'équations ne sont pas un concept du langage.
Je ne vois pas ou tu veux en venir. Mon langage peut proposer des fonctions de base qui peuvent servir à définir d'autres fonctions 'exacte'. Je parle bien de formule, ce n'est pas un compilateur qui va résoudre un système d'équation.
En gros ce que tu proposes de laisser au compilateur est aujourd'hui largement un processus manuel.
Exactement oui, car le code issue du processus manuel est totalement incompréhensible sans les équations en question. Dis autrement, cela rejoint la préoccupation de l'éloignement du "modèle métier" du code proprement dit. Aujourd'hui, il est à la mode de clairement séparer la logique métier, de tous le support qui va autour (transport, log, trace, compteur, rate limite, base de donné,...)
Un exemple serait l'écriture des codec vidéo. La plus part des codecs utilisent des boites algorithmiques plus ou moins identiques, avec des paramètres différents. Mais pour des raisons de performances, le tout est agrégé, et aucun bloc n'est réutilisable.
[^] # Re: HS math : polynômes de complexe
Posté par Nicolas Boulay (site web personnel) . En réponse à la dépêche Le Frido : un livre, libre, de mathématiques pour l’agrégation. Évalué à 4.
En fait je corrigeais une erreur, puisque tu n'inverses pas i et j dans ton équation.
Exactement, quittes à sortir maxima si il le faut.
Je ne vois pas ou tu veux en venir. Mon langage peut proposer des fonctions de base qui peuvent servir à définir d'autres fonctions 'exacte'. Je parle bien de formule, ce n'est pas un compilateur qui va résoudre un système d'équation.
Exactement oui, car le code issue du processus manuel est totalement incompréhensible sans les équations en question. Dis autrement, cela rejoint la préoccupation de l'éloignement du "modèle métier" du code proprement dit. Aujourd'hui, il est à la mode de clairement séparer la logique métier, de tous le support qui va autour (transport, log, trace, compteur, rate limite, base de donné,...)
Un exemple serait l'écriture des codec vidéo. La plus part des codecs utilisent des boites algorithmiques plus ou moins identiques, avec des paramètres différents. Mais pour des raisons de performances, le tout est agrégé, et aucun bloc n'est réutilisable.
"La première sécurité est la liberté"