implement expression.polynomial(...,sparse=True)

[rwst]

#17629 shows there is some need to give the user the means to explicitly create sparse polynomials from symbolic expressions.

Component: symbolics

Issue created by migration from https://trac.sagemath.org/ticket/17782