Máy tính cấp độ biểu đồ Hasse

Giới thiệu về công cụ này

Biểu đồ Hasse là một cách trực quan hóa đơn giản của một thứ tự riêng phần, bỏ qua các cạnh phản xạ và bắc cầu, chỉ vẽ các quan hệ "phủ" trực tiếp, với các phần tử được sắp xếp sao cho vị trí cao hơn nghĩa là "lớn hơn" theo thứ tự. Với thứ tự riêng phần chia hết trên một tập các số nguyên dương, một phần tử phủ một phần tử khác khi nó là bội trực tiếp mà không có ước nào của tập nằm giữa, và cấp độ (hạng) của một phần tử phản ánh có bao nhiêu bước phủ như vậy ngăn cách nó với các phần tử tối tiểu của biểu đồ.

Công cụ này nhận một tập các số nguyên dương, xây dựng quan hệ chia hết giữa chúng và gán cho mỗi phần tử cấp độ của nó trong biểu đồ Hasse kết quả. Sinh viên toán rời rạc và lý thuyết thứ tự dùng nó để kiểm tra bài tập về dàn và các thứ tự riêng phần, vì việc truy vết bằng tay các quan hệ phủ và cấp độ cho hơn một vài số là tẻ nhạt và dễ sai sót.