import mir.ndslice.allocation: slice;
import mir.ndslice.slice: sliced;

// eye
auto a = slice!double([4, 4], 0);
a.diagonal[] = 1;

auto b = [ 1, -1,
          -1,  1].sliced(2, 2);

auto c = kronecker(a, b);

assert(c == [
    [ 1, -1,  0,  0,  0,  0,  0,  0],
    [-1,  1,  0,  0,  0,  0,  0,  0],
    [ 0,  0,  1, -1,  0,  0,  0,  0],
    [ 0,  0, -1,  1,  0,  0,  0,  0],
    [ 0,  0,  0,  0,  1, -1,  0,  0],
    [ 0,  0,  0,  0, -1,  1,  0,  0],
    [ 0,  0,  0,  0,  0,  0,  1, -1],
    [ 0,  0,  0,  0,  0,  0, -1,  1]]);

auto a = iota([3], 1);

auto b = [ 1, -1];

auto c = kronecker(a, b);

assert(c == [1, -1, 2, -2, 3, -3]);

import mir.ndslice.allocation: slice;
import mir.ndslice.slice: sliced;

auto a = [ 1,  2,
           3,  4].sliced(2, 2);

auto b = [ 1,  0,
           0,  1].sliced(2, 2);

auto c = [ 1, -1,
          -1,  1].sliced(2, 2);

auto d = kronecker(a, b, c);

assert(d == [
    [ 1, -1,  0,  0,  2, -2,  0,  0],
    [-1,  1,  0,  0, -2,  2,  0,  0],
    [ 0,  0,  1, -1,  0,  0,  2, -2],
    [ 0,  0, -1,  1,  0,  0, -2,  2],
    [ 3, -3,  0,  0,  4, -4,  0,  0],
    [-3,  3,  0,  0, -4,  4,  0,  0],
    [ 0,  0,  3, -3,  0,  0,  4, -4],
    [ 0,  0, -3,  3,  0,  0, -4,  4]]);