Description
The
directProduct of two fans is the fan given by
C = C1 x C2 for all cones
C1 in F1 and
C2 in F2 in the direct product of the ambient spaces.
i1 : F1 = normalFan hypercube 1
o1 = F1
o1 : Fan
|
i2 : F2 = normalFan hypercube 2
o2 = F2
o2 : Fan
|
i3 : F = directProduct(F1,F2)
o3 = F
o3 : Fan
|
i4 : F == normalFan hypercube 3
o4 = true
|
See also
Fan * Fan.