trizen/bacovia

Author	SHA1 Message	Date
trizen	5313a76170 - Added the `Difference()` class.	7 years ago
trizen	c1d761a06d - Added a few more tests.	7 years ago
trizen	d01db633fc - Renamed the `simplify` method to `simple`, as it is more "simple" to write. :-)	7 years ago
trizen	cdbb724649 - Better reductions in Product.alternatives() and Sum.alternatives().	7 years ago
trizen	8b29c14aa4 new file: t/zeta_2n.sf	7 years ago