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

Operation

any left  in  record right -> elt-alg^boo

Description

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

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