we look for an automorphism of g_{6,51xC}$

nombre d'equations90$

processus de resolution: phase 1$

nombre d'equations90$

collect_eq:={{{{1,2},1},0},
{{{1,2},2},0},
{{{1,2},3},0},
{{{1,2},4},0},
{{{1,2},5},
b(4,2)*b(2,1) - b(4,1)*b(2,2) + b(3,2)*b(1,1) - b(3,1)*b(1,2)},
{{{1,2},6},0},
{{{1,3},1}, - b(1,5)},
{{{1,3},2}, - b(2,5)},
{{{1,3},3}, - b(3,5)},
{{{1,3},4}, - b(4,5)},
{{{1,3},5},
 - b(5,5) + b(4,3)*b(2,1) - b(4,1)*b(2,3) + b(3,3)*b(1,1) - b(3,1)*b(1,3)},
{{{1,3},6}, - b(6,5)},
{{{1,4},1},0},
{{{1,4},2},0},
{{{1,4},3},0},
{{{1,4},4},0},
{{{1,4},5},
b(4,4)*b(2,1) - b(4,1)*b(2,4) + b(3,4)*b(1,1) - b(3,1)*b(1,4)},
{{{1,4},6},0},
{{{1,5},1},0},
{{{1,5},2},0},
{{{1,5},3},0},
{{{1,5},4},0},
{{{1,5},5},
b(4,5)*b(2,1) - b(4,1)*b(2,5) + b(3,5)*b(1,1) - b(3,1)*b(1,5)},
{{{1,5},6},0},
{{{1,6},1},0},
{{{1,6},2},0},
{{{1,6},3},0},
{{{1,6},4},0},
{{{1,6},5},
b(4,6)*b(2,1) - b(4,1)*b(2,6) + b(3,6)*b(1,1) - b(3,1)*b(1,6)},
{{{1,6},6},0},
{{{2,3},1},0},
{{{2,3},2},0},
{{{2,3},3},0},
{{{2,3},4},0},
{{{2,3},5},
b(4,3)*b(2,2) - b(4,2)*b(2,3) + b(3,3)*b(1,2) - b(3,2)*b(1,3)},
{{{2,3},6},0},
{{{2,4},1}, - b(1,5)},
{{{2,4},2}, - b(2,5)},
{{{2,4},3}, - b(3,5)},
{{{2,4},4}, - b(4,5)},
{{{2,4},5},
 - b(5,5) + b(4,4)*b(2,2) - b(4,2)*b(2,4) + b(3,4)*b(1,2) - b(3,2)*b(1,4)},
{{{2,4},6}, - b(6,5)},
{{{2,5},1},0},
{{{2,5},2},0},
{{{2,5},3},0},
{{{2,5},4},0},
{{{2,5},5},
b(4,5)*b(2,2) - b(4,2)*b(2,5) + b(3,5)*b(1,2) - b(3,2)*b(1,5)},
{{{2,5},6},0},
{{{2,6},1},0},
{{{2,6},2},0},
{{{2,6},3},0},
{{{2,6},4},0},
{{{2,6},5},
b(4,6)*b(2,2) - b(4,2)*b(2,6) + b(3,6)*b(1,2) - b(3,2)*b(1,6)},
{{{2,6},6},0},
{{{3,4},1},0},
{{{3,4},2},0},
{{{3,4},3},0},
{{{3,4},4},0},
{{{3,4},5},
b(4,4)*b(2,3) - b(4,3)*b(2,4) + b(3,4)*b(1,3) - b(3,3)*b(1,4)},
{{{3,4},6},0},
{{{3,5},1},0},
{{{3,5},2},0},
{{{3,5},3},0},
{{{3,5},4},0},
{{{3,5},5},
b(4,5)*b(2,3) - b(4,3)*b(2,5) + b(3,5)*b(1,3) - b(3,3)*b(1,5)},
{{{3,5},6},0},
{{{3,6},1},0},
{{{3,6},2},0},
{{{3,6},3},0},
{{{3,6},4},0},
{{{3,6},5},
b(4,6)*b(2,3) - b(4,3)*b(2,6) + b(3,6)*b(1,3) - b(3,3)*b(1,6)},
{{{3,6},6},0},
{{{4,5},1},0},
{{{4,5},2},0},
{{{4,5},3},0},
{{{4,5},4},0},
{{{4,5},5},
b(4,5)*b(2,4) - b(4,4)*b(2,5) + b(3,5)*b(1,4) - b(3,4)*b(1,5)},
{{{4,5},6},0},
{{{4,6},1},0},
{{{4,6},2},0},
{{{4,6},3},0},
{{{4,6},4},0},
{{{4,6},5},
b(4,6)*b(2,4) - b(4,4)*b(2,6) + b(3,6)*b(1,4) - b(3,4)*b(1,6)},
{{{4,6},6},0},
{{{5,6},1},0},
{{{5,6},2},0},
{{{5,6},3},0},
{{{5,6},4},0},
{{{5,6},5},
b(4,6)*b(2,5) - b(4,5)*b(2,6) + b(3,6)*b(1,5) - b(3,5)*b(1,6)},
{{{5,6},6},0}}$

on resout l'equation {{1,2},5} qui est  maintenant AA:=b(4,2)*b(2,1) - b(4,1)*b(
2,2) + b(3,2)*b(1,1) - b(3,1)*b(1,2)$

Unknowns: {b(4,2),b(4,1),b(3,2),b(3,1),b(2,2),b(2,1),b(1,2),b(1,1)}
Unknowns: {b(4,2),b(4,1),b(3,2),b(3,1),b(2,2),b(2,1),b(1,2),b(1,1)}


pas! de! selection! possible! de! variable! a! coefficient! independant! des! in
connues! \
dans! b(4,2)*b(2,1) - b(4,1)*b(2,2) + b(3,2)*b(1,1) - b(3,1)*b(1,2)
on resout l'equation {{1,3},1} qui est  maintenant AA:= - b(1,5)$

Unknown: b(1,5)
Unknown: b(1,5)
bonne inconnue W:=b(1,5)$

sa valeur doit etre WW:=0$

on resout l'equation {{1,3},2} qui est  maintenant AA:= - b(2,5)$

Unknown: b(2,5)
Unknown: b(2,5)
bonne inconnue W:=b(2,5)$

sa valeur doit etre WW:=0$

on resout l'equation {{1,3},3} qui est  maintenant AA:= - b(3,5)$

Unknown: b(3,5)
Unknown: b(3,5)
bonne inconnue W:=b(3,5)$

sa valeur doit etre WW:=0$

on resout l'equation {{1,3},4} qui est  maintenant AA:= - b(4,5)$

Unknown: b(4,5)
Unknown: b(4,5)
bonne inconnue W:=b(4,5)$

sa valeur doit etre WW:=0$

on resout l'equation {{1,3},5} qui est  maintenant AA:= - b(5,5) + b(4,3)*b(2,1)
 - b(4,1)*b(2,3) + b(3,3)*b(1,1) - b(3,1)*b(1,3)$

Unknowns: {b(5,5),b(4,3),b(4,1),b(3,3),b(3,1),b(2,3),b(2,1),b(1,3),b(1,1)}
Unknowns: {b(5,5),b(4,3),b(4,1),b(3,3),b(3,1),b(2,3),b(2,1),b(1,3),b(1,1)}
bonne inconnue W:=b(5,5)$

sa valeur doit etre WW:=b(4,3)*b(2,1) - b(4,1)*b(2,3) + b(3,3)*b(1,1) - b(3,1)*b
(1,3)$

on resout l'equation {{1,3},6} qui est  maintenant AA:= - b(6,5)$

Unknown: b(6,5)
Unknown: b(6,5)
bonne inconnue W:=b(6,5)$

sa valeur doit etre WW:=0$

on resout l'equation {{1,4},5} qui est  maintenant AA:=b(4,4)*b(2,1) - b(4,1)*b(
2,4) + b(3,4)*b(1,1) - b(3,1)*b(1,4)$

Unknowns: {b(4,4),b(4,1),b(3,4),b(3,1),b(2,4),b(2,1),b(1,4),b(1,1)}
Unknowns: {b(4,4),b(4,1),b(3,4),b(3,1),b(2,4),b(2,1),b(1,4),b(1,1)}


pas! de! selection! possible! de! variable! a! coefficient! independant! des! in
connues! \
dans! b(4,4)*b(2,1) - b(4,1)*b(2,4) + b(3,4)*b(1,1) - b(3,1)*b(1,4)
on resout l'equation {{1,6},5} qui est  maintenant AA:=b(4,6)*b(2,1) - b(4,1)*b(
2,6) + b(3,6)*b(1,1) - b(3,1)*b(1,6)$

Unknowns: {b(4,6),b(4,1),b(3,6),b(3,1),b(2,6),b(2,1),b(1,6),b(1,1)}
Unknowns: {b(4,6),b(4,1),b(3,6),b(3,1),b(2,6),b(2,1),b(1,6),b(1,1)}


pas! de! selection! possible! de! variable! a! coefficient! independant! des! in
connues! \
dans! b(4,6)*b(2,1) - b(4,1)*b(2,6) + b(3,6)*b(1,1) - b(3,1)*b(1,6)
on resout l'equation {{2,3},5} qui est  maintenant AA:=b(4,3)*b(2,2) - b(4,2)*b(
2,3) + b(3,3)*b(1,2) - b(3,2)*b(1,3)$

Unknowns: {b(4,3),b(4,2),b(3,3),b(3,2),b(2,3),b(2,2),b(1,3),b(1,2)}
Unknowns: {b(4,3),b(4,2),b(3,3),b(3,2),b(2,3),b(2,2),b(1,3),b(1,2)}


pas! de! selection! possible! de! variable! a! coefficient! independant! des! in
connues! \
dans! b(4,3)*b(2,2) - b(4,2)*b(2,3) + b(3,3)*b(1,2) - b(3,2)*b(1,3)
on resout l'equation {{2,4},5} qui est  maintenant AA:=b(4,4)*b(2,2) - b(4,3)*b(
2,1) - b(4,2)*b(2,4) + b(4,1)*b(2,3) + b(3,4)*b(1,2) - b(3,3)*b(1,1) - b(3,2)*b(
1,4) + b(3,1)*b(1,3)$

Unknowns: {b(4,4),
b(4,3),
b(4,2),
b(4,1),
b(3,4),
b(3,3),
b(3,2),
b(3,1),
b(2,4),
b(2,3),
b(2,2),
b(2,1),
b(1,4),
b(1,3),
b(1,2),
b(1,1)}
Unknowns: {b(4,4),
b(4,3),
b(4,2),
b(4,1),
b(3,4),
b(3,3),
b(3,2),
b(3,1),
b(2,4),
b(2,3),
b(2,2),
b(2,1),
b(1,4),
b(1,3),
b(1,2),
b(1,1)}


pas! de! selection! possible! de! variable! a! coefficient! independant! des! in
connues! \
dans! b(4,4)*b(2,2) - b(4,3)*b(2,1) - b(4,2)*b(2,4) + b(4,1)*b(2,3) + b(3,4)*b(1
,2) - b(3,3)*b(1,1) - b(3,2)*b(1,4) + b(3,1)*b(1,3)
on resout l'equation {{2,6},5} qui est  maintenant AA:=b(4,6)*b(2,2) - b(4,2)*b(
2,6) + b(3,6)*b(1,2) - b(3,2)*b(1,6)$

Unknowns: {b(4,6),b(4,2),b(3,6),b(3,2),b(2,6),b(2,2),b(1,6),b(1,2)}
Unknowns: {b(4,6),b(4,2),b(3,6),b(3,2),b(2,6),b(2,2),b(1,6),b(1,2)}


pas! de! selection! possible! de! variable! a! coefficient! independant! des! in
connues! \
dans! b(4,6)*b(2,2) - b(4,2)*b(2,6) + b(3,6)*b(1,2) - b(3,2)*b(1,6)
on resout l'equation {{3,4},5} qui est  maintenant AA:=b(4,4)*b(2,3) - b(4,3)*b(
2,4) + b(3,4)*b(1,3) - b(3,3)*b(1,4)$

Unknowns: {b(4,4),b(4,3),b(3,4),b(3,3),b(2,4),b(2,3),b(1,4),b(1,3)}
Unknowns: {b(4,4),b(4,3),b(3,4),b(3,3),b(2,4),b(2,3),b(1,4),b(1,3)}


pas! de! selection! possible! de! variable! a! coefficient! independant! des! in
connues! \
dans! b(4,4)*b(2,3) - b(4,3)*b(2,4) + b(3,4)*b(1,3) - b(3,3)*b(1,4)
on resout l'equation {{3,6},5} qui est  maintenant AA:=b(4,6)*b(2,3) - b(4,3)*b(
2,6) + b(3,6)*b(1,3) - b(3,3)*b(1,6)$

Unknowns: {b(4,6),b(4,3),b(3,6),b(3,3),b(2,6),b(2,3),b(1,6),b(1,3)}
Unknowns: {b(4,6),b(4,3),b(3,6),b(3,3),b(2,6),b(2,3),b(1,6),b(1,3)}


pas! de! selection! possible! de! variable! a! coefficient! independant! des! in
connues! \
dans! b(4,6)*b(2,3) - b(4,3)*b(2,6) + b(3,6)*b(1,3) - b(3,3)*b(1,6)
on resout l'equation {{4,6},5} qui est  maintenant AA:=b(4,6)*b(2,4) - b(4,4)*b(
2,6) + b(3,6)*b(1,4) - b(3,4)*b(1,6)$

Unknowns: {b(4,6),b(4,4),b(3,6),b(3,4),b(2,6),b(2,4),b(1,6),b(1,4)}
Unknowns: {b(4,6),b(4,4),b(3,6),b(3,4),b(2,6),b(2,4),b(1,6),b(1,4)}


pas! de! selection! possible! de! variable! a! coefficient! independant! des! in
connues! \
dans! b(4,6)*b(2,4) - b(4,4)*b(2,6) + b(3,6)*b(1,4) - b(3,4)*b(1,6)
Automorphism equations to cancel (Reduce output) : \\{{{{1,2},1},0},
{{{1,2},2},0},
{{{1,2},3},0},
{{{1,2},4},0},
{{{1,2},5},
b(4,2)*b(2,1) - b(4,1)*b(2,2) + b(3,2)*b(1,1) - b(3,1)*b(1,2)},
{{{1,2},6},0},
{{{1,3},1},0},
{{{1,3},2},0},
{{{1,3},3},0},
{{{1,3},4},0},
{{{1,3},5},0},
{{{1,3},6},0},
{{{1,4},1},0},
{{{1,4},2},0},
{{{1,4},3},0},
{{{1,4},4},0},
{{{1,4},5},
b(4,4)*b(2,1) - b(4,1)*b(2,4) + b(3,4)*b(1,1) - b(3,1)*b(1,4)},
{{{1,4},6},0},
{{{1,5},1},0},
{{{1,5},2},0},
{{{1,5},3},0},
{{{1,5},4},0},
{{{1,5},5},0},
{{{1,5},6},0},
{{{1,6},1},0},
{{{1,6},2},0},
{{{1,6},3},0},
{{{1,6},4},0},
{{{1,6},5},
b(4,6)*b(2,1) - b(4,1)*b(2,6) + b(3,6)*b(1,1) - b(3,1)*b(1,6)},
{{{1,6},6},0},
{{{2,3},1},0},
{{{2,3},2},0},
{{{2,3},3},0},
{{{2,3},4},0},
{{{2,3},5},
b(4,3)*b(2,2) - b(4,2)*b(2,3) + b(3,3)*b(1,2) - b(3,2)*b(1,3)},
{{{2,3},6},0},
{{{2,4},1},0},
{{{2,4},2},0},
{{{2,4},3},0},
{{{2,4},4},0},
{{{2,4},5},
b(4,4)*b(2,2) - b(4,3)*b(2,1) - b(4,2)*b(2,4) + b(4,1)*b(2,3) + b(3,4)*b(1,2) - 
b(3,3)*b(1,1) - b(3,2)*b(1,4) + b(3,1)*b(1,3)},
{{{2,4},6},0},
{{{2,5},1},0},
{{{2,5},2},0},
{{{2,5},3},0},
{{{2,5},4},0},
{{{2,5},5},0},
{{{2,5},6},0},
{{{2,6},1},0},
{{{2,6},2},0},
{{{2,6},3},0},
{{{2,6},4},0},
{{{2,6},5},
b(4,6)*b(2,2) - b(4,2)*b(2,6) + b(3,6)*b(1,2) - b(3,2)*b(1,6)},
{{{2,6},6},0},
{{{3,4},1},0},
{{{3,4},2},0},
{{{3,4},3},0},
{{{3,4},4},0},
{{{3,4},5},
b(4,4)*b(2,3) - b(4,3)*b(2,4) + b(3,4)*b(1,3) - b(3,3)*b(1,4)},
{{{3,4},6},0},
{{{3,5},1},0},
{{{3,5},2},0},
{{{3,5},3},0},
{{{3,5},4},0},
{{{3,5},5},0},
{{{3,5},6},0},
{{{3,6},1},0},
{{{3,6},2},0},
{{{3,6},3},0},
{{{3,6},4},0},
{{{3,6},5},
b(4,6)*b(2,3) - b(4,3)*b(2,6) + b(3,6)*b(1,3) - b(3,3)*b(1,6)},
{{{3,6},6},0},
{{{4,5},1},0},
{{{4,5},2},0},
{{{4,5},3},0},
{{{4,5},4},0},
{{{4,5},5},0},
{{{4,5},6},0},
{{{4,6},1},0},
{{{4,6},2},0},
{{{4,6},3},0},
{{{4,6},4},0},
{{{4,6},5},
b(4,6)*b(2,4) - b(4,4)*b(2,6) + b(3,6)*b(1,4) - b(3,4)*b(1,6)},
{{{4,6},6},0},
{{{5,6},1},0},
{{{5,6},2},0},
{{{5,6},3},0},
{{{5,6},4},0},
{{{5,6},5},0},
{{{5,6},6},0}}$

resultats finaux$

collect_eq:={{{{1,2},1},0},
{{{1,2},2},0},
{{{1,2},3},0},
{{{1,2},4},0},
{{{1,2},5},
b(3,2)*b(1,1) - b(3,1)*b(1,2) - b(4,1)*b(2,2) + b(4,2)*b(2,1)},
{{{1,2},6},0},
{{{1,3},1},0},
{{{1,3},2},0},
{{{1,3},3},0},
{{{1,3},4},0},
{{{1,3},5},0},
{{{1,3},6},0},
{{{1,4},1},0},
{{{1,4},2},0},
{{{1,4},3},0},
{{{1,4},4},0},
{{{1,4},5},
b(3,4)*b(1,1) - b(3,1)*b(1,4) - b(4,1)*b(2,4) + b(4,4)*b(2,1)},
{{{1,4},6},0},
{{{1,5},1},0},
{{{1,5},2},0},
{{{1,5},3},0},
{{{1,5},4},0},
{{{1,5},5},0},
{{{1,5},6},0},
{{{1,6},1},0},
{{{1,6},2},0},
{{{1,6},3},0},
{{{1,6},4},0},
{{{1,6},5},
b(3,6)*b(1,1) - b(3,1)*b(1,6) - b(4,1)*b(2,6) + b(4,6)*b(2,1)},
{{{1,6},6},0},
{{{2,3},1},0},
{{{2,3},2},0},
{{{2,3},3},0},
{{{2,3},4},0},
{{{2,3},5},
b(3,3)*b(1,2) - b(3,2)*b(1,3) - b(4,2)*b(2,3) + b(4,3)*b(2,2)},
{{{2,3},6},0},
{{{2,4},1},0},
{{{2,4},2},0},
{{{2,4},3},0},
{{{2,4},4},0},
{{{2,4},5},
b(3,4)*b(1,2) - b(3,2)*b(1,4) - b(4,2)*b(2,4) - b(4,3)*b(2,1) + b(4,4)*b(2,2) - 
(b(3,3)*b(1,1) - b(3,1)*b(1,3) - b(4,1)*b(2,3))},
{{{2,4},6},0},
{{{2,5},1},0},
{{{2,5},2},0},
{{{2,5},3},0},
{{{2,5},4},0},
{{{2,5},5},0},
{{{2,5},6},0},
{{{2,6},1},0},
{{{2,6},2},0},
{{{2,6},3},0},
{{{2,6},4},0},
{{{2,6},5},
b(3,6)*b(1,2) - b(3,2)*b(1,6) - b(4,2)*b(2,6) + b(4,6)*b(2,2)},
{{{2,6},6},0},
{{{3,4},1},0},
{{{3,4},2},0},
{{{3,4},3},0},
{{{3,4},4},0},
{{{3,4},5},
b(3,4)*b(1,3) - b(3,3)*b(1,4) - b(4,3)*b(2,4) + b(4,4)*b(2,3)},
{{{3,4},6},0},
{{{3,5},1},0},
{{{3,5},2},0},
{{{3,5},3},0},
{{{3,5},4},0},
{{{3,5},5},0},
{{{3,5},6},0},
{{{3,6},1},0},
{{{3,6},2},0},
{{{3,6},3},0},
{{{3,6},4},0},
{{{3,6},5},
b(3,6)*b(1,3) - b(3,3)*b(1,6) - b(4,3)*b(2,6) + b(4,6)*b(2,3)},
{{{3,6},6},0},
{{{4,5},1},0},
{{{4,5},2},0},
{{{4,5},3},0},
{{{4,5},4},0},
{{{4,5},5},0},
{{{4,5},6},0},
{{{4,6},1},0},
{{{4,6},2},0},
{{{4,6},3},0},
{{{4,6},4},0},
{{{4,6},5},
b(3,6)*b(1,4) - b(3,4)*b(1,6) - b(4,4)*b(2,6) + b(4,6)*b(2,4)},
{{{4,6},6},0},
{{{5,6},1},0},
{{{5,6},2},0},
{{{5,6},3},0},
{{{5,6},4},0},
{{{5,6},5},0},
{{{5,6},6},0}}$

isom:=
mat((b(1,1),b(1,2),b(1,3),b(1,4),0,b(1,6)),(b(2,1),b(2,2),b(2,3),b(2,4),0,b(2,6)
),(b(3,1),b(3,2),b(3,3),b(3,4),0,b(3,6)),(b(4,1),b(4,2),b(4,3),b(4,4),0,b(4,6)),
(b(5,1),b(5,2),b(5,3),b(5,4),b(3,3)*b(1,1) - b(3,1)*b(1,3) - b(4,1)*b(2,3) + b(4
,3)*b(2,1),b(5,6)),(b(6,1),b(6,2),b(6,3),b(6,4),0,b(6,6)))$

det(isom):=(b(6,6)*b(4,4)*b(3,3)*b(2,2)*b(1,1) - b(6,6)*b(4,4)*b(3,3)*b(2,1)*b(1
,2) - b(6,6)*b(4,4)*b(3,2)*b(2,3)*b(1,1) + b(6,6)*b(4,4)*b(3,2)*b(2,1)*b(1,3) + 
b(6,6)*b(4,4)*b(3,1)*b(2,3)*b(1,2) - b(6,6)*b(4,4)*b(3,1)*b(2,2)*b(1,3) - b(6,6)
*b(4,3)*b(3,4)*b(2,2)*b(1,1) + b(6,6)*b(4,3)*b(3,4)*b(2,1)*b(1,2) + b(6,6)*b(4,3
)*b(3,2)*b(2,4)*b(1,1) - b(6,6)*b(4,3)*b(3,2)*b(2,1)*b(1,4) - b(6,6)*b(4,3)*b(3,
1)*b(2,4)*b(1,2) + b(6,6)*b(4,3)*b(3,1)*b(2,2)*b(1,4) + b(6,6)*b(4,2)*b(3,4)*b(2
,3)*b(1,1) - b(6,6)*b(4,2)*b(3,4)*b(2,1)*b(1,3) - b(6,6)*b(4,2)*b(3,3)*b(2,4)*b(
1,1) + b(6,6)*b(4,2)*b(3,3)*b(2,1)*b(1,4) + b(6,6)*b(4,2)*b(3,1)*b(2,4)*b(1,3) -
 b(6,6)*b(4,2)*b(3,1)*b(2,3)*b(1,4) - b(6,6)*b(4,1)*b(3,4)*b(2,3)*b(1,2) + b(6,6
)*b(4,1)*b(3,4)*b(2,2)*b(1,3) + b(6,6)*b(4,1)*b(3,3)*b(2,4)*b(1,2) - b(6,6)*b(4,
1)*b(3,3)*b(2,2)*b(1,4) - b(6,6)*b(4,1)*b(3,2)*b(2,4)*b(1,3) + b(6,6)*b(4,1)*b(3
,2)*b(2,3)*b(1,4) - b(6,4)*b(4,6)*b(3,3)*b(2,2)*b(1,1) + b(6,4)*b(4,6)*b(3,3)*b(
2,1)*b(1,2) + b(6,4)*b(4,6)*b(3,2)*b(2,3)*b(1,1) - b(6,4)*b(4,6)*b(3,2)*b(2,1)*b
(1,3) - b(6,4)*b(4,6)*b(3,1)*b(2,3)*b(1,2) + b(6,4)*b(4,6)*b(3,1)*b(2,2)*b(1,3) 
+ b(6,4)*b(4,3)*b(3,6)*b(2,2)*b(1,1) - b(6,4)*b(4,3)*b(3,6)*b(2,1)*b(1,2) - b(6,
4)*b(4,3)*b(3,2)*b(2,6)*b(1,1) + b(6,4)*b(4,3)*b(3,2)*b(2,1)*b(1,6) + b(6,4)*b(4
,3)*b(3,1)*b(2,6)*b(1,2) - b(6,4)*b(4,3)*b(3,1)*b(2,2)*b(1,6) - b(6,4)*b(4,2)*b(
3,6)*b(2,3)*b(1,1) + b(6,4)*b(4,2)*b(3,6)*b(2,1)*b(1,3) + b(6,4)*b(4,2)*b(3,3)*b
(2,6)*b(1,1) - b(6,4)*b(4,2)*b(3,3)*b(2,1)*b(1,6) - b(6,4)*b(4,2)*b(3,1)*b(2,6)*
b(1,3) + b(6,4)*b(4,2)*b(3,1)*b(2,3)*b(1,6) + b(6,4)*b(4,1)*b(3,6)*b(2,3)*b(1,2)
 - b(6,4)*b(4,1)*b(3,6)*b(2,2)*b(1,3) - b(6,4)*b(4,1)*b(3,3)*b(2,6)*b(1,2) + b(6
,4)*b(4,1)*b(3,3)*b(2,2)*b(1,6) + b(6,4)*b(4,1)*b(3,2)*b(2,6)*b(1,3) - b(6,4)*b(
4,1)*b(3,2)*b(2,3)*b(1,6) + b(6,3)*b(4,6)*b(3,4)*b(2,2)*b(1,1) - b(6,3)*b(4,6)*b
(3,4)*b(2,1)*b(1,2) - b(6,3)*b(4,6)*b(3,2)*b(2,4)*b(1,1) + b(6,3)*b(4,6)*b(3,2)*
b(2,1)*b(1,4) + b(6,3)*b(4,6)*b(3,1)*b(2,4)*b(1,2) - b(6,3)*b(4,6)*b(3,1)*b(2,2)
*b(1,4) - b(6,3)*b(4,4)*b(3,6)*b(2,2)*b(1,1) + b(6,3)*b(4,4)*b(3,6)*b(2,1)*b(1,2
) + b(6,3)*b(4,4)*b(3,2)*b(2,6)*b(1,1) - b(6,3)*b(4,4)*b(3,2)*b(2,1)*b(1,6) - b(
6,3)*b(4,4)*b(3,1)*b(2,6)*b(1,2) + b(6,3)*b(4,4)*b(3,1)*b(2,2)*b(1,6) + b(6,3)*b
(4,2)*b(3,6)*b(2,4)*b(1,1) - b(6,3)*b(4,2)*b(3,6)*b(2,1)*b(1,4) - b(6,3)*b(4,2)*
b(3,4)*b(2,6)*b(1,1) + b(6,3)*b(4,2)*b(3,4)*b(2,1)*b(1,6) + b(6,3)*b(4,2)*b(3,1)
*b(2,6)*b(1,4) - b(6,3)*b(4,2)*b(3,1)*b(2,4)*b(1,6) - b(6,3)*b(4,1)*b(3,6)*b(2,4
)*b(1,2) + b(6,3)*b(4,1)*b(3,6)*b(2,2)*b(1,4) + b(6,3)*b(4,1)*b(3,4)*b(2,6)*b(1,
2) - b(6,3)*b(4,1)*b(3,4)*b(2,2)*b(1,6) - b(6,3)*b(4,1)*b(3,2)*b(2,6)*b(1,4) + b
(6,3)*b(4,1)*b(3,2)*b(2,4)*b(1,6) - b(6,2)*b(4,6)*b(3,4)*b(2,3)*b(1,1) + b(6,2)*
b(4,6)*b(3,4)*b(2,1)*b(1,3) + b(6,2)*b(4,6)*b(3,3)*b(2,4)*b(1,1) - b(6,2)*b(4,6)
*b(3,3)*b(2,1)*b(1,4) - b(6,2)*b(4,6)*b(3,1)*b(2,4)*b(1,3) + b(6,2)*b(4,6)*b(3,1
)*b(2,3)*b(1,4) + b(6,2)*b(4,4)*b(3,6)*b(2,3)*b(1,1) - b(6,2)*b(4,4)*b(3,6)*b(2,
1)*b(1,3) - b(6,2)*b(4,4)*b(3,3)*b(2,6)*b(1,1) + b(6,2)*b(4,4)*b(3,3)*b(2,1)*b(1
,6) + b(6,2)*b(4,4)*b(3,1)*b(2,6)*b(1,3) - b(6,2)*b(4,4)*b(3,1)*b(2,3)*b(1,6) - 
b(6,2)*b(4,3)*b(3,6)*b(2,4)*b(1,1) + b(6,2)*b(4,3)*b(3,6)*b(2,1)*b(1,4) + b(6,2)
*b(4,3)*b(3,4)*b(2,6)*b(1,1) - b(6,2)*b(4,3)*b(3,4)*b(2,1)*b(1,6) - b(6,2)*b(4,3
)*b(3,1)*b(2,6)*b(1,4) + b(6,2)*b(4,3)*b(3,1)*b(2,4)*b(1,6) + b(6,2)*b(4,1)*b(3,
6)*b(2,4)*b(1,3) - b(6,2)*b(4,1)*b(3,6)*b(2,3)*b(1,4) - b(6,2)*b(4,1)*b(3,4)*b(2
,6)*b(1,3) + b(6,2)*b(4,1)*b(3,4)*b(2,3)*b(1,6) + b(6,2)*b(4,1)*b(3,3)*b(2,6)*b(
1,4) - b(6,2)*b(4,1)*b(3,3)*b(2,4)*b(1,6) + b(6,1)*b(4,6)*b(3,4)*b(2,3)*b(1,2) -
 b(6,1)*b(4,6)*b(3,4)*b(2,2)*b(1,3) - b(6,1)*b(4,6)*b(3,3)*b(2,4)*b(1,2) + b(6,1
)*b(4,6)*b(3,3)*b(2,2)*b(1,4) + b(6,1)*b(4,6)*b(3,2)*b(2,4)*b(1,3) - b(6,1)*b(4,
6)*b(3,2)*b(2,3)*b(1,4) - b(6,1)*b(4,4)*b(3,6)*b(2,3)*b(1,2) + b(6,1)*b(4,4)*b(3
,6)*b(2,2)*b(1,3) + b(6,1)*b(4,4)*b(3,3)*b(2,6)*b(1,2) - b(6,1)*b(4,4)*b(3,3)*b(
2,2)*b(1,6) - b(6,1)*b(4,4)*b(3,2)*b(2,6)*b(1,3) + b(6,1)*b(4,4)*b(3,2)*b(2,3)*b
(1,6) + b(6,1)*b(4,3)*b(3,6)*b(2,4)*b(1,2) - b(6,1)*b(4,3)*b(3,6)*b(2,2)*b(1,4) 
- b(6,1)*b(4,3)*b(3,4)*b(2,6)*b(1,2) + b(6,1)*b(4,3)*b(3,4)*b(2,2)*b(1,6) + b(6,
1)*b(4,3)*b(3,2)*b(2,6)*b(1,4) - b(6,1)*b(4,3)*b(3,2)*b(2,4)*b(1,6) - b(6,1)*b(4
,2)*b(3,6)*b(2,4)*b(1,3) + b(6,1)*b(4,2)*b(3,6)*b(2,3)*b(1,4) + b(6,1)*b(4,2)*b(
3,4)*b(2,6)*b(1,3) - b(6,1)*b(4,2)*b(3,4)*b(2,3)*b(1,6) - b(6,1)*b(4,2)*b(3,3)*b
(2,6)*b(1,4) + b(6,1)*b(4,2)*b(3,3)*b(2,4)*b(1,6))*(b(4,3)*b(2,1) - b(4,1)*b(2,3
) + b(3,3)*b(1,1) - b(3,1)*b(1,3))$

phase2:$

{{{{1,2},1},0},
{{{1,2},2},0},
{{{1,2},3},0},
{{{1,2},4},0},
{{{1,2},5},
b(3,2)*b(1,1) - b(3,1)*b(1,2) - b(4,1)*b(2,2) + b(4,2)*b(2,1)},
{{{1,2},6},0},
{{{1,3},1},0},
{{{1,3},2},0},
{{{1,3},3},0},
{{{1,3},4},0},
{{{1,3},5},0},
{{{1,3},6},0},
{{{1,4},1},0},
{{{1,4},2},0},
{{{1,4},3},0},
{{{1,4},4},0},
{{{1,4},5},
b(3,4)*b(1,1) - b(3,1)*b(1,4) - b(4,1)*b(2,4) + b(4,4)*b(2,1)},
{{{1,4},6},0},
{{{1,5},1},0},
{{{1,5},2},0},
{{{1,5},3},0},
{{{1,5},4},0},
{{{1,5},5},0},
{{{1,5},6},0},
{{{1,6},1},0},
{{{1,6},2},0},
{{{1,6},3},0},
{{{1,6},4},0},
{{{1,6},5},0},
{{{1,6},6},0},
{{{2,3},1},0},
{{{2,3},2},0},
{{{2,3},3},0},
{{{2,3},4},0},
{{{2,3},5},
b(3,3)*b(1,2) - b(3,2)*b(1,3) - b(4,2)*b(2,3) + b(4,3)*b(2,2)},
{{{2,3},6},0},
{{{2,4},1},0},
{{{2,4},2},0},
{{{2,4},3},0},
{{{2,4},4},0},
{{{2,4},5},
b(3,4)*b(1,2) - b(3,2)*b(1,4) - b(4,2)*b(2,4) - b(4,3)*b(2,1) + b(4,4)*b(2,2) - 
(b(3,3)*b(1,1) - b(3,1)*b(1,3) - b(4,1)*b(2,3))},
{{{2,4},6},0},
{{{2,5},1},0},
{{{2,5},2},0},
{{{2,5},3},0},
{{{2,5},4},0},
{{{2,5},5},0},
{{{2,5},6},0},
{{{2,6},1},0},
{{{2,6},2},0},
{{{2,6},3},0},
{{{2,6},4},0},
{{{2,6},5},0},
{{{2,6},6},0},
{{{3,4},1},0},
{{{3,4},2},0},
{{{3,4},3},0},
{{{3,4},4},0},
{{{3,4},5},
b(3,4)*b(1,3) - b(3,3)*b(1,4) - b(4,3)*b(2,4) + b(4,4)*b(2,3)},
{{{3,4},6},0},
{{{3,5},1},0},
{{{3,5},2},0},
{{{3,5},3},0},
{{{3,5},4},0},
{{{3,5},5},0},
{{{3,5},6},0},
{{{3,6},1},0},
{{{3,6},2},0},
{{{3,6},3},0},
{{{3,6},4},0},
{{{3,6},5},0},
{{{3,6},6},0},
{{{4,5},1},0},
{{{4,5},2},0},
{{{4,5},3},0},
{{{4,5},4},0},
{{{4,5},5},0},
{{{4,5},6},0},
{{{4,6},1},0},
{{{4,6},2},0},
{{{4,6},3},0},
{{{4,6},4},0},
{{{4,6},5},0},
{{{4,6},6},0},
{{{5,6},1},0},
{{{5,6},2},0},
{{{5,6},3},0},
{{{5,6},4},0},
{{{5,6},5},0},
{{{5,6},6},0}}$

isom:=
mat((b(1,1),b(1,2),b(1,3),b(1,4),0,0),(b(2,1),b(2,2),b(2,3),b(2,4),0,0),(b(3,1),
b(3,2),b(3,3),b(3,4),0,0),(b(4,1),b(4,2),b(4,3),b(4,4),0,0),(b(5,1),b(5,2),b(5,3
),b(5,4),b(3,3)*b(1,1) - b(3,1)*b(1,3) - b(4,1)*b(2,3) + b(4,3)*b(2,1),b(5,6)),(
b(6,1),b(6,2),b(6,3),b(6,4),0,b(6,6)))$

det(isom):=(b(4,4)*b(3,3)*b(2,2)*b(1,1) - b(4,4)*b(3,3)*b(2,1)*b(1,2) - b(4,4)*b
(3,2)*b(2,3)*b(1,1) + b(4,4)*b(3,2)*b(2,1)*b(1,3) + b(4,4)*b(3,1)*b(2,3)*b(1,2) 
- b(4,4)*b(3,1)*b(2,2)*b(1,3) - b(4,3)*b(3,4)*b(2,2)*b(1,1) + b(4,3)*b(3,4)*b(2,
1)*b(1,2) + b(4,3)*b(3,2)*b(2,4)*b(1,1) - b(4,3)*b(3,2)*b(2,1)*b(1,4) - b(4,3)*b
(3,1)*b(2,4)*b(1,2) + b(4,3)*b(3,1)*b(2,2)*b(1,4) + b(4,2)*b(3,4)*b(2,3)*b(1,1) 
- b(4,2)*b(3,4)*b(2,1)*b(1,3) - b(4,2)*b(3,3)*b(2,4)*b(1,1) + b(4,2)*b(3,3)*b(2,
1)*b(1,4) + b(4,2)*b(3,1)*b(2,4)*b(1,3) - b(4,2)*b(3,1)*b(2,3)*b(1,4) - b(4,1)*b
(3,4)*b(2,3)*b(1,2) + b(4,1)*b(3,4)*b(2,2)*b(1,3) + b(4,1)*b(3,3)*b(2,4)*b(1,2) 
- b(4,1)*b(3,3)*b(2,2)*b(1,4) - b(4,1)*b(3,2)*b(2,4)*b(1,3) + b(4,1)*b(3,2)*b(2,
3)*b(1,4))*(b(4,3)*b(2,1) - b(4,1)*b(2,3) + b(3,3)*b(1,1) - b(3,1)*b(1,3))*b(6,6
)$

Denote delta^(i,j)_(k,l) the minor with columns (k,l) and$

rows (i,j) in the matrix (b(i,j)) 1 <= i,j <= 4.$

Then equation 12|5 reads delta^(1,3)_(1,2) +delta^(2,4)_(1,2)=0.$

equation 14|5 reads delta^(1,3)_(1,4) +delta^(2,4)_(1,4)=0.$

equation 13|5 reads delta^(1,3)_(2,3) +delta^(2,4)_(2,3)=0.$

equation 34|5 reads delta^(1,3)_(3,4) +delta^(2,4)_(3,4)=0.$

equation 24|5 reads delta^(1,3)_(2,4) +delta^(2,4)_(2,4)$

 - ( delta^(1,3)_(1,3) + delta^(2,4)_(1,3)  = 0.$

The system equations 12|5 , 14|5 with principal unknowns b(2,1),b(4,1)$

has principal determinant delta^(2,4)_(2,4).$

The system equations 23|5 , 34|5 with principal unknowns b(1,3),b(3,3)$

has principal determinant delta^(1,3)_(2,4).$

Now the determinant of isom has as a factor$

delta^(2,4)_(1,3) + delta^(1,3)_(1,3)  = 0.$

Hence from equation 24|5 , delta^(1,3)_(2,4) +delta^(2,4)_(2,4) neq 0$

Hence at least one of the two system is a Cramer system.$

**************************************************************$

**************************************************************$

****** First  case:$

delta^(2,4)_(2,4) neq 0 (1rst system).$

**************************************************************$

**************************************************************$

then we get b(2,1) and b(4,1):$

b(2,1):=( - ((b(2,4)*b(1,2) - b(2,2)*b(1,4))*b(3,1) - b(3,2)*b(2,4)*b(1,1) + b(3
,4)*b(2,2)*b(1,1)))/(b(4,4)*b(2,2) - b(4,2)*b(2,4))$

b(4,1):=( - ((b(3,4)*b(1,1) - b(3,1)*b(1,4))*b(4,2) - (b(3,2)*b(1,1) - b(3,1)*b(
1,2))*b(4,4)))/(b(4,4)*b(2,2) - b(4,2)*b(2,4))$

{{{{1,2},1},0},
{{{1,2},2},0},
{{{1,2},3},0},
{{{1,2},4},0},
{{{1,2},5},0},
{{{1,2},6},0},
{{{1,3},1},0},
{{{1,3},2},0},
{{{1,3},3},0},
{{{1,3},4},0},
{{{1,3},5},0},
{{{1,3},6},0},
{{{1,4},1},0},
{{{1,4},2},0},
{{{1,4},3},0},
{{{1,4},4},0},
{{{1,4},5},0},
{{{1,4},6},0},
{{{1,5},1},0},
{{{1,5},2},0},
{{{1,5},3},0},
{{{1,5},4},0},
{{{1,5},5},0},
{{{1,5},6},0},
{{{1,6},1},0},
{{{1,6},2},0},
{{{1,6},3},0},
{{{1,6},4},0},
{{{1,6},5},0},
{{{1,6},6},0},
{{{2,3},1},0},
{{{2,3},2},0},
{{{2,3},3},0},
{{{2,3},4},0},
{{{2,3},5},
b(3,3)*b(1,2) - b(3,2)*b(1,3) - b(4,2)*b(2,3) + b(4,3)*b(2,2)},
{{{2,3},6},0},
{{{2,4},1},0},
{{{2,4},2},0},
{{{2,4},3},0},
{{{2,4},4},0},
{{{2,4},5},
((b(3,4)*b(1,2) - b(3,2)*b(1,4) - b(4,2)*b(2,4) + b(4,4)*b(2,2))*(b(4,4)*b(2,2) 
- b(4,2)*b(2,4)) + ((b(2,4)*b(1,2) - b(2,2)*b(1,4))*b(3,1) - b(3,2)*b(2,4)*b(1,1
))*b(4,3) + (b(3,2)*b(1,1) - b(3,1)*b(1,2))*b(4,4)*b(2,3) + b(4,3)*b(3,4)*b(2,2)
*b(1,1) - (b(3,4)*b(1,1) - b(3,1)*b(1,4))*b(4,2)*b(2,3) - (b(4,4)*b(2,2) - b(4,2
)*b(2,4))*(b(3,3)*b(1,1) - b(3,1)*b(1,3)))/(b(4,4)*b(2,2) - b(4,2)*b(2,4))},
{{{2,4},6},0},
{{{2,5},1},0},
{{{2,5},2},0},
{{{2,5},3},0},
{{{2,5},4},0},
{{{2,5},5},0},
{{{2,5},6},0},
{{{2,6},1},0},
{{{2,6},2},0},
{{{2,6},3},0},
{{{2,6},4},0},
{{{2,6},5},0},
{{{2,6},6},0},
{{{3,4},1},0},
{{{3,4},2},0},
{{{3,4},3},0},
{{{3,4},4},0},
{{{3,4},5},
b(3,4)*b(1,3) - b(3,3)*b(1,4) - b(4,3)*b(2,4) + b(4,4)*b(2,3)},
{{{3,4},6},0},
{{{3,5},1},0},
{{{3,5},2},0},
{{{3,5},3},0},
{{{3,5},4},0},
{{{3,5},5},0},
{{{3,5},6},0},
{{{3,6},1},0},
{{{3,6},2},0},
{{{3,6},3},0},
{{{3,6},4},0},
{{{3,6},5},0},
{{{3,6},6},0},
{{{4,5},1},0},
{{{4,5},2},0},
{{{4,5},3},0},
{{{4,5},4},0},
{{{4,5},5},0},
{{{4,5},6},0},
{{{4,6},1},0},
{{{4,6},2},0},
{{{4,6},3},0},
{{{4,6},4},0},
{{{4,6},5},0},
{{{4,6},6},0},
{{{5,6},1},0},
{{{5,6},2},0},
{{{5,6},3},0},
{{{5,6},4},0},
{{{5,6},5},0},
{{{5,6},6},0}}$

isom:=
mat((b(1,1),b(1,2),b(1,3),b(1,4),0,0),(( - ((b(2,4)*b(1,2) - b(2,2)*b(1,4))*b(3,
1) - b(3,2)*b(2,4)*b(1,1) + b(3,4)*b(2,2)*b(1,1)))/(b(4,4)*b(2,2) - b(4,2)*b(2,4
)),b(2,2),b(2,3),b(2,4),0,0),(b(3,1),b(3,2),b(3,3),b(3,4),0,0),(( - ((b(3,4)*b(1
,1) - b(3,1)*b(1,4))*b(4,2) - (b(3,2)*b(1,1) - b(3,1)*b(1,2))*b(4,4)))/(b(4,4)*b
(2,2) - b(4,2)*b(2,4)),b(4,2),b(4,3),b(4,4),0,0),(b(5,1),b(5,2),b(5,3),b(5,4),( 
- ((b(3,2)*b(1,1) - b(3,1)*b(1,2))*b(4,4)*b(2,3) + b(4,3)*b(3,4)*b(2,2)*b(1,1) -
 (b(3,4)*b(1,1) - b(3,1)*b(1,4))*b(4,2)*b(2,3) - (b(4,4)*b(2,2) - b(4,2)*b(2,4))
*(b(3,3)*b(1,1) - b(3,1)*b(1,3)) + ((b(2,4)*b(1,2) - b(2,2)*b(1,4))*b(3,1) - b(3
,2)*b(2,4)*b(1,1))*b(4,3)))/(b(4,4)*b(2,2) - b(4,2)*b(2,4)),b(5,6)),(b(6,1),b(6,
2),b(6,3),b(6,4),0,b(6,6)))$

det(isom):=((b(4,4)*b(3,3)*b(2,2)*b(1,1) - b(4,4)*b(3,2)*b(2,3)*b(1,1) + b(4,4)*
b(3,1)*b(2,3)*b(1,2) - b(4,4)*b(3,1)*b(2,2)*b(1,3) - b(4,3)*b(3,4)*b(2,2)*b(1,1)
 + b(4,3)*b(3,2)*b(2,4)*b(1,1) - b(4,3)*b(3,1)*b(2,4)*b(1,2) + b(4,3)*b(3,1)*b(2
,2)*b(1,4) + b(4,2)*b(3,4)*b(2,3)*b(1,1) - b(4,2)*b(3,3)*b(2,4)*b(1,1) + b(4,2)*
b(3,1)*b(2,4)*b(1,3) - b(4,2)*b(3,1)*b(2,3)*b(1,4))**2*(b(4,4)*b(2,2) - b(4,2)*b
(2,4) + b(3,4)*b(1,2) - b(3,2)*b(1,4))*b(6,6))/(b(4,4)*b(2,2) - b(4,2)*b(2,4))**
2$

Note now that the system of equations 23|5 , 34|5 $

with principal unknowns b(2,3),b(4,3)$

has principal determinant delta^(2,4)_(2,4) which is supposed neq 0.$

Hence we can solve it wrt b(2,3),b(4,3).$

b(2,3):=( - (b(3,3)*b(2,4)*b(1,2) - b(3,3)*b(2,2)*b(1,4) - b(3,2)*b(2,4)*b(1,3) 
+ b(3,4)*b(2,2)*b(1,3)))/(b(4,4)*b(2,2) - b(4,2)*b(2,4))$

b(4,3):=( - ((b(3,4)*b(1,3) - b(3,3)*b(1,4))*b(4,2) + (b(3,3)*b(1,2) - b(3,2)*b(
1,3))*b(4,4)))/(b(4,4)*b(2,2) - b(4,2)*b(2,4))$

{{{{1,2},1},0},
{{{1,2},2},0},
{{{1,2},3},0},
{{{1,2},4},0},
{{{1,2},5},0},
{{{1,2},6},0},
{{{1,3},1},0},
{{{1,3},2},0},
{{{1,3},3},0},
{{{1,3},4},0},
{{{1,3},5},0},
{{{1,3},6},0},
{{{1,4},1},0},
{{{1,4},2},0},
{{{1,4},3},0},
{{{1,4},4},0},
{{{1,4},5},0},
{{{1,4},6},0},
{{{1,5},1},0},
{{{1,5},2},0},
{{{1,5},3},0},
{{{1,5},4},0},
{{{1,5},5},0},
{{{1,5},6},0},
{{{1,6},1},0},
{{{1,6},2},0},
{{{1,6},3},0},
{{{1,6},4},0},
{{{1,6},5},0},
{{{1,6},6},0},
{{{2,3},1},0},
{{{2,3},2},0},
{{{2,3},3},0},
{{{2,3},4},0},
{{{2,3},5},0},
{{{2,3},6},0},
{{{2,4},1},0},
{{{2,4},2},0},
{{{2,4},3},0},
{{{2,4},4},0},
{{{2,4},5},
((b(4,4)*b(2,2) - b(4,2)*b(2,4) + b(3,4)*b(1,2) - b(3,2)*b(1,4))*(b(4,4)*b(2,2) 
- b(4,2)*b(2,4) - b(3,3)*b(1,1) + b(3,1)*b(1,3)))/(b(4,4)*b(2,2) - b(4,2)*b(2,4)
)},
{{{2,4},6},0},
{{{2,5},1},0},
{{{2,5},2},0},
{{{2,5},3},0},
{{{2,5},4},0},
{{{2,5},5},0},
{{{2,5},6},0},
{{{2,6},1},0},
{{{2,6},2},0},
{{{2,6},3},0},
{{{2,6},4},0},
{{{2,6},5},0},
{{{2,6},6},0},
{{{3,4},1},0},
{{{3,4},2},0},
{{{3,4},3},0},
{{{3,4},4},0},
{{{3,4},5},0},
{{{3,4},6},0},
{{{3,5},1},0},
{{{3,5},2},0},
{{{3,5},3},0},
{{{3,5},4},0},
{{{3,5},5},0},
{{{3,5},6},0},
{{{3,6},1},0},
{{{3,6},2},0},
{{{3,6},3},0},
{{{3,6},4},0},
{{{3,6},5},0},
{{{3,6},6},0},
{{{4,5},1},0},
{{{4,5},2},0},
{{{4,5},3},0},
{{{4,5},4},0},
{{{4,5},5},0},
{{{4,5},6},0},
{{{4,6},1},0},
{{{4,6},2},0},
{{{4,6},3},0},
{{{4,6},4},0},
{{{4,6},5},0},
{{{4,6},6},0},
{{{5,6},1},0},
{{{5,6},2},0},
{{{5,6},3},0},
{{{5,6},4},0},
{{{5,6},5},0},
{{{5,6},6},0}}$

isom:=
mat((b(1,1),b(1,2),b(1,3),b(1,4),0,0),(( - ((b(2,4)*b(1,2) - b(2,2)*b(1,4))*b(3,
1) - b(3,2)*b(2,4)*b(1,1) + b(3,4)*b(2,2)*b(1,1)))/(b(4,4)*b(2,2) - b(4,2)*b(2,4
)),b(2,2),( - (b(3,3)*b(2,4)*b(1,2) - b(3,3)*b(2,2)*b(1,4) - b(3,2)*b(2,4)*b(1,3
) + b(3,4)*b(2,2)*b(1,3)))/(b(4,4)*b(2,2) - b(4,2)*b(2,4)),b(2,4),0,0),(b(3,1),b
(3,2),b(3,3),b(3,4),0,0),(( - ((b(3,4)*b(1,1) - b(3,1)*b(1,4))*b(4,2) - (b(3,2)*
b(1,1) - b(3,1)*b(1,2))*b(4,4)))/(b(4,4)*b(2,2) - b(4,2)*b(2,4)),b(4,2),( - ((b(
3,4)*b(1,3) - b(3,3)*b(1,4))*b(4,2) + (b(3,3)*b(1,2) - b(3,2)*b(1,3))*b(4,4)))/(
b(4,4)*b(2,2) - b(4,2)*b(2,4)),b(4,4),0,0),(b(5,1),b(5,2),b(5,3),b(5,4),((b(4,4)
*b(2,2) - b(4,2)*b(2,4) + b(3,4)*b(1,2) - b(3,2)*b(1,4))*(b(3,3)*b(1,1) - b(3,1)
*b(1,3)))/(b(4,4)*b(2,2) - b(4,2)*b(2,4)),b(5,6)),(b(6,1),b(6,2),b(6,3),b(6,4),0
,b(6,6)))$

det(isom):=((b(4,4)*b(2,2) - b(4,2)*b(2,4) + b(3,4)*b(1,2) - b(3,2)*b(1,4))**3*(
b(3,3)*b(1,1) - b(3,1)*b(1,3))**2*b(6,6))/(b(4,4)*b(2,2) - b(4,2)*b(2,4))**2$



!Then! the! last! eqn! 24!|5! reads! b(1,1)*b(3,3)-b(3,1)*b(1,3)=b(2,2)*b(4,4)-b
(2,4)*\
b(4,2)$

that is delta^(1,3)_(1,3) = delta^(2,4)_(2,4).$

As delta^(2,4)_(2,4) neq 0 , b(2,2) and b(2,4) are not simultaneously zero.$

**** Case 1.1 : suppose b(2,2) neq 0 (Contains the identity component).$

Then we get from eqn 24|5:$

b(4,4):=(b(3,3)*b(1,1) - b(3,1)*b(1,3) + b(4,2)*b(2,4))/b(2,2)$

{{{{1,2},1},0},
{{{1,2},2},0},
{{{1,2},3},0},
{{{1,2},4},0},
{{{1,2},5},0},
{{{1,2},6},0},
{{{1,3},1},0},
{{{1,3},2},0},
{{{1,3},3},0},
{{{1,3},4},0},
{{{1,3},5},0},
{{{1,3},6},0},
{{{1,4},1},0},
{{{1,4},2},0},
{{{1,4},3},0},
{{{1,4},4},0},
{{{1,4},5},0},
{{{1,4},6},0},
{{{1,5},1},0},
{{{1,5},2},0},
{{{1,5},3},0},
{{{1,5},4},0},
{{{1,5},5},0},
{{{1,5},6},0},
{{{1,6},1},0},
{{{1,6},2},0},
{{{1,6},3},0},
{{{1,6},4},0},
{{{1,6},5},0},
{{{1,6},6},0},
{{{2,3},1},0},
{{{2,3},2},0},
{{{2,3},3},0},
{{{2,3},4},0},
{{{2,3},5},0},
{{{2,3},6},0},
{{{2,4},1},0},
{{{2,4},2},0},
{{{2,4},3},0},
{{{2,4},4},0},
{{{2,4},5},0},
{{{2,4},6},0},
{{{2,5},1},0},
{{{2,5},2},0},
{{{2,5},3},0},
{{{2,5},4},0},
{{{2,5},5},0},
{{{2,5},6},0},
{{{2,6},1},0},
{{{2,6},2},0},
{{{2,6},3},0},
{{{2,6},4},0},
{{{2,6},5},0},
{{{2,6},6},0},
{{{3,4},1},0},
{{{3,4},2},0},
{{{3,4},3},0},
{{{3,4},4},0},
{{{3,4},5},0},
{{{3,4},6},0},
{{{3,5},1},0},
{{{3,5},2},0},
{{{3,5},3},0},
{{{3,5},4},0},
{{{3,5},5},0},
{{{3,5},6},0},
{{{3,6},1},0},
{{{3,6},2},0},
{{{3,6},3},0},
{{{3,6},4},0},
{{{3,6},5},0},
{{{3,6},6},0},
{{{4,5},1},0},
{{{4,5},2},0},
{{{4,5},3},0},
{{{4,5},4},0},
{{{4,5},5},0},
{{{4,5},6},0},
{{{4,6},1},0},
{{{4,6},2},0},
{{{4,6},3},0},
{{{4,6},4},0},
{{{4,6},5},0},
{{{4,6},6},0},
{{{5,6},1},0},
{{{5,6},2},0},
{{{5,6},3},0},
{{{5,6},4},0},
{{{5,6},5},0},
{{{5,6},6},0}}$

isom:=
mat((b(1,1),b(1,2),b(1,3),b(1,4),0,0),(( - ((b(2,4)*b(1,2) - b(2,2)*b(1,4))*b(3,
1) - b(3,2)*b(2,4)*b(1,1) + b(3,4)*b(2,2)*b(1,1)))/(b(3,3)*b(1,1) - b(3,1)*b(1,3
)),b(2,2),( - (b(3,3)*b(2,4)*b(1,2) - b(3,3)*b(2,2)*b(1,4) - b(3,2)*b(2,4)*b(1,3
) + b(3,4)*b(2,2)*b(1,3)))/(b(3,3)*b(1,1) - b(3,1)*b(1,3)),b(2,4),0,0),(b(3,1),b
(3,2),b(3,3),b(3,4),0,0),(((b(3,3)*b(1,1) - b(3,1)*b(1,3))*(b(3,2)*b(1,1) - b(3,
1)*b(1,2)) - b(4,2)*b(3,4)*b(2,2)*b(1,1) - ((b(2,4)*b(1,2) - b(2,2)*b(1,4))*b(3,
1) - b(3,2)*b(2,4)*b(1,1))*b(4,2))/((b(3,3)*b(1,1) - b(3,1)*b(1,3))*b(2,2)),b(4,
2),( - ((b(3,3)*b(1,2) - b(3,2)*b(1,3))*(b(3,3)*b(1,1) - b(3,1)*b(1,3)) + b(4,2)
*b(3,4)*b(2,2)*b(1,3) + (b(3,3)*b(2,4)*b(1,2) - b(3,3)*b(2,2)*b(1,4) - b(3,2)*b(
2,4)*b(1,3))*b(4,2)))/((b(3,3)*b(1,1) - b(3,1)*b(1,3))*b(2,2)),(b(3,3)*b(1,1) - 
b(3,1)*b(1,3) + b(4,2)*b(2,4))/b(2,2),0,0),(b(5,1),b(5,2),b(5,3),b(5,4), - (b(3,
2)*b(1,4) + b(3,1)*b(1,3) - b(3,3)*b(1,1) - b(3,4)*b(1,2)),b(5,6)),(b(6,1),b(6,2
),b(6,3),b(6,4),0,b(6,6)))$

det(isom):=(b(3,4)*b(1,2) + b(3,3)*b(1,1) - b(3,2)*b(1,4) - b(3,1)*b(1,3))**3*b(
6,6)$

isom:=

mat((b(1,1),b(1,2),b(1,3),b(1,4),0,0),

    (( - ((b(2,4)*b(1,2) - b(2,2)*b(1,4))*b(3,1) - b(3,2)*b(2,4)*b(1,1)

           + b(3,4)*b(2,2)*b(1,1)))/(b(3,3)*b(1,1) - b(3,1)*b(1,3)),b(2,2),( - (

           b(3,3)*b(2,4)*b(1,2) - b(3,3)*b(2,2)*b(1,4) - b(3,2)*b(2,4)*b(1,3)

            + b(3,4)*b(2,2)*b(1,3)))/(b(3,3)*b(1,1) - b(3,1)*b(1,3)),b(2,4),0,0)

     ,

    (b(3,1),b(3,2),b(3,3),b(3,4),0,0),

    (((b(3,3)*b(1,1) - b(3,1)*b(1,3))*(b(3,2)*b(1,1) - b(3,1)*b(1,2))

       - b(4,2)*b(3,4)*b(2,2)*b(1,1)

       - ((b(2,4)*b(1,2) - b(2,2)*b(1,4))*b(3,1) - b(3,2)*b(2,4)*b(1,1))*b(4,2))

     /((b(3,3)*b(1,1) - b(3,1)*b(1,3))*b(2,2)),b(4,2),( - (

           (b(3,3)*b(1,2) - b(3,2)*b(1,3))*(b(3,3)*b(1,1) - b(3,1)*b(1,3))

            + b(4,2)*b(3,4)*b(2,2)*b(1,3) + 

           (b(3,3)*b(2,4)*b(1,2) - b(3,3)*b(2,2)*b(1,4) - b(3,2)*b(2,4)*b(1,3))

           *b(4,2)))/((b(3,3)*b(1,1) - b(3,1)*b(1,3))*b(2,2)),

      b(3,3)*b(1,1) - b(3,1)*b(1,3) + b(4,2)*b(2,4)
     -----------------------------------------------,0,0),
                         b(2,2)

    (b(5,1),b(5,2),b(5,3),b(5,4),

      - (b(3,2)*b(1,4) + b(3,1)*b(1,3) - b(3,3)*b(1,1) - b(3,4)*b(1,2)),b(5,6)),

    (b(6,1),b(6,2),b(6,3),b(6,4),0,b(6,6)))


The parameters are subject to the conditions :$

delta^(2,4)_(2,4) = delta^(1,3)_(1,3) neq 0$

and delta^(2,4)_(2,4) + delta^(1,3)_(2,4) neq 0$

That is :$

 - (b(3,2)*b(1,4) + b(3,1)*b(1,3) - b(3,3)*b(1,1) - b(3,4)*b(1,2)) neq 0$

and b(3,3)*b(1,1) - b(3,1)*b(1,3) neq 0.$

**** Case 1.2 : suppose b(2,2) = 0.$

clear b(4,4)$

b(2,2):=0$

Then b(2,4) neq 0.$

Then we get from eqn 24|5:$

b(4,2):=( - (b(3,3)*b(1,1) - b(3,1)*b(1,3)))/b(2,4)$

{{{{1,2},1},0},
{{{1,2},2},0},
{{{1,2},3},0},
{{{1,2},4},0},
{{{1,2},5},0},
{{{1,2},6},0},
{{{1,3},1},0},
{{{1,3},2},0},
{{{1,3},3},0},
{{{1,3},4},0},
{{{1,3},5},0},
{{{1,3},6},0},
{{{1,4},1},0},
{{{1,4},2},0},
{{{1,4},3},0},
{{{1,4},4},0},
{{{1,4},5},0},
{{{1,4},6},0},
{{{1,5},1},0},
{{{1,5},2},0},
{{{1,5},3},0},
{{{1,5},4},0},
{{{1,5},5},0},
{{{1,5},6},0},
{{{1,6},1},0},
{{{1,6},2},0},
{{{1,6},3},0},
{{{1,6},4},0},
{{{1,6},5},0},
{{{1,6},6},0},
{{{2,3},1},0},
{{{2,3},2},0},
{{{2,3},3},0},
{{{2,3},4},0},
{{{2,3},5},0},
{{{2,3},6},0},
{{{2,4},1},0},
{{{2,4},2},0},
{{{2,4},3},0},
{{{2,4},4},0},
{{{2,4},5},0},
{{{2,4},6},0},
{{{2,5},1},0},
{{{2,5},2},0},
{{{2,5},3},0},
{{{2,5},4},0},
{{{2,5},5},0},
{{{2,5},6},0},
{{{2,6},1},0},
{{{2,6},2},0},
{{{2,6},3},0},
{{{2,6},4},0},
{{{2,6},5},0},
{{{2,6},6},0},
{{{3,4},1},0},
{{{3,4},2},0},
{{{3,4},3},0},
{{{3,4},4},0},
{{{3,4},5},0},
{{{3,4},6},0},
{{{3,5},1},0},
{{{3,5},2},0},
{{{3,5},3},0},
{{{3,5},4},0},
{{{3,5},5},0},
{{{3,5},6},0},
{{{3,6},1},0},
{{{3,6},2},0},
{{{3,6},3},0},
{{{3,6},4},0},
{{{3,6},5},0},
{{{3,6},6},0},
{{{4,5},1},0},
{{{4,5},2},0},
{{{4,5},3},0},
{{{4,5},4},0},
{{{4,5},5},0},
{{{4,5},6},0},
{{{4,6},1},0},
{{{4,6},2},0},
{{{4,6},3},0},
{{{4,6},4},0},
{{{4,6},5},0},
{{{4,6},6},0},
{{{5,6},1},0},
{{{5,6},2},0},
{{{5,6},3},0},
{{{5,6},4},0},
{{{5,6},5},0},
{{{5,6},6},0}}$

isom:=
mat((b(1,1),b(1,2),b(1,3),b(1,4),0,0),(((b(3,2)*b(1,1) - b(3,1)*b(1,2))*b(2,4))/
(b(3,3)*b(1,1) - b(3,1)*b(1,3)),0,( - (b(3,3)*b(1,2) - b(3,2)*b(1,3))*b(2,4))/(b
(3,3)*b(1,1) - b(3,1)*b(1,3)),b(2,4),0,0),(b(3,1),b(3,2),b(3,3),b(3,4),0,0),(((b
(3,4)*b(1,1) - b(3,1)*b(1,4))*(b(3,3)*b(1,1) - b(3,1)*b(1,3)) + (b(3,2)*b(1,1) -
 b(3,1)*b(1,2))*b(4,4)*b(2,4))/((b(3,3)*b(1,1) - b(3,1)*b(1,3))*b(2,4)),( - (b(3
,3)*b(1,1) - b(3,1)*b(1,3)))/b(2,4),((b(3,4)*b(1,3) - b(3,3)*b(1,4))*(b(3,3)*b(1
,1) - b(3,1)*b(1,3)) - (b(3,3)*b(1,2) - b(3,2)*b(1,3))*b(4,4)*b(2,4))/((b(3,3)*b
(1,1) - b(3,1)*b(1,3))*b(2,4)),b(4,4),0,0),(b(5,1),b(5,2),b(5,3),b(5,4), - (b(3,
2)*b(1,4) + b(3,1)*b(1,3) - b(3,3)*b(1,1) - b(3,4)*b(1,2)),b(5,6)),(b(6,1),b(6,2
),b(6,3),b(6,4),0,b(6,6)))$

det(isom):=(b(3,4)*b(1,2) + b(3,3)*b(1,1) - b(3,2)*b(1,4) - b(3,1)*b(1,3))**3*b(
6,6)$

isom:=

mat((b(1,1),b(1,2),b(1,3),b(1,4),0,0),

      (b(3,2)*b(1,1) - b(3,1)*b(1,2))*b(2,4)
    (----------------------------------------,0,
          b(3,3)*b(1,1) - b(3,1)*b(1,3)

       - (b(3,3)*b(1,2) - b(3,2)*b(1,3))*b(2,4)
     -------------------------------------------,b(2,4),0,0),
            b(3,3)*b(1,1) - b(3,1)*b(1,3)

    (b(3,1),b(3,2),b(3,3),b(3,4),0,0),

    (((b(3,4)*b(1,1) - b(3,1)*b(1,4))*(b(3,3)*b(1,1) - b(3,1)*b(1,3))

       + (b(3,2)*b(1,1) - b(3,1)*b(1,2))*b(4,4)*b(2,4))/(

        (b(3,3)*b(1,1) - b(3,1)*b(1,3))*b(2,4)),

       - (b(3,3)*b(1,1) - b(3,1)*b(1,3))
     ------------------------------------,(
                    b(2,4)

        (b(3,4)*b(1,3) - b(3,3)*b(1,4))*(b(3,3)*b(1,1) - b(3,1)*b(1,3))

         - (b(3,3)*b(1,2) - b(3,2)*b(1,3))*b(4,4)*b(2,4))/(

        (b(3,3)*b(1,1) - b(3,1)*b(1,3))*b(2,4)),b(4,4),0,0),

    (b(5,1),b(5,2),b(5,3),b(5,4),

      - (b(3,2)*b(1,4) + b(3,1)*b(1,3) - b(3,3)*b(1,1) - b(3,4)*b(1,2)),b(5,6)),

    (b(6,1),b(6,2),b(6,3),b(6,4),0,b(6,6)))


The parameters are subject to the conditions :$

The parameters are subject to the same conditions :$

delta^(2,4)_(2,4) = delta^(1,3)_(1,3) neq 0$

and delta^(2,4)_(2,4) + delta^(1,3)_(2,4) neq 0$

That is :$

 - (b(3,2)*b(1,4) + b(3,1)*b(1,3) - b(3,3)*b(1,1) - b(3,4)*b(1,2)) neq 0$

and b(3,3)*b(1,1) - b(3,1)*b(1,3) neq 0.$

**************************************************************$

**************************************************************$

****** second case: delta^(1,3)_(2,4) neq 0 (2d system).$

**************************************************************$

**************************************************************$

clear b(2,1),b(4,1),b(2,3),b(4,3),b(2,2),b(4,2)$

{{{{1,2},1},0},
{{{1,2},2},0},
{{{1,2},3},0},
{{{1,2},4},0},
{{{1,2},5},
b(3,2)*b(1,1) - b(3,1)*b(1,2) - b(4,1)*b(2,2) + b(4,2)*b(2,1)},
{{{1,2},6},0},
{{{1,3},1},0},
{{{1,3},2},0},
{{{1,3},3},0},
{{{1,3},4},0},
{{{1,3},5},0},
{{{1,3},6},0},
{{{1,4},1},0},
{{{1,4},2},0},
{{{1,4},3},0},
{{{1,4},4},0},
{{{1,4},5},
b(3,4)*b(1,1) - b(3,1)*b(1,4) - b(4,1)*b(2,4) + b(4,4)*b(2,1)},
{{{1,4},6},0},
{{{1,5},1},0},
{{{1,5},2},0},
{{{1,5},3},0},
{{{1,5},4},0},
{{{1,5},5},0},
{{{1,5},6},0},
{{{1,6},1},0},
{{{1,6},2},0},
{{{1,6},3},0},
{{{1,6},4},0},
{{{1,6},5},0},
{{{1,6},6},0},
{{{2,3},1},0},
{{{2,3},2},0},
{{{2,3},3},0},
{{{2,3},4},0},
{{{2,3},5},
b(3,3)*b(1,2) - b(3,2)*b(1,3) - b(4,2)*b(2,3) + b(4,3)*b(2,2)},
{{{2,3},6},0},
{{{2,4},1},0},
{{{2,4},2},0},
{{{2,4},3},0},
{{{2,4},4},0},
{{{2,4},5},
b(3,4)*b(1,2) - b(3,2)*b(1,4) - b(4,2)*b(2,4) - b(4,3)*b(2,1) + b(4,4)*b(2,2) - 
(b(3,3)*b(1,1) - b(3,1)*b(1,3) - b(4,1)*b(2,3))},
{{{2,4},6},0},
{{{2,5},1},0},
{{{2,5},2},0},
{{{2,5},3},0},
{{{2,5},4},0},
{{{2,5},5},0},
{{{2,5},6},0},
{{{2,6},1},0},
{{{2,6},2},0},
{{{2,6},3},0},
{{{2,6},4},0},
{{{2,6},5},0},
{{{2,6},6},0},
{{{3,4},1},0},
{{{3,4},2},0},
{{{3,4},3},0},
{{{3,4},4},0},
{{{3,4},5},
b(3,4)*b(1,3) - b(3,3)*b(1,4) - b(4,3)*b(2,4) + b(4,4)*b(2,3)},
{{{3,4},6},0},
{{{3,5},1},0},
{{{3,5},2},0},
{{{3,5},3},0},
{{{3,5},4},0},
{{{3,5},5},0},
{{{3,5},6},0},
{{{3,6},1},0},
{{{3,6},2},0},
{{{3,6},3},0},
{{{3,6},4},0},
{{{3,6},5},0},
{{{3,6},6},0},
{{{4,5},1},0},
{{{4,5},2},0},
{{{4,5},3},0},
{{{4,5},4},0},
{{{4,5},5},0},
{{{4,5},6},0},
{{{4,6},1},0},
{{{4,6},2},0},
{{{4,6},3},0},
{{{4,6},4},0},
{{{4,6},5},0},
{{{4,6},6},0},
{{{5,6},1},0},
{{{5,6},2},0},
{{{5,6},3},0},
{{{5,6},4},0},
{{{5,6},5},0},
{{{5,6},6},0}}$

isom:=
mat((b(1,1),b(1,2),b(1,3),b(1,4),0,0),(b(2,1),b(2,2),b(2,3),b(2,4),0,0),(b(3,1),
b(3,2),b(3,3),b(3,4),0,0),(b(4,1),b(4,2),b(4,3),b(4,4),0,0),(b(5,1),b(5,2),b(5,3
),b(5,4),b(3,3)*b(1,1) - b(3,1)*b(1,3) - b(4,1)*b(2,3) + b(4,3)*b(2,1),b(5,6)),(
b(6,1),b(6,2),b(6,3),b(6,4),0,b(6,6)))$

det(isom):=(b(4,4)*b(3,3)*b(2,2)*b(1,1) - b(4,4)*b(3,3)*b(2,1)*b(1,2) - b(4,4)*b
(3,2)*b(2,3)*b(1,1) + b(4,4)*b(3,2)*b(2,1)*b(1,3) + b(4,4)*b(3,1)*b(2,3)*b(1,2) 
- b(4,4)*b(3,1)*b(2,2)*b(1,3) - b(4,3)*b(3,4)*b(2,2)*b(1,1) + b(4,3)*b(3,4)*b(2,
1)*b(1,2) + b(4,3)*b(3,2)*b(2,4)*b(1,1) - b(4,3)*b(3,2)*b(2,1)*b(1,4) - b(4,3)*b
(3,1)*b(2,4)*b(1,2) + b(4,3)*b(3,1)*b(2,2)*b(1,4) + b(4,2)*b(3,4)*b(2,3)*b(1,1) 
- b(4,2)*b(3,4)*b(2,1)*b(1,3) - b(4,2)*b(3,3)*b(2,4)*b(1,1) + b(4,2)*b(3,3)*b(2,
1)*b(1,4) + b(4,2)*b(3,1)*b(2,4)*b(1,3) - b(4,2)*b(3,1)*b(2,3)*b(1,4) - b(4,1)*b
(3,4)*b(2,3)*b(1,2) + b(4,1)*b(3,4)*b(2,2)*b(1,3) + b(4,1)*b(3,3)*b(2,4)*b(1,2) 
- b(4,1)*b(3,3)*b(2,2)*b(1,4) - b(4,1)*b(3,2)*b(2,4)*b(1,3) + b(4,1)*b(3,2)*b(2,
3)*b(1,4))*(b(4,3)*b(2,1) - b(4,1)*b(2,3) + b(3,3)*b(1,1) - b(3,1)*b(1,3))*b(6,6
)$

isom:=

mat((b(1,1),b(1,2),b(1,3),b(1,4),0,0),

    (b(2,1),b(2,2),b(2,3),b(2,4),0,0),

    (b(3,1),b(3,2),b(3,3),b(3,4),0,0),

    (b(4,1),b(4,2),b(4,3),b(4,4),0,0),

    (b(5,1),b(5,2),b(5,3),b(5,4),

     b(3,3)*b(1,1) - b(3,1)*b(1,3) - b(4,1)*b(2,3) + b(4,3)*b(2,1),b(5,6)),

    (b(6,1),b(6,2),b(6,3),b(6,4),0,b(6,6)))


****** As delta^(1,3)_(2,4) neq 0 (2d system),$

then we get b(1,3) and b(3,3):$

b(1,3):=(b(4,3)*b(2,4)*b(1,2) - b(4,3)*b(2,2)*b(1,4) + b(4,2)*b(2,3)*b(1,4) - b(
4,4)*b(2,3)*b(1,2))/(b(3,4)*b(1,2) - b(3,2)*b(1,4))$

b(3,3):=( - (b(4,3)*b(3,4)*b(2,2) - b(4,3)*b(3,2)*b(2,4) - b(4,2)*b(3,4)*b(2,3) 
+ b(4,4)*b(3,2)*b(2,3)))/(b(3,4)*b(1,2) - b(3,2)*b(1,4))$

{{{{1,2},1},0},
{{{1,2},2},0},
{{{1,2},3},0},
{{{1,2},4},0},
{{{1,2},5},
b(3,2)*b(1,1) - b(3,1)*b(1,2) - b(4,1)*b(2,2) + b(4,2)*b(2,1)},
{{{1,2},6},0},
{{{1,3},1},0},
{{{1,3},2},0},
{{{1,3},3},0},
{{{1,3},4},0},
{{{1,3},5},0},
{{{1,3},6},0},
{{{1,4},1},0},
{{{1,4},2},0},
{{{1,4},3},0},
{{{1,4},4},0},
{{{1,4},5},
b(3,4)*b(1,1) - b(3,1)*b(1,4) - b(4,1)*b(2,4) + b(4,4)*b(2,1)},
{{{1,4},6},0},
{{{1,5},1},0},
{{{1,5},2},0},
{{{1,5},3},0},
{{{1,5},4},0},
{{{1,5},5},0},
{{{1,5},6},0},
{{{1,6},1},0},
{{{1,6},2},0},
{{{1,6},3},0},
{{{1,6},4},0},
{{{1,6},5},0},
{{{1,6},6},0},
{{{2,3},1},0},
{{{2,3},2},0},
{{{2,3},3},0},
{{{2,3},4},0},
{{{2,3},5},0},
{{{2,3},6},0},
{{{2,4},1},0},
{{{2,4},2},0},
{{{2,4},3},0},
{{{2,4},4},0},
{{{2,4},5},
((b(3,4)*b(1,2) - b(3,2)*b(1,4) - b(4,2)*b(2,4) + b(4,4)*b(2,2))*(b(3,4)*b(1,2) 
- b(3,2)*b(1,4)) + (b(4,3)*b(3,4)*b(2,2) - b(4,3)*b(3,2)*b(2,4) - b(4,2)*b(3,4)*
b(2,3))*b(1,1) + (b(4,3)*b(2,4)*b(1,2) - b(4,3)*b(2,2)*b(1,4) + b(4,2)*b(2,3)*b(
1,4))*b(3,1) + (b(3,2)*b(1,1) - b(3,1)*b(1,2))*b(4,4)*b(2,3) - (b(4,3)*b(2,1) - 
b(4,1)*b(2,3))*(b(3,4)*b(1,2) - b(3,2)*b(1,4)))/(b(3,4)*b(1,2) - b(3,2)*b(1,4))}
,
{{{2,4},6},0},
{{{2,5},1},0},
{{{2,5},2},0},
{{{2,5},3},0},
{{{2,5},4},0},
{{{2,5},5},0},
{{{2,5},6},0},
{{{2,6},1},0},
{{{2,6},2},0},
{{{2,6},3},0},
{{{2,6},4},0},
{{{2,6},5},0},
{{{2,6},6},0},
{{{3,4},1},0},
{{{3,4},2},0},
{{{3,4},3},0},
{{{3,4},4},0},
{{{3,4},5},0},
{{{3,4},6},0},
{{{3,5},1},0},
{{{3,5},2},0},
{{{3,5},3},0},
{{{3,5},4},0},
{{{3,5},5},0},
{{{3,5},6},0},
{{{3,6},1},0},
{{{3,6},2},0},
{{{3,6},3},0},
{{{3,6},4},0},
{{{3,6},5},0},
{{{3,6},6},0},
{{{4,5},1},0},
{{{4,5},2},0},
{{{4,5},3},0},
{{{4,5},4},0},
{{{4,5},5},0},
{{{4,5},6},0},
{{{4,6},1},0},
{{{4,6},2},0},
{{{4,6},3},0},
{{{4,6},4},0},
{{{4,6},5},0},
{{{4,6},6},0},
{{{5,6},1},0},
{{{5,6},2},0},
{{{5,6},3},0},
{{{5,6},4},0},
{{{5,6},5},0},
{{{5,6},6},0}}$

isom:=
mat((b(1,1),b(1,2),(b(4,3)*b(2,4)*b(1,2) - b(4,3)*b(2,2)*b(1,4) + b(4,2)*b(2,3)*
b(1,4) - b(4,4)*b(2,3)*b(1,2))/(b(3,4)*b(1,2) - b(3,2)*b(1,4)),b(1,4),0,0),(b(2,
1),b(2,2),b(2,3),b(2,4),0,0),(b(3,1),b(3,2),( - (b(4,3)*b(3,4)*b(2,2) - b(4,3)*b
(3,2)*b(2,4) - b(4,2)*b(3,4)*b(2,3) + b(4,4)*b(3,2)*b(2,3)))/(b(3,4)*b(1,2) - b(
3,2)*b(1,4)),b(3,4),0,0),(b(4,1),b(4,2),b(4,3),b(4,4),0,0),(b(5,1),b(5,2),b(5,3)
,b(5,4),( - ((b(4,3)*b(2,4)*b(1,2) - b(4,3)*b(2,2)*b(1,4) + b(4,2)*b(2,3)*b(1,4)
)*b(3,1) + (b(3,2)*b(1,1) - b(3,1)*b(1,2))*b(4,4)*b(2,3) - (b(4,3)*b(2,1) - b(4,
1)*b(2,3))*(b(3,4)*b(1,2) - b(3,2)*b(1,4)) + (b(4,3)*b(3,4)*b(2,2) - b(4,3)*b(3,
2)*b(2,4) - b(4,2)*b(3,4)*b(2,3))*b(1,1)))/(b(3,4)*b(1,2) - b(3,2)*b(1,4)),b(5,6
)),(b(6,1),b(6,2),b(6,3),b(6,4),0,b(6,6)))$

det(isom):=((b(4,4)*b(3,2)*b(2,3)*b(1,1) - b(4,4)*b(3,1)*b(2,3)*b(1,2) + b(4,3)*
b(3,4)*b(2,2)*b(1,1) - b(4,3)*b(3,4)*b(2,1)*b(1,2) - b(4,3)*b(3,2)*b(2,4)*b(1,1)
 + b(4,3)*b(3,2)*b(2,1)*b(1,4) + b(4,3)*b(3,1)*b(2,4)*b(1,2) - b(4,3)*b(3,1)*b(2
,2)*b(1,4) - b(4,2)*b(3,4)*b(2,3)*b(1,1) + b(4,2)*b(3,1)*b(2,3)*b(1,4) + b(4,1)*
b(3,4)*b(2,3)*b(1,2) - b(4,1)*b(3,2)*b(2,3)*b(1,4))**2*(b(4,4)*b(2,2) - b(4,2)*b
(2,4) + b(3,4)*b(1,2) - b(3,2)*b(1,4))*b(6,6))/(b(3,4)*b(1,2) - b(3,2)*b(1,4))**
2$

Note now that the system of equations 12|5 , 14|5 $

with principal unknowns b(1,1),b(3,1)$

has principal determinant delta^(1,3)_(2,4) which is supposed neq 0.$

Hence we can solve it wrt b(1,1),b(3,1).$

b(1,1):=( - ((b(4,4)*b(1,2) - b(4,2)*b(1,4))*b(2,1) - (b(2,4)*b(1,2) - b(2,2)*b(
1,4))*b(4,1)))/(b(3,4)*b(1,2) - b(3,2)*b(1,4))$

b(3,1):=( - ((b(3,4)*b(2,2) - b(3,2)*b(2,4))*b(4,1) - b(4,2)*b(3,4)*b(2,1) + b(4
,4)*b(3,2)*b(2,1)))/(b(3,4)*b(1,2) - b(3,2)*b(1,4))$

{{{{1,2},1},0},
{{{1,2},2},0},
{{{1,2},3},0},
{{{1,2},4},0},
{{{1,2},5},0},
{{{1,2},6},0},
{{{1,3},1},0},
{{{1,3},2},0},
{{{1,3},3},0},
{{{1,3},4},0},
{{{1,3},5},0},
{{{1,3},6},0},
{{{1,4},1},0},
{{{1,4},2},0},
{{{1,4},3},0},
{{{1,4},4},0},
{{{1,4},5},0},
{{{1,4},6},0},
{{{1,5},1},0},
{{{1,5},2},0},
{{{1,5},3},0},
{{{1,5},4},0},
{{{1,5},5},0},
{{{1,5},6},0},
{{{1,6},1},0},
{{{1,6},2},0},
{{{1,6},3},0},
{{{1,6},4},0},
{{{1,6},5},0},
{{{1,6},6},0},
{{{2,3},1},0},
{{{2,3},2},0},
{{{2,3},3},0},
{{{2,3},4},0},
{{{2,3},5},0},
{{{2,3},6},0},
{{{2,4},1},0},
{{{2,4},2},0},
{{{2,4},3},0},
{{{2,4},4},0},
{{{2,4},5},
( - (b(4,4)*b(2,2) - b(4,2)*b(2,4) + b(3,4)*b(1,2) - b(3,2)*b(1,4))*(b(4,3)*b(2,
1) - b(4,1)*b(2,3) - b(3,4)*b(1,2) + b(3,2)*b(1,4)))/(b(3,4)*b(1,2) - b(3,2)*b(1
,4))},
{{{2,4},6},0},
{{{2,5},1},0},
{{{2,5},2},0},
{{{2,5},3},0},
{{{2,5},4},0},
{{{2,5},5},0},
{{{2,5},6},0},
{{{2,6},1},0},
{{{2,6},2},0},
{{{2,6},3},0},
{{{2,6},4},0},
{{{2,6},5},0},
{{{2,6},6},0},
{{{3,4},1},0},
{{{3,4},2},0},
{{{3,4},3},0},
{{{3,4},4},0},
{{{3,4},5},0},
{{{3,4},6},0},
{{{3,5},1},0},
{{{3,5},2},0},
{{{3,5},3},0},
{{{3,5},4},0},
{{{3,5},5},0},
{{{3,5},6},0},
{{{3,6},1},0},
{{{3,6},2},0},
{{{3,6},3},0},
{{{3,6},4},0},
{{{3,6},5},0},
{{{3,6},6},0},
{{{4,5},1},0},
{{{4,5},2},0},
{{{4,5},3},0},
{{{4,5},4},0},
{{{4,5},5},0},
{{{4,5},6},0},
{{{4,6},1},0},
{{{4,6},2},0},
{{{4,6},3},0},
{{{4,6},4},0},
{{{4,6},5},0},
{{{4,6},6},0},
{{{5,6},1},0},
{{{5,6},2},0},
{{{5,6},3},0},
{{{5,6},4},0},
{{{5,6},5},0},
{{{5,6},6},0}}$

isom:=
mat((( - ((b(4,4)*b(1,2) - b(4,2)*b(1,4))*b(2,1) - (b(2,4)*b(1,2) - b(2,2)*b(1,4
))*b(4,1)))/(b(3,4)*b(1,2) - b(3,2)*b(1,4)),b(1,2),(b(4,3)*b(2,4)*b(1,2) - b(4,3
)*b(2,2)*b(1,4) + b(4,2)*b(2,3)*b(1,4) - b(4,4)*b(2,3)*b(1,2))/(b(3,4)*b(1,2) - 
b(3,2)*b(1,4)),b(1,4),0,0),(b(2,1),b(2,2),b(2,3),b(2,4),0,0),(( - ((b(3,4)*b(2,2
) - b(3,2)*b(2,4))*b(4,1) - b(4,2)*b(3,4)*b(2,1) + b(4,4)*b(3,2)*b(2,1)))/(b(3,4
)*b(1,2) - b(3,2)*b(1,4)),b(3,2),( - (b(4,3)*b(3,4)*b(2,2) - b(4,3)*b(3,2)*b(2,4
) - b(4,2)*b(3,4)*b(2,3) + b(4,4)*b(3,2)*b(2,3)))/(b(3,4)*b(1,2) - b(3,2)*b(1,4)
),b(3,4),0,0),(b(4,1),b(4,2),b(4,3),b(4,4),0,0),(b(5,1),b(5,2),b(5,3),b(5,4),((b
(4,4)*b(2,2) - b(4,2)*b(2,4) + b(3,4)*b(1,2) - b(3,2)*b(1,4))*(b(4,3)*b(2,1) - b
(4,1)*b(2,3)))/(b(3,4)*b(1,2) - b(3,2)*b(1,4)),b(5,6)),(b(6,1),b(6,2),b(6,3),b(6
,4),0,b(6,6)))$

det(isom):=((b(4,4)*b(2,2) - b(4,2)*b(2,4) + b(3,4)*b(1,2) - b(3,2)*b(1,4))**3*(
b(4,3)*b(2,1) - b(4,1)*b(2,3))**2*b(6,6))/(b(3,4)*b(1,2) - b(3,2)*b(1,4))**2$

Now equation 24|5 amounts to :$

b(4,3)*b(2,1) - b(4,1)*b(2,3) - b(3,4)*b(1,2) + b(3,2)*b(1,4) =0$

As delta^(1,3)_(2,4) neq 0 , b(3,2) and b(1,2) are not simultaneously zero.$

***** Suppose case 2.1 : b(3,2) neq 0.$

Then we get:$

b(1,4):=(b(4,1)*b(2,3) + b(3,4)*b(1,2) - b(4,3)*b(2,1))/b(3,2)$

delta^(1,3)_(2,4):=b(3,2)*b(1,4)-b(3,4)*b(1,2):=$

 - (b(4,3)*b(2,1) - b(4,1)*b(2,3))$

{{{{1,2},1},0},
{{{1,2},2},0},
{{{1,2},3},0},
{{{1,2},4},0},
{{{1,2},5},0},
{{{1,2},6},0},
{{{1,3},1},0},
{{{1,3},2},0},
{{{1,3},3},0},
{{{1,3},4},0},
{{{1,3},5},0},
{{{1,3},6},0},
{{{1,4},1},0},
{{{1,4},2},0},
{{{1,4},3},0},
{{{1,4},4},0},
{{{1,4},5},0},
{{{1,4},6},0},
{{{1,5},1},0},
{{{1,5},2},0},
{{{1,5},3},0},
{{{1,5},4},0},
{{{1,5},5},0},
{{{1,5},6},0},
{{{1,6},1},0},
{{{1,6},2},0},
{{{1,6},3},0},
{{{1,6},4},0},
{{{1,6},5},0},
{{{1,6},6},0},
{{{2,3},1},0},
{{{2,3},2},0},
{{{2,3},3},0},
{{{2,3},4},0},
{{{2,3},5},0},
{{{2,3},6},0},
{{{2,4},1},0},
{{{2,4},2},0},
{{{2,4},3},0},
{{{2,4},4},0},
{{{2,4},5},0},
{{{2,4},6},0},
{{{2,5},1},0},
{{{2,5},2},0},
{{{2,5},3},0},
{{{2,5},4},0},
{{{2,5},5},0},
{{{2,5},6},0},
{{{2,6},1},0},
{{{2,6},2},0},
{{{2,6},3},0},
{{{2,6},4},0},
{{{2,6},5},0},
{{{2,6},6},0},
{{{3,4},1},0},
{{{3,4},2},0},
{{{3,4},3},0},
{{{3,4},4},0},
{{{3,4},5},0},
{{{3,4},6},0},
{{{3,5},1},0},
{{{3,5},2},0},
{{{3,5},3},0},
{{{3,5},4},0},
{{{3,5},5},0},
{{{3,5},6},0},
{{{3,6},1},0},
{{{3,6},2},0},
{{{3,6},3},0},
{{{3,6},4},0},
{{{3,6},5},0},
{{{3,6},6},0},
{{{4,5},1},0},
{{{4,5},2},0},
{{{4,5},3},0},
{{{4,5},4},0},
{{{4,5},5},0},
{{{4,5},6},0},
{{{4,6},1},0},
{{{4,6},2},0},
{{{4,6},3},0},
{{{4,6},4},0},
{{{4,6},5},0},
{{{4,6},6},0},
{{{5,6},1},0},
{{{5,6},2},0},
{{{5,6},3},0},
{{{5,6},4},0},
{{{5,6},5},0},
{{{5,6},6},0}}$

isom:=
mat((( - (((b(4,2)*b(2,1) - b(4,1)*b(2,2))*b(4,3) + b(4,4)*b(3,2)*b(1,2))*b(2,1)
 + (b(4,1)*b(2,3)*b(2,2) + b(3,4)*b(2,2)*b(1,2) - b(3,2)*b(2,4)*b(1,2))*b(4,1) -
 (b(4,1)*b(2,3) + b(3,4)*b(1,2))*b(4,2)*b(2,1)))/((b(4,3)*b(2,1) - b(4,1)*b(2,3)
)*b(3,2)),b(1,2),( - (((b(3,4)*b(2,2) - b(3,2)*b(2,4))*b(1,2) + b(4,1)*b(2,3)*b(
2,2))*b(4,3) + b(4,4)*b(3,2)*b(2,3)*b(1,2) - ((b(4,3)*b(2,2) - b(4,2)*b(2,3))*b(
4,3)*b(2,1) + (b(4,1)*b(2,3) + b(3,4)*b(1,2))*b(4,2)*b(2,3))))/((b(4,3)*b(2,1) -
 b(4,1)*b(2,3))*b(3,2)),(b(4,1)*b(2,3) + b(3,4)*b(1,2) - b(4,3)*b(2,1))/b(3,2),0
,0),(b(2,1),b(2,2),b(2,3),b(2,4),0,0),(( - ((b(3,4)*b(2,2) - b(3,2)*b(2,4))*b(4,
1) - b(4,2)*b(3,4)*b(2,1) + b(4,4)*b(3,2)*b(2,1)))/(b(4,3)*b(2,1) - b(4,1)*b(2,3
)),b(3,2),( - (b(4,3)*b(3,4)*b(2,2) - b(4,3)*b(3,2)*b(2,4) - b(4,2)*b(3,4)*b(2,3
) + b(4,4)*b(3,2)*b(2,3)))/(b(4,3)*b(2,1) - b(4,1)*b(2,3)),b(3,4),0,0),(b(4,1),b
(4,2),b(4,3),b(4,4),0,0),(b(5,1),b(5,2),b(5,3),b(5,4), - (b(4,2)*b(2,4) + b(4,1)
*b(2,3) - b(4,3)*b(2,1) - b(4,4)*b(2,2)),b(5,6)),(b(6,1),b(6,2),b(6,3),b(6,4),0,
b(6,6)))$

det(isom):=(b(4,4)*b(2,2) + b(4,3)*b(2,1) - b(4,2)*b(2,4) - b(4,1)*b(2,3))**3*b(
6,6)$

isom:=

mat((( - (((b(4,2)*b(2,1) - b(4,1)*b(2,2))*b(4,3) + b(4,4)*b(3,2)*b(1,2))*b(2,1)

           + 

          (b(4,1)*b(2,3)*b(2,2) + b(3,4)*b(2,2)*b(1,2) - b(3,2)*b(2,4)*b(1,2))

          *b(4,1) - (b(4,1)*b(2,3) + b(3,4)*b(1,2))*b(4,2)*b(2,1)))/(

        (b(4,3)*b(2,1) - b(4,1)*b(2,3))*b(3,2)),b(1,2),( - (

           ((b(3,4)*b(2,2) - b(3,2)*b(2,4))*b(1,2) + b(4,1)*b(2,3)*b(2,2))

           *b(4,3) + b(4,4)*b(3,2)*b(2,3)*b(1,2) - (

              (b(4,3)*b(2,2) - b(4,2)*b(2,3))*b(4,3)*b(2,1)

               + (b(4,1)*b(2,3) + b(3,4)*b(1,2))*b(4,2)*b(2,3))))/(

        (b(4,3)*b(2,1) - b(4,1)*b(2,3))*b(3,2)),

      b(4,1)*b(2,3) + b(3,4)*b(1,2) - b(4,3)*b(2,1)
     -----------------------------------------------,0,0),
                         b(3,2)

    (b(2,1),b(2,2),b(2,3),b(2,4),0,0),

    (( - ((b(3,4)*b(2,2) - b(3,2)*b(2,4))*b(4,1) - b(4,2)*b(3,4)*b(2,1)

           + b(4,4)*b(3,2)*b(2,1)))/(b(4,3)*b(2,1) - b(4,1)*b(2,3)),b(3,2),( - (

           b(4,3)*b(3,4)*b(2,2) - b(4,3)*b(3,2)*b(2,4) - b(4,2)*b(3,4)*b(2,3)

            + b(4,4)*b(3,2)*b(2,3)))/(b(4,3)*b(2,1) - b(4,1)*b(2,3)),b(3,4),0,0)

     ,

    (b(4,1),b(4,2),b(4,3),b(4,4),0,0),

    (b(5,1),b(5,2),b(5,3),b(5,4),

      - (b(4,2)*b(2,4) + b(4,1)*b(2,3) - b(4,3)*b(2,1) - b(4,4)*b(2,2)),b(5,6)),

    (b(6,1),b(6,2),b(6,3),b(6,4),0,b(6,6)))


clear b(1,4)$

****** Suppose case 2.2 : b(3,2) = 0.$

b(3,2):=0$

****** Then b(1,2) neq 0.$

Then we get:$

b(3,4):=(b(4,3)*b(2,1) - b(4,1)*b(2,3))/b(1,2)$

{{{{1,2},1},0},
{{{1,2},2},0},
{{{1,2},3},0},
{{{1,2},4},0},
{{{1,2},5},0},
{{{1,2},6},0},
{{{1,3},1},0},
{{{1,3},2},0},
{{{1,3},3},0},
{{{1,3},4},0},
{{{1,3},5},0},
{{{1,3},6},0},
{{{1,4},1},0},
{{{1,4},2},0},
{{{1,4},3},0},
{{{1,4},4},0},
{{{1,4},5},0},
{{{1,4},6},0},
{{{1,5},1},0},
{{{1,5},2},0},
{{{1,5},3},0},
{{{1,5},4},0},
{{{1,5},5},0},
{{{1,5},6},0},
{{{1,6},1},0},
{{{1,6},2},0},
{{{1,6},3},0},
{{{1,6},4},0},
{{{1,6},5},0},
{{{1,6},6},0},
{{{2,3},1},0},
{{{2,3},2},0},
{{{2,3},3},0},
{{{2,3},4},0},
{{{2,3},5},0},
{{{2,3},6},0},
{{{2,4},1},0},
{{{2,4},2},0},
{{{2,4},3},0},
{{{2,4},4},0},
{{{2,4},5},0},
{{{2,4},6},0},
{{{2,5},1},0},
{{{2,5},2},0},
{{{2,5},3},0},
{{{2,5},4},0},
{{{2,5},5},0},
{{{2,5},6},0},
{{{2,6},1},0},
{{{2,6},2},0},
{{{2,6},3},0},
{{{2,6},4},0},
{{{2,6},5},0},
{{{2,6},6},0},
{{{3,4},1},0},
{{{3,4},2},0},
{{{3,4},3},0},
{{{3,4},4},0},
{{{3,4},5},0},
{{{3,4},6},0},
{{{3,5},1},0},
{{{3,5},2},0},
{{{3,5},3},0},
{{{3,5},4},0},
{{{3,5},5},0},
{{{3,5},6},0},
{{{3,6},1},0},
{{{3,6},2},0},
{{{3,6},3},0},
{{{3,6},4},0},
{{{3,6},5},0},
{{{3,6},6},0},
{{{4,5},1},0},
{{{4,5},2},0},
{{{4,5},3},0},
{{{4,5},4},0},
{{{4,5},5},0},
{{{4,5},6},0},
{{{4,6},1},0},
{{{4,6},2},0},
{{{4,6},3},0},
{{{4,6},4},0},
{{{4,6},5},0},
{{{4,6},6},0},
{{{5,6},1},0},
{{{5,6},2},0},
{{{5,6},3},0},
{{{5,6},4},0},
{{{5,6},5},0},
{{{5,6},6},0}}$

isom:=
mat((( - ((b(4,4)*b(1,2) - b(4,2)*b(1,4))*b(2,1) - (b(2,4)*b(1,2) - b(2,2)*b(1,4
))*b(4,1)))/(b(4,3)*b(2,1) - b(4,1)*b(2,3)),b(1,2),(b(4,3)*b(2,4)*b(1,2) - b(4,3
)*b(2,2)*b(1,4) + b(4,2)*b(2,3)*b(1,4) - b(4,4)*b(2,3)*b(1,2))/(b(4,3)*b(2,1) - 
b(4,1)*b(2,3)),b(1,4),0,0),(b(2,1),b(2,2),b(2,3),b(2,4),0,0),((b(4,2)*b(2,1) - b
(4,1)*b(2,2))/b(1,2),0,( - (b(4,3)*b(2,2) - b(4,2)*b(2,3)))/b(1,2),(b(4,3)*b(2,1
) - b(4,1)*b(2,3))/b(1,2),0,0),(b(4,1),b(4,2),b(4,3),b(4,4),0,0),(b(5,1),b(5,2),
b(5,3),b(5,4),b(4,4)*b(2,2) - b(4,2)*b(2,4) + b(4,3)*b(2,1) - b(4,1)*b(2,3),b(5,
6)),(b(6,1),b(6,2),b(6,3),b(6,4),0,b(6,6)))$

det(isom):=(b(4,4)*b(2,2) + b(4,3)*b(2,1) - b(4,2)*b(2,4) - b(4,1)*b(2,3))**3*b(
6,6)$

isom:=

mat((( - ((b(4,4)*b(1,2) - b(4,2)*b(1,4))*b(2,1)

           - (b(2,4)*b(1,2) - b(2,2)*b(1,4))*b(4,1)))/(b(4,3)*b(2,1)

         - b(4,1)*b(2,3)),b(1,2),(b(4,3)*b(2,4)*b(1,2) - b(4,3)*b(2,2)*b(1,4)

         + b(4,2)*b(2,3)*b(1,4) - b(4,4)*b(2,3)*b(1,2))/(b(4,3)*b(2,1)

         - b(4,1)*b(2,3)),b(1,4),0,0),

    (b(2,1),b(2,2),b(2,3),b(2,4),0,0),

      b(4,2)*b(2,1) - b(4,1)*b(2,2)      - (b(4,3)*b(2,2) - b(4,2)*b(2,3))
    (-------------------------------,0,------------------------------------,
                 b(1,2)                               b(1,2)

      b(4,3)*b(2,1) - b(4,1)*b(2,3)
     -------------------------------,0,0),
                 b(1,2)

    (b(4,1),b(4,2),b(4,3),b(4,4),0,0),

    (b(5,1),b(5,2),b(5,3),b(5,4),

     b(4,4)*b(2,2) - b(4,2)*b(2,4) + b(4,3)*b(2,1) - b(4,1)*b(2,3),b(5,6)),

    (b(6,1),b(6,2),b(6,3),b(6,4),0,b(6,6)))