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.
Anyone unhappy with this choice?
Cheers,
Nicolas
--
Nicolas M. Thiéry "Isil" <[email protected]>
http://Nicolas.Thiery.name/
--
To post to this group, send an email to [email protected]
To unsubscribe from this group, send an email to
[email protected]
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.
