Kiểm tra trước khi áp dụng
So sánh hành vi thực tế với kết quả mong đợi. Nếu kiểm tra thất bại, tìm nguyên nhân trước khi sửa tiếp.
Không gian lập trình với AI
Hệ số nguyên Bézout
Trả ước chung lớn nhất không âm và hệ số Bézout của hai số nguyên ngắn hơn 101 chữ số thập phân.
● ● ●BezoutVale●
Quy trình · Hệ số nguyên 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)✳Trả ước chung lớn nhất không âm và hệ số Bézout của hai số nguyên ngắn hơn 101 chữ số thập phân.
✓ Thay đổiKiểm tra trước khi áp dụng ↗
Minh họa không gian làm việc
Mô hình
Cấu hình endpoint tương thích OpenAI hoặc Anthropic bằng URL cơ sở và khóa API nếu cần. Kiểm tra kết nối. Máy chủ mô hình cục bộ phải đang chạy; công cụ từ xa có thể truyền dữ liệu riêng.
Dự án
Kiểm tra toán hạng âm và các trường hợp không, xác minh đẳng thức số nguyên và từ chối Boolean.
Quy trình
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)Rà soát quy ước trả về kỹ như phép tính
BezoutVale là phần mềm lập trình Windows để xem các hàm hỗ trợ có đầu ra phải thỏa mãn quy ước chính xác. Mở dự án và mô tả điều nơi gọi mong đợi từ mỗi giá trị trả về. Yêu cầu mô hình xem giao diện đó trước khi đề xuất tái cấu trúc, nhất là khi nhiều đầu ra riêng lẻ có thể trông hợp lý.
Tác vụ dựa trên bezout.py có thể tập trung vào đầu vào có dấu và các hệ số trả về cùng ước chung. Đưa dữ liệu kiểm thử đầu vào âm vào cuộc trao đổi và nêu đẳng thức kết quả phải thỏa mãn. Sau đó xem nơi gọi sử dụng bộ giá trị thế nào để việc đổi thứ tự trả về hoặc quy ước dấu không bị che khuất sau phép tính có vẻ đúng.
Dùng kiểm tra độc lập để đánh giá đề xuất. Chạy kiểm thử dự án và xem các tổ hợp đầu vào bằng không, biến thể dấu và từ chối toán hạng không hỗ trợ. Giữ bằng chứng gắn với yêu cầu gốc. Lời giải thích của mô hình có thể hướng dẫn rà soát, nhưng ứng dụng cần kết quả thỏa cả quan hệ toán học lẫn giao diện thực sự được gọi.
Chọn mô hình qua điểm cuối tương thích OpenAI hoặc Anthropic được hỗ trợ, cung cấp thông tin xác thực theo yêu cầu. Dịch vụ đó có thể cung cấp mô hình AI không kiểm duyệt, chịu hạn chế nhà cung cấp. Hỗ trợ công cụ và dung lượng ngữ cảnh phụ thuộc mô hình cùng máy chủ đã chọn; giới hạn cuộc trao đổi mã trong phạm vi có thể xem xét đáng tin cậy trong phiên.
Câu hỏi về giao diện số học trả nhiều giá trị
Hai cách triển khai đúng có phải trả hệ số giống nhau không?
Không nhất thiết. Xác lập thuộc tính ứng dụng cần và nó có phụ thuộc biểu diễn cụ thể nào không. Khẳng định toàn bộ bộ giá trị bằng nhau có thể chặt hơn quy ước. Rà soát nơi gọi trước khi đổi hàm hoặc kiểm thử.
Vì sao xem đầu vào âm riêng?
Xử lý dấu có thể giữ ước trông hợp lý nhưng phá quan hệ liên quan hệ số. Cung cấp dữ liệu kiểm thử có dấu và kiểm chứng quan hệ định nghĩa độc lập. Xem mọi chuẩn hóa tại ranh giới đầu vào để giá trị trả về vẫn ứng với toán hạng gốc.
Điều gì nên xảy ra khi cả hai đầu vào bằng không?
Nêu kết quả dự kiến hoặc chính sách từ chối và so sánh với cách triển khai cùng nơi gọi hiện tại. Đừng cho rằng lập luận đầu vào dương thông thường giải quyết được trường hợp không. Đưa rõ vào rà soát để tái cấu trúc sau giữ quy ước đã chọn.
Có thể yêu cầu dọn mã mà không đổi quy ước trả về không?
Có. Đưa thứ tự bộ giá trị hiện tại, kiểu được chấp nhận và quy tắc dấu vào yêu cầu rồi đề nghị thay đổi có giới hạn. Xem bản so sánh để tìm kiểm tra hợp lệ bị đổi hoặc đầu ra bị đảo thứ tự, và chạy kiểm tra quy ước trước khi chấp nhận vào dự án.
BezoutVale · Cập nhật 2026-10-25