Restriction_Spaces-Examples.RS_Formal_Power_Series