Length of tuples:
=================
p = 4
Dimension tuple:
================
n = (6, 8, 8, 7)
Sign tuple:
===========
s = (+1, -1, +1, -1)
Canonical tuples:
=================
+1 -1 +1 -1
#1 J(2,1): J I I I
#2 J(2,1): J I I I
#3 L(1,1,3): FT I G I
#4 L(1,1,4): FT I I GT
Pairwise interactions
=====================
Tuple #1, J(2,1), interacting with tuple #1, J(2,1)
[++] Equation and variant: I:1
[BI] Tuple & modified tuple: JJ --> JJ
[IC] Interaction: min(l,m) = 2
Tuple #1, J(2,1), interacting with tuple #2, J(2,1)
[++] Equation and variant: I:1
[BI] Tuple & modified tuple: JJ --> JJ
[IC] Interaction: min(l,m) = 2
Tuple #1, J(2,1), interacting with tuple #3, L(1,1,3)
[+++] Equation and variant: I:3
[BII] Tuple & modified tuple: JL --> JR
[ICC] Interaction: 0 = 0
Tuple #1, J(2,1), interacting with tuple #4, L(1,1,4)
[++-] Equation and variant: II:1
[BII] Tuple & modified tuple: JL --> JL
[ICC] Interaction: l = 2
Tuple #2, J(2,1), interacting with tuple #1, J(2,1)
[++] Equation and variant: I:1
[BI] Tuple & modified tuple: JJ --> JJ
[IC] Interaction: min(l,m) = 2
Tuple #2, J(2,1), interacting with tuple #2, J(2,1)
[++] Equation and variant: I:1
[BI] Tuple & modified tuple: JJ --> JJ
[IC] Interaction: min(l,m) = 2
Tuple #2, J(2,1), interacting with tuple #3, L(1,1,3)
[+++] Equation and variant: I:3
[BII] Tuple & modified tuple: JL --> JR
[ICC] Interaction: 0 = 0
Tuple #2, J(2,1), interacting with tuple #4, L(1,1,4)
[++-] Equation and variant: II:1
[BII] Tuple & modified tuple: JL --> JL
[ICC] Interaction: l = 2
Tuple #3, L(1,1,3), interacting with tuple #1, J(2,1)
[+++] Equation and variant: I:1
[BIB] Tuple & modified tuple: LJ --> LJ
[ICI] Interaction: 0 = 0
Tuple #3, L(1,1,3), interacting with tuple #2, J(2,1)
[+++] Equation and variant: I:1
[BIB] Tuple & modified tuple: LJ --> LJ
[ICI] Interaction: 0 = 0
Tuple #3, L(1,1,3), interacting with tuple #3, L(1,1,3)
[++++] Equation and variant: VIII:1
[BIBI] Tuple & modified tuple: LL --> LL
[ICIC] Interaction: 1+min(l,m) = 2
Tuple #3, L(1,1,3), interacting with tuple #4, L(1,1,4)
[+++-] Equation and variant: II:1
[BIBI] Tuple & modified tuple: LL --> LL
[ICIC] Interaction: l+1 = 2
Tuple #4, L(1,1,4), interacting with tuple #1, J(2,1)
[++-] Equation and variant: IV:1
[BIB] Tuple & modified tuple: LJ --> LJ
[ICI] Interaction: 0 = 0
Tuple #4, L(1,1,4), interacting with tuple #2, J(2,1)
[++-] Equation and variant: IV:1
[BIB] Tuple & modified tuple: LJ --> LJ
[ICI] Interaction: 0 = 0
Tuple #4, L(1,1,4), interacting with tuple #3, L(1,1,3)
[+++-] Equation and variant: IV:3
[BIIB] Tuple & modified tuple: LL --> LR
[ICCI] Interaction: 0 = 0
Tuple #4, L(1,1,4), interacting with tuple #4, L(1,1,4)
[++--] Equation and variant: VII:1
[BIIB] Tuple & modified tuple: LL --> LL
[ICCI] Interaction: max(0,l-m+1) = 1
Summary
=======
Kernel dimension: 17
Codimension: 14
MATLAB code
===========
function [c,d,Z] = compute_codimension()
% System matrix Z is 210 x 213
Z = zeros(210, 213);
A1 = blkdiag(J(2,1.000000),J(2,1.000000),F(1)',F(1)');
A2 = blkdiag(eye(2),eye(2),eye(2),eye(2));
A3 = blkdiag(eye(2),eye(2),G(1),eye(2));
A4 = blkdiag(eye(2),eye(2),eye(1),G(1)');
Z(1:48,37:100) = - kron(A1',eye(8));
Z(1:48,1:36) = kron(eye(6),A1);
Z(49:112,101:164) = kron(eye(8),A2);
Z(49:112,37:100) = - kron(A2',eye(8));
Z(113:168,165:213) = - kron(A3',eye(7));
Z(113:168,101:164) = kron(eye(8),A3);
Z(169:210,1:36) = kron(eye(6),A4);
Z(169:210,165:213) = - kron(A4',eye(7));
d = size(Z,2) - rank(Z);
c = d + (-3);
function A = J(m,x)
A = gallery('jordbloc', m, x);
function A = F(m)
A = eye(m+1);
A = A(1:m,:);
function A = G(m)
A = J(m+1,0);
A = A(1:m,:);