On Fri, Feb 08, 2013 at 09:10:03PM +, Simon King wrote:
> So, as a middle-ground, one could say that it is "IntegralDomain()" if
> bool(check) (because the primality test will happen anyway), and
> "CommutativeRings()" otherwise.
Sounds good to me!
> Nevertheless, P[['x']] should be an integr
Hi Nicolas,
On 2013-02-08, Nicolas M. Thiery wrote:
> Hmm, fun indeed:
>
> sage: Qp(7).category()
> Category of commutative rings
> sage: Qp(7) in IntegralDomains()
> False
> sage: Qp(7) in Fields()
> True
> sage: Qp(7).category()
> Category of fields
> sage: Q