Re: [sage-combinat-devel] How to set the category of finite Coxeter groups properly?

[Nicolas M. Thiery]

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
categories from the axiom Finite and the base category
CoxeterGroups. Overriding super_categories to specify additional
super categories breaks this; so instead one need to implement
extra_super_categories.

 I run into trouble:
 
 1. Now, the repr of CoxeterGroups().Finite() is Category of finite
 well generated coxeter groups. How do I get rid of the well
 generated there?

Here, since the base category and axiom for FiniteCoxeterGroups is not
specified explicitly, the repr is built automatically from the repr of
the base category and the axioms that are not axioms of the base
category. This is just a heuristic and is not always perfect. If the
problem still appears once the super categories are fixed, you can
work around it by adding this line:

class FiniteCoxeterGroups:

_base_category_class_and_axiom = (CoxeterGroups, Finite)


 2. Many doctests in CoxeterGroups().Finite() now fail. I do not
 understand how doctests can break there at all since I did only add
 some new methods. Or did I also overwrite some -- and if so, how do I
 prevent the system doing so?

Presumably there is some super category missing and this will be
resolved with the above.

Cheers,
Nicolas
--
Nicolas M. Thiéry Isil nthi...@users.sf.net
http://Nicolas.Thiery.name/

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

Re: [sage-combinat-devel] How to set the category of finite Coxeter groups properly?

[Christian Stump]

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 coxeter groups,
 Category of finite groups,
 Category of finite finitely generated semigroups]
Got:
[Category of coxeter groups,
 Category of finite well generated complex reflection groups,
 Category of finite finitely generated semigroups]

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