Closed sekunder closed 5 years ago
added simplexmap, which describes the morphism of codes from a simplex to an intersection complete code with unique maximal element
added simplexmap, which describes the morphism of codes from a simplex to an intersection complete code with unique maximal element