Redheffer star product (source code)

= Redheffer star product
{wiki=Redheffer_star_product}

The Redheffer star product is an operation defined on the space of formal power series, typically used to construct a new formal power series from two given ones.