Section 2
Want more of a challenge? View in
iconic
form (
experimental
)
# MATH now introduce other relational operators
# After this lesson, it should be clear what contexts
# < > and = are appropriate in.
[
hear
]
(>-in-unary 01111110 0110);
[
hear
]
(>-in-unary 0110 00);
[
hear
]
(>-in-unary 010 00);
[
hear
]
(>-in-unary 01110 010);
[
hear
]
(>-in-unary 010 00);
[
hear
]
(>-in-unary 011110 00);
[
hear
]
(>-in-unary 010 00);
[
hear
]
(>-in-unary 0110 00);
[
hear
]
(>-in-unary 010 00);
[
hear
]
(>-in-unary 01111110 00);
[
hear
]
(>-in-unary 0110 00);
[
hear
]
(<-in-unary 0110 011110);
[
hear
]
(<-in-unary 00 01111110);
[
hear
]
(<-in-unary 01110 01111110);
[
hear
]
(<-in-unary 00 01110);
[
hear
]
(<-in-unary 0110 011110);
[
hear
]
(<-in-unary 00 0110);
[
hear
]
(<-in-unary 0110 011110);
[
hear
]
(<-in-unary 010 01110);
[
hear
]
(<-in-unary 0110 01111110);
[
hear
]
(<-in-unary 0110 0111110);
[
hear
]
(<-in-unary 00 0111110);
# drive the lesson home
[
hear
]
(=-in-unary 00 00);
[
hear
]
(<-in-unary 00 010);
[
hear
]
(<-in-unary 00 0110);
[
hear
]
(>-in-unary 010 00);
[
hear
]
(=-in-unary 010 010);
[
hear
]
(<-in-unary 010 0110);
[
hear
]
(>-in-unary 0110 00);
[
hear
]
(>-in-unary 0110 010);
[
hear
]
(=-in-unary 0110 0110);
# switch to binary labelling
[
hear
]
(= 00 00);
[
hear
]
(< 00 010);
[
hear
]
(< 00 0110);
[
hear
]
(> 010 00);
[
hear
]
(= 010 010);
[
hear
]
(< 010 0110);
[
hear
]
(> 0110 00);
[
hear
]
(> 0110 010);
[
hear
]
(= 0110 0110);
# a few more random examples
[
hear
]
(> 0111110 010);
[
hear
]
(> 0111110 0110);
[
hear
]
(> 0111110 010);
[
hear
]
(> 011110 00);
[
hear
]
(< 0110 011110);
[
hear
]
(< 0110 01110);
[
hear
]
(< 010 01110);
[
hear
]
(< 011110 0111110);
[
hear
]
(< 00 0111110);
[
hear
]
(< 01110 011110);
[
hear
]
(< 010 01110);