f := ratency(1, 3)
g := ratency(1, 3)

assert ( f = g )
assert ( f*f = g )
assert ( f*f <= g )
assert ( f < g )
assert ( g >= f*f )
assert ( g > f )

assert ( g(0) = f(0) )
assert ( g(0) = 0 )
assert ( g(0) >= 0 )
assert ( g(0) < 1 )
assert ( g(0) > -1 )

h := f * f

assert ( g(0) = (h(1)) )
assert ( g(0) = (h(2)) )
assert ( g(0) = h(3) )
assert ( g <= 1)

assert ( 0 <= 1 )
assert ( 0 < 1 )
