On 23 Mrz., 00:08, "Nicolas M. Thiery" <nicolas.thi...@u-psud.fr>
wrote:
> On Wed, Mar 17, 2010 at 05:58:59PM -0700, Alec Mihailovs wrote:
> > > Dan Bump recently raised the issue that the `lattice` method for Weyl
> > > groups is badly named. I agree, but the issue is more general. Hence,
> > > here is a call for good names.
>
> > > Let P be a parent endowed with a natural action (or representation) on
> > > a space `E`. For example:
>
> > > - P is a group of permutations of E = {2,4,9,7}
> > > - P is an algebra of matrices, acting on a vector space E
> > > - P is a monoid of functions from E = {a,b,c} to itself
> > > - P = End(E)
>
> > > What should be the name of the method of P returning E ?
>
> > > - P.domain() ?
> > > - P.natural_representation() ?
> > > - P.natural_representation_space() ?
> > > - P.natural_module() ?
> > > - P.action_set() ?
> > > - something else?
>
> > Maybe, P.over ?
>
> Thanks for the feedback.
>
> > It could be a property, perhaps, rather than a method.
>
> For good and bad, it's one of Sage's policy not to use properties in
> the user interface.
>
> I browsed the GAP documentation, and for a group action, they call
> *domain* the space on which the group act:
>
>        http://www.gap-system.org/Manuals/doc/htm/ref/CHAP039.htm
>
> which by chance is consistent with the `domain` method of Sage's homsets:
>
>         sage: V = FreeModule(QQ,3)
>         sage: End(V).domain()
>         Vector space of dimension 3 over Rational Field
>
> So I vote for domain, even though it is a bit unspecific.
>

+1 for domain

Cheers,
Georg

> Anyone unhappy with this choice?
>
> Cheers,
>                                 Nicolas
> --
> Nicolas M. Thi ry "Isil" <nthi...@users.sf.net>http://Nicolas.Thiery.name/

-- 
To post to this group, send an email to sage-devel@googlegroups.com
To unsubscribe from this group, send an email to 
sage-devel+unsubscr...@googlegroups.com
For more options, visit this group at http://groups.google.com/group/sage-devel
URL: http://www.sagemath.org

To unsubscribe from this group, send email to 
sage-devel+unsubscribegooglegroups.com or reply to this email with the words 
"REMOVE ME" as the subject.

Reply via email to