refactored ordinal discussion from diSimplexEngine into ordinalArithmetic