On Sat, Nov 10, 2012 at 11:21:54AM +0100, Florent Hivert wrote:
> On Fri, Nov 09, 2012 at 09:53:49AM -0800, John H Palmieri wrote:
> >
> >
> > On Friday, November 9, 2012 4:42:42 AM UTC-8, Nicolas M. Thiéry wrote:
> > >
> > > More precisely: QQ^3 should be in the category of finite dimensional
> > > modules with basis, and a finite dimensional module with basis over an
> > > infinite field should be in the category of infinite enumerated sets.
> > >
> > >
> > Do you mean over a *countable* field? Otherwise, I don't know what you mean
> > by "enumerated".
>
> That's because you don't have Read The F****** Man ;-)
>
> http://www.sagemath.org/doc/reference/sage/categories/enumerated_sets.html
John is right: the sentence I meant is of course:
``A finite dimensional module with basis over an infinite enumerated
field should be in the category of infinite enumerated sets.''
And one should have as well:
``A module with basis over an infinite field should be in the
category of infinite sets.''
Ah, thinking twice about it, there actually is a little issue with
dimension 0 ... Hmm, I have to think how such exceptions should be
handled.
Cheers
Nicolas
--
Nicolas M. Thiéry "Isil" <nthi...@users.sf.net>
http://Nicolas.Thiery.name/
--
You received this message because you are subscribed to the Google Groups
"sage-devel" group.
To post to this group, send email to sage-devel@googlegroups.com.
To unsubscribe from this group, send email to
sage-devel+unsubscr...@googlegroups.com.
Visit this group at http://groups.google.com/group/sage-devel?hl=en.
