Re: [sage-combinat-devel] Re: CombinatorialFreeModule relies on implementation details of elements

2015-08-26 Thread Travis Scrimshaw
IIRC, #18066 was mainly started so that support() doesn't needlessly sort things, other such cleanups, and better refactor things for generalizations, such as to Lie algebras (which is currently designed to use CFM elements). In the end, I believe the goal is to make CFM irrelevant and have thi

Re: [sage-combinat-devel] Re: CombinatorialFreeModule relies on implementation details of elements

2015-08-26 Thread Darij Grinberg
Hi, just wanted to mention that Travis has started a ticket on this a while ago: http://trac.sagemath.org/ticket/18066 IMHO we really need to do some proper OOP here, with contracts and abstract methods, if we want people to keep adding combinatorial Hopf algebras and the likes to Sage without hav

[sage-combinat-devel] Re: CombinatorialFreeModule relies on implementation details of elements

2015-08-26 Thread Simon King
Hi Nicolas, On 2015-08-26, Nicolas M. Thiery wrote: > So far CombinatorialFreeModule has been meant as a concrete > implementation of a ModulesWithBasis, with a specific data structure > for its elements. Seriously? Then please do grep "CombinatorialFreeModule)" -R src/sage and grep "Combina