It looks like AbstractAlgebra.jl's power series do a lot of what I need, and what I have implemented in utilities/truncated_series_*.jl — but probably more, and with more complete testing.
There's a little subtlety, in that we might be forced to pick a ring to work over. Maybe we'd have to be careful about which Float we use. Or maybe there's something nice that the package can do — maybe discussed here.
It looks like
AbstractAlgebra.jl's power series do a lot of what I need, and what I have implemented inutilities/truncated_series_*.jl— but probably more, and with more complete testing.There's a little subtlety, in that we might be forced to pick a ring to work over. Maybe we'd have to be careful about which
Floatwe use. Or maybe there's something nice that the package can do — maybe discussed here.