Computing the Discrete Compactness of Orthogonal Pseudo-Polytopes via Their 𝑛D-EVM Representation

Algorithm 1

Computing the sequence of sections from an $n$D-OPP p.

Input: An $n$D-EVM p.

Procedure EVM_to_SectionSequence(EVM p)

      EVM hvl // Current couplet.

      EVM S_i, S_j// Previous and next sections about hvl.

      hvl = InitEVM( )

      S_i = InitEVM( )

      S_j = InitEVM( )

      hvl = ReadHvl(p)

      while (Not(EndEVM(p)))

          S_j = GetSection(S_i, hvl)

          Process(S_i, S_j)

          S_i = S_j

          hvl = ReadHvl(p) // Read next couplet.

      end-of-while

end-of-procedure