On Thu, Jun 5, 2008 at 5:19 PM, Robert Bradshaw wrote:
>
> Your Integer object also stands for the ring of Integers. So can
> you do stuff like
>
> sage: ZZ.is_commutative()
> True
> sage: ZZ.krull_dimension()
> 1
> sage: ZZ.is_finite()
> False
>
(1) -> Integer has Finite
(1) false
Type: Boolean
(2) -> Integer has CommutativeRing
(2) true
Type: Boolean
(3) -> characteristic()$Integer
(3) 0
Type: NonNegativeInteger
Finite and CommutativeRing are categories. characteristic is a method
of Integer.
Regards,
Bill Page.
--~--~---------~--~----~------------~-------~--~----~
To post to this group, send email to sage-devel@googlegroups.com
To unsubscribe from this group, send email to [EMAIL PROTECTED]
For more options, visit this group at http://groups.google.com/group/sage-devel
URLs: http://www.sagemath.org
-~----------~----~----~----~------~----~------~--~---
