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

Function

Base ( any A ) -> any

Description

If 'A' is a record with a 'base' component then return 'A.base'. Otherwise return 'A'.

See also

Extend ( any ) -> record
Eq ( any, any ) -> elt-alg^boo
record
rec ( nof(any) ) -> record

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