Remove subdimensions of 1
| 990 | |
| 991 | // Remove subdimensions of 1 |
| 992 | static void remove_1_sub_dims(std::vector<dimension::sub>& subdimensions) |
| 993 | { |
| 994 | subdimensions.erase(std::remove_if(subdimensions.begin(), |
| 995 | subdimensions.end(), |
| 996 | [&](const dimension::sub& d) { return d.len == 1; }), |
| 997 | subdimensions.end()); |
| 998 | if(subdimensions.empty()) |
| 999 | subdimensions.push_back({1, {}}); |
| 1000 | } |
| 1001 | |
| 1002 | void dimension::simplify() |
| 1003 | { |