Re: [sage-devel] Re: Voting: Block-scoped optional tag and the keyword

2023-06-30 Thread David Coudert 
I vote for (A)

On Friday, June 30, 2023 at 2:59:53 PM UTC+2 David Ayotte wrote:

> I vote for (A)
>
> Le jeudi 29 juin 2023 à 18:47:42 UTC-4, Edgar Costa a écrit :
>
>> I vote for (A)
>>
>> On Thu, Jun 29, 2023 at 6:27 PM Marc Culler  wrote:
>>
>>> I vote for (C).
>>>
>>> On Wednesday, June 28, 2023 at 9:40:07 PM UTC-5 Kwankyu Lee wrote:
>>>
 Hi,

 We spent six days for the preliminary discussion in the sage-devel 
 thread

 https://groups.google.com/g/sage-devel/c/OUnoroIf0qc

 about choosing the keyword triggering block-scoped optional tag needed 
 in 

 https://github.com/sagemath/sage/issues/35750

 We now start the voting with the four candidates (A), (B), (C), (D). 
 The voting will end 7th July 23:59 KST (Korea Standard Time). During the 
 voting, discussions can continue in the linked places but please only your 
 vote (and, if you will, short comment) to this thread.

 (A) "needs"

 sage: # needs sage.rings.number_field
 sage: QQbar(I)^2
 -1
 sage: QQbar(I)^10 # long time
 1

 sage: # needs sage.rings.finite_rings
 sage: F = GF(7)
 sage: F(1) + QQbar(1)  # needs sage.rings.number_field
 ...

 (B) "requires"

 sage: # requires sage.rings.number_field
 sage: QQbar(I)^2
 -1
 sage: QQbar(I)^10  # long time
 1

 sage: # requires sage.rings.finite_rings
 sage: F = GF(7)
 sage: F(1) + QQbar(1)  # requires sage.rings.number_field
 ...

 (C) "uses"

 sage: # uses sage.rings.number_field
 sage: QQbar(I)^2
 -1
 sage: QQbar(I)^10  # long time
 1

 sage: # uses sage.rings.finite_rings
 sage: F = GF(7)
 sage: F(1) + QQbar(1)  # uses sage.rings.number_field
 ...

 (D) "standard"

 sage: # use standard feature - sage.rings.number_field
 sage: QQbar(I)^2
 -1
 sage: QQbar(I)^10  # long time
 1

 sage: # use standard feature - sage.rings.finite_rings
 sage: F = GF(7)
 sage: F(1) + QQbar(1)  # standard - sage.rings.number_field
 ...

 Please just focus on the keyword. Don't worry about minor details or 
 punctuations: the keyword would be recognized, the rest would be ignored 
 noise, in the implementation.

 Thanks for your attention. Happy voting :-)



  

 -- 
>>> 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+...@googlegroups.com.
>>>
>> To view this discussion on the web visit 
>>> https://groups.google.com/d/msgid/sage-devel/6d732a20-6a69-46b7-ac32-063b8170a8efn%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/83e90aad-967c-449b-81a0-a5fa5506c3f2n%40googlegroups.com.

Re: [sage-devel] Re: Voting: Block-scoped optional tag and the keyword

2023-06-30 Thread David Ayotte 
I vote for (A)

Le jeudi 29 juin 2023 à 18:47:42 UTC-4, Edgar Costa a écrit :

> I vote for (A)
>
> On Thu, Jun 29, 2023 at 6:27 PM Marc Culler  wrote:
>
>> I vote for (C).
>>
>> On Wednesday, June 28, 2023 at 9:40:07 PM UTC-5 Kwankyu Lee wrote:
>>
>>> Hi,
>>>
>>> We spent six days for the preliminary discussion in the sage-devel thread
>>>
>>> https://groups.google.com/g/sage-devel/c/OUnoroIf0qc
>>>
>>> about choosing the keyword triggering block-scoped optional tag needed 
>>> in 
>>>
>>> https://github.com/sagemath/sage/issues/35750
>>>
>>> We now start the voting with the four candidates (A), (B), (C), (D). The 
>>> voting will end 7th July 23:59 KST (Korea Standard Time). During the 
>>> voting, discussions can continue in the linked places but please only your 
>>> vote (and, if you will, short comment) to this thread.
>>>
>>> (A) "needs"
>>>
>>> sage: # needs sage.rings.number_field
>>> sage: QQbar(I)^2
>>> -1
>>> sage: QQbar(I)^10 # long time
>>> 1
>>>
>>> sage: # needs sage.rings.finite_rings
>>> sage: F = GF(7)
>>> sage: F(1) + QQbar(1)  # needs sage.rings.number_field
>>> ...
>>>
>>> (B) "requires"
>>>
>>> sage: # requires sage.rings.number_field
>>> sage: QQbar(I)^2
>>> -1
>>> sage: QQbar(I)^10  # long time
>>> 1
>>>
>>> sage: # requires sage.rings.finite_rings
>>> sage: F = GF(7)
>>> sage: F(1) + QQbar(1)  # requires sage.rings.number_field
>>> ...
>>>
>>> (C) "uses"
>>>
>>> sage: # uses sage.rings.number_field
>>> sage: QQbar(I)^2
>>> -1
>>> sage: QQbar(I)^10  # long time
>>> 1
>>>
>>> sage: # uses sage.rings.finite_rings
>>> sage: F = GF(7)
>>> sage: F(1) + QQbar(1)  # uses sage.rings.number_field
>>> ...
>>>
>>> (D) "standard"
>>>
>>> sage: # use standard feature - sage.rings.number_field
>>> sage: QQbar(I)^2
>>> -1
>>> sage: QQbar(I)^10  # long time
>>> 1
>>>
>>> sage: # use standard feature - sage.rings.finite_rings
>>> sage: F = GF(7)
>>> sage: F(1) + QQbar(1)  # standard - sage.rings.number_field
>>> ...
>>>
>>> Please just focus on the keyword. Don't worry about minor details or 
>>> punctuations: the keyword would be recognized, the rest would be ignored 
>>> noise, in the implementation.
>>>
>>> Thanks for your attention. Happy voting :-)
>>>
>>>
>>>
>>>  
>>>
>>> -- 
>> 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+...@googlegroups.com.
>>
> To view this discussion on the web visit 
>> https://groups.google.com/d/msgid/sage-devel/6d732a20-6a69-46b7-ac32-063b8170a8efn%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/5594adf7-be71-4de2-9cd3-d727da0efb78n%40googlegroups.com.

Re: [sage-devel] Re: Voting: Block-scoped optional tag and the keyword

2023-06-29 Thread Edgar Costa 
I vote for (A)

On Thu, Jun 29, 2023 at 6:27 PM Marc Culler  wrote:

> I vote for (C).
>
> On Wednesday, June 28, 2023 at 9:40:07 PM UTC-5 Kwankyu Lee wrote:
>
>> Hi,
>>
>> We spent six days for the preliminary discussion in the sage-devel thread
>>
>> https://groups.google.com/g/sage-devel/c/OUnoroIf0qc
>>
>> about choosing the keyword triggering block-scoped optional tag needed in
>>
>> https://github.com/sagemath/sage/issues/35750
>>
>> We now start the voting with the four candidates (A), (B), (C), (D). The
>> voting will end 7th July 23:59 KST (Korea Standard Time). During the
>> voting, discussions can continue in the linked places but please only your
>> vote (and, if you will, short comment) to this thread.
>>
>> (A) "needs"
>>
>> sage: # needs sage.rings.number_field
>> sage: QQbar(I)^2
>> -1
>> sage: QQbar(I)^10 # long time
>> 1
>>
>> sage: # needs sage.rings.finite_rings
>> sage: F = GF(7)
>> sage: F(1) + QQbar(1)  # needs sage.rings.number_field
>> ...
>>
>> (B) "requires"
>>
>> sage: # requires sage.rings.number_field
>> sage: QQbar(I)^2
>> -1
>> sage: QQbar(I)^10  # long time
>> 1
>>
>> sage: # requires sage.rings.finite_rings
>> sage: F = GF(7)
>> sage: F(1) + QQbar(1)  # requires sage.rings.number_field
>> ...
>>
>> (C) "uses"
>>
>> sage: # uses sage.rings.number_field
>> sage: QQbar(I)^2
>> -1
>> sage: QQbar(I)^10  # long time
>> 1
>>
>> sage: # uses sage.rings.finite_rings
>> sage: F = GF(7)
>> sage: F(1) + QQbar(1)  # uses sage.rings.number_field
>> ...
>>
>> (D) "standard"
>>
>> sage: # use standard feature - sage.rings.number_field
>> sage: QQbar(I)^2
>> -1
>> sage: QQbar(I)^10  # long time
>> 1
>>
>> sage: # use standard feature - sage.rings.finite_rings
>> sage: F = GF(7)
>> sage: F(1) + QQbar(1)  # standard - sage.rings.number_field
>> ...
>>
>> Please just focus on the keyword. Don't worry about minor details or
>> punctuations: the keyword would be recognized, the rest would be ignored
>> noise, in the implementation.
>>
>> Thanks for your attention. Happy voting :-)
>>
>>
>>
>>
>>
>> --
> 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/6d732a20-6a69-46b7-ac32-063b8170a8efn%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/CA%2BiQ7x7LiX_NtVMV06g5FPaDmAR9ZF2Wq_Z7bw52%3DJTQke4uug%40mail.gmail.com.

[sage-devel] Re: Voting: Block-scoped optional tag and the keyword

2023-06-29 Thread Marc Culler 
I vote for (C).

On Wednesday, June 28, 2023 at 9:40:07 PM UTC-5 Kwankyu Lee wrote:

> Hi,
>
> We spent six days for the preliminary discussion in the sage-devel thread
>
> https://groups.google.com/g/sage-devel/c/OUnoroIf0qc
>
> about choosing the keyword triggering block-scoped optional tag needed in 
>
> https://github.com/sagemath/sage/issues/35750
>
> We now start the voting with the four candidates (A), (B), (C), (D). The 
> voting will end 7th July 23:59 KST (Korea Standard Time). During the 
> voting, discussions can continue in the linked places but please only your 
> vote (and, if you will, short comment) to this thread.
>
> (A) "needs"
>
> sage: # needs sage.rings.number_field
> sage: QQbar(I)^2
> -1
> sage: QQbar(I)^10 # long time
> 1
>
> sage: # needs sage.rings.finite_rings
> sage: F = GF(7)
> sage: F(1) + QQbar(1)  # needs sage.rings.number_field
> ...
>
> (B) "requires"
>
> sage: # requires sage.rings.number_field
> sage: QQbar(I)^2
> -1
> sage: QQbar(I)^10  # long time
> 1
>
> sage: # requires sage.rings.finite_rings
> sage: F = GF(7)
> sage: F(1) + QQbar(1)  # requires sage.rings.number_field
> ...
>
> (C) "uses"
>
> sage: # uses sage.rings.number_field
> sage: QQbar(I)^2
> -1
> sage: QQbar(I)^10  # long time
> 1
>
> sage: # uses sage.rings.finite_rings
> sage: F = GF(7)
> sage: F(1) + QQbar(1)  # uses sage.rings.number_field
> ...
>
> (D) "standard"
>
> sage: # use standard feature - sage.rings.number_field
> sage: QQbar(I)^2
> -1
> sage: QQbar(I)^10  # long time
> 1
>
> sage: # use standard feature - sage.rings.finite_rings
> sage: F = GF(7)
> sage: F(1) + QQbar(1)  # standard - sage.rings.number_field
> ...
>
> Please just focus on the keyword. Don't worry about minor details or 
> punctuations: the keyword would be recognized, the rest would be ignored 
> noise, in the implementation.
>
> Thanks for your attention. Happy voting :-)
>
>
>
>  
>
>

-- 
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/6d732a20-6a69-46b7-ac32-063b8170a8efn%40googlegroups.com.

Re: [sage-devel] Re: Voting: Block-scoped optional tag and the keyword

2023-06-29 Thread Nils Bruin 
I vote for (A)

-- 
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/a296960e-fda8-4d50-924e-179ce7934286n%40googlegroups.com.

Re: [sage-devel] Re: Voting: Block-scoped optional tag and the keyword

2023-06-29 Thread seb....@gmail.com 
I vote for (C)

David Roe schrieb am Donnerstag, 29. Juni 2023 um 17:57:35 UTC+2:

> I vote for (A)
>
> On Thu, Jun 29, 2023 at 5:13 AM Eric Gourgoulhon  
> wrote:
>
>> I vote for (A)
>>
>
>> -- 
>> 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+...@googlegroups.com.
>>
> To view this discussion on the web visit 
>> https://groups.google.com/d/msgid/sage-devel/1931486a-b228-402b-b2b7-42945e3fd18dn%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/9c7efc41-e3b4-4c1e-8f1f-ef6d75d4d9c7n%40googlegroups.com.

Re: [sage-devel] Re: Voting: Block-scoped optional tag and the keyword

2023-06-29 Thread David Roe 
I vote for (A)

On Thu, Jun 29, 2023 at 5:13 AM Eric Gourgoulhon 
wrote:

> I vote for (A)
>
> --
> 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/1931486a-b228-402b-b2b7-42945e3fd18dn%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/CAChs6_nkpO2%3DVrQPvgthf%2BtbZUwRbT4SLpBax134BwP_akU--g%40mail.gmail.com.

[sage-devel] Re: Voting: Block-scoped optional tag and the keyword

2023-06-29 Thread Eric Gourgoulhon 
I vote for (A)

-- 
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/1931486a-b228-402b-b2b7-42945e3fd18dn%40googlegroups.com.

[sage-devel] Re: Voting: Block-scoped optional tag and the keyword

2023-06-28 Thread Andrew 
(B) "requires"

On Thursday, 29 June 2023 at 12:40:07 pm UTC+10 Kwankyu Lee wrote:

> Hi,
>
> We spent six days for the preliminary discussion in the sage-devel thread
>
> https://groups.google.com/g/sage-devel/c/OUnoroIf0qc
>
> about choosing the keyword triggering block-scoped optional tag needed in 
>
> https://github.com/sagemath/sage/issues/35750
>
> We now start the voting with the four candidates (A), (B), (C), (D). The 
> voting will end 7th July 23:59 KST (Korea Standard Time). During the 
> voting, discussions can continue in the linked places but please only your 
> vote (and, if you will, short comment) to this thread.
>
> (A) "needs"
>
> sage: # needs sage.rings.number_field
> sage: QQbar(I)^2
> -1
> sage: QQbar(I)^10 # long time
> 1
>
> sage: # needs sage.rings.finite_rings
> sage: F = GF(7)
> sage: F(1) + QQbar(1)  # needs sage.rings.number_field
> ...
>
> (B) "requires"
>
> sage: # requires sage.rings.number_field
> sage: QQbar(I)^2
> -1
> sage: QQbar(I)^10  # long time
> 1
>
> sage: # requires sage.rings.finite_rings
> sage: F = GF(7)
> sage: F(1) + QQbar(1)  # requires sage.rings.number_field
> ...
>
> (C) "uses"
>
> sage: # uses sage.rings.number_field
> sage: QQbar(I)^2
> -1
> sage: QQbar(I)^10  # long time
> 1
>
> sage: # uses sage.rings.finite_rings
> sage: F = GF(7)
> sage: F(1) + QQbar(1)  # uses sage.rings.number_field
> ...
>
> (D) "standard"
>
> sage: # use standard feature - sage.rings.number_field
> sage: QQbar(I)^2
> -1
> sage: QQbar(I)^10  # long time
> 1
>
> sage: # use standard feature - sage.rings.finite_rings
> sage: F = GF(7)
> sage: F(1) + QQbar(1)  # standard - sage.rings.number_field
> ...
>
> Please just focus on the keyword. Don't worry about minor details or 
> punctuations: the keyword would be recognized, the rest would be ignored 
> noise, in the implementation.
>
> Thanks for your attention. Happy voting :-)
>
>
>
>  
>
>

-- 
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/4fe94f10-25e7-40b8-8994-b785e38808b2n%40googlegroups.com.