Ділення на унітарний многочлен
Поділіть цілочисельні многочлени довжиною до 21 коефіцієнта на унітарний дільник.
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), aПеревірте перед застосуванням
Порівняйте фактичну поведінку з очікуваним результатом. Якщо перевірка не проходить, з’ясуйте причину перед наступними змінами.
Моделі
Налаштуйте OpenAI-сумісний або Anthropic endpoint із базовою URL-адресою та API-ключем, якщо він потрібен. Перевірте з’єднання. Локальний сервер моделі має працювати; віддалені інструменти можуть окремо передавати дані.
Проєкт
Перевірте нульовий многочлен і сталий дільник, відхиляючи нецілі коефіцієнти та неунітарний дільник і перевіряючи тотожність частки й остачі.
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), aЗберігайте математичні припущення явними під час редагування коду
MonicVale — робоче середовище програмування у Windows для обговорення математичних допоміжних функцій у контексті застосунку, що їх використовує. Почніть із папки проєкту й визначте припущення, на які спирається функція. Попросіть асистента перевірити ці припущення в коді, перш ніж замовляти рефакторинг. Корисна пропозиція пояснює, яка поведінка залишається незмінною та які вхідні дані залишаються поза підтримуваним контрактом.
Завдання для polynomial.py може стосуватися ділення, у якому дільник має бути зведеним многочленом зі старшим коефіцієнтом 1. Наведіть приклади порядку коефіцієнтів, початкових нулів та очікуваних частки й остачі. Запитайте, як поточна реалізація подає ці результати, а потім перевірте будь-яке запропоноване спрощення щодо цього подання. Так обговорення спиратиметься на поведінку ПЗ, а загальне математичне пояснення не підмінятиме перевірку реалізації.
Після редагування запустіть перевірки проєкту й порівняйте результати з незалежно розв’язаними прикладами. Перевірте також відхилення даних, особливо коли код виклику може передати непідтримуваний дільник. MonicVale підключається до підтримуваних сумісних з OpenAI або Anthropic кінцевих точок з обліковими даними за потреби. Моделі без обмежень доступні для вибору лише тоді, коли їх надає вибрана кінцева точка; обмеження, місткість контексту та інструменти й далі залежать від цього сервісу. Використовуйте середовище, щоб розглядати припущення разом зі спостережуваними результатами, вирішуючи, чи готова зміна.
Припущення математичної допоміжної функції
Навіщо визначати порядок коефіцієнтів перед запитом на редагування?
За різних домовленостей той самий список може описувати різні многочлени. Зазначте, як проєкт упорядковує коефіцієнти й подає нуль, а потім перевірте код виклику та повернуті значення на відповідність цій домовленості, перш ніж приймати запропонований моделлю рефакторинг.
Чи повинна функція непомітно пристосовувати непідтримувані дільники?
Лише якщо ви навмисно змінюєте її контракт і перевіряєте наслідки. Функція, обмежена зведеними дільниками, має послідовно повідомляти про непідтримувані дані; її узагальнення може вимагати інших арифметичних припущень і додаткових тестів у всьому коді виклику.
Що слід перевірити щодо остачі?
Перевірте подання, якого очікує код виклику, та математичне співвідношення для підтримуваних прикладів. Додайте випадки без остачі та з ненульовою остачею, щоб пропозиція не пройшла перевірку лише завдяки простому діленню.
Чи легше довіряти коротшій математичній функції?
Не обов’язково. Перевірте, чи коротша версія зберігає валідацію, домовленості щодо результатів і поведінку в крайових випадках. Попросіть пояснити кожне спрощення й протестуйте контракт; стислість не доводить, що математичне припущення лишилося чинним.
MonicVale · Оновлено 2026-10-25