Před použitím zkontrolujte
Porovnejte skutečné chování s očekávaným výsledkem. Pokud kontrola selže, před dalšími změnami zjistěte příčinu.
Pracovní prostředí s AI pro kód
Celočíselné Bézoutovy koeficienty
Vraťte nezáporný NSD a Bézoutovy koeficienty dvou celých čísel s méně než 101 desetinnými číslicemi.
● ● ●BezoutVale●
Pracovní postupy · Celočíselné Bézoutovy koeficienty ×
def bezout(a, b):
if any(type(v) is not int or abs(v) >= 10**100 for v in (a, b)):
raise ValueError("integer.range")
old_r, r = abs(a), abs(b)
old_s, s, old_t, t = 1, 0, 0, 1
while r:
q = old_r // r
old_r, r = r, old_r - q * r
old_s, s = s, old_s - q * s
old_t, t = t, old_t - q * t
return old_r, old_s * (-1 if a < 0 else 1), old_t * (-1 if b < 0 else 1)✳Vraťte nezáporný NSD a Bézoutovy koeficienty dvou celých čísel s méně než 101 desetinnými číslicemi.
✓ ZměnyPřed použitím zkontrolujte ↗
Ilustrace pracovního prostředí
Modely
Nastavte endpoint kompatibilní s OpenAI nebo Anthropic pomocí základní URL a případného API klíče. Otestujte připojení. Lokální server modelu musí běžet; vzdálené nástroje mohou data odesílat samostatně.
Projekt
Ověřte záporné operandy i nulové případy, zkontrolujte celočíselnou identitu a odmítněte booleovské hodnoty.
Pracovní postupy
def bezout(a, b):
if any(type(v) is not int or abs(v) >= 10**100 for v in (a, b)):
raise ValueError("integer.range")
old_r, r = abs(a), abs(b)
old_s, s, old_t, t = 1, 0, 0, 1
while r:
q = old_r // r
old_r, r = r, old_r - q * r
old_s, s = s, old_s - q * s
old_t, t = t, old_t - q * t
return old_r, old_s * (-1 if a < 0 else 1), old_t * (-1 if b < 0 else 1)Návratová pravidla kontrolujte stejně pečlivě jako výpočet
BezoutVale je programovací software pro Windows k prozkoumání pomocných rutin, jejichž výstupy musí splnit přesná pravidla. Otevřete projekt a popište, co volající očekává od každé vrácené hodnoty. Před návrhem refaktoringu požádejte model o prověření rozhraní, zejména pokud několik výstupů může samo o sobě vypadat věrohodně.
Úloha vycházející z bezout.py se může zaměřit na znaménkové vstupy a koeficienty vracené se společným dělitelem. Přineste do konverzace test se záporným vstupem a uveďte identitu, kterou musí výsledek splnit. Poté prověřte, jak volající používá n-tici, aby změna pořadí návratových hodnot nebo znaménkové konvence neprošla bez povšimnutí za zdánlivě správnou aritmetikou.
K posouzení návrhu použijte nezávislé kontroly. Spusťte testy projektu a prověřte kombinace nulových vstupů, varianty znamének a odmítnutí nepodporovaných operandů. Důkazy ponechte u původního požadavku. Vysvětlení modelu může vést kontrolu, ale aplikace potřebuje výsledky splňující matematický vztah i rozhraní, které skutečně volá.
Model vyberte přes podporovaný koncový bod kompatibilní s OpenAI nebo koncový bod Anthropic a podle potřeby dodejte přihlašovací údaje. Služba může nabízet model AI bez cenzury, podléhající omezením poskytovatele. Podpora nástrojů a kapacita kontextu závisejí na zvoleném modelu a serveru; diskusi o zdrojích omezte na to, co lze v relaci spolehlivě prozkoumat.
Otázky k aritmetickému rozhraní s více hodnotami
Musí dvě správné implementace vracet stejné koeficienty?
Ne nutně. Určete vlastnosti požadované aplikací a zda závisí na konkrétní reprezentaci. Ověření rovnosti celé n-tice může být přísnější než pravidla. Před změnou rutiny nebo jejích testů prověřte volajícího.
Proč kontrolovat záporné vstupy samostatně?
Zpracování znamének může zachovat věrohodný dělitel, ale porušit vztah zahrnující koeficienty. Dodejte znaménkové testy a nezávisle ověřte definující vztah. Prověřte normalizaci na vstupní hranici, aby vrácené hodnoty stále odkazovaly na původní operandy.
Co se má stát, když jsou oba vstupy nulové?
Uveďte zamýšlený výsledek nebo pravidlo odmítnutí a porovnejte je se současnou implementací a volajícími. Nepředpokládejte, že úvahy pro běžné kladné vstupy řeší nulový případ. Výslovně jej zahrňte do kontroly, aby pozdější refaktoring zachoval zvolená pravidla.
Mohu požádat o úklid bez změny návratových konvencí?
Ano. Do zadání uveďte stávající pořadí n-tice, přijímané typy a pravidla znamének a požádejte o vymezenou změnu. Ve výsledném rozdílu prověřte změny validace či pořadí výstupů a před přijetím úklidu do projektu spusťte kontroly pravidel rozhraní.
BezoutVale · Aktualizováno 2026-10-25