You are right, must be a join with EnumeratedSet (Finite is an axiom but
enumerated is not).
On 23/08/16 11:59, Kwankyu Lee wrote:
Yes. In your case it will be one of .Finite() or .Finite().Enumerated()
or .Enumerated()
Hmm. I get
{{{
sage: m=FreeModule(GF(*2*),*2*)
sage: c=m.category()
sage: c.Finite()
Category of finite finite dimensional vector spaces with basis over (finite
fields and subquotients of monoids and quotients of semigroups)
sage: c.Enumerated()
---------------------------------------------------------------------------
AttributeError Traceback (most recent call last)
<ipython-input-35-aa8dfe4741d2> in <module>()
----> 1 c.Enumerated()
AttributeError: 'JoinCategory_with_category' object has no attribute
'Enumerated'
sage: c.Finite().Enumerated()
---------------------------------------------------------------------------
AttributeError Traceback (most recent call last)
<ipython-input-36-37828baa94f6> in <module>()
----> 1 c.Finite().Enumerated()
AttributeError: 'JoinCategory_with_category' object has no attribute
'Enumerated'
sage:
}}}
--
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 https://groups.google.com/group/sage-devel.
For more options, visit https://groups.google.com/d/optout.
