> Well, that was a long hour. But it's now on u/nthiery/cartesian_product.
Cool. I am trying to clean the CartesianProduct stuff of additive groups and it does not look good. The methods are not inherited from where they should -_- Right now, my problem is that the __add__ method from a CombinatorialFreeModule is taken from my CommutativeAdditiveGroup. And I thought I could expect all those objects to have a .value argument, but apparently I can t >_< > I have added the tests for list and cardinality, but not yet for > element_constructor, so I don't yet guarantee correctness. ?... Okay, so I will try to see if I can guarantee correctness when you can't..... > I am hesitant on whether _element_constructor should always directly > coerce the elements, or first check if they are already in the right > parent and if not call coercion. Well, your pick. I barely understand what the dilemma is about :-P Nathann -- You received this message because you are subscribed to the Google Groups "sage-combinat-devel" group. To unsubscribe from this group and stop receiving emails from it, send an email to sage-combinat-devel+unsubscr...@googlegroups.com. To post to this group, send email to sage-combinat-devel@googlegroups.com. Visit this group at http://groups.google.com/group/sage-combinat-devel. For more options, visit https://groups.google.com/d/optout.
