Example 1:

sage: R = Zmod(101)
sage: R.is_field()
True
sage: R.is_prime_field()
False

as compared to

sage: F = GF(101)
sage: F.is_field()
True
sage: F.is_prime_field()
True

The only one of these I disagree with is that R.is_prime_field()
should return True.

Example 2:

sage: R = Zmod(101)
sage: is_Field(R)
True
sage: type(R)
<class 'sage.rings.integer_mod_ring.IntegerModRing_generic'>

The is_Field function is supposed to test an object's type, isn't it,
rather than return a mathematical fact?  so it should return False
here (remember that these free-standing is_*() functions are not meant
for users and cause deprecation warnings when used).

John

--~--~---------~--~----~------------~-------~--~----~
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
-~----------~----~----~----~------~----~------~--~---

Reply via email to