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