directProduct(Fan,Fan) -- computes the direct product of two fans

Synopsis

• Function: directProduct

• Usage:

  F = directProduct(F1,F2)

• Inputs:
  • F1, an instance of the type Fan
  • F2, an instance of the type Fan
• Outputs:
  • F, an instance of the type Fan

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.