Indexes in sums and series: from formal definition to object-oriented implementation
Applicative mathematics is done with indexes. Physics, chemistry, and engineering sciences yield a wide range of applications where expressions containing indexes are used for formalizing and computing. Nevertheless, the available computer algebra systems often show little skill in dealing with expressions that contain indexes. Typical problems include: incorrect notion of variable binding and lack of knowledge about the domains over which the variables range. Wang (1990) and Cioni and Miola (1990) pointed out these deficiencies. In this paper, we show how the object-oriented design methodology proposed by the TASSO project can be applied successfully to this case.
KeywordsComputer Algebra System Symbolic Manipulation Abstract Data Type Symbolic Object Algebraic Domain
Unable to display preview. Download preview PDF.
- Bobrow, D. G., DeMichiel, L. G., Gabriel, P., Keene, S. E., Kiczales, G., Moon, D. A. (1988): Common Lisp object system specification. Tech. Rep. X3JI3 doc. 88–002R, ANSI Common Lisp Standard Committee. (SIGPLAN Not. 23/9).Google Scholar
- Cioni, G., Miola, A. (1990): Specification and programming methodologies for axiomatizable objects manipulation: TASSO Project. Tech. Rep. P/04/31, Istituto di Analisi dei Sistemi ed Informatica, Consiglio Nazionale delle Ricerche, Rome.Google Scholar
- Miola, A. (1983): Design specifications for manipulation of sums and series. Tech. Rep. R.66, Istituto di Analisi dei Sistemi ed Informatica, Consiglio Nazionale delle Ricerche, Rome.Google Scholar
- Shen, W., Wall, B., Wang, D. (1992): Manipulating uncertain mathematical objects: the case of indefinite sums and products. Tech. Rep. 92–23, RISC Linz, Johannes Kepler University, Linz.Google Scholar
- Wang, D. (1990): Differentiation and integration of indefinite summations. Tech. Rep. 90–37.0, RISC Linz, Johannes Kepler University, Linz.Google Scholar