> Please vote for your favorite names: > - NaturalNumbers > - Naturals > - NaturalIntegers > - NonNegativeIntegers > / > - PositiveNaturals > - PositiveIntegers
If I'd have a say... then I would choose NonNegativeInteger and PositiveIntegers, because nobody agrees on whether or not 0 is a natural number. So with NNI and PI one would avoid that confusion. Ralf --~--~---------~--~----~------------~-------~--~----~ To post to this group, send email to sage-devel@googlegroups.com To unsubscribe from this group, send email to sage-devel-unsubscr...@googlegroups.com For more options, visit this group at http://groups.google.com/group/sage-devel URLs: http://www.sagemath.org -~----------~----~----~----~------~----~------~--~---