Если вы знаете, что такое рациональное число , а именно одно целое число, деленное на другое, то нетрудно выяснить это обозначение.
Я никогда не видел его раньше, но изИз свойств рациональных чисел (дробей) ясно, что индексация в квадратных скобках предназначена для представления в виде вектора из двух целых чисел.
Тогда в обычной математической записи
upper( rational( a, b ) ) = a
lower( rational( a, b ) ) = b
equal( r1, r2 ) = (upper(r1)*lower(r2) eq upper(r2)*lower(r1) )
add( r1, r2 ) = rational(upper(r1)*lower(r2)+upper(r2)*lower(r1), lower(r1)*lower(r2))
mul( r1, r2 ) = rational(upper(r1)*upper(r2), lower(r1)*lower(r2))
Cheers &НТН,