• Taddeus Kroes's avatar
    Added basic rewrite rules for powers. · b0709085
    Taddeus Kroes authored
    - Addition, subtraction, multiplication of powers are covered, see
      src/rules/powers for more details.
    - All cases have been unit tested.
    - Match functions have been added to the rules list in comments, to be
      uncommented when verified.
    b0709085
powers.py 3.73 KB