[sage-devel] Re: Multiple warnings in sagemath on default fedora 37

2023-01-19 Thread Matthias Koeppe
Report Fedora packaging bugs to Fedora

On Thursday, January 19, 2023 at 9:26:38 PM UTC-8 Georgi Guninski wrote:

> On default install of fedora 37 in a VM sagemath gives
> warnings, one of which is on start and on executing scripts:
>
> Looks like the package maintainer didn't start it recently.
>
> Is there workaround?
>
> Session:
>
> $ sage
> SageMath version 9.6, Release Date: 2022-05-15
>
>
> /usr/lib64/python3.11/site-packages/sage/rings/polynomial/pbori/gbrefs.py:3:
> DeprecationWarning: 'uu' is deprecated and slated for removal in
> Python 3.13
> import uu
>
> sage: integrate(floor(x)^2,x)
> // Giac share root-directory:/usr/share/giac/
> // Giac share root-directory:/usr/share/giac/
> Added 0 synonyms
> x*floor(x)^2
>

-- 
You received this message because you are subscribed to the Google Groups 
"sage-devel" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to sage-devel+unsubscr...@googlegroups.com.
To view this discussion on the web visit 
https://groups.google.com/d/msgid/sage-devel/4ac646dc-798c-4d6c-b75d-0f617dfc49e7n%40googlegroups.com.


Re: [sage-devel] Final call for GitHub user names

2023-01-19 Thread Kwankyu Lee
Thanks, Emmanuel and Justin.

This https://github.com/sagemath/trac-to-github/pull/145/files takes care 
of you.



-- 
You received this message because you are subscribed to the Google Groups 
"sage-devel" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to sage-devel+unsubscr...@googlegroups.com.
To view this discussion on the web visit 
https://groups.google.com/d/msgid/sage-devel/ec2c2a7e-6b41-482b-8d74-5237703d02f8n%40googlegroups.com.


[sage-devel] Multiple warnings in sagemath on default fedora 37

2023-01-19 Thread Georgi Guninski
On default install of fedora 37 in a VM sagemath gives
warnings, one of which is on start and on executing scripts:

Looks like the package maintainer didn't start it recently.

Is there workaround?

Session:

$ sage
SageMath version 9.6, Release Date: 2022-05-15

/usr/lib64/python3.11/site-packages/sage/rings/polynomial/pbori/gbrefs.py:3:
DeprecationWarning: 'uu' is deprecated and slated for removal in
Python 3.13
  import uu

sage: integrate(floor(x)^2,x)
// Giac share root-directory:/usr/share/giac/
// Giac share root-directory:/usr/share/giac/
Added 0 synonyms
x*floor(x)^2

-- 
You received this message because you are subscribed to the Google Groups 
"sage-devel" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to sage-devel+unsubscr...@googlegroups.com.
To view this discussion on the web visit 
https://groups.google.com/d/msgid/sage-devel/CAGUWgD_2OPoUqzpFqvbm%3DgNJMJcC1_9Fhx5Uqz%3DdzLsuxiDbkw%40mail.gmail.com.


[sage-devel] Automorphism group of a PermutationGroup without GAP directly

2023-01-19 Thread Trevor Karn
Am I correctly understanding that there is currently no method to return 
the automorphism group of PermutationGroup without directly invoking GAP? 
I'm thinking something along the lines of the `AbelianGroupGap.aut()` 
method. It doesn't seem to bad to add, I just want to make sure I'm not 
missing something before opening a ticket.

-- 
You received this message because you are subscribed to the Google Groups 
"sage-devel" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to sage-devel+unsubscr...@googlegroups.com.
To view this discussion on the web visit 
https://groups.google.com/d/msgid/sage-devel/3c0c6840-3cdb-429d-8e89-ef4acafe3ff4n%40googlegroups.com.


Re: [sage-devel] Final call for GitHub user names

2023-01-19 Thread 'Justin C. Walker' via sage-devel
My trac name is ‘justin’, and my GitHub name is RalphieBoy.  Not sure why :-}

Justin

> On Jan 18, 2023, at 18:14 , Kwankyu Lee  wrote:
> 
> 

--
Justin C. Walker, Curmudgeon at Large
Institute for the Absorption of Federal Funds
---
I want to die, peacefully in my sleep, like my grandfather;
not screaming in terror, like his passengers.




-- 
You received this message because you are subscribed to the Google Groups 
"sage-devel" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to sage-devel+unsubscr...@googlegroups.com.
To view this discussion on the web visit 
https://groups.google.com/d/msgid/sage-devel/7CC0EE6C-4E01-435E-BDA8-38C109F0CC04%40mac.com.


Re: [sage-devel] Final call for GitHub user names

2023-01-19 Thread Emmanuel Briand
My trac username is: ebriand
and my GitHub username is: EmmanuelJeanBriand

Emmanuel Briand

El jue, 19 ene 2023 a las 3:14, Kwankyu Lee () escribió:

> Dear readers,
>
> Attached unmapped_users.pdf is the list of usernames encountered in the
> preparation of the migration from Trac to GitHub, *with no corresponding
> GitHub user name*. We are planning to create mannequin GitHub ids
> (connected with no real GitHub user) for the usernames in the list.
>
> *Check the list and if you are the owner of the username or know the
> owner, then please inform us here about the owner (full name or Trac
> username) and, if known, his/her GitHub user name.*
>
> - username: possibly misspelled or non-human
> - known on trac: True if username belongs to a valid Trac account; False
> otherwise
> - mention:: True if username is mentioned in a ticket comment
> - mention: False if username is found as reporter, owner, author, or in cc
> of a ticket
> - mannequin: planned mannequin id
> - frequency: number of appearance times in Trac
>
> For more information, visit
> https://github.com/sagemath/trac-to-github/issues/77
>
> --
> You received this message because you are subscribed to the Google Groups
> "sage-devel" group.
> To unsubscribe from this group and stop receiving emails from it, send an
> email to sage-devel+unsubscr...@googlegroups.com.
> To view this discussion on the web visit
> https://groups.google.com/d/msgid/sage-devel/7e623e5c-e0eb-4ebc-9f83-55bf563f53a6n%40googlegroups.com
> 
> .
>

-- 
You received this message because you are subscribed to the Google Groups 
"sage-devel" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to sage-devel+unsubscr...@googlegroups.com.
To view this discussion on the web visit 
https://groups.google.com/d/msgid/sage-devel/CAC2RnLpH41pesvBQiBPGynstYZjAGKuxtoFvUfvZ31WZh0t_rw%40mail.gmail.com.


Re: [sage-devel] Re: Final call for GitHub user names

2023-01-19 Thread Kwankyu Lee
On Thursday, January 19, 2023 at 5:40:34 PM UTC+9 john.c...@gmail.com wrote:
What should the policy be about those?  If someone made a trac account 
without registering their full name, I am not sure that it is right for a 
3rd party to later supply that real name.

For a username with *known on Trac: True, *inform us of his/her GitHub name 
if you know, regardless of activity in Sage development. It is up to the 
owner himself/herself to provide the real full name. 

For a username with *known on Trac: False,* inform us of his/her Trac 
username and GitHub name if you know, regardless of activity in Sage 
development. It is up to the owner himself/herself to provide the real full 
name. 

 

-- 
You received this message because you are subscribed to the Google Groups 
"sage-devel" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to sage-devel+unsubscr...@googlegroups.com.
To view this discussion on the web visit 
https://groups.google.com/d/msgid/sage-devel/4136180e-7310-4d57-9b5b-3285fcf95076n%40googlegroups.com.


Re: [sage-devel] Re: Final call for GitHub user names

2023-01-19 Thread John Cremona
I think there are many trac names whose real names are known (I saw
several) but either do not have github accounts or are no longer active in
Sage development.   What should the policy be about those?  If someone made
a trac account without registering their full name, I am not sure that it
is right for a 3rd party to later supply that real name.

On Thu, 19 Jan 2023 at 05:24, Matthias Koeppe 
wrote:

> Thanks, Alex and John.
> I've taken care of these (and other typos that I have spotted) in
> https://github.com/sagemath/trac-to-github/commit/1f2fc7f834cd7d9992e9f8c96cc09cb2d62dc655
> and
> https://github.com/sagemath/trac-to-github/commit/ac5f68a07f6a40359d3b1de4feba6ad5a7c5fee9
>
>
> On Wednesday, January 18, 2023 at 7:36:47 PM UTC-8 AlexGhitza wrote:
>
>> Hi,
>>
>> There seems to be a lone instance of "aghitza" that's orphaned.  The
>> corresponding trac username is "AlexGhitza", and the github username is
>> "aghitza".
>>
>>
>> Best,
>> Alex
>>
>> On Thursday, January 19, 2023 at 1:14:16 PM UTC+11 Kwankyu Lee wrote:
>>
>>> Dear readers,
>>>
>>> Attached unmapped_users.pdf is the list of usernames encountered in the
>>> preparation of the migration from Trac to GitHub, *with no
>>> corresponding GitHub user name*. We are planning to create mannequin
>>> GitHub ids (connected with no real GitHub user) for the usernames in the
>>> list.
>>>
>>> *Check the list and if you are the owner of the username or know the
>>> owner, then please inform us here about the owner (full name or Trac
>>> username) and, if known, his/her GitHub user name.*
>>>
>>> - username: possibly misspelled or non-human
>>> - known on trac: True if username belongs to a valid Trac account; False
>>> otherwise
>>> - mention:: True if username is mentioned in a ticket comment
>>> - mention: False if username is found as reporter, owner, author, or in
>>> cc of a ticket
>>> - mannequin: planned mannequin id
>>> - frequency: number of appearance times in Trac
>>>
>>> For more information, visit
>>> https://github.com/sagemath/trac-to-github/issues/77
>>>
>> --
> You received this message because you are subscribed to the Google Groups
> "sage-devel" group.
> To unsubscribe from this group and stop receiving emails from it, send an
> email to sage-devel+unsubscr...@googlegroups.com.
> To view this discussion on the web visit
> https://groups.google.com/d/msgid/sage-devel/75ef8b01-e7f8-4a23-8d12-aa81b50792f2n%40googlegroups.com
> 
> .
>

-- 
You received this message because you are subscribed to the Google Groups 
"sage-devel" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to sage-devel+unsubscr...@googlegroups.com.
To view this discussion on the web visit 
https://groups.google.com/d/msgid/sage-devel/CAD0p0K4fad%2BVZsh2oBXjzWh6g4raNjzCVUMU4vQ22F8ygcog_Q%40mail.gmail.com.