projects / francis / lta.git / shortlog
| 2013-04-14 | Francis Russell | Avoid introducing a sum when negating a product. | commit | commitdiff | tree | snapshot |
| 2013-04-12 | Francis Russell | Minor code clean-ups. | commit | commitdiff | tree | snapshot |
| 2013-04-12 | Francis Russell | Add simple example expressing a DFT. | commit | commitdiff | tree | snapshot |
| 2013-04-12 | Francis Russell | Fix raising rationals to negative integers. | commit | commitdiff | tree | snapshot |
| 2013-04-12 | Francis Russell | Make extractMultiplier handle single-term Sum. | commit | commitdiff | tree | snapshot |
| 2013-04-12 | Francis Russell | Add Fractional instance for Expr. | commit | commitdiff | tree | snapshot |
| 2013-04-12 | Francis Russell | Add negate implementation for Literal and Expr. | commit | commitdiff | tree | snapshot |
| 2013-04-11 | Francis Russell | Initial work on symbolic representation based on Excafé. | commit | commitdiff | tree | snapshot |