Questions sur l'arithmétique à point fixe, effectuée à l'aide d'un nombre défini de décimales. Pour les combinateurs utilisés pour coder la récursivité, utilisez plutôt [Combinateurs de FixPoint]. Pour la méthode numérique, utilisez plutôt [itération à point fixe]. Pour le moteur fixePoint de Z3, utilisez la place [Z3-FixePoint].
Je cherche le meilleur algorithme racinaire carré inverse pour les chiffres fixes 16.16. Le code ci-dessous est ce que j'ai jusqu'à présent (mais il faut essentiellement la ra ...
