Divisione per polinomio monico
Dividi polinomi interi di al massimo 21 coefficienti per un divisore monico.
def divide_monic(dividend, divisor):
for row in (dividend, divisor):
if type(row) not in (list, tuple) or len(row) > 21:
raise ValueError("at most 21 coefficients")
if any(type(x) is not int for x in row): raise ValueError("integers")
def trim(row):
row = list(row)
while row and row[0] == 0: row.pop(0)
return row
a, b = trim(dividend), trim(divisor)
if not b or b[0] != 1: raise ValueError("monic divisor")
quotient = [0] * max(0, len(a) - len(b) + 1)
while a and len(a) >= len(b):
degree, factor = len(a) - len(b), a[0]
quotient[len(quotient)-1-degree] = factor
a = trim([x-factor*y for x,y in zip(a,b)] + a[len(b):])
return trim(quotient), aControlla prima di applicare
Confronta il comportamento effettivo con il risultato atteso. Se una verifica fallisce, indaga la causa prima di altre modifiche.
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 polinomi nulli e divisore costante, rifiutando coefficienti non interi o divisori non monici e controllando l’identità quoziente-resto.
def divide_monic(dividend, divisor):
for row in (dividend, divisor):
if type(row) not in (list, tuple) or len(row) > 21:
raise ValueError("at most 21 coefficients")
if any(type(x) is not int for x in row): raise ValueError("integers")
def trim(row):
row = list(row)
while row and row[0] == 0: row.pop(0)
return row
a, b = trim(dividend), trim(divisor)
if not b or b[0] != 1: raise ValueError("monic divisor")
quotient = [0] * max(0, len(a) - len(b) + 1)
while a and len(a) >= len(b):
degree, factor = len(a) - len(b), a[0]
quotient[len(quotient)-1-degree] = factor
a = trim([x-factor*y for x,y in zip(a,b)] + a[len(b):])
return trim(quotient), aMantieni visibili le ipotesi matematiche quando modifichi il codice
MonicVale è uno spazio di lavoro Windows per discutere funzioni matematiche di supporto nel contesto dell'applicazione che le usa. Parti dalla cartella del progetto e identifica le ipotesi su cui si basa la funzione. Chiedi all'assistente di esaminarle nel codice prima di richiedere una rifattorizzazione. Una proposta utile spiega quale comportamento resta invariato e quali input restano fuori dal contratto supportato.
Un'attività su polynomial.py potrebbe esaminare la divisione in cui il divisore deve essere monico. Porta esempi dell'ordine dei coefficienti, degli zeri iniziali e del quoziente e resto attesi. Chiedi come l'implementazione attuale rappresenti questi risultati, poi confronta ogni semplificazione proposta con tale rappresentazione. Così la conversazione resta ancorata al comportamento del software, senza lasciare che una spiegazione matematica generale sostituisca la revisione dell'implementazione.
Dopo la modifica, esegui i controlli del progetto e confronta gli output con esempi svolti indipendentemente. Esamina anche il comportamento di rifiuto, soprattutto quando un chiamante potrebbe fornire un divisore non supportato dalla funzione. MonicVale si collega a endpoint supportati compatibili con OpenAI o Anthropic, con credenziali ove necessarie. I modelli senza restrizioni sono opzioni solo quando l'endpoint scelto li offre; restrizioni, capacità di contesto e strumenti dipendono comunque dal servizio. Usa lo spazio di lavoro per tenere insieme ipotesi e risultati osservati mentre decidi se la modifica è pronta.
Ipotesi alla base di una funzione matematica di supporto
Perché specificare l'ordine dei coefficienti prima di richiedere una modifica?
La stessa lista può descrivere polinomi diversi secondo convenzioni diverse. Indica come il progetto ordina i coefficienti e rappresenta lo zero, poi verifica chiamanti e valori restituiti rispetto a tale convenzione prima di accettare una rifattorizzazione proposta dal modello.
Una funzione dovrebbe adattare silenziosamente divisori non supportati?
Solo se ne cambi intenzionalmente il contratto e ne esamini le conseguenze. Una funzione limitata ai divisori monici deve segnalare coerentemente gli input non supportati; generalizzarla può richiedere ipotesi aritmetiche diverse e ulteriori test in tutto il codice chiamante.
Che cosa devo verificare sul resto?
Controlla la rappresentazione attesa dal chiamante e la relazione matematica per gli esempi supportati. Includi casi senza resto e con resto non nullo, affinché la proposta non superi i controlli solo gestendo una divisione facile.
Una funzione matematica più breve è più affidabile?
Non necessariamente. Verifica che la versione più breve conservi validazione, convenzioni di output e comportamento nei casi limite. Chiedi il motivo di ogni semplificazione e verifica il contratto; la brevità non dimostra che un'ipotesi matematica resti valida.
MonicVale · Aggiornato 2026-10-25