CoCoA » CoCoALib

11 Jan 2017

15:02 Bug #591: Problem with template instantiation and order of include directives

Mario and I looked in Stroustrup's C++ book (v.4), and the magic phrase appears to be *point-of-instantiation binding... John Abbott

10 Jan 2017

11:20 Bug #591: Problem with template instantiation and order of include directives

There remains the question of how to correctly organize the header files in CoCoALib so that this "wonderful feature"... John Abbott

11:12 Bug #591 (In Progress): Problem with template instantiation and order of include directives

It really is a C++ trap for the unwary... grrr!
The following code fails to compile because the last line (@iter(v... John Abbott

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... John Abbott

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 ... John Abbott

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... John Abbott