TU-Berlin → Inst. f. Mathematik → Algebra und Zahlentheorie → KASH → Documentation → Reference Manual
 KASH3 Reference Manual
Documentation
IntroductionReference ManualIndex
search    

Operation

record left  =  record right -> elt-alg^boo

Description

If 'right' or 'left' has an element with the name 'operations', which is a record, and this record has an element '=', which is a function, then this function is called with 'left' and 'right' as arguments and 'left = right' is the value returned by this function.

In all other cases the operands are considered equal if both are records and they have the same names and all corresponding elements equal.

See also

Extend ( any ) -> record
Base ( any ) -> any
operations
record
rec ( nof(any) ) -> record

Built: Mon Nov 14 21:12:39 UTC 2005 on mack
The KANT Group