TU-Berlin | → | Inst. f. Mathematik | → | Algebra und Zahlentheorie | → | KASH | → | Documentation | → | Reference Manual
| KASH3 Reference Manual
Introduction | Reference Manual | Index
| search
| ### Keyword Records and Extended Objects ### Description In KASH3 records serve multiple purposes. First of all they allow the construction of complex structures. These data structures can easily be assigned new types by simply adding a 'type' component. They can also be used to extend existing data structures: if a record contains a 'base' component, then it is treated like its 'base' component by most functions. Furthermore records can be used to overload the operations '+', '-', '*', '/', '>', '=', 'mod' by including in an 'operations' component. ### See also record rec ( nof(any) ) -> record base Extend ( any ) -> record Base ( any ) -> any Type ( any ) -> type operations
| Built: Mon Nov 14 21:12:39 UTC 2005 on mack