Decomposition into terms
#849
Sign in