note
I0
<blockquote>I don't believe that the GRT can be sufficiently generalized in any practical sense to cover all problems</blockquote>
Given a function to convert floats to lexicographically ordered strings, you should be able do a GRT on any series of <code>||</code> linked <code>cmp</code> and <code><=></code> operator operators.
Are there any antisymmetric, transitive, total relations that can't be written as a series of <code>||</code> linked <code>cmp</code> and <code><=></code> operators?
145659
146222