List of Import References :
See BOOL
See DENOTATION
See Quadruple
SIGNATURE QuadrupleMap[data1,data2,data3,data4,
$Date: 2010-09-30 18:24:17 +0200 (Do, 30. Sep 2010) $ ($Revision: 616 $)
data11,data21,data31,data41]
-- Parameter
SORT data1 data2 data3 data4 data11 data21 data31 data41
IMPORT Quadruple[data1,data2,data3,data4] ONLY quad
Quadruple[data11,data21,data31,data41] ONLY quad
FUN * : (data1 -> data11) ** (data2 -> data21) **
(data3 -> data31) ** (data4 -> data41) **
quad[data1,data2,data3,data4] -> quad[data11, data21,data31,data41]
-- (f,g,h,i) * &(a,b,c,d) = &(f(a), g(b), h(c), i(d))
next node: TripleConv,
prev node: QuadrupleConv,
up to node: Subsystem ProductLike