Hi!
Am Freitag, 8. Februar 2013 21:54:33 UTC+1 schrieb Nicolas M. Thiery:
>
> I agree that Qp(p) should be declared from the beginning in the Fields
> category. And similarly ZZ[['x']] should be in IntegralDomains. This
> costs nothing.
Here is the reason why it does not work yet. From the initialisation of
power series rings:
if isinstance(base_ring, field.Field):
R = PowerSeriesRing_over_field(base_ring, name, default_prec,
sparse=sparse)
elif isinstance(base_ring, integral_domain.IntegralDomain):
R = PowerSeriesRing_domain(base_ring, name, default_prec,
sparse=sparse)
elif isinstance(base_ring, commutative_ring.CommutativeRing):
R = PowerSeriesRing_generic(base_ring, name, default_prec,
sparse=sparse)
else:
raise TypeError, "base_ring must be a commutative ring"
Hence, instead of testing containment in categories, the inheritance from
the old base classes is tested.
So, changing this will indeed be fun.
Cheers,
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.
