SpECTRE  v2024.05.11
tenex::tensorindex_list_is_valid< TensorIndexList > Struct Template Reference
Tensor Expressions

Determine whether or not a given list of TensorIndexs is valid to be used with a tensor. More...

Detailed Description

template<typename TensorIndexList>
struct tenex::tensorindex_list_is_valid< TensorIndexList >

Determine whether or not a given list of TensorIndexs is valid to be used with a tensor.

Details

A list of TensorIndexs is considered valid if the subset of generic indices are a set. Indices with opposite valences are unique, e.g. one instance each of ti::a and ti::A is valid. An arbitrary number of concrete time indices, regardless of valence, is also valid.

Template Parameters
TensorIndexListlist of generic index types, e.g. the types of ti::a, ti::b
The documentation for this struct was generated from the following file: