[spec] partial fractions