Tobias

Adding these to UnivariatePowerSeriesCategory would do the job, for example: leadingTerm f == terms(leadingMonomial(f))(1) leadingSupport f == leadingTerm(f).k (see mailing list, as suggested by Kurt Pagani) I think we can...