import mir.ndslice.topology: iota, canonical, universal;

assert(iota(5, 3, 6, 7)
    .dropToHypercube
    .shape == cast(size_t[4])[3, 3, 3, 3]);

assert(iota(5, 3, 6, 7)
    .universal
    .dropToHypercube
    .shape == cast(size_t[4])[3, 3, 3, 3]);

assert(4.iota.dropToHypercube == 4.iota);