Object Oriented Method for Axiom.

Axiom 1 is a very powerful computer algebra system which combines two languages paradigms (functional and OOP). Mathematical world is complex and mathematicians use abstraction to modelise it. This paper presents some aspects of the object oriented development in Axiom. The axiom programming is based on several new tools for object oriented development, it uses two levels of class and some operations such that coerce, retract or convert which permit the type evolution. These notions introduce the concept of multi-view. Keywords: Functional Language, Coercion, Object Oriented Development, Simple and Multiple Inheritance. 1 Axiom (in past SCRATCHPAD II) is a product distributed by the NAG society and developped in past by IBM. 1 Introduction. Axiom is a very powerful Computer Algebra System, mixing two programming methods. 1. Functional programming : ffl All objects manipulated by a program are functions (function are first-class objects), ffl The control structure is function ..