Okay, then I will leave it as it is. thanks : )
On Sunday, February 4, 2024 at 2:24:26 AM UTC+5:30 Dima Pasechnik wrote:
> GAP has a function, FactorCosetAction(), for action on cosets of a
> subgroup. I don't think there is a need to implement anything of this
> sort directly, and not use i
GAP has a function, FactorCosetAction(), for action on cosets of a subgroup. I
don't think there is a need to implement anything of this sort directly, and
not use it via libgap.
https://docs.gap-system.org/doc/ref/chap41.html#X7FED50ED7ACA5FB2
On 3 February 2024 19:50:55 GMT, 'Ruchit Jago
Okay , thank you for your help ! : )
On Saturday, February 3, 2024 at 11:59:31 PM UTC+5:30 David Joyner wrote:
> On Sat, Feb 3, 2024 at 1:13 PM 'Ruchit Jagodara' via sage-devel <
> sage-...@googlegroups.com> wrote:
>
>> So, why is the quotient function implemented in Sage is
>> giving RegularAct
On Sat, Feb 3, 2024 at 1:13 PM 'Ruchit Jagodara' via sage-devel <
sage-devel@googlegroups.com> wrote:
> So, why is the quotient function implemented in Sage is
> giving RegularActionHomomorphism of G/N ? Is there any particular reason
> for it? Should I change it (because I found a FIXME note als
So, why is the quotient function implemented in Sage is
giving RegularActionHomomorphism of G/N ? Is there any particular reason
for it? Should I change it (because I found a FIXME note also, saying that
gap has a better way to find quotient)? I am implementing some functions
related to group
You can lift elements via the quotient map to get representatives of each
coset. I'm not sure that this is wrapped in Sage, but using gap directly
you have:
sage: Pgap = p._libgap_()
sage: Ngap = N._libgap_()
sage: phi = Pgap.NaturalHomomorphismByNormalSubgroup(Ngap); phi
[ (2,3,4,5,6,7) ] -> [ f
I think this is giving a group isomorphic to the actual quotient group but
I need the actual quotient group. Therefor, I don't know how to find that
exact group. Below is one example,
sage: p = PermutationGroup([(2,3,4,5,6,7)])
sage: N = p.minimal_normal_subgroups()[0]
sage: N
Subgroup generated
On 19 January 2024 15:18:45 GMT, 'Ruchit Jagodara' via sage-devel
wrote:
>In case my questions have caused any confusion, I am rephrasing them as
>below.
>
>I have a group G and its minimal normal subgroup N.
>
>I want to find G/N. Do you know how I can do that? (I also want G/N to be
>an
In case my questions have caused any confusion, I am rephrasing them as
below.
I have a group G and its minimal normal subgroup N.
I want to find G/N. Do you know how I can do that? (I also want G/N to be
an object of the same class as G.)
My another question is: How can I find the group ope
On Thu, Jan 18, 2024 at 11:39 AM 'Ruchit Jagodara' via sage-devel
wrote:
>
> Actually, that won't work according to the implementation.
sorry, I don't understand what won't work.
Did you mean to ask a different question?
> Can you please take a look at the code I wrote (although I have not writt
Actually, that won't work according to the implementation. Can you please
take a look at the code I wrote (although I have not written it according
to codestyle of sage, yet. But I will do that when the code starts
working.), where minimum_generating_set is the main function?
Link-
https://g
Functions such as Group(), PermutationGroup() take such lists as inputs.
On 17 January 2024 06:35:07 GMT, 'Ruchit Jagodara' via sage-devel
wrote:
>And to implement the function, I want a function that takes a list of
>generators and returns a group. Does anyone know of any function that can
>d
And to implement the function, I want a function that takes a list of
generators and returns a group. Does anyone know of any function that can
do this?
On Friday, January 12, 2024 at 8:38:18 PM UTC+5:30 Ruchit Jagodara wrote:
> I am implementing the minimum_generating_set function in Sage, but
13 matches
Mail list logo
