(A), please
On Thu, 29 Jun 2023, 03:40 Kwankyu Lee, <ekwan...@gmail.com> 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/e3471d65-0652-4173-8eab-f5b45888c4d9n%40googlegroups.com > <https://groups.google.com/d/msgid/sage-devel/e3471d65-0652-4173-8eab-f5b45888c4d9n%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/CAAWYfq2pdfSC7hhH8L%3DFaxuFV7io3927byxSdx1_7XsFozMi7A%40mail.gmail.com.