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

Operation

record left  mod  record right -> any

Description

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

In all other cases an error is raised.

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