red(DEF) yellow(ACDE) blue(BCDE)
{ E + x = a 2 E − x + y = b 2 E − y = c 2 E − x − y = d 2 E = e 2 E + x + y = f 2 \left\{\begin{aligned}E+x&=a^2\\E-x+y&=b^2\\E-y&=c^2\\E-x-y&=d^2\\E&=e^2\\E+x+y&=f^2\end{aligned}\right. ⎩ ⎨ ⎧ E + x E − x + y E − y E − x − y E E + x + y = a 2 = b 2 = c 2 = d 2 = e 2 = f 2 d 2 + f 2 = 2 e 2 d^2+f^2=2e^2 d 2 + f 2 = 2 e 2 a 2 + d 2 = c 2 + e 2 a^2+d^2=c^2+e^2 a 2 + d 2 = c 2 + e 2 b 2 + 2 c 2 = d 2 + 2 e 2 b^2+2c^2=d^2+2e^2 b 2 + 2 c 2 = d 2 + 2 e 2 Одна прогрессия и две квадрики на общем блоке C,D,E.
Каноническая система
red(CEG) yellow(ACDE) yellow(ABEG)
{ E + x = a 2 E − x + y = b 2 E − y = c 2 E − x − y = d 2 E = e 2 E + y = g 2 \left\{\begin{aligned}E+x&=a^2\\E-x+y&=b^2\\E-y&=c^2\\E-x-y&=d^2\\E&=e^2\\E+y&=g^2\end{aligned}\right. ⎩ ⎨ ⎧ E + x E − x + y E − y E − x − y E E + y = a 2 = b 2 = c 2 = d 2 = e 2 = g 2 c 2 + g 2 = 2 e 2 c^2+g^2=2e^2 c 2 + g 2 = 2 e 2 a 2 + d 2 = c 2 + e 2 a^2+d^2=c^2+e^2 a 2 + d 2 = c 2 + e 2 a 2 + b 2 = e 2 + g 2 a^2+b^2=e^2+g^2 a 2 + b 2 = e 2 + g 2 Прогрессия CEG и две независимые гауссовы нормы.
Каноническая система
red(CDH) red(BEH) yellow(ACEH)
{ E + x = a 2 E − x + y = b 2 E − y = c 2 E − x − y = d 2 E = e 2 E + x − y = h 2 \left\{\begin{aligned}E+x&=a^2\\E-x+y&=b^2\\E-y&=c^2\\E-x-y&=d^2\\E&=e^2\\E+x-y&=h^2\end{aligned}\right. ⎩ ⎨ ⎧ E + x E − x + y E − y E − x − y E E + x − y = a 2 = b 2 = c 2 = d 2 = e 2 = h 2 d 2 + h 2 = 2 c 2 d^2+h^2=2c^2 d 2 + h 2 = 2 c 2 b 2 + h 2 = 2 e 2 b^2+h^2=2e^2 b 2 + h 2 = 2 e 2 a 2 + c 2 = e 2 + h 2 a^2+c^2=e^2+h^2 a 2 + c 2 = e 2 + h 2 Пересекающийся red–red–yellow с общей клеткой H.
Прямоугольный K3: 2I₄+8I₂; 2≤rank≤4
red(BDJ) red(AEJ) yellow(ACDE)
{ E + x = a 2 E − x + y = b 2 E − y = c 2 E − x − y = d 2 E = e 2 E − x = j 2 \left\{\begin{aligned}E+x&=a^2\\E-x+y&=b^2\\E-y&=c^2\\E-x-y&=d^2\\E&=e^2\\E-x&=j^2\end{aligned}\right. ⎩ ⎨ ⎧ E + x E − x + y E − y E − x − y E E − x = a 2 = b 2 = c 2 = d 2 = e 2 = j 2 b 2 + d 2 = 2 j 2 b^2+d^2=2j^2 b 2 + d 2 = 2 j 2 a 2 + j 2 = 2 e 2 a^2+j^2=2e^2 a 2 + j 2 = 2 e 2 a 2 + d 2 = c 2 + e 2 a^2+d^2=c^2+e^2 a 2 + d 2 = c 2 + e 2 Две пересекающиеся прогрессии и жёлтая склейка.
Прямоугольный K3: 2I₄+8I₂; 1≤rank≤4
red(BFG) yellow(BCDG) blue(ACFG)
{ E + x = a 2 E − x + y = b 2 E − y = c 2 E − x − y = d 2 E + x + y = f 2 E + y = g 2 \left\{\begin{aligned}E+x&=a^2\\E-x+y&=b^2\\E-y&=c^2\\E-x-y&=d^2\\E+x+y&=f^2\\E+y&=g^2\end{aligned}\right. ⎩ ⎨ ⎧ E + x E − x + y E − y E − x − y E + x + y E + y = a 2 = b 2 = c 2 = d 2 = f 2 = g 2 b 2 + f 2 = 2 g 2 b^2+f^2=2g^2 b 2 + f 2 = 2 g 2 b 2 + c 2 = d 2 + g 2 b^2+c^2=d^2+g^2 b 2 + c 2 = d 2 + g 2 2 a 2 + g 2 = c 2 + 2 f 2 2a^2+g^2=c^2+2f^2 2 a 2 + g 2 = c 2 + 2 f 2 Прогрессия, гауссова норма и норма x²+2y² без центральной клетки.
Каноническая система
red(AFH) red(CDH) yellow(BDFH)
{ E + x = a 2 E − x + y = b 2 E − y = c 2 E − x − y = d 2 E + x + y = f 2 E + x − y = h 2 \left\{\begin{aligned}E+x&=a^2\\E-x+y&=b^2\\E-y&=c^2\\E-x-y&=d^2\\E+x+y&=f^2\\E+x-y&=h^2\end{aligned}\right. ⎩ ⎨ ⎧ E + x E − x + y E − y E − x − y E + x + y E + x − y = a 2 = b 2 = c 2 = d 2 = f 2 = h 2 f 2 + h 2 = 2 a 2 f^2+h^2=2a^2 f 2 + h 2 = 2 a 2 d 2 + h 2 = 2 c 2 d^2+h^2=2c^2 d 2 + h 2 = 2 c 2 b 2 + h 2 = d 2 + f 2 b^2+h^2=d^2+f^2 b 2 + h 2 = d 2 + f 2 Пересекающийся red–red–yellow с общей клеткой H.
Прямоугольный K3: 2I₄+8I₂; 1≤rank≤4
red(BDJ) yellow(ACGJ) yellow(BCDG)
{ E + x = a 2 E − x + y = b 2 E − y = c 2 E − x − y = d 2 E + y = g 2 E − x = j 2 \left\{\begin{aligned}E+x&=a^2\\E-x+y&=b^2\\E-y&=c^2\\E-x-y&=d^2\\E+y&=g^2\\E-x&=j^2\end{aligned}\right. ⎩ ⎨ ⎧ E + x E − x + y E − y E − x − y E + y E − x = a 2 = b 2 = c 2 = d 2 = g 2 = j 2 b 2 + d 2 = 2 j 2 b^2+d^2=2j^2 b 2 + d 2 = 2 j 2 a 2 + j 2 = c 2 + g 2 a^2+j^2=c^2+g^2 a 2 + j 2 = c 2 + g 2 b 2 + c 2 = d 2 + g 2 b^2+c^2=d^2+g^2 b 2 + c 2 = d 2 + g 2 Одна прогрессия и две независимые гауссовы нормы.
Каноническая система
red(BDJ) red(CDH) yellow(ABHJ)
{ E + x = a 2 E − x + y = b 2 E − y = c 2 E − x − y = d 2 E + x − y = h 2 E − x = j 2 \left\{\begin{aligned}E+x&=a^2\\E-x+y&=b^2\\E-y&=c^2\\E-x-y&=d^2\\E+x-y&=h^2\\E-x&=j^2\end{aligned}\right. ⎩ ⎨ ⎧ E + x E − x + y E − y E − x − y E + x − y E − x = a 2 = b 2 = c 2 = d 2 = h 2 = j 2 b 2 + d 2 = 2 j 2 b^2+d^2=2j^2 b 2 + d 2 = 2 j 2 d 2 + h 2 = 2 c 2 d^2+h^2=2c^2 d 2 + h 2 = 2 c 2 a 2 + j 2 = b 2 + h 2 a^2+j^2=b^2+h^2 a 2 + j 2 = b 2 + h 2 Пересекающаяся пара прогрессий с общей клеткой D.
Прямоугольный K3: 2I₄+8I₂; 1≤rank≤4
red(CEG) red(BEH) yellow(ACEH)
{ E + x = a 2 E − x + y = b 2 E − y = c 2 E = e 2 E + y = g 2 E + x − y = h 2 \left\{\begin{aligned}E+x&=a^2\\E-x+y&=b^2\\E-y&=c^2\\E&=e^2\\E+y&=g^2\\E+x-y&=h^2\end{aligned}\right. ⎩ ⎨ ⎧ E + x E − x + y E − y E E + y E + x − y = a 2 = b 2 = c 2 = e 2 = g 2 = h 2 c 2 + g 2 = 2 e 2 c^2+g^2=2e^2 c 2 + g 2 = 2 e 2 b 2 + h 2 = 2 e 2 b^2+h^2=2e^2 b 2 + h 2 = 2 e 2 a 2 + c 2 = e 2 + h 2 a^2+c^2=e^2+h^2 a 2 + c 2 = e 2 + h 2 Та же квартика K3, что у ABCEGJ, с другим чтением клеток.
Прямоугольный K3: 2I₄+8I₂; 2≤rank≤4
red(CEG) red(AEJ) yellow(BEGJ)
{ E + x = a 2 E − x + y = b 2 E − y = c 2 E = e 2 E + y = g 2 E − x = j 2 \left\{\begin{aligned}E+x&=a^2\\E-x+y&=b^2\\E-y&=c^2\\E&=e^2\\E+y&=g^2\\E-x&=j^2\end{aligned}\right. ⎩ ⎨ ⎧ E + x E − x + y E − y E E + y E − x = a 2 = b 2 = c 2 = e 2 = g 2 = j 2 c 2 + g 2 = 2 e 2 c^2+g^2=2e^2 c 2 + g 2 = 2 e 2 a 2 + j 2 = 2 e 2 a^2+j^2=2e^2 a 2 + j 2 = 2 e 2 b 2 + e 2 = g 2 + j 2 b^2+e^2=g^2+j^2 b 2 + e 2 = g 2 + j 2 Та же квартика K3, что у ABCEGH, с другим чтением клеток.
Прямоугольный K3: 2I₄+8I₂; 2≤rank≤4
yellow(ACGJ) yellow(ABHJ) blue(ACHJ)
{ E + x = a 2 E − x + y = b 2 E − y = c 2 E + y = g 2 E + x − y = h 2 E − x = j 2 \left\{\begin{aligned}E+x&=a^2\\E-x+y&=b^2\\E-y&=c^2\\E+y&=g^2\\E+x-y&=h^2\\E-x&=j^2\end{aligned}\right. ⎩ ⎨ ⎧ E + x E − x + y E − y E + y E + x − y E − x = a 2 = b 2 = c 2 = g 2 = h 2 = j 2 a 2 + j 2 = c 2 + g 2 a^2+j^2=c^2+g^2 a 2 + j 2 = c 2 + g 2 a 2 + j 2 = b 2 + h 2 a^2+j^2=b^2+h^2 a 2 + j 2 = b 2 + h 2 a 2 + 2 c 2 = 2 h 2 + j 2 a^2+2c^2=2h^2+j^2 a 2 + 2 c 2 = 2 h 2 + j 2 Единственный бескрасный представитель: две гауссовы и одна голубая нормы.
Каноническая система
red(AFH) red(DEF) red(BEH)
{ E + x = a 2 E − x + y = b 2 E − x − y = d 2 E = e 2 E + x + y = f 2 E + x − y = h 2 \left\{\begin{aligned}E+x&=a^2\\E-x+y&=b^2\\E-x-y&=d^2\\E&=e^2\\E+x+y&=f^2\\E+x-y&=h^2\end{aligned}\right. ⎩ ⎨ ⎧ E + x E − x + y E − x − y E E + x + y E + x − y = a 2 = b 2 = d 2 = e 2 = f 2 = h 2 f 2 + h 2 = 2 a 2 f^2+h^2=2a^2 f 2 + h 2 = 2 a 2 d 2 + f 2 = 2 e 2 d^2+f^2=2e^2 d 2 + f 2 = 2 e 2 b 2 + h 2 = 2 e 2 b^2+h^2=2e^2 b 2 + h 2 = 2 e 2 Три красных условия с двумя общими центрами.
Треугольный K3: 4I₄+4I₂; 1≤rank≤2
red(BDJ) red(DEF) red(AEJ)
{ E + x = a 2 E − x + y = b 2 E − x − y = d 2 E = e 2 E + x + y = f 2 E − x = j 2 \left\{\begin{aligned}E+x&=a^2\\E-x+y&=b^2\\E-x-y&=d^2\\E&=e^2\\E+x+y&=f^2\\E-x&=j^2\end{aligned}\right. ⎩ ⎨ ⎧ E + x E − x + y E − x − y E E + x + y E − x = a 2 = b 2 = d 2 = e 2 = f 2 = j 2 b 2 + d 2 = 2 j 2 b^2+d^2=2j^2 b 2 + d 2 = 2 j 2 d 2 + f 2 = 2 e 2 d^2+f^2=2e^2 d 2 + f 2 = 2 e 2 a 2 + j 2 = 2 e 2 a^2+j^2=2e^2 a 2 + j 2 = 2 e 2 Другой топологический тип трёх красных условий.
Треугольный K3: 4I₄+4I₂; 1≤rank≤2
red(AFH) red(BDJ) yellow(BDFH)
{ E + x = a 2 E − x + y = b 2 E − x − y = d 2 E + x + y = f 2 E + x − y = h 2 E − x = j 2 \left\{\begin{aligned}E+x&=a^2\\E-x+y&=b^2\\E-x-y&=d^2\\E+x+y&=f^2\\E+x-y&=h^2\\E-x&=j^2\end{aligned}\right. ⎩ ⎨ ⎧ E + x E − x + y E − x − y E + x + y E + x − y E − x = a 2 = b 2 = d 2 = f 2 = h 2 = j 2 f 2 + h 2 = 2 a 2 f^2+h^2=2a^2 f 2 + h 2 = 2 a 2 b 2 + d 2 = 2 j 2 b^2+d^2=2j^2 b 2 + d 2 = 2 j 2 b 2 + h 2 = d 2 + f 2 b^2+h^2=d^2+f^2 b 2 + h 2 = d 2 + f 2 Параллельный red–red–yellow без центральной клетки.
Прямоугольный tfmn-параметризация
red(AFH) red(BFG) red(BEH)
{ E + x = a 2 E − x + y = b 2 E = e 2 E + x + y = f 2 E + y = g 2 E + x − y = h 2 \left\{\begin{aligned}E+x&=a^2\\E-x+y&=b^2\\E&=e^2\\E+x+y&=f^2\\E+y&=g^2\\E+x-y&=h^2\end{aligned}\right. ⎩ ⎨ ⎧ E + x E − x + y E E + x + y E + y E + x − y = a 2 = b 2 = e 2 = f 2 = g 2 = h 2 f 2 + h 2 = 2 a 2 f^2+h^2=2a^2 f 2 + h 2 = 2 a 2 b 2 + f 2 = 2 g 2 b^2+f^2=2g^2 b 2 + f 2 = 2 g 2 b 2 + h 2 = 2 e 2 b^2+h^2=2e^2 b 2 + h 2 = 2 e 2 Треугольник из трёх попарных квадратных средних.
Треугольный K3: 4I₄+4I₂; 1≤rank≤2
red(BFG) red(AEJ) yellow(ABFJ)
{ E + x = a 2 E − x + y = b 2 E = e 2 E + x + y = f 2 E + y = g 2 E − x = j 2 \left\{\begin{aligned}E+x&=a^2\\E-x+y&=b^2\\E&=e^2\\E+x+y&=f^2\\E+y&=g^2\\E-x&=j^2\end{aligned}\right. ⎩ ⎨ ⎧ E + x E − x + y E E + x + y E + y E − x = a 2 = b 2 = e 2 = f 2 = g 2 = j 2 b 2 + f 2 = 2 g 2 b^2+f^2=2g^2 b 2 + f 2 = 2 g 2 a 2 + j 2 = 2 e 2 a^2+j^2=2e^2 a 2 + j 2 = 2 e 2 a 2 + b 2 = f 2 + j 2 a^2+b^2=f^2+j^2 a 2 + b 2 = f 2 + j 2 Параллельный red–red–yellow с центральной клеткой.
Прямоугольный tfmn-параметризация