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

Function

Prune ( tup() T ) -> tup()

Description

The sequence built by pruning the tuple T (the result lies in a new cartesian product of course).

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