I regard 

"num_xxx", "n_xxx" and "nxxx"

as different abbreviations of "number_of_xxx". So to abbreviate "number", 
we are using "num" and "n". I think we should choose just one. I prefer "n" 
(and hate "num").

Hence in my opinion, we should keep 

(1) "number_of_" like in "number_of_facets"
(2) "n_" like in "n_facets"
(3) "n" like in "ngens" 

and use (3) for names that occur very frequently.

Kwankyu

-- 
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 [email protected].
To view this discussion visit 
https://groups.google.com/d/msgid/sage-devel/aacd9735-48a1-4de7-a8d6-eb65458a7914n%40googlegroups.com.

Reply via email to