Re: [sage-devel] Sphinx directives in upper case?

2024-02-03 Thread Kwankyu Lee
I was going to suggest to use uppercase only for header-like directives, excluding thereby ".. math::" in particular. but as Travis expressed, it would be confusing to change a long-held tradition, unless there is unanimous agreement. So I will stop here. Thanks for the info and opinions. On

Re: [sage-devel] Sphinx directives in upper case?

2024-02-03 Thread 'Travis Scrimshaw' via sage-devel
I think it is more confusing to mix the two. I vote for keeping everything all uppercase since everything else that is analogous uses all uppercase letters. Best, Travis On Wednesday, January 31, 2024 at 9:20:58 PM UTC+9 TB wrote: > On 25/01/2024 7:06, Kwankyu Lee wrote: > > Hi, > > Our

[sage-devel] Re: Google Summer of Code: Organization application deadline Feb 6!

2024-02-03 Thread 'Travis Scrimshaw' via sage-devel
Sorry for the multiple messages. For potential mentors, there is no commitment required at this time. You can also decide later to add a project and/or be a mentor. Best, Travis On Sunday, February 4, 2024 at 1:17:54 PM UTC+9 Travis Scrimshaw wrote: > For the potential projects, you can

[sage-devel] Re: Google Summer of Code: Organization application deadline Feb 6!

2024-02-03 Thread 'Travis Scrimshaw' via sage-devel
For the potential projects, you can either edit the corresponding wiki page in Matthias's link or directly post them here (you do not need to be the mentor). Also, I would like to have a list of potential mentors. Any SageMath developer can be a mentor for a GSoC project; so if you are willing

[sage-devel] Re: Google Summer of Code: Organization application deadline Feb 6!

2024-02-03 Thread 'Travis Scrimshaw' via sage-devel
Thank you for doing that. I updated my projects and removed all of those with named mentors as they have not agreed at present (AFAIK) to be a potential mentor. I was expecting to be the main administrator for GSoC again this year. We will discuss this on the mentors list. For the proposal,

[sage-devel] Google Summer of Code: Organization application deadline Feb 6!

2024-02-03 Thread Matthias Koeppe
To get the process started for this year, I have created the page https://wiki.sagemath.org/GSoC/2024 by copying last year's page, removing a completed project and adding a new project that I hope to mentor this summer. The deadline for our project to apply as a GSoC mentoring organization is

Re: [sage-devel] Re: Implementing minimum_generating_set() function

2024-02-03 Thread Dima Pasechnik
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

Re: [sage-devel] Re: Implementing minimum_generating_set() function

2024-02-03 Thread 'Ruchit Jagodara' via sage-devel
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

Re: [sage-devel] Re: Implementing minimum_generating_set() function

2024-02-03 Thread David Joyner
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

Re: [sage-devel] Re: Implementing minimum_generating_set() function

2024-02-03 Thread 'Ruchit Jagodara' via sage-devel
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

Re: [sage-devel] Re: Implementing minimum_generating_set() function

2024-02-03 Thread David Roe
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) ] -> [

Re: [sage-devel] Re: Implementing minimum_generating_set() function

2024-02-03 Thread 'Ruchit Jagodara' via sage-devel
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