Generates an arbitrary list of valid dimension names. Requires the hypothesis package to be installed. Parameters ---------- name_strategy Strategy for making names. Useful if we need to share this. min_dims Minimum number of dimensions in generated list.
(
*,
name_strategy=None,
min_dims: int = 0,
max_dims: int = 3,
)
| 133 | |
| 134 | |
| 135 | def dimension_names( |
| 136 | *, |
| 137 | name_strategy=None, |
| 138 | min_dims: int = 0, |
| 139 | max_dims: int = 3, |
| 140 | ) -> st.SearchStrategy[list[Hashable]]: |
| 141 | """ |
| 142 | Generates an arbitrary list of valid dimension names. |
| 143 | |
| 144 | Requires the hypothesis package to be installed. |
| 145 | |
| 146 | Parameters |
| 147 | ---------- |
| 148 | name_strategy |
| 149 | Strategy for making names. Useful if we need to share this. |
| 150 | min_dims |
| 151 | Minimum number of dimensions in generated list. |
| 152 | max_dims |
| 153 | Maximum number of dimensions in generated list. |
| 154 | """ |
| 155 | if name_strategy is None: |
| 156 | name_strategy = names() |
| 157 | |
| 158 | return st.lists( |
| 159 | elements=name_strategy, |
| 160 | min_size=min_dims, |
| 161 | max_size=max_dims, |
| 162 | unique=True, |
| 163 | ) |
| 164 | |
| 165 | |
| 166 | def dimension_sizes( |
searching dependent graphs…