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


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


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 ltual if both records have the same names and all corresponding elements ltual.

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