Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Intégration de micromega ("omicron" pour fourier et sa variante sur Z, | 2008-05-19 | |
* | Adaptation des fichiers de micromega suite aux changements dans | 2008-04-25 | |
* | Changed RingMicromega to use NRing instead of Ring_polynom. NRing is a versio... | 2007-10-18 | |
* | Added transitivity and irreflexivity of <, as well as < -elimination for bina... | 2007-10-16 |