Quoted from N1570:"Loại miền" và "loại thực" có nghĩa là gì?
6.3.1.8 chuyển đổi số học thông thường
1 Nhiều nhà khai thác mà mong đợi toán hạng số học loại nguyên nhân chuyển đổi và các loại kết quả năng suất theo cách tương tự. Mục đích là để xác định một phổ biến loại thực cho toán hạng và kết quả. Đối với các toán hạng được chỉ định là , mỗi toán hạng được chuyển đổi, không thay đổi loại miền, thành loại tương ứng loại thực là loại thực phổ biến. Trừ khi có quy định rõ ràng, phổ biến thực loại cũng là tương ứng thực loại của kết quả, mà loại miền là loại miền của toán hạng nếu họ là như nhau, và phức tạp khác. Mô hình này được gọi là bình thường chuyển đổi số học:
- Đầu tiên, nếu loại thực tương ứng của một trong hai toán hạng là dài gấp đôi, các toán hạng khác được chuyển đổi, mà không cần thay đổi loại miền, đến một loại có tương ứng loại thực dài gấp đôi.
- Nếu không, ......
"kiểu miền" và "loại thực" là gì? Tôi đã tìm kiếm tài liệu, nhưng không tìm thấy định nghĩa nào.
Tên miền là số nguyên, phao, cấu trúc hoặc công đoàn? –
RTFineM: 6.2.5p18. Một tìm kiếm văn bản đơn giản… – Olaf
@Olaf '18 Các kiểu số nguyên và dạng số động được gọi chung là các loại số học. Mỗi loại số học thuộc về một loại miền: tên miền thực bao gồm các loại thực, miền loại phức tạp bao gồm các loại phức tạp.', nhưng điều này không xác định "loại tên miền" một cách rõ ràng. –