Rădăcini stabile ale ecuației de gradul doi
Calculează rădăcini reale ale ecuației de gradul doi cu coeficienți scalați și o formulă rezistentă la anulare numerică.
from math import isfinite, sqrt, copysign
def real_roots(a, b, c):
original = (a, b, c)
if not all(type(v) in (int, float) and isfinite(v) for v in original) or a == 0:
raise ValueError("finite quadratic coefficients")
if c == 0:
other = -b / a
if not isfinite(other) or (b != 0 and other == 0):
raise ValueError("unrepresentable root")
return [0.0] if b == 0 else sorted((0.0, other))
scale = max(map(abs, original))
a, b, c = (v / scale for v in original)
if any(v != 0 and s == 0 for v, s in zip(original, (a,b,c))):
raise ValueError("coefficient underflow")
d = b*b - 4*a*c
if d < 0: return []
if d == 0: roots = [-b / (2*a)]
else:
q = -0.5 * (b + copysign(sqrt(d), b))
if q == 0: raise ValueError("root underflow")
roots = sorted((q/a, c/q))
if not all(map(isfinite, roots)) or (original[2] != 0 and 0 in roots):
raise ValueError("unrepresentable roots")
return rootsModele
Configurează un endpoint compatibil OpenAI sau Anthropic cu URL-ul de bază și cheia API, dacă este necesară. Testează conexiunea. Serverul local trebuie să ruleze; instrumentele externe pot transmite date separat.
Proiect
Testează o rădăcină dublă și rădăcini depărtate, respingând coeficientul principal nul ori rezultate nereprezentabile și întorcând nicio rădăcină pentru discriminant negativ.
Verifică înainte de aplicare
Compară comportamentul real cu rezultatul așteptat. Dacă o verificare eșuează, cercetează cauza înainte de alte modificări.
from math import isfinite, sqrt, copysign
def real_roots(a, b, c):
original = (a, b, c)
if not all(type(v) in (int, float) and isfinite(v) for v in original) or a == 0:
raise ValueError("finite quadratic coefficients")
if c == 0:
other = -b / a
if not isfinite(other) or (b != 0 and other == 0):
raise ValueError("unrepresentable root")
return [0.0] if b == 0 else sorted((0.0, other))
scale = max(map(abs, original))
a, b, c = (v / scale for v in original)
if any(v != 0 and s == 0 for v, s in zip(original, (a,b,c))):
raise ValueError("coefficient underflow")
d = b*b - 4*a*c
if d < 0: return []
if d == 0: roots = [-b / (2*a)]
else:
q = -0.5 * (b + copysign(sqrt(d), b))
if q == 0: raise ValueError("root underflow")
roots = sorted((q/a, c/q))
if not all(map(isfinite, roots)) or (original[2] != 0 and 0 in roots):
raise ValueError("unrepresentable roots")
return rootsRevizuiește comportamentul numeric dincolo de cazul obișnuit
RootEquinox este un spațiu Windows de programare cu IA pentru dezvoltatori care trebuie să examineze comportamentul unei implementări numerice dincolo de exemplele confortabile. Începe cu fișierele proiectului și descrie intervalul de intrări așteptat de aplicație. Cere modelului conectat să inspecteze atât calculul, cât și răspunsul apelantului atunci când un rezultat nu poate fi reprezentat conform intenției.
O rutină de rădăcini ale ecuației de gradul doi oferă o sarcină concretă. Coeficienții foarte diferiți ca ordin de mărime pot dezvălui comportamente pe care un exemplu mic de clasă le omite, așa că adu cazuri reprezentative în conversație înainte să ceri o modificare. Discută rădăcinile multiple, coeficienții principali respinși și modul în care funcția raportează un rezultat neacceptat. Aceste întrebări leagă modificarea propusă a formulei de contractul software din jurul ei.
Inspectează sursa rezultată și execută verificările proiectului folosind cazurile originale, inclusiv verificări ale reziduurilor unde este potrivit. Evită să tratezi un număr afișat plauzibil drept dovadă suficientă că implementarea își respectă limitele. RootEquinox funcționează cu endpointuri acceptate compatibile cu OpenAI sau Anthropic, folosind date de autentificare când sunt necesare. Un model fără restricții este o opțiune acolo unde serviciul configurat oferă unul, iar instrumentele și limitele de context depind de server. Scopul este o modificare numerică evaluabilă pe cazuri explicite, cu comportamentul de respingere revizuit la fel de atent ca ieșirea reușită.
Evaluarea unei modificări numerice
Ce trebuie să însoțească un rezultat raportat ca inexact?
Furnizează coeficienții de intrare, comportamentul așteptat și suficiente detalii pentru reproducerea discrepanței. Include modul în care apelantul folosește rezultatul. Astfel oferi asistentului o problemă software concretă, nu o invitație de a înlocui formula fără dovezi.
De ce să inspectez traseele de respingere în codul numeric?
Apelanții necesită un răspuns definit când intrarea este invalidă sau un rezultat util nu poate fi reprezentat. Revizuiește acele trasee împreună cu calculul, pentru ca modificarea să nu înlocuiască un eșec clar cu o ieșire înșelătoare sau o excepție neașteptată.
Poate o verificare a reziduului dovedi precizia fiecărei rădăcini?
Contribuie cu dovezi despre valorile returnate, dar nu este o demonstrație universală. Folosește-o împreună cu cazuri de referință și verificări ale limitelor intrărilor și revizuiește ipotezele toleranței, în loc să accepți un singur reziduu mic drept validare completă.
Ar trebui să accept o rescriere care trece exemplele obișnuite?
Numai după verificarea cazurilor dificile care au motivat sarcina. Păstrează scări foarte diferite, rădăcini multiple și intrările invalide specificate în testele proiectului. Revizuiește orice comportament de eroare modificat înainte să accepți înlocuitorul.
RootEquinox · Actualizat 2026-10-25