A strange bug in the category framework

unread,

Jun 28, 2016, 3:27:35 AM6/28/16

to sage-devel

I found a strange bug that has existed at least from Sage 7.1

In a fresh start of Sage,

sage: GF(2)^2

Vector space of dimension 2 over Finite Field of size 2

sage: CyclicPermutationGroup(10).algebra(FiniteField(5))

---------------------------------------------------------------------------

TypeError Traceback (most recent call last)

...

TypeError: Cannot create a consistent method resolution

order (MRO) for bases FiniteSets.subcategory_class, VectorSpaces.WithBasis.subcategory_class, FiniteDimensionalModulesWithBasis.subcategory_class

But strangely if I reverse the input, then no exception occurs. In a fresh start of Sage,

sage: CyclicPermutationGroup(10).algebra(FiniteField(5))

Group algebra of Cyclic group of order 10 as a permutation group over Finite Field of size 5

sage: GF(2)^2

Vector space of dimension 2 over Finite Field of size 2

I have no idea about the cause of the bug.

unread,

Jun 28, 2016, 3:35:44 AM6/28/16

to sage-devel

It is also strange why the pasted text copied from terminal looks double spaced...

unread,

Jun 28, 2016, 9:32:23 AM6/28/16

to sage-devel

yes, I can confirm this is a bug.

Reply all

Reply to author

Forward