On Monday, March 10, 2014 1:45:56 PM UTC, Nicolas M. Thiéry wrote: > > I am happy to change those error messages for something more helpful; > What do you suggest? > > - ``Unknown axiom name 'Endlich'. Please add it to > sage.categories.category_with_axiom.all_axioms'' > - ``Axiom 'Endlich' not defined by Categories of Cs or its super > categories '' > As you know, I suggest making axioms some sort of object. And explictly set it in the nested class. Then you never have to guess the axiom of the nested class, so you can't get that error.
> By the way, all_axioms would better be renamed all_axiom_names; agreed? > Yes, even better if you don't need it because you define the sort order inside the axiom. -- You received this message because you are subscribed to the Google Groups "sage-devel" group. To unsubscribe from this group and stop receiving emails from it, send an email to sage-devel+unsubscr...@googlegroups.com. To post to this group, send email to sage-devel@googlegroups.com. Visit this group at http://groups.google.com/group/sage-devel. For more options, visit https://groups.google.com/d/optout.
