TU-Berlin | → | Inst. f. Mathematik | → | Algebra und Zahlentheorie | → | KASH | → | Documentation | → | Reference Manual

| KASH3 Reference Manual

Introduction | Reference Manual | Index

search

### Operation

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

### Description

<shortdoc> 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. </shortdoc>

### 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