Changes between Version 19 and Version 20 of Things To Do
- Timestamp:
- 02/08/10 09:52:29 (16 years ago)
Legend:
- Unmodified
- Added
- Removed
- Modified
-
Things To Do
v19 v20 53 53 54 54 * get rid of >, >=. Just use <,<=. 55 * get rid of NEQ? Just use NOT(EQUAL). 55 * get rid of NEQ? Just use NOT(EQUAL). Actually, NEQ might be useful if we want a normal form that pushes all "not"s inward. 56 56 57 57 Additional features: 58 58 59 59 * valid methods should return one of three values: YES, NO, or MAYBE 60 * write a {{{BigRational}}} class using Java's {{{BigInteger}}} class. Use it for all numbers. It will support infinite precision rational numbers. A rational number is stored as a numerator and denominator which are relatively prime. Note {{{BigInteger}}} has a gcd method so reducing to relatively prime form should be a no-brainer. The denominator must be positive. Now two rationals are equal iff the numerators and denominators are. Use a Flyweight pattern. Support +,-,*,/,floor,ceil,<,<=,compare,... and any other operation needed. 60 61 61 62 Check out other automated theorem provers:
