How do I get the classical N1 object rather than N*? (NN)

asked 14 years ago

ccanonc
577 ●21 ●31 ●45

updated 10 years ago

FrédéricC

5426 ●4 ●44 ●121

Sage's global "NN" is the modern definition of the natural numbers (N0, which includes zero); how do I get instead an object representing the classical definition (N1 a.k.a. N*, which excludes zero)?

http://en.wikipedia.org/wiki/Natural_...

sage: NN

Non negative integer semiring

If I want to make further set subtractions, how do I do so? What trade-offs might I encounter typically with such operations?

Comments

sage: Set(NN) - Set([0]) Set-theoretic difference between Set of elements of Non negative integer semiring and {0}

ccanonc ( 14 years ago )

If I were to make further set subtractions, what operations would become slow?

ccanonc ( 14 years ago )

add a comment

answered 14 years ago

Mike Hansen

4088 ●24 ●48 ●90

You can get the set of positive integers with PositiveIntegers:

sage: PP = PositiveIntegers(); PP
Positive integers
sage: PP.cardinality()
+Infinity
sage: iter(PP).next()
1

In addition for any given range of integers, you can use the IntegerRange class to get an objects representing them. In fact, PositiveIntegers is just a specialized subclass of IntegerRange.

sage: NN1 = IntegerRange(1, oo); NN1
{1, 2, ..}

What types of operations are looking to do with this set?

link

Comments

All kinds. =) Showing my math ignorance: Is it impossible for NN1 to be a semi-ring instead?

ccanonc ( 14 years ago )

Yes, it is impossible since semirings contain an additive identity (0) which NN1 lacks.

Mike Hansen ( 14 years ago )

Thanks. I noticed in the tab-completion-dropdown for "NN1." there are some methods which aren't implemented, such as "random_element()", which raise the NotImplemented Exception. It would be a cool UI feature if these methods were grayed-out (indicating unavailability).

ccanonc ( 14 years ago )

add a comment

Your Answer

Please start posting anonymously - your entry will be published after you log in or create a new account.

How do I get the classical N1 object rather than N*? (NN)

Comments

1 Answer

Comments

Your Answer

Question Tools

Stats

Related questions

How do I get the classical N1 object rather than N*? (NN) savecancel

Comments

1 Answer

Comments

Your Answer

Question Tools

Stats

Related questions

How do I get the classical N1 object rather than N*? (NN)