Ask Your Question

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

asked 2010-08-27 15:33:14 -0500

ccanonc gravatar image

updated 2015-01-17 15:40:46 -0500

FrédéricC gravatar image

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)?

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?

edit retag flag offensive close merge delete


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

ccanonc gravatar imageccanonc ( 2010-08-27 16:28:37 -0500 )edit

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

ccanonc gravatar imageccanonc ( 2010-08-27 16:31:41 -0500 )edit

1 answer

Sort by » oldest newest most voted

answered 2010-08-28 08:10:16 -0500

Mike Hansen gravatar image

You can get the set of positive integers with PositiveIntegers:

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

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?

edit flag offensive delete link more


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

ccanonc gravatar imageccanonc ( 2010-08-28 10:31:00 -0500 )edit

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

Mike Hansen gravatar imageMike Hansen ( 2010-08-28 10:35:08 -0500 )edit

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 gravatar imageccanonc ( 2010-08-28 10:47:55 -0500 )edit

Your Answer

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

Add Answer

Question Tools

1 follower


Asked: 2010-08-27 15:33:14 -0500

Seen: 166 times

Last updated: Aug 28 '10