Enum CanonicalizationMethod¶

Enum Documentation¶

enum class sequant::CanonicalizationMethod¶

canonicalization methods

Values:

enumerator Topological¶: Enables use of expression topology in the canonicalization, may be expensive.

Note

Canonicalization of tensor networks must take into account the topology of the TN; this enables the use of canonical graph sort of all TN elements. By itself it leaves the order of named indices in (anti)symmetric slots to the graph, so its result depends on how an expression is spelled (e.g. a lone tensor vs the same tensor scaled) and may be aesthetically poor; Complete canonicalization does not.

enumerator Lexicographic¶: Enables the use of rapid canonicalization based on lexicographic sort.

Note

for TN this performs lexicographic sort of tensors, slots and slot bundles, and indices. Produces aesthetically pleasing result, but incomplete if some tensors are identical

enumerator Complete¶: Enables use of Topological, then Lexicographic. Guaranteed to work even if some tensors are identical, and the result is aesthetically pleasing.