Măsoară distanța în pași reprezentabili între două valori binary64 finite, egalând zerourile cu semn.
import math, struct
def ulp_distance(a, b):
if any(type(x) is not float or not math.isfinite(x) for x in (a, b)):
raise ValueError("ulp.finite")
def key(value):
bits = struct.unpack(">Q", struct.pack(">d", value))[0]
magnitude = bits & ((1 << 63)-1)
return (1 << 63)-magnitude if bits >> 63 else (1 << 63)+magnitude
return abs(key(a)-key(b))
import math, struct
def ulp_distance(a, b):
if any(type(x) is not float or not math.isfinite(x) for x in (a, b)):
raise ValueError("ulp.finite")
def key(value):
bits = struct.unpack(">Q", struct.pack(">d", value))[0]
magnitude = bits & ((1 << 63)-1)
return (1 << 63)-magnitude if bits >> 63 else (1 << 63)+magnitude
return abs(key(a)-key(b))
Două ieșiri numerice pot fi afișate identic, dar pot diferi în reprezentarea de bază. UlpNacre îți oferă un spațiu de programare cu IA pentru Windows în care să investighezi dacă diferența contează pentru aplicație. Adu intrările efective, calculul și comparația care au declanșat îngrijorarea. Cere asistentului să examineze cum sunt produse și evaluate valorile înainte de a înlocui verificarea egalității cu altă regulă.
Exemplul distanței dintre reprezentări în virgulă mobilă oferă o posibilă sarcină. Poți examina intrări finite și zero cu semn, apoi discuta cum ar trebui un rezultat de distanță să informeze un test sau diagnostic. Separă decizia privind toleranța aplicației de măsurarea propriu-zisă. Exemplul sursă este Python; numele domeniului nu stabilește existența unui depanator specific PHP și nu validează ipotezele pentru orice mediu numeric de execuție.
Folosește un endpoint compatibil OpenAI sau Anthropic acceptat pentru a selecta un model IA abliterat disponibil, cu acreditări unde sunt necesare. Contextul, instrumentele și restricțiile depind de modelul și serverul respectiv. Analizează codul de comparație propus și rulează-l pe valori reprezentative relevante aplicației. Un server local de modele separat acoperă inferența, în timp ce instrumentele conectate pot funcționa în continuare prin servicii externe.
Aceasta este o cerință a aplicației, nu o concluzie furnizată de măsurare. Ia în considerare utilizarea valorii și definește o regulă de comparare acceptabilă. Cere ca propunerea să-și explice limitele și testează valori apropiate de deciziile luate efectiv de software.
Originea poate explica de ce diferă valorile și dacă discrepanța este așteptată. Examinează conversiile și operațiile înainte de a schimba comparația finală. O nouă toleranță poate ascunde un defect în altă parte dacă traseul calculului rămâne neexplicat.
Nu. Contractul declarat acceptă intrări finite în virgulă mobilă, iar alte valori necesită o politică explicită. Păstrează intrările respinse vizibile în analiză, fără a presupune că o funcție de distanță între reprezentări acoperă orice tip numeric sau valoare excepțională.
Verifică reprezentarea numerică, comportamentul conversiilor și operațiile disponibile ale mediului. Recreează cazurile-limită relevante acolo. Exemplul Python furnizat este un punct de pornire pentru investigație, nu dovada că o transpunere netestată se comportă identic.
UlpNacre · Actualizat 2026-10-25
