Skip to content

Record the characteristic polynomial of A_1 on the 128-dimensional dihedral isotypic component - #7065

Open
unpaidmoon wants to merge 1 commit into
CrocSwap:mainfrom
unpaidmoon:cursor/a1-isotypic-128-charpoly-eadd
Open

Record the characteristic polynomial of A_1 on the 128-dimensional dihedral isotypic component#7065
unpaidmoon wants to merge 1 commit into
CrocSwap:mainfrom
unpaidmoon:cursor/a1-isotypic-128-charpoly-eadd

Commits

  1. Commits on Nov 10, 2026