TU-Berlin → Inst. f. Mathematik → Algebra und Zahlentheorie → KASH → Documentation → Reference Manual
KASH3 Reference Manual
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.


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