Hi Robert,
On 29 Dez., 20:04, Robert Bradshaw
wrote:
> On Tue, Dec 28, 2010 at 11:49 PM, Simon King wrote:
> > ...
> > sage: G = SymmetricGroup(5)
> > sage: C = Groupoid(G)
> > sage: G.random_element() in C.hom_category()
> > False
>
> > Shouldn't the last line return "True"?
>
> Hmm... Grou
On Tue, Dec 28, 2010 at 11:49 PM, Simon King wrote:
> Hi Robert,
>
> On 28 Dez., 23:41, Robert Bradshaw
> wrote:
>> > According to your post, it should be "A group action G x S rightarrow
>> > S is a functor from G (considered as a category) to the category of
>> > Morphisms of Sets", and in the
Hi Robert,
On 28 Dez., 23:41, Robert Bradshaw
wrote:
> > According to your post, it should be "A group action G x S rightarrow
> > S is a functor from G (considered as a category) to the category of
> > Morphisms of Sets", and in the code it should be
> > Functor.__init__(self, Groupoid(G), S.cat
On Tue, Dec 28, 2010 at 12:46 AM, Simon King wrote:
> Hi Robert,
>
> On 28 Dez., 01:27, Robert Bradshaw
> wrote:
>> ... You're working on
>> moving modules over to the new coercion framework, right?
>
> Yes.
>
>> > But how does one
>> > define an action? I guess that one is supposed to use
>> > s
Hi!
I guess further discussion should be moved to sage-algebra. See
http://groups.google.com/group/sage-algebra/browse_thread/thread/1787794a7a42cfb5
Cheers,
Simon
--
To post to this group, send an email to sage-devel@googlegroups.com
To unsubscribe from this group, send an email to
sage-devel
On 28 Dez., 09:46, Simon King wrote:
> Moreover, sage.matrix.action.MatrixMatrixAction is implemented by a
> _call_ method that has the signature
> cpdef Element _call_(self, g, s)
> Hence, essentially it is a map (not a functor) from GxS to S
... or actually from GxS to something into which S
Hi Robert,
On 28 Dez., 01:27, Robert Bradshaw
wrote:
> ... You're working on
> moving modules over to the new coercion framework, right?
Yes.
> > But how does one
> > define an action? I guess that one is supposed to use
> > sage.categories.action, but so far it has no example at all.
>
> http:
On Mon, Dec 27, 2010 at 3:36 PM, Simon King wrote:
> Hi Robert!
>
> On 27 Dez., 22:26, Robert Bradshaw
> wrote:
>> sage: M = matrix(ZZ, 2, 2)
>> sage: space = M.parent(); space
>> Full MatrixSpace of 2 by 2 dense matrices over Integer Ring
>> sage: space.get_act
>> space.get_action space.ge
Hi Robert!
On 27 Dez., 22:26, Robert Bradshaw
wrote:
> sage: M = matrix(ZZ, 2, 2)
> sage: space = M.parent(); space
> Full MatrixSpace of 2 by 2 dense matrices over Integer Ring
> sage: space.get_act
> space.get_action space.get_action_c space.get_action_impl
> sage: space.get_action??