Voting: Block-scoped optional tag and the keyword

136 views
Skip to first unread message

Kwankyu Lee

unread,
Jun 28, 2023, 10:40:07 PM6/28/23
to sage-devel
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 


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)^1000000000 # 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)^1000000000  # 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)^1000000000  # 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)^1000000000  # 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 :-)



 

William Stein

unread,
Jun 28, 2023, 10:44:42 PM6/28/23
to sage-...@googlegroups.com
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/e3471d65-0652-4173-8eab-f5b45888c4d9n%40googlegroups.com.


--

Andrew

unread,
Jun 28, 2023, 11:26:19 PM6/28/23
to sage-devel
(B) "requires"

Dima Pasechnik

unread,
Jun 29, 2023, 3:55:30 AM6/29/23
to sage-devel
(A), please


Eric Gourgoulhon

unread,
Jun 29, 2023, 5:13:25 AM6/29/23
to sage-devel
I vote for (A)

David Roe

unread,
Jun 29, 2023, 11:57:35 AM6/29/23
to sage-...@googlegroups.com
I vote for (A)

On Thu, Jun 29, 2023 at 5:13 AM Eric Gourgoulhon <egourg...@gmail.com> 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.

seb....@gmail.com

unread,
Jun 29, 2023, 12:18:30 PM6/29/23
to sage-devel
I vote for (C)

Nils Bruin

unread,
Jun 29, 2023, 6:21:56 PM6/29/23
to sage-devel
I vote for (A)

Marc Culler

unread,
Jun 29, 2023, 6:27:03 PM6/29/23
to sage-devel
I vote for (C).

Edgar Costa

unread,
Jun 29, 2023, 6:47:42 PM6/29/23
to sage-...@googlegroups.com
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.

David Ayotte

unread,
Jun 30, 2023, 8:59:53 AM6/30/23
to sage-devel
I vote for (A)

David Coudert

unread,
Jun 30, 2023, 9:29:35 AM6/30/23
to sage-devel
I vote for (A)

G. M.-S.

unread,
Jul 2, 2023, 1:42:10 PM7/2/23
to sage-...@googlegroups.com

My choice is (A).

Guillermo

Travis Scrimshaw

unread,
Jul 2, 2023, 8:45:48 PM7/2/23
to sage-devel
(A)

Travis
Reply all
Reply to author
Forward
0 new messages