Activity
From 11 Dec 2016 to 09 Jan 2017
09 Jan 2017
- 16:56 Bug #591: Problem with template instantiation and order of include directives
- The problem persists with g++ 5.3.1. It must be C++ thing, some weird restriction about calling "global" fns from in...
13 Dec 2016
- 18:04 Feature #992: Poly ring homomorphism to change ordering
- This may be just a special case of "extending a PPMonoid homomorphism" to a poly ring homomorphism.
It could also ... - 17:05 Feature #992 (New): Poly ring homomorphism to change ordering
- It could be helpful to have an easy way of mapping from one poly ring to another which just changes the term ordering...
Also available in: Atom