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
Soluzioni esatte di sistemi lineari
Risolvi con frazioni esatte un sistema lineare quadrato intero di al massimo otto equazioni.
● ● ●PivotQuartz●
Flussi di lavoro · Soluzioni esatte di sistemi lineari ×
from fractions import Fraction
def solve_linear(matrix, rhs):
matrix, rhs = [tuple(row) for row in matrix], tuple(rhs)
n = len(matrix)
if not 1 <= n <= 8 or len(rhs) != n or any(len(row) != n for row in matrix):
raise ValueError("system.shape")
if any(type(v) is not int or abs(v) > 1000000 for row in matrix for v in row) or any(type(v) is not int or abs(v) > 1000000 for v in rhs):
raise ValueError("coefficient.range")
a = [[Fraction(v) for v in row] + [Fraction(rhs[i])] for i, row in enumerate(matrix)]
for col in range(n):
pivot = next((r for r in range(col, n) if a[r][col]), None)
if pivot is None:
raise ValueError("system.singular")
a[col], a[pivot] = a[pivot], a[col]
scale = a[col][col]
a[col] = [v / scale for v in a[col]]
for r in range(n):
if r != col:
factor = a[r][col]
a[r] = [x - factor * y for x, y in zip(a[r], a[col])]
return [row[-1] for row in a]✳Risolvi con frazioni esatte un sistema lineare quadrato intero di al massimo otto equazioni.
✓ 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
Prova uno scambio di righe necessario e una soluzione frazionaria, rifiutando sistemi singolari o dimensioni incompatibili senza alterare gli input.
Flussi di lavoro
from fractions import Fraction
def solve_linear(matrix, rhs):
matrix, rhs = [tuple(row) for row in matrix], tuple(rhs)
n = len(matrix)
if not 1 <= n <= 8 or len(rhs) != n or any(len(row) != n for row in matrix):
raise ValueError("system.shape")
if any(type(v) is not int or abs(v) > 1000000 for row in matrix for v in row) or any(type(v) is not int or abs(v) > 1000000 for v in rhs):
raise ValueError("coefficient.range")
a = [[Fraction(v) for v in row] + [Fraction(rhs[i])] for i, row in enumerate(matrix)]
for col in range(n):
pivot = next((r for r in range(col, n) if a[r][col]), None)
if pivot is None:
raise ValueError("system.singular")
a[col], a[pivot] = a[pivot], a[col]
scale = a[col][col]
a[col] = [v / scale for v in a[col]]
for r in range(n):
if r != col:
factor = a[r][col]
a[r] = [x - factor * y for x, y in zip(a[r], a[col])]
return [row[-1] for row in a]Verifica le rifattorizzazioni numeriche rispetto ai loro chiamanti
PivotQuartz è uno spazio di lavoro Windows per sviluppare codice applicativo numerico con criteri di accettazione espliciti. Apri la cartella del progetto e identifica funzione, rappresentazione degli input e utilizzatore del risultato. Il modello collegato può discutere una modifica in quel contesto mentre verifichi che la proposta preservi le ipotesi del chiamante.
Una richiesta di revisione di linear.py potrebbe confrontare un risultato frazionario esatto con ciò che l'applicazione deve visualizzare o serializzare. Fornisci un piccolo sistema con soluzione nota e un caso singolare da rifiutare. Chiedi come la rifattorizzazione proposta gestisca entrambi i percorsi prima di accettare modifiche all'aritmetica o ai tipi dei risultati.
Questo flusso include correttezza e integrazione nella stessa discussione. Esegui controlli indipendenti dei risultati nell'ambiente di sviluppo, poi esamina errori e formattazione dell'output attraverso il chiamante. Convertire frazioni in valori a virgola mobile può essere una scelta applicativa deliberata, ma merita un confine dichiarato anziché comparire incidentalmente durante una pulizia del codice.
Scegli un modello IA senza censura dove disponibile tramite un endpoint supportato compatibile con OpenAI o Anthropic, fornendo credenziali ove richieste. Le restrizioni del fornitore restano valide e modello e server stabiliscono supporto degli strumenti e capacità di contesto. PivotQuartz fornisce lo spazio per rivedere il sorgente; i risultati attesi del progetto offrono le evidenze per accettare una modifica.
Prima di accettare una rifattorizzazione numerica
- Un sistema singolare dovrebbe restituire una stima?
Solo se l'applicazione richiede esplicitamente un'approssimazione dal significato definito. L'esempio rifiuta i sistemi singolari. Esamina come il chiamante gestisce il fallimento e mantieni separato il passaggio a un'approssimazione dalla rifattorizzazione che deve preservare risultati esatti.
- Come verifico indipendentemente la soluzione restituita?
Sostituiscila nelle equazioni originali con un calcolo indipendente appropriato e confrontala con il termine noto fornito. Includi un caso che richieda uno scambio di righe. Verifica anche la rappresentazione dell'output, perché un valore corretto può comunque violare il tipo atteso dal chiamante.
- Dove devono diventare testo da visualizzare le frazioni?
Di solito il livello responsabile della presentazione dovrebbe prendere esplicitamente la decisione. Esamina la struttura attuale del progetto e definisci il formato richiesto dall'utilizzatore. Evita di introdurre arrotondamenti in una funzione interna, salvo che facciano parte del contratto numerico concordato.
- Quale contesto del sorgente aiuta il modello a rivedere errori di forma?
Fornisci la routine, il codice che ne costruisce gli input e la gestione degli errori del chiamante. Includi dimensioni non corrispondenti come caso di prova. Un test della sola aritmetica interna non dimostra che dati applicativi malformati ricevano la risposta attesa dall'interfaccia.
PivotQuartz · Aggiornato 2026-10-25
