Description
Computes the direct product of two fans. This 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.
See also
directProduct(Fan,Fan).
i1 : F1 = normalFan hypercube 1
o1 = {ambient dimension => 1 }
number of generating cones => 2
number of rays => 2
top dimension of the cones => 1
o1 : Fan
|
i2 : F2 = normalFan hypercube 2
o2 = {ambient dimension => 2 }
number of generating cones => 4
number of rays => 4
top dimension of the cones => 2
o2 : Fan
|
i3 : F = F1 * F2
o3 = {ambient dimension => 3 }
number of generating cones => 8
number of rays => 6
top dimension of the cones => 3
o3 : Fan
|
i4 : F == normalFan hypercube 3
o4 = true
|