NEWS
changeset 54502 e7c9a14632d0
parent 54489 03ff4d1e6784
child 54533 05738b7d8191
equal deleted inserted replaced
54501:77c9460e01b0 54502:e7c9a14632d0
    19 INCOMPATIBILITY.
    19 INCOMPATIBILITY.
    20 
    20 
    21 * Abolished neg_numeral.
    21 * Abolished neg_numeral.
    22   * Canonical representation for minus one is "- 1".
    22   * Canonical representation for minus one is "- 1".
    23   * Canonical representation for other negative numbers is "- (numeral _)".
    23   * Canonical representation for other negative numbers is "- (numeral _)".
    24   * When devising rules set for number calculation, consider the
    24   * When devising rule sets for number calculation, consider the
    25     following cases: 0, 1, numeral _, - 1, - numeral _.
    25     following cases: 0, 1, numeral _, - 1, - numeral _.
    26   * Syntax for negative numerals is mere input syntax.
    26   * Syntax for negative numerals is mere input syntax.
    27 INCOMPATBILITY.
    27 INCOMPATBILITY.
    28 
    28 
    29 * Elimination of fact duplicates:
    29 * Elimination of fact duplicates: