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

Record the characteristic polynomial of A_1 on the 128-dimensional di…

ee0202a
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
plan
succeeded Nov 10, 2026 in 4m 50s