Changes between Initial Version and Version 1 of Ticket #20515
- Timestamp:
- Apr 28, 2016, 10:39:42 PM (7 years ago)
Legend:
- Unmodified
- Added
- Removed
- Modified
-
Ticket #20515 – Description
initial v1 44 44 http://doc.sagemath.org/html/en/reference/categories/sage/categories/category_with_axiom.html#id2 45 45 46 A workaround is to define A (or A1, or A2) in some super category:46 A workaround is to define `A` (or `A1`, or `A2`) in some super category: 47 47 {{{ 48 48 class C0(Category): … … 88 88 }}} 89 89 90 A better idiom would be desirable, for cases where none of `A`, `A1`,91 `A2` make sense in a strict super category.92 93 90 See #18265 for a concrete instance where this workaround is currently 94 used. 91 used when none of `A`, `A1`, `A2` make sense in a strict super category. 92 A better idiom would be desirable if more use cases appear.