Hi! Recently, William asked us to raise the doc test coverage of different modules. I volunteered for sage.categories.
I focused on the doc test coverage of sage.categories.pushout and sage.categories.functor, which is enough to create a patch bomb. This is ticket #8800, raising the coverage to 100%. It led to two other tickets: * #8807, which provides a framework to call functors on morphisms (rather than only on objects). Hence, with that patch, Sage's functors finally become mathematical functors. For example, when you have a ring homomorphism of polynomial rings and construct matrix rings over the polynomial rings, then an application of the matrix construction functor yields an induced homomorphism. * #8972, which implements fraction fields of power series rings as Laurent series rings. This fixes some bugs, and I took care that there is no performance regression. #8800 depends on #8807, but is independent of #8972. All three tickets are ready for review. I know that reviewing large patches is hard work, and therefore I decided to restrict #8800 to the coverage of only two files; but these files are - I believe - at the heart of Sage's coercion model. And as we know, untested code is broken code. By consequence, I had to fix numerous bugs, so that the patch from #8800 actually changes 10 files. That's enough, and so further work will be on new tickets. Hopefully it finds a reviewer! Best regards, Simon -- To post to this group, send an email to [email protected] To unsubscribe from this group, send an email to [email protected] For more options, visit this group at http://groups.google.com/group/sage-devel URL: http://www.sagemath.org
