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.

Reply via email to