We implement factor, gcd and _floordiv_ for symmetric functions, and thus make them a UniqueFactorizationDomain.

CC: @tscrim

Component: combinatorics

Author: Martin Rubey

Branch/Commit: 6e1f451

Reviewer: Travis Scrimshaw

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