Hi! I would like to change the FractionField construction functor, see #14084, so that its domain is what it should be: The category of integral domains, and not just the category of rings.
Problem: If we would do so, then some tests would fail, because Zp(p) and ZZ[['x']] do not know that they are integral domains. Similarly, Qp(p) is not initialised as a field: sage: Zp(7) in IntegralDomains() False sage: ZZ[['x']] in IntegralDomains() False sage: Qp(7).category() Category of commutative rings sage: Qp(7).is_field() True sage: Qp(7) in IntegralDomains() False Do you think one should try to be a bit more precise in the initialisation? I.e., declare these rings as integral domains? On a related note, isn't the power series ring over a field itself a field? Currently, it is not, in Sage: sage: (QQ[['x']]).is_field() False Or do you think that this would make some constructions too slow? Best regards, Simon -- You received this message because you are subscribed to the Google Groups "sage-combinat-devel" group. To unsubscribe from this group and stop receiving emails from it, send an email to sage-combinat-devel+unsubscr...@googlegroups.com. To post to this group, send email to sage-combinat-devel@googlegroups.com. Visit this group at http://groups.google.com/group/sage-combinat-devel?hl=en. For more options, visit https://groups.google.com/groups/opt_out.
