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