MILONGA swMATH ID: 13673 Software Authors: Bruno, N.; Heintz, J.; Matera, G.; Wachenchauzer, R. Description: Functional programming concepts and straight-line programs in computer algebra. We present MILONGA, a language based on functional programming concepts, which was designed for the implementation of a new generation of nonterm-rewriting elimination algorithms for multivariate polynomial solving.par These new algorithms profit from an alternative representation of multivariate polynomials by means of straight-line programs, allowing an exponential improvement of theoretical complexity – with respect to computing time and memory space – upon traditional, term-rewriting procedures.par There is a strong analogy between the way how these algorithms employ straight-line programs and the way how functional programming languages treat functions as first-class citizens. Taking advantage of this circumstance, the MILONGA language enables us to analyze the relevance of the functional programming paradigm for the particular kind of task of polynomial equation solving.par The paper contains an exhaustive do-it-yourself description of the programming philosophy of MILONGA, of the development of its compiler, of the operational semantics of its run-time system and of the implementation of a couple of fundamental computer algebra procedures in this language.par The practical efficiency of this philosophy and implementation is outlined by comparative benchmarking on significant test examples. Homepage: http://www.sciencedirect.com/science/article/pii/S0378475402000356 Keywords: MILONGA; functional programming; computer algebra procedures Related Software: Projective Noether; Kronecker; ISOLATE; RAGlib; Epsilon; SINGULAR; FOXBOX; LiDIA; GC; Haskell; Dagwood Cited in: 2 Documents Standard Articles 1 Publication describing the Software, including 1 Publication in zbMATH Year Functional programming concepts and straight-line programs in computer algebra. Zbl 1005.68187Bruno, N.; Heintz, J.; Matera, G.; Wachenchauzer, R. 2002 Cited by 5 Authors 1 Durvye, Clémence 1 Heintz, Joos 1 Lecerf, Grégoire 1 Matera, Guillermo 1 Wachenchauzer, Rosita Cited in 2 Serials 1 Mathematics and Computers in Simulation 1 Expositiones Mathematicae Cited in 3 Fields 2 Computer science (68-XX) 1 Commutative algebra (13-XX) 1 Algebraic geometry (14-XX) Citations by Year