Проверьте перед применением
Сравните фактическое поведение с ожидаемым. Если проверка не проходит, разберитесь в причине перед следующими изменениями.
Рабочая среда с ИИ для кода
Целочисленные коэффициенты Безу
BezoutVale — ИИ-клиент Windows для проверки целочисленных алгоритмов. Обсудите знаки коэффициентов через совместимую конечную точку и сверьте предложенный код с определяющим тождеством перед применением.
● ● ●BezoutVale●
Конкретная отправная точка · Целочисленные коэффициенты Безу ×
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)✳Верните неотрицательный НОД и коэффициенты Безу для двух целых чисел короче 101 десятичной цифры.
✓ ИзмененияПроверьте перед применением ↗
Иллюстрация рабочей среды
Подключение
Базовый URL, учётные данные и доступный сервер.
Проект
Проверьте отрицательные операнды и нулевые случаи, подтверждая целочисленное тождество и отклоняя логические значения.
Конкретная отправная точка
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)Проверяйте условия возврата так же тщательно, как вычисление
BezoutVale — программа для работы с кодом в Windows для изучения вспомогательных процедур, результаты которых должны удовлетворять точным условиям. Откройте проект и опишите ожидания вызывающего кода от каждого возвращаемого значения. Попросите модель изучить интерфейс до предложения рефакторинга, особенно если несколько результатов по отдельности выглядят правдоподобно.
Задача на основе bezout.py может касаться входных значений со знаком и коэффициентов, возвращаемых вместе с общим делителем. Добавьте пример с отрицательным вводом и укажите тождество, которому должен удовлетворять результат. Затем проверьте потребление кортежа вызывающим кодом, чтобы перестановка результатов или изменение соглашения о знаках не скрылись за внешне верной арифметикой.
Оценивайте предложение независимыми проверками. Запустите тесты проекта и изучите сочетания нулевого ввода, варианты знаков и отклонение неподдерживаемых операндов. Сохраняйте связь подтверждений с исходным требованием. Объяснение модели может направлять проверку, но приложению нужны результаты, удовлетворяющие математическому соотношению и реально вызываемому интерфейсу.
Выберите модель через поддерживаемую конечную точку, совместимую с OpenAI, или Anthropic, предоставив учётные данные при необходимости. У сервиса может быть доступна модель ИИ без цензуры с сохранением ограничений провайдера. Поддержка инструментов и объём контекста зависят от модели и сервера; ограничьте обсуждение исходников тем, что можно надёжно изучить за сессию.
Вопросы об арифметическом интерфейсе с несколькими результатами
Должны ли две корректные реализации возвращать одинаковые коэффициенты?
Не обязательно. Определите требуемые приложению свойства и зависимость от конкретного представления. Проверка равенства всего кортежа может быть строже условий работы. Изучите вызывающий код до изменения процедуры или её тестов.
Зачем отдельно изучать отрицательный ввод?
Обработка знаков может сохранить правдоподобный делитель, но нарушить соотношение с коэффициентами. Предоставьте примеры со знаками и независимо проверьте определяющее соотношение. Изучите нормализацию на входе, чтобы результаты всё ещё относились к исходным операндам.
Что должно происходить, когда оба входных значения равны нулю?
Задайте результат или правило отклонения и сравните с текущей реализацией и вызывающим кодом. Не предполагайте, что обычные рассуждения для положительного ввода решают нулевой случай. Явно включите его в проверку, чтобы будущий рефакторинг сохранил выбранные условия.
Можно ли запросить чистку кода без изменения соглашений возврата?
Да. Укажите текущий порядок кортежа, допустимые типы и правила знаков, затем запросите ограниченное изменение. Проверьте различия на изменение валидации или порядка результатов и запустите проверки условий работы до принятия чистки в проект.
BezoutVale · Обновлено 2026-10-25