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(
On Tue, Aug 23, 2016 at 08:01:31AM -0700, Kwankyu Lee wrote:
>This is about so-called categories with axioms. Right? I think
>".Finite().Enumerated()" is a nice construct. But this seems not
>implemented yet... Am I right?
This does not work because "Enumerated" is not an axiom (maybe
>
> 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 monoid
This is about so-called categories with axioms. Right? I think
".Finite().Enumerated()" is a nice construct. But this seems not
implemented yet... Am I right?
--
You received this message because you are subscribed to the Google Groups
"sage-devel" group.
To unsubscribe from this group and sto
On 23/08/16 11:42, Kwankyu Lee wrote:
For example, have a look at sage/combinat/free_module.py lines 1170-1175.
Are you referring specifically the construct ".FiniteDimensional()" to get
a subcategory? Then can I use ".FiniteEnumerable()" for my case? I guess
not... On the other hand, in ot
For (1): Joining categories works. However, this seems not a standard nor
an elegant way...
--
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..
>
> For example, have a look at sage/combinat/free_module.py lines 1170-1175.
>
Are you referring specifically the construct ".FiniteDimensional()" to get
a subcategory? Then can I use ".FiniteEnumerable()" for my case? I guess
not... On the other hand, in other examples, I see ".Finite()" giv
On 23/08/16 05:43, Kwankyu Lee wrote:
I am not familiar with the category framework. My questions are
(1) I want certain parents in a category C to be also in the category of
finite enumerated sets such that I can use .list() method. Not all objects
in the category C is not finite. What is the s
I am not familiar with the category framework. My questions are
(1) I want certain parents in a category C to be also in the category of
finite enumerated sets such that I can use .list() method. Not all objects
in the category C is not finite. What is the standard way to implement that?
(2) Al
