| 2.1.2 Commands and Functions for BOOL |
| and | boolean "and" operator |
| assert | check an assertion |
| Bool01 | Convert a boolean to an integer |
| in | list element selector in list constructor |
| IsPalindromic | test whether a univariate polynomial is palindromic |
| IsPolyRing | test whether a ring is a polynomial ring |
| not | boolean "not" operator |
| operators, shortcuts | Special characters equivalent to commands |
| or | boolean "or" operator |