Skip to content

Draft: Add properties is_unique and is_exhaustive

Simon Praetoriusrequested to merge
feature/add-tensor-properties into main

Implement properties about the mapping guarantees. Those might be useful to design special algorithms or to check whether a fast implementation is possible at all.

Merge request reports