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

Function

DryAdd_ ( dry D, any obj ) -> state

Description

Add `obj' to `D' by assigning `obj' at the next position beyond the scope of `D' such that `D' stays a dry.
If `obj' is already an element of `D' then `D' is not changed. Otherwise `obj' is inserted such that `D' is again a dry afterwards.
Note: This function works by side effect and returns a state.

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