Controlla prima di applicare
Confronta il comportamento effettivo con il risultato atteso. Se una verifica fallisce, indaga la causa prima di altre modifiche.
Ambiente di sviluppo con IA
Coefficienti interi di Bézout
Restituisci MCD non negativo e coefficienti di Bézout di due interi con meno di 101 cifre decimali.
● ● ●BezoutVale●
Flussi di lavoro · Coefficienti interi di Bézout ×
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)✳Restituisci MCD non negativo e coefficienti di Bézout di due interi con meno di 101 cifre decimali.
✓ ModificheControlla prima di applicare ↗
Illustrazione dell’ambiente
Modelli
Configura un endpoint compatibile con OpenAI o Anthropic usando URL di base e chiave API, se necessaria. Prova la connessione. Il server locale deve essere in esecuzione; gli strumenti remoti possono trasmettere dati separatamente.
Progetto
Verifica operandi negativi e casi zero, controllando l’identità intera e rifiutando booleani.
Flussi di lavoro
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)Esamina il contratto di ritorno con la stessa cura del calcolo
BezoutVale è un software di programmazione per Windows per esaminare funzioni ausiliarie i cui output devono soddisfare un contratto preciso. Apri il progetto e descrivi cosa si aspetta il chiamante da ogni valore restituito. Chiedi al modello di esaminare quell'interfaccia prima di proporre una ristrutturazione, soprattutto quando più output possono sembrare plausibili se considerati isolatamente.
Un'attività basata su bezout.py può concentrarsi su input con segno e coefficienti restituiti insieme a un divisore comune. Porta nella conversazione un caso con input negativo e indica l'identità che il risultato deve soddisfare. Poi esamina come il chiamante usa la tupla, affinché un riordinamento dei valori restituiti o una diversa convenzione dei segni non passi inosservato dietro un'aritmetica apparentemente corretta.
Usa controlli indipendenti per valutare la proposta. Esegui i test del progetto ed esamina combinazioni di input zero, variazioni di segno e rifiuto di operandi non supportati. Mantieni le prove legate al requisito originale. La spiegazione di un modello può guidare la revisione, ma l'applicazione richiede risultati che soddisfino sia la relazione matematica sia l'interfaccia effettivamente chiamata.
Scegli il modello tramite un endpoint supportato compatibile con OpenAI o Anthropic, fornendo le credenziali richieste. Da quel servizio potrebbe essere disponibile un modello IA senza censura, soggetto alle restrizioni del fornitore. Strumenti supportati e capacità di contesto dipendono da modello e server selezionati; limita la discussione del sorgente a ciò che può essere esaminato affidabilmente nella sessione.
Domande per un’interfaccia aritmetica con più valori
Due implementazioni corrette devono restituire coefficienti identici?
Non necessariamente. Stabilisci quali proprietà richiede l’applicazione e se dipende da una rappresentazione specifica. Un’asserzione di uguaglianza sull’intera tupla può essere più restrittiva del contratto. Esamina il chiamante prima di modificare la routine o i suoi test.
Perché esaminare separatamente gli input negativi?
La gestione dei segni può preservare un divisore plausibile ma violare la relazione con i coefficienti. Fornisci casi con segno e verifica indipendentemente la relazione che li definisce. Esamina eventuali normalizzazioni al confine di input, affinché i valori restituiti si riferiscano ancora agli operandi originali.
Cosa deve accadere quando entrambi gli input sono zero?
Indica il risultato previsto o la politica di rifiuto e confrontali con implementazione attuale e chiamanti. Non presumere che il ragionamento sugli input positivi risolva il caso zero. Includilo esplicitamente nella revisione, così le successive ristrutturazioni preservano il contratto scelto.
Posso richiedere una pulizia senza cambiare le convenzioni di ritorno?
Sì. Includi nella richiesta ordine attuale della tupla, tipi accettati e regole dei segni, poi chiedi una modifica circoscritta. Esamina le differenze risultanti per rilevare convalida alterata o output riordinati ed esegui controlli sul contratto prima di accettare la pulizia nel progetto.
BezoutVale · Aggiornato 2026-10-25