I vote for (A) On Thu, Jun 29, 2023 at 6:27 PM Marc Culler <marc.cul...@gmail.com> 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)^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 :-) >> >> >> >> >> >> -- > 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 > <https://groups.google.com/d/msgid/sage-devel/6d732a20-6a69-46b7-ac32-063b8170a8efn%40googlegroups.com?utm_medium=email&utm_source=footer> > . > -- 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.
