id,summary,reporter,owner,description,type,status,priority,milestone,component,resolution,keywords,cc,merged,author,reviewer,upstream,work_issues,branch,commit,dependencies,stopgaps
12988,characteristic() should be an integer,saraedum,AlexGhitza,"Currently {{{characteristic()}}} does not return an {{{Integer}}} for some rings:
{{{
sage: type(ZZ.characteristic())
}}}
This is annoying because one cannot for example do:
{{{
sage: ZZ.characteristic().is_prime()
AttributeError: 'int' object has no attribute 'is_prime'
}}}
I don't see a good reason not to make characteristic always an Integer. The minimal performance loss should not be an issue in any computation that I can imagine.",enhancement,closed,trivial,sage-5.1,algebra,fixed,ZZ characteristic sd40.5,,sage-5.1.beta2,Julian Rueth,"David Roe, Jeroen Demeyer",N/A,,,,#13043,