#10963: More functorial constructions
-------------------------------------+-------------------------------------
       Reporter:  nthiery            |        Owner:  stumpc5
           Type:  enhancement        |       Status:  needs_work
       Priority:  major              |    Milestone:  sage-6.1
      Component:  categories         |   Resolution:
       Keywords:  days54             |    Merged in:
        Authors:  Nicolas M. Thiéry  |    Reviewers:  Simon King, Frédéric
Report Upstream:  N/A                |  Chapoton
         Branch:                     |  Work issues:  Detect and fix
  public/ticket/10963                |  Heisenbugs
   Dependencies:  #11224, #8327,     |       Commit:
  #10193, #12895, #14516, #14722,    |  5ccf253b17c151d8e773037ac634a64f84f03075
  #13589, #14471, #15069, #15094,    |     Stopgaps:
  #11688, #13394, #15150, #15506     |
-------------------------------------+-------------------------------------

Comment (by nbruin):

 After instrumenting `base_category_class_and_axiom` a bit with a counter
 for recursion level (inc-ed on entry, dec-ed on exit points) we get:
 {{{
 File "src/sage/combinat/species/empty_species.py", line 42, in
 sage.combinat.species.empty_species.EmptySpecies
 Failed example:
     X.cycle_index_series().coefficients(4)
 Expected:
     [0, 0, 0, 0]
 Got:
     base_cat_and_ax LVL 1, cls=<class
 'sage.categories.facade_sets.FacadeSets'>
     base_cat_and_ax LVL 2, cls=<class
 'sage.categories.facade_sets.FacadeSets'>
     base_cat_and_ax LVL 3, cls=<class
 'sage.categories.facade_sets.FacadeSets'>
     base_cat_and_ax LVL 4, cls=<class
 'sage.categories.facade_sets.FacadeSets'>
     base_cat_and_ax LVL 5, cls=<class
 'sage.categories.facade_sets.FacadeSets'>
     base_cat_and_ax LVL 6, cls=<class
 'sage.categories.facade_sets.FacadeSets'>
     base_cat_and_ax LVL 7, cls=<class
 'sage.categories.facade_sets.FacadeSets'>
     base_cat_and_ax LVL 8, cls=<class
 'sage.categories.facade_sets.FacadeSets'>
     base_cat_and_ax LVL 9, cls=<class
 'sage.categories.facade_sets.FacadeSets'>
     base_cat_and_ax LVL 10, cls=<class
 'sage.categories.facade_sets.FacadeSets'>
     base_cat_and_ax LVL 11, cls=<class
 'sage.categories.facade_sets.FacadeSets'>
     base_cat_and_ax LVL 12, cls=<class
 'sage.categories.facade_sets.FacadeSets'>
     base_cat_and_ax LVL 13, cls=<class
 'sage.categories.facade_sets.FacadeSets'>
     base_cat_and_ax LVL 14, cls=<class
 'sage.categories.facade_sets.FacadeSets'>
     base_cat_and_ax LVL 15, cls=<class
 'sage.categories.facade_sets.FacadeSets'>
     base_cat_and_ax LVL 16, cls=<class
 'sage.categories.facade_sets.FacadeSets'>
     base_cat_and_ax LVL 17, cls=<class
 'sage.categories.facade_sets.FacadeSets'>
     base_cat_and_ax LVL 18, cls=<class
 'sage.categories.facade_sets.FacadeSets'>
     base_cat_and_ax LVL 19, cls=<class
 'sage.categories.facade_sets.FacadeSets'>
     base_cat_and_ax LVL 20, cls=<class
 'sage.categories.facade_sets.FacadeSets'>
     base_cat_and_ax LVL 21, cls=<class
 'sage.categories.facade_sets.FacadeSets'>
     base_cat_and_ax LVL 22, cls=<class
 'sage.categories.facade_sets.FacadeSets'>
     base_cat_and_ax LVL 23, cls=<class
 'sage.categories.facade_sets.FacadeSets'>
     base_cat_and_ax LVL 24, cls=<class
 'sage.categories.facade_sets.FacadeSets'>
     base_cat_and_ax LVL 25, cls=<class
 'sage.categories.facade_sets.FacadeSets'>
     base_cat_and_ax LVL 26, cls=<class
 'sage.categories.facade_sets.FacadeSets'>
     base_cat_and_ax LVL 27, cls=<class
 'sage.categories.facade_sets.FacadeSets'>
     base_cat_and_ax LVL 28, cls=<class
 'sage.categories.facade_sets.FacadeSets'>
     base_cat_and_ax LVL 29, cls=<class
 'sage.categories.facade_sets.FacadeSets'>
     base_cat_and_ax LVL 30, cls=<class
 'sage.categories.facade_sets.FacadeSets'>
     base_cat_and_ax LVL 31, cls=<class
 'sage.categories.facade_sets.FacadeSets'>
     base_cat_and_ax LVL 32, cls=<class
 'sage.categories.facade_sets.FacadeSets'>
     base_cat_and_ax LVL 33, cls=<class
 'sage.categories.facade_sets.FacadeSets'>
     base_cat_and_ax LVL 34, cls=<class
 'sage.categories.facade_sets.FacadeSets'>
     base_cat_and_ax LVL 35, cls=<class
 'sage.categories.facade_sets.FacadeSets'>
     base_cat_and_ax LVL 36, cls=<class
 'sage.categories.facade_sets.FacadeSets'>
     base_cat_and_ax LVL 37, cls=<class
 'sage.categories.facade_sets.FacadeSets'>
     base_cat_and_ax LVL 38, cls=<class
 'sage.categories.facade_sets.FacadeSets'>
     base_cat_and_ax LVL 39, cls=<class
 'sage.categories.facade_sets.FacadeSets'>
     base_cat_and_ax LVL 40, cls=<class
 'sage.categories.facade_sets.FacadeSets'>
     base_cat_and_ax LVL 41, cls=<class
 'sage.categories.facade_sets.FacadeSets'>
     base_cat_and_ax LVL 42, cls=<class
 'sage.categories.facade_sets.FacadeSets'>
     base_cat_and_ax LVL 43, cls=<class
 'sage.categories.facade_sets.FacadeSets'>
     base_cat_and_ax LVL 44, cls=<class
 'sage.categories.facade_sets.FacadeSets'>
     base_cat_and_ax LVL 45, cls=<class
 'sage.categories.facade_sets.FacadeSets'>
     base_cat_and_ax LVL 46, cls=<class
 'sage.categories.facade_sets.FacadeSets'>
     base_cat_and_ax LVL 47, cls=<class
 'sage.categories.facade_sets.FacadeSets'>
     base_cat_and_ax LVL 48, cls=<class
 'sage.categories.facade_sets.FacadeSets'>
     base_cat_and_ax LVL 49, cls=<class
 'sage.categories.facade_sets.FacadeSets'>
     base_cat_and_ax LVL 50, cls=<class
 'sage.categories.facade_sets.FacadeSets'>
     base_cat_and_ax LVL 51, cls=<class
 'sage.categories.facade_sets.FacadeSets'>
     base_cat_and_ax LVL 52, cls=<class
 'sage.categories.facade_sets.FacadeSets'>
     base_cat_and_ax LVL 53, cls=<class
 'sage.categories.facade_sets.FacadeSets'>
     base_cat_and_ax LVL 54, cls=<class
 'sage.categories.facade_sets.FacadeSets'>
     base_cat_and_ax LVL 55, cls=<class
 'sage.categories.facade_sets.FacadeSets'>
     base_cat_and_ax LVL 56, cls=<class
 'sage.categories.facade_sets.FacadeSets'>
     base_cat_and_ax LVL 57, cls=<class
 'sage.categories.facade_sets.FacadeSets'>
     base_cat_and_ax LVL 58, cls=<class
 'sage.categories.facade_sets.FacadeSets'>
     base_cat_and_ax LVL 59, cls=<class
 'sage.categories.facade_sets.FacadeSets'>
     base_cat_and_ax LVL 60, cls=<class
 'sage.categories.facade_sets.FacadeSets'>
     base_cat_and_ax LVL 61, cls=<class
 'sage.categories.facade_sets.FacadeSets'>
     base_cat_and_ax LVL 62, cls=<class
 'sage.categories.facade_sets.FacadeSets'>
     base_cat_and_ax LVL 63, cls=<class
 'sage.categories.facade_sets.FacadeSets'>
     base_cat_and_ax LVL 64, cls=<class
 'sage.categories.facade_sets.FacadeSets'>
     base_cat_and_ax LVL 65, cls=<class
 'sage.categories.facade_sets.FacadeSets'>
     base_cat_and_ax LVL 66, cls=<class
 'sage.categories.facade_sets.FacadeSets'>
     base_cat_and_ax LVL 67, cls=<class
 'sage.categories.facade_sets.FacadeSets'>
     base_cat_and_ax LVL 68, cls=<class
 'sage.categories.facade_sets.FacadeSets'>
     base_cat_and_ax LVL 1, cls=<class
 'sage.categories.hopf_algebras_with_basis.HopfAlgebrasWithBasis'>
     base_cat_and_ax LVL 2, cls=<class
 'sage.categories.hopf_algebras_with_basis.HopfAlgebrasWithBasis'>
     base_cat_and_ax LVL 3, cls=<class
 'sage.categories.hopf_algebras_with_basis.HopfAlgebrasWithBasis'>
     base_cat_and_ax LVL 4, cls=<class
 'sage.categories.hopf_algebras_with_basis.HopfAlgebrasWithBasis'>
     base_cat_and_ax LVL 5, cls=<class
 'sage.categories.hopf_algebras_with_basis.HopfAlgebrasWithBasis'>
     base_cat_and_ax LVL 6, cls=<class
 'sage.categories.hopf_algebras_with_basis.HopfAlgebrasWithBasis'>
     base_cat_and_ax LVL 7, cls=<class
 'sage.categories.hopf_algebras_with_basis.HopfAlgebrasWithBasis'>
     base_cat_and_ax LVL 8, cls=<class
 'sage.categories.hopf_algebras_with_basis.HopfAlgebrasWithBasis'>
     base_cat_and_ax LVL 9, cls=<class
 'sage.categories.hopf_algebras_with_basis.HopfAlgebrasWithBasis'>
     base_cat_and_ax LVL 10, cls=<class
 'sage.categories.hopf_algebras_with_basis.HopfAlgebrasWithBasis'>
     base_cat_and_ax LVL 11, cls=<class
 'sage.categories.hopf_algebras_with_basis.HopfAlgebrasWithBasis'>
     base_cat_and_ax LVL 12, cls=<class
 'sage.categories.hopf_algebras_with_basis.HopfAlgebrasWithBasis'>
     base_cat_and_ax LVL 13, cls=<class
 'sage.categories.hopf_algebras_with_basis.HopfAlgebrasWithBasis'>
     base_cat_and_ax LVL 14, cls=<class
 'sage.categories.hopf_algebras_with_basis.HopfAlgebrasWithBasis'>
     base_cat_and_ax LVL 15, cls=<class
 'sage.categories.hopf_algebras_with_basis.HopfAlgebrasWithBasis'>
     base_cat_and_ax LVL 16, cls=<class
 'sage.categories.hopf_algebras_with_basis.HopfAlgebrasWithBasis'>
     base_cat_and_ax LVL 17, cls=<class
 'sage.categories.hopf_algebras_with_basis.HopfAlgebrasWithBasis'>
     base_cat_and_ax LVL 18, cls=<class
 'sage.categories.hopf_algebras_with_basis.HopfAlgebrasWithBasis'>
     base_cat_and_ax LVL 19, cls=<class
 'sage.categories.hopf_algebras_with_basis.HopfAlgebrasWithBasis'>
     base_cat_and_ax LVL 20, cls=<class
 'sage.categories.hopf_algebras_with_basis.HopfAlgebrasWithBasis'>
     base_cat_and_ax LVL 21, cls=<class
 'sage.categories.hopf_algebras_with_basis.HopfAlgebrasWithBasis'>
     base_cat_and_ax LVL 22, cls=<class
 'sage.categories.hopf_algebras_with_basis.HopfAlgebrasWithBasis'>
     base_cat_and_ax LVL 23, cls=<class
 'sage.categories.hopf_algebras_with_basis.HopfAlgebrasWithBasis'>
     base_cat_and_ax LVL 24, cls=<class
 'sage.categories.hopf_algebras_with_basis.HopfAlgebrasWithBasis'>
     base_cat_and_ax LVL 25, cls=<class
 'sage.categories.hopf_algebras_with_basis.HopfAlgebrasWithBasis'>
     base_cat_and_ax LVL 26, cls=<class
 'sage.categories.hopf_algebras_with_basis.HopfAlgebrasWithBasis'>
     base_cat_and_ax LVL 27, cls=<class
 'sage.categories.hopf_algebras_with_basis.HopfAlgebrasWithBasis'>
     base_cat_and_ax LVL 28, cls=<class
 'sage.categories.hopf_algebras_with_basis.HopfAlgebrasWithBasis'>
     base_cat_and_ax LVL 29, cls=<class
 'sage.categories.hopf_algebras_with_basis.HopfAlgebrasWithBasis'>
     base_cat_and_ax LVL 30, cls=<class
 'sage.categories.hopf_algebras_with_basis.HopfAlgebrasWithBasis'>
     base_cat_and_ax LVL 31, cls=<class
 'sage.categories.hopf_algebras_with_basis.HopfAlgebrasWithBasis'>
     base_cat_and_ax LVL 32, cls=<class
 'sage.categories.hopf_algebras_with_basis.HopfAlgebrasWithBasis'>
     base_cat_and_ax LVL 33, cls=<class
 'sage.categories.hopf_algebras_with_basis.HopfAlgebrasWithBasis'>
     base_cat_and_ax LVL 34, cls=<class
 'sage.categories.hopf_algebras_with_basis.HopfAlgebrasWithBasis'>
     base_cat_and_ax LVL 35, cls=<class
 'sage.categories.hopf_algebras_with_basis.HopfAlgebrasWithBasis'>
     base_cat_and_ax LVL 36, cls=<class
 'sage.categories.hopf_algebras_with_basis.HopfAlgebrasWithBasis'>
     base_cat_and_ax LVL 37, cls=<class
 'sage.categories.hopf_algebras_with_basis.HopfAlgebrasWithBasis'>
     base_cat_and_ax LVL 38, cls=<class
 'sage.categories.hopf_algebras_with_basis.HopfAlgebrasWithBasis'>
     base_cat_and_ax LVL 39, cls=<class
 'sage.categories.hopf_algebras_with_basis.HopfAlgebrasWithBasis'>
     base_cat_and_ax LVL 40, cls=<class
 'sage.categories.hopf_algebras_with_basis.HopfAlgebrasWithBasis'>
     base_cat_and_ax LVL 41, cls=<class
 'sage.categories.hopf_algebras_with_basis.HopfAlgebrasWithBasis'>
     base_cat_and_ax LVL 42, cls=<class
 'sage.categories.hopf_algebras_with_basis.HopfAlgebrasWithBasis'>
     base_cat_and_ax LVL 43, cls=<class
 'sage.categories.hopf_algebras_with_basis.HopfAlgebrasWithBasis'>
     base_cat_and_ax LVL 44, cls=<class
 'sage.categories.hopf_algebras_with_basis.HopfAlgebrasWithBasis'>
     base_cat_and_ax LVL 45, cls=<class
 'sage.categories.hopf_algebras_with_basis.HopfAlgebrasWithBasis'>
     base_cat_and_ax LVL 46, cls=<class
 'sage.categories.hopf_algebras_with_basis.HopfAlgebrasWithBasis'>
     base_cat_and_ax LVL 47, cls=<class
 'sage.categories.hopf_algebras_with_basis.HopfAlgebrasWithBasis'>
     base_cat_and_ax LVL 48, cls=<class
 'sage.categories.hopf_algebras_with_basis.HopfAlgebrasWithBasis'>
     base_cat_and_ax LVL 49, cls=<class
 'sage.categories.hopf_algebras_with_basis.HopfAlgebrasWithBasis'>
     base_cat_and_ax LVL 50, cls=<class
 'sage.categories.hopf_algebras_with_basis.HopfAlgebrasWithBasis'>
     base_cat_and_ax LVL 51, cls=<class
 'sage.categories.hopf_algebras_with_basis.HopfAlgebrasWithBasis'>
     base_cat_and_ax LVL 52, cls=<class
 'sage.categories.hopf_algebras_with_basis.HopfAlgebrasWithBasis'>
     base_cat_and_ax LVL 53, cls=<class
 'sage.categories.hopf_algebras_with_basis.HopfAlgebrasWithBasis'>
     base_cat_and_ax LVL 54, cls=<class
 'sage.categories.hopf_algebras_with_basis.HopfAlgebrasWithBasis'>
     base_cat_and_ax LVL 55, cls=<class
 'sage.categories.hopf_algebras_with_basis.HopfAlgebrasWithBasis'>
     base_cat_and_ax LVL 56, cls=<class
 'sage.categories.hopf_algebras_with_basis.HopfAlgebrasWithBasis'>
     base_cat_and_ax LVL 57, cls=<class
 'sage.categories.hopf_algebras_with_basis.HopfAlgebrasWithBasis'>
     base_cat_and_ax LVL 58, cls=<class
 'sage.categories.hopf_algebras_with_basis.HopfAlgebrasWithBasis'>
     base_cat_and_ax LVL 59, cls=<class
 'sage.categories.hopf_algebras_with_basis.HopfAlgebrasWithBasis'>
     base_cat_and_ax LVL 60, cls=<class
 'sage.categories.hopf_algebras_with_basis.HopfAlgebrasWithBasis'>
     base_cat_and_ax LVL 61, cls=<class
 'sage.categories.hopf_algebras_with_basis.HopfAlgebrasWithBasis'>
     base_cat_and_ax LVL 62, cls=<class
 'sage.categories.hopf_algebras_with_basis.HopfAlgebrasWithBasis'>
     base_cat_and_ax LVL 63, cls=<class
 'sage.categories.hopf_algebras_with_basis.HopfAlgebrasWithBasis'>
     base_cat_and_ax LVL 64, cls=<class
 'sage.categories.hopf_algebras_with_basis.HopfAlgebrasWithBasis'>
     base_cat_and_ax LVL 65, cls=<class
 'sage.categories.hopf_algebras_with_basis.HopfAlgebrasWithBasis'>
     base_cat_and_ax LVL 66, cls=<class
 'sage.categories.hopf_algebras_with_basis.HopfAlgebrasWithBasis'>
     base_cat_and_ax LVL 67, cls=<class
 'sage.categories.hopf_algebras_with_basis.HopfAlgebrasWithBasis'>
     base_cat_and_ax LVL 68, cls=<class
 'sage.categories.hopf_algebras_with_basis.HopfAlgebrasWithBasis'>
     base_cat_and_ax LVL 69, cls=<class
 'sage.categories.hopf_algebras_with_basis.HopfAlgebrasWithBasis'>
     base_cat_and_ax LVL 70, cls=<class
 'sage.categories.hopf_algebras_with_basis.HopfAlgebrasWithBasis'>
     base_cat_and_ax LVL 71, cls=<class
 'sage.categories.hopf_algebras_with_basis.HopfAlgebrasWithBasis'>
     base_cat_and_ax LVL 72, cls=<class
 'sage.categories.hopf_algebras_with_basis.HopfAlgebrasWithBasis'>
     base_cat_and_ax LVL 73, cls=<class
 'sage.categories.hopf_algebras_with_basis.HopfAlgebrasWithBasis'>
     base_cat_and_ax LVL 74, cls=<class
 'sage.categories.hopf_algebras_with_basis.HopfAlgebrasWithBasis'>
     base_cat_and_ax LVL 75, cls=<class
 'sage.categories.hopf_algebras_with_basis.HopfAlgebrasWithBasis'>
     base_cat_and_ax LVL 1, cls=<class
 'sage.categories.algebras_with_basis.AlgebrasWithBasis'>
     base_cat_and_ax LVL 2, cls=<class
 'sage.categories.algebras_with_basis.AlgebrasWithBasis'>
     base_cat_and_ax LVL 3, cls=<class
 'sage.categories.algebras_with_basis.AlgebrasWithBasis'>
     base_cat_and_ax LVL 4, cls=<class
 'sage.categories.algebras_with_basis.AlgebrasWithBasis'>
     base_cat_and_ax LVL 5, cls=<class
 'sage.categories.algebras_with_basis.AlgebrasWithBasis'>
     base_cat_and_ax LVL 6, cls=<class
 'sage.categories.algebras_with_basis.AlgebrasWithBasis'>
     base_cat_and_ax LVL 7, cls=<class
 'sage.categories.algebras_with_basis.AlgebrasWithBasis'>
     base_cat_and_ax LVL 8, cls=<class
 'sage.categories.algebras_with_basis.AlgebrasWithBasis'>
     base_cat_and_ax LVL 9, cls=<class
 'sage.categories.algebras_with_basis.AlgebrasWithBasis'>
     base_cat_and_ax LVL 10, cls=<class
 'sage.categories.algebras_with_basis.AlgebrasWithBasis'>
     base_cat_and_ax LVL 11, cls=<class
 'sage.categories.algebras_with_basis.AlgebrasWithBasis'>
     base_cat_and_ax LVL 12, cls=<class
 'sage.categories.algebras_with_basis.AlgebrasWithBasis'>
     base_cat_and_ax LVL 13, cls=<class
 'sage.categories.algebras_with_basis.AlgebrasWithBasis'>
     base_cat_and_ax LVL 14, cls=<class
 'sage.categories.algebras_with_basis.AlgebrasWithBasis'>
     base_cat_and_ax LVL 15, cls=<class
 'sage.categories.algebras_with_basis.AlgebrasWithBasis'>
     base_cat_and_ax LVL 16, cls=<class
 'sage.categories.algebras_with_basis.AlgebrasWithBasis'>
     base_cat_and_ax LVL 17, cls=<class
 'sage.categories.algebras_with_basis.AlgebrasWithBasis'>
     base_cat_and_ax LVL 18, cls=<class
 'sage.categories.algebras_with_basis.AlgebrasWithBasis'>
     base_cat_and_ax LVL 19, cls=<class
 'sage.categories.algebras_with_basis.AlgebrasWithBasis'>
     base_cat_and_ax LVL 20, cls=<class
 'sage.categories.algebras_with_basis.AlgebrasWithBasis'>
     base_cat_and_ax LVL 21, cls=<class
 'sage.categories.algebras_with_basis.AlgebrasWithBasis'>
     base_cat_and_ax LVL 22, cls=<class
 'sage.categories.algebras_with_basis.AlgebrasWithBasis'>
     base_cat_and_ax LVL 23, cls=<class
 'sage.categories.algebras_with_basis.AlgebrasWithBasis'>
     base_cat_and_ax LVL 24, cls=<class
 'sage.categories.algebras_with_basis.AlgebrasWithBasis'>
     base_cat_and_ax LVL 25, cls=<class
 'sage.categories.algebras_with_basis.AlgebrasWithBasis'>
     base_cat_and_ax LVL 26, cls=<class
 'sage.categories.algebras_with_basis.AlgebrasWithBasis'>
     base_cat_and_ax LVL 27, cls=<class
 'sage.categories.algebras_with_basis.AlgebrasWithBasis'>
     base_cat_and_ax LVL 28, cls=<class
 'sage.categories.algebras_with_basis.AlgebrasWithBasis'>
     base_cat_and_ax LVL 29, cls=<class
 'sage.categories.algebras_with_basis.AlgebrasWithBasis'>
     base_cat_and_ax LVL 30, cls=<class
 'sage.categories.algebras_with_basis.AlgebrasWithBasis'>
     base_cat_and_ax LVL 31, cls=<class
 'sage.categories.algebras_with_basis.AlgebrasWithBasis'>
     base_cat_and_ax LVL 32, cls=<class
 'sage.categories.algebras_with_basis.AlgebrasWithBasis'>
     base_cat_and_ax LVL 33, cls=<class
 'sage.categories.algebras_with_basis.AlgebrasWithBasis'>
     base_cat_and_ax LVL 34, cls=<class
 'sage.categories.algebras_with_basis.AlgebrasWithBasis'>
     base_cat_and_ax LVL 35, cls=<class
 'sage.categories.algebras_with_basis.AlgebrasWithBasis'>
     base_cat_and_ax LVL 36, cls=<class
 'sage.categories.algebras_with_basis.AlgebrasWithBasis'>
     base_cat_and_ax LVL 37, cls=<class
 'sage.categories.algebras_with_basis.AlgebrasWithBasis'>
     base_cat_and_ax LVL 38, cls=<class
 'sage.categories.algebras_with_basis.AlgebrasWithBasis'>
     base_cat_and_ax LVL 39, cls=<class
 'sage.categories.algebras_with_basis.AlgebrasWithBasis'>
     base_cat_and_ax LVL 40, cls=<class
 'sage.categories.algebras_with_basis.AlgebrasWithBasis'>
     base_cat_and_ax LVL 41, cls=<class
 'sage.categories.algebras_with_basis.AlgebrasWithBasis'>
     base_cat_and_ax LVL 42, cls=<class
 'sage.categories.algebras_with_basis.AlgebrasWithBasis'>
     base_cat_and_ax LVL 43, cls=<class
 'sage.categories.algebras_with_basis.AlgebrasWithBasis'>
     base_cat_and_ax LVL 44, cls=<class
 'sage.categories.algebras_with_basis.AlgebrasWithBasis'>
     base_cat_and_ax LVL 45, cls=<class
 'sage.categories.algebras_with_basis.AlgebrasWithBasis'>
     base_cat_and_ax LVL 46, cls=<class
 'sage.categories.algebras_with_basis.AlgebrasWithBasis'>
     base_cat_and_ax LVL 47, cls=<class
 'sage.categories.algebras_with_basis.AlgebrasWithBasis'>
     base_cat_and_ax LVL 48, cls=<class
 'sage.categories.algebras_with_basis.AlgebrasWithBasis'>
     base_cat_and_ax LVL 49, cls=<class
 'sage.categories.algebras_with_basis.AlgebrasWithBasis'>
     base_cat_and_ax LVL 50, cls=<class
 'sage.categories.algebras_with_basis.AlgebrasWithBasis'>
     base_cat_and_ax LVL 51, cls=<class
 'sage.categories.algebras_with_basis.AlgebrasWithBasis'>
     base_cat_and_ax LVL 52, cls=<class
 'sage.categories.algebras_with_basis.AlgebrasWithBasis'>
     base_cat_and_ax LVL 53, cls=<class
 'sage.categories.algebras_with_basis.AlgebrasWithBasis'>
     base_cat_and_ax LVL 54, cls=<class
 'sage.categories.algebras_with_basis.AlgebrasWithBasis'>
     base_cat_and_ax LVL 55, cls=<class
 'sage.categories.algebras_with_basis.AlgebrasWithBasis'>
     base_cat_and_ax LVL 56, cls=<class
 'sage.categories.algebras_with_basis.AlgebrasWithBasis'>
     base_cat_and_ax LVL 57, cls=<class
 'sage.categories.algebras_with_basis.AlgebrasWithBasis'>
     base_cat_and_ax LVL 58, cls=<class
 'sage.categories.algebras_with_basis.AlgebrasWithBasis'>
     base_cat_and_ax LVL 59, cls=<class
 'sage.categories.algebras_with_basis.AlgebrasWithBasis'>
     base_cat_and_ax LVL 60, cls=<class
 'sage.categories.algebras_with_basis.AlgebrasWithBasis'>
     base_cat_and_ax LVL 61, cls=<class
 'sage.categories.algebras_with_basis.AlgebrasWithBasis'>
     base_cat_and_ax LVL 62, cls=<class
 'sage.categories.algebras_with_basis.AlgebrasWithBasis'>
     base_cat_and_ax LVL 63, cls=<class
 'sage.categories.algebras_with_basis.AlgebrasWithBasis'>
     base_cat_and_ax LVL 64, cls=<class
 'sage.categories.algebras_with_basis.AlgebrasWithBasis'>
     base_cat_and_ax LVL 65, cls=<class
 'sage.categories.algebras_with_basis.AlgebrasWithBasis'>
     base_cat_and_ax LVL 66, cls=<class
 'sage.categories.algebras_with_basis.AlgebrasWithBasis'>
     base_cat_and_ax LVL 67, cls=<class
 'sage.categories.algebras_with_basis.AlgebrasWithBasis'>
     base_cat_and_ax LVL 68, cls=<class
 'sage.categories.algebras_with_basis.AlgebrasWithBasis'>
     base_cat_and_ax LVL 69, cls=<class
 'sage.categories.algebras_with_basis.AlgebrasWithBasis'>
     base_cat_and_ax LVL 70, cls=<class
 'sage.categories.algebras_with_basis.AlgebrasWithBasis'>
     base_cat_and_ax LVL 71, cls=<class
 'sage.categories.algebras_with_basis.AlgebrasWithBasis'>
     base_cat_and_ax LVL 1, cls=<class
 'sage.categories.magmatic_algebras.MagmaticAlgebras.WithBasis'>
     base_cat_and_ax LVL 1, cls=<class
 'sage.categories.vector_spaces.VectorSpaces.WithBasis'>
     base_cat_and_ax LVL 1, cls=<class
 'sage.categories.modules_with_basis.ModulesWithBasis'>
     base_cat_and_ax LVL 2, cls=<class
 'sage.categories.modules_with_basis.ModulesWithBasis'>
     base_cat_and_ax LVL 3, cls=<class
 'sage.categories.modules_with_basis.ModulesWithBasis'>
     base_cat_and_ax LVL 4, cls=<class
 'sage.categories.modules_with_basis.ModulesWithBasis'>
     base_cat_and_ax LVL 5, cls=<class
 'sage.categories.modules_with_basis.ModulesWithBasis'>
     base_cat_and_ax LVL 6, cls=<class
 'sage.categories.modules_with_basis.ModulesWithBasis'>
     base_cat_and_ax LVL 7, cls=<class
 'sage.categories.modules_with_basis.ModulesWithBasis'>
     base_cat_and_ax LVL 8, cls=<class
 'sage.categories.modules_with_basis.ModulesWithBasis'>
     base_cat_and_ax LVL 9, cls=<class
 'sage.categories.modules_with_basis.ModulesWithBasis'>
     base_cat_and_ax LVL 10, cls=<class
 'sage.categories.modules_with_basis.ModulesWithBasis'>
     base_cat_and_ax LVL 11, cls=<class
 'sage.categories.modules_with_basis.ModulesWithBasis'>
     base_cat_and_ax LVL 12, cls=<class
 'sage.categories.modules_with_basis.ModulesWithBasis'>
     base_cat_and_ax LVL 13, cls=<class
 'sage.categories.modules_with_basis.ModulesWithBasis'>
     base_cat_and_ax LVL 14, cls=<class
 'sage.categories.modules_with_basis.ModulesWithBasis'>
     base_cat_and_ax LVL 15, cls=<class
 'sage.categories.modules_with_basis.ModulesWithBasis'>
     base_cat_and_ax LVL 16, cls=<class
 'sage.categories.modules_with_basis.ModulesWithBasis'>
     base_cat_and_ax LVL 17, cls=<class
 'sage.categories.modules_with_basis.ModulesWithBasis'>
     base_cat_and_ax LVL 18, cls=<class
 'sage.categories.modules_with_basis.ModulesWithBasis'>
     base_cat_and_ax LVL 19, cls=<class
 'sage.categories.modules_with_basis.ModulesWithBasis'>
     base_cat_and_ax LVL 20, cls=<class
 'sage.categories.modules_with_basis.ModulesWithBasis'>
     base_cat_and_ax LVL 21, cls=<class
 'sage.categories.modules_with_basis.ModulesWithBasis'>
     base_cat_and_ax LVL 22, cls=<class
 'sage.categories.modules_with_basis.ModulesWithBasis'>
     base_cat_and_ax LVL 23, cls=<class
 'sage.categories.modules_with_basis.ModulesWithBasis'>
     base_cat_and_ax LVL 24, cls=<class
 'sage.categories.modules_with_basis.ModulesWithBasis'>
     base_cat_and_ax LVL 25, cls=<class
 'sage.categories.modules_with_basis.ModulesWithBasis'>
     base_cat_and_ax LVL 26, cls=<class
 'sage.categories.modules_with_basis.ModulesWithBasis'>
     base_cat_and_ax LVL 27, cls=<class
 'sage.categories.modules_with_basis.ModulesWithBasis'>
     base_cat_and_ax LVL 28, cls=<class
 'sage.categories.modules_with_basis.ModulesWithBasis'>
     base_cat_and_ax LVL 29, cls=<class
 'sage.categories.modules_with_basis.ModulesWithBasis'>
     base_cat_and_ax LVL 30, cls=<class
 'sage.categories.modules_with_basis.ModulesWithBasis'>
     base_cat_and_ax LVL 31, cls=<class
 'sage.categories.modules_with_basis.ModulesWithBasis'>
     base_cat_and_ax LVL 32, cls=<class
 'sage.categories.modules_with_basis.ModulesWithBasis'>
     base_cat_and_ax LVL 33, cls=<class
 'sage.categories.modules_with_basis.ModulesWithBasis'>
     base_cat_and_ax LVL 34, cls=<class
 'sage.categories.modules_with_basis.ModulesWithBasis'>
     base_cat_and_ax LVL 35, cls=<class
 'sage.categories.modules_with_basis.ModulesWithBasis'>
     base_cat_and_ax LVL 36, cls=<class
 'sage.categories.modules_with_basis.ModulesWithBasis'>
     base_cat_and_ax LVL 37, cls=<class
 'sage.categories.modules_with_basis.ModulesWithBasis'>
     base_cat_and_ax LVL 38, cls=<class
 'sage.categories.modules_with_basis.ModulesWithBasis'>
     base_cat_and_ax LVL 39, cls=<class
 'sage.categories.modules_with_basis.ModulesWithBasis'>
     base_cat_and_ax LVL 40, cls=<class
 'sage.categories.modules_with_basis.ModulesWithBasis'>
     base_cat_and_ax LVL 41, cls=<class
 'sage.categories.modules_with_basis.ModulesWithBasis'>
     base_cat_and_ax LVL 42, cls=<class
 'sage.categories.modules_with_basis.ModulesWithBasis'>
     base_cat_and_ax LVL 43, cls=<class
 'sage.categories.modules_with_basis.ModulesWithBasis'>
     base_cat_and_ax LVL 44, cls=<class
 'sage.categories.modules_with_basis.ModulesWithBasis'>
     base_cat_and_ax LVL 45, cls=<class
 'sage.categories.modules_with_basis.ModulesWithBasis'>
     base_cat_and_ax LVL 46, cls=<class
 'sage.categories.modules_with_basis.ModulesWithBasis'>
     base_cat_and_ax LVL 47, cls=<class
 'sage.categories.modules_with_basis.ModulesWithBasis'>
     base_cat_and_ax LVL 48, cls=<class
 'sage.categories.modules_with_basis.ModulesWithBasis'>
     base_cat_and_ax LVL 49, cls=<class
 'sage.categories.modules_with_basis.ModulesWithBasis'>
     base_cat_and_ax LVL 50, cls=<class
 'sage.categories.modules_with_basis.ModulesWithBasis'>
     base_cat_and_ax LVL 51, cls=<class
 'sage.categories.modules_with_basis.ModulesWithBasis'>
     base_cat_and_ax LVL 52, cls=<class
 'sage.categories.modules_with_basis.ModulesWithBasis'>
     base_cat_and_ax LVL 53, cls=<class
 'sage.categories.modules_with_basis.ModulesWithBasis'>
     base_cat_and_ax LVL 54, cls=<class
 'sage.categories.modules_with_basis.ModulesWithBasis'>
     base_cat_and_ax LVL 55, cls=<class
 'sage.categories.modules_with_basis.ModulesWithBasis'>
     base_cat_and_ax LVL 56, cls=<class
 'sage.categories.modules_with_basis.ModulesWithBasis'>
     base_cat_and_ax LVL 57, cls=<class
 'sage.categories.modules_with_basis.ModulesWithBasis'>
     base_cat_and_ax LVL 58, cls=<class
 'sage.categories.modules_with_basis.ModulesWithBasis'>
     base_cat_and_ax LVL 59, cls=<class
 'sage.categories.modules_with_basis.ModulesWithBasis'>
     base_cat_and_ax LVL 60, cls=<class
 'sage.categories.modules_with_basis.ModulesWithBasis'>
     base_cat_and_ax LVL 1, cls=<class
 'sage.categories.coalgebras_with_basis.CoalgebrasWithBasis'>
     base_cat_and_ax LVL 2, cls=<class
 'sage.categories.coalgebras_with_basis.CoalgebrasWithBasis'>
     base_cat_and_ax LVL 3, cls=<class
 'sage.categories.coalgebras_with_basis.CoalgebrasWithBasis'>
     base_cat_and_ax LVL 4, cls=<class
 'sage.categories.coalgebras_with_basis.CoalgebrasWithBasis'>
     base_cat_and_ax LVL 5, cls=<class
 'sage.categories.coalgebras_with_basis.CoalgebrasWithBasis'>
     base_cat_and_ax LVL 6, cls=<class
 'sage.categories.coalgebras_with_basis.CoalgebrasWithBasis'>
     base_cat_and_ax LVL 7, cls=<class
 'sage.categories.coalgebras_with_basis.CoalgebrasWithBasis'>
     base_cat_and_ax LVL 8, cls=<class
 'sage.categories.coalgebras_with_basis.CoalgebrasWithBasis'>
     base_cat_and_ax LVL 9, cls=<class
 'sage.categories.coalgebras_with_basis.CoalgebrasWithBasis'>
     base_cat_and_ax LVL 10, cls=<class
 'sage.categories.coalgebras_with_basis.CoalgebrasWithBasis'>
     base_cat_and_ax LVL 11, cls=<class
 'sage.categories.coalgebras_with_basis.CoalgebrasWithBasis'>
     base_cat_and_ax LVL 12, cls=<class
 'sage.categories.coalgebras_with_basis.CoalgebrasWithBasis'>
     base_cat_and_ax LVL 13, cls=<class
 'sage.categories.coalgebras_with_basis.CoalgebrasWithBasis'>
     base_cat_and_ax LVL 14, cls=<class
 'sage.categories.coalgebras_with_basis.CoalgebrasWithBasis'>
     base_cat_and_ax LVL 15, cls=<class
 'sage.categories.coalgebras_with_basis.CoalgebrasWithBasis'>
     base_cat_and_ax LVL 16, cls=<class
 'sage.categories.coalgebras_with_basis.CoalgebrasWithBasis'>
     base_cat_and_ax LVL 17, cls=<class
 'sage.categories.coalgebras_with_basis.CoalgebrasWithBasis'>
     base_cat_and_ax LVL 18, cls=<class
 'sage.categories.coalgebras_with_basis.CoalgebrasWithBasis'>
     base_cat_and_ax LVL 19, cls=<class
 'sage.categories.coalgebras_with_basis.CoalgebrasWithBasis'>
     base_cat_and_ax LVL 20, cls=<class
 'sage.categories.coalgebras_with_basis.CoalgebrasWithBasis'>
     base_cat_and_ax LVL 21, cls=<class
 'sage.categories.coalgebras_with_basis.CoalgebrasWithBasis'>
     base_cat_and_ax LVL 22, cls=<class
 'sage.categories.coalgebras_with_basis.CoalgebrasWithBasis'>
     base_cat_and_ax LVL 23, cls=<class
 'sage.categories.coalgebras_with_basis.CoalgebrasWithBasis'>
     base_cat_and_ax LVL 24, cls=<class
 'sage.categories.coalgebras_with_basis.CoalgebrasWithBasis'>
     base_cat_and_ax LVL 25, cls=<class
 'sage.categories.coalgebras_with_basis.CoalgebrasWithBasis'>
     base_cat_and_ax LVL 26, cls=<class
 'sage.categories.coalgebras_with_basis.CoalgebrasWithBasis'>
     base_cat_and_ax LVL 27, cls=<class
 'sage.categories.coalgebras_with_basis.CoalgebrasWithBasis'>
     base_cat_and_ax LVL 28, cls=<class
 'sage.categories.coalgebras_with_basis.CoalgebrasWithBasis'>
     base_cat_and_ax LVL 29, cls=<class
 'sage.categories.coalgebras_with_basis.CoalgebrasWithBasis'>
     base_cat_and_ax LVL 30, cls=<class
 'sage.categories.coalgebras_with_basis.CoalgebrasWithBasis'>
     base_cat_and_ax LVL 31, cls=<class
 'sage.categories.coalgebras_with_basis.CoalgebrasWithBasis'>
     base_cat_and_ax LVL 32, cls=<class
 'sage.categories.coalgebras_with_basis.CoalgebrasWithBasis'>
     base_cat_and_ax LVL 33, cls=<class
 'sage.categories.coalgebras_with_basis.CoalgebrasWithBasis'>
     base_cat_and_ax LVL 34, cls=<class
 'sage.categories.coalgebras_with_basis.CoalgebrasWithBasis'>
     base_cat_and_ax LVL 35, cls=<class
 'sage.categories.coalgebras_with_basis.CoalgebrasWithBasis'>
     base_cat_and_ax LVL 36, cls=<class
 'sage.categories.coalgebras_with_basis.CoalgebrasWithBasis'>
     base_cat_and_ax LVL 37, cls=<class
 'sage.categories.coalgebras_with_basis.CoalgebrasWithBasis'>
     base_cat_and_ax LVL 38, cls=<class
 'sage.categories.coalgebras_with_basis.CoalgebrasWithBasis'>
     base_cat_and_ax LVL 39, cls=<class
 'sage.categories.coalgebras_with_basis.CoalgebrasWithBasis'>
     base_cat_and_ax LVL 40, cls=<class
 'sage.categories.coalgebras_with_basis.CoalgebrasWithBasis'>
     base_cat_and_ax LVL 41, cls=<class
 'sage.categories.coalgebras_with_basis.CoalgebrasWithBasis'>
     base_cat_and_ax LVL 42, cls=<class
 'sage.categories.coalgebras_with_basis.CoalgebrasWithBasis'>
     base_cat_and_ax LVL 43, cls=<class
 'sage.categories.coalgebras_with_basis.CoalgebrasWithBasis'>
     base_cat_and_ax LVL 44, cls=<class
 'sage.categories.coalgebras_with_basis.CoalgebrasWithBasis'>
     base_cat_and_ax LVL 45, cls=<class
 'sage.categories.coalgebras_with_basis.CoalgebrasWithBasis'>
     base_cat_and_ax LVL 46, cls=<class
 'sage.categories.coalgebras_with_basis.CoalgebrasWithBasis'>
     base_cat_and_ax LVL 47, cls=<class
 'sage.categories.coalgebras_with_basis.CoalgebrasWithBasis'>
     base_cat_and_ax LVL 48, cls=<class
 'sage.categories.coalgebras_with_basis.CoalgebrasWithBasis'>
     base_cat_and_ax LVL 49, cls=<class
 'sage.categories.coalgebras_with_basis.CoalgebrasWithBasis'>
     base_cat_and_ax LVL 50, cls=<class
 'sage.categories.coalgebras_with_basis.CoalgebrasWithBasis'>
     base_cat_and_ax LVL 51, cls=<class
 'sage.categories.coalgebras_with_basis.CoalgebrasWithBasis'>
     base_cat_and_ax LVL 52, cls=<class
 'sage.categories.coalgebras_with_basis.CoalgebrasWithBasis'>
     base_cat_and_ax LVL 53, cls=<class
 'sage.categories.coalgebras_with_basis.CoalgebrasWithBasis'>
     base_cat_and_ax LVL 54, cls=<class
 'sage.categories.coalgebras_with_basis.CoalgebrasWithBasis'>
     base_cat_and_ax LVL 55, cls=<class
 'sage.categories.coalgebras_with_basis.CoalgebrasWithBasis'>
     base_cat_and_ax LVL 56, cls=<class
 'sage.categories.coalgebras_with_basis.CoalgebrasWithBasis'>
     base_cat_and_ax LVL 57, cls=<class
 'sage.categories.coalgebras_with_basis.CoalgebrasWithBasis'>
     base_cat_and_ax LVL 58, cls=<class
 'sage.categories.coalgebras_with_basis.CoalgebrasWithBasis'>
     base_cat_and_ax LVL 59, cls=<class
 'sage.categories.coalgebras_with_basis.CoalgebrasWithBasis'>
     base_cat_and_ax LVL 60, cls=<class
 'sage.categories.coalgebras_with_basis.CoalgebrasWithBasis'>
     base_cat_and_ax LVL 61, cls=<class
 'sage.categories.coalgebras_with_basis.CoalgebrasWithBasis'>
     base_cat_and_ax LVL 62, cls=<class
 'sage.categories.coalgebras_with_basis.CoalgebrasWithBasis'>
     base_cat_and_ax LVL 63, cls=<class
 'sage.categories.coalgebras_with_basis.CoalgebrasWithBasis'>
     base_cat_and_ax LVL 64, cls=<class
 'sage.categories.coalgebras_with_basis.CoalgebrasWithBasis'>
     base_cat_and_ax LVL 65, cls=<class
 'sage.categories.coalgebras_with_basis.CoalgebrasWithBasis'>
     base_cat_and_ax LVL 66, cls=<class
 'sage.categories.coalgebras_with_basis.CoalgebrasWithBasis'>
     base_cat_and_ax LVL 67, cls=<class
 'sage.categories.coalgebras_with_basis.CoalgebrasWithBasis'>
     base_cat_and_ax LVL 68, cls=<class
 'sage.categories.coalgebras_with_basis.CoalgebrasWithBasis'>
     base_cat_and_ax LVL 69, cls=<class
 'sage.categories.coalgebras_with_basis.CoalgebrasWithBasis'>
     base_cat_and_ax LVL 70, cls=<class
 'sage.categories.coalgebras_with_basis.CoalgebrasWithBasis'>
     base_cat_and_ax LVL 71, cls=<class
 'sage.categories.coalgebras_with_basis.CoalgebrasWithBasis'>
     [0, 0, 0, 0]
 **********************************************************************
 1 item had failures:
    1 of  21 in sage.combinat.species.empty_species.EmptySpecies
     [37 tests, 1 failure, 0.08 s]
 ----------------------------------------------------------------------
 sage -t src/sage/combinat/species/empty_species.py  # 1 doctest failed
 ----------------------------------------------------------------------
 Total time for all tests: 0.1 seconds
     cpu time: 0.1 seconds
     cumulative wall time: 0.1 seconds
 }}}
 so it does seem that even when this code doesn't produce errors, it
 recurses
 ridiculously deeply. Als, it keeps importing the same file! (that's not
 apparent
 from the output given here, but it was when I put the print statement at
 the
 import instruction.

 This seems another case where an obscure bug report leads us to finding
 serious
 deficiencies in code.

--
Ticket URL: <http://trac.sagemath.org/ticket/10963#comment:244>
Sage <http://www.sagemath.org>
Sage: Creating a Viable Open Source Alternative to Magma, Maple, Mathematica, 
and MATLAB

-- 
You received this message because you are subscribed to the Google Groups 
"sage-trac" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to [email protected].
To post to this group, send email to [email protected].
Visit this group at http://groups.google.com/group/sage-trac.
For more options, visit https://groups.google.com/groups/opt_out.

Reply via email to