Hi Christian!
On Thu, Jun 04, 2015 at 03:52:57PM -0500, Christian Stump wrote:
But if I add a method CoxeterGroups().Finite().super_categories
returning that,
For an axiom category like CoxeterGroups.Finite, the method
super_categories is implemented to automatically deduce the super
Hi there,
I need some help with the category framework.
There is a category finite Coxeter group which is
CoxeterGroups().Finite(). I now have implemented a category
ComplexReflectionGroups().Finite().WellGenerated() which is certainly
a super category of CoxeterGroups().Finite().
But if I add
Great, that worked -- thanks Nicolas!
Here is one more issue, is that what I should expect, or should I
change something there? (Should Category of finite groups still be
there?
Thanks again,
Christian
Failed example:
FiniteCoxeterGroups().super_categories()
Expected:
[Category of