Function sequant::opt::schedule::term_key

• Defined in File schedule_pin.cpp

Function Documentation

std::string sequant::opt::schedule::term_key(ExprPtr const &canonical)

toUtf8(v1::to_string(canonical)) – the identity of a term in the document. Canonicalization renames the dummy (contracted) indices only: the external indices keep the caller’s labels and are part of the key, so a root must be spelled with the same external labels on every run that pins it. The key also depends on the active Context’s canonicalization settings.