Commit History

Author SHA1 Message Date
  Taddeus Kroes 7d186db7bb Implemented use of Scope class in multiply_numerics. 14 years ago
  Sander Mathijs van Veen 388752b486 Added support for OP_NEG in multiply_numerics and add_nominators. 14 years ago
  Sander Mathijs van Veen c5b2a5c6ab Added support for fractions with negation and addition of negative numbers. 14 years ago
  Taddeus Kroes efc3c91bf6 Added non-strict equivalence match. 14 years ago
  Taddeus Kroes c680c67e0d Removed duplicate function in unit tests. 14 years ago
  Taddeus Kroes f057cadaa0 Implemented and tested numerics multiplication rewriting. 14 years ago
  Taddeus Kroes a7888fc754 Fixed duplicated fucntion definition in unit tests. 14 years ago
  Taddeus Kroes c2fb403565 Improved numeric rules match functions. 14 years ago
  Taddeus Kroes 6097dce75b Added unit tests for numeric rules. 14 years ago