%0 Journal Article
%T A Scientific Calculator for Exact Real Number Computation Based on LRT, GMP and FC++
%A Alejandra Lucatero
%A J. Raymundo Marcial-Romero
%A J. A. Hern芍ndez
%J Acta Universitaria
%D 2012
%I 
%X El lenguaje de verificaci車n redundante (LRT, por sus siglas en ingl谷s) es un lenguaje de programaci車n para el c車mputo con n迆meros reales exactos. Su m谷todo de evaluaci車n lazy (o mejor conocido como llamada por necesidad) y el manejo de listas infinitas requerido, hace que el lenguaje sea apropiado para su implementaci車n en un lenguaje funcional como Haskell. Sin embargo, la implementaci車n directa de la sem芍ntica operacional de LRT en Haskell as赤 como los algoritmos para funciones b芍sicas (suma, resta, multiplicaci車n y divisi車n) y funciones trigonom谷tricas (seno, coseno, tangente, etc) hace que la calculadora cient赤fica resultante sea ineficiente. En este art赤culo, presentamos una implementaci車n alternativa de la calculadora cient赤fica usando FC++ y GMP. FC++ es una librer赤a que utiliza el paradigma Funcional en C++ mientras que GMP es una librer赤a GNU de m迆ltiple precisi車n. En el art赤culo mostramos que la implementaci車n directa de LRT en FC++ resulta en una librer赤a m芍s eficiente que la implementada en Haskell. Language for Redundant Test (LRT) is a programming language for exact real number computation. Its lazy evaluation mechanism (also called call-by-need) and its infinite list requirement, make the language appropriate to be implemented in a functional programming language such as Haskell. However, a direction translation of the operational semantics of LRT into Haskell as well as the algorithms to implement basic operations (addition subtraction, multiplication, division) and trigonometric functions (sin, cosine, tangent, etc.) makes the resulting scientific calculator time consuming and so inefficient. In this paper, we present an alternative implementation of the scientific calculator using FC++ and GMP. FC++ is a functional C++ library while GMP is a GNU multiple presicion library. We show that a direct translation of LRT in FC++ results in a faster scientific calculator than the one presented in Haskell.
%K Real number computation
%K functional programming
%K operational semantics.
%U http://www.actauniversitaria.ugto.mx/index.php/acta/article/view/339