// Copyright © 2026 Mikhail Hogrefe
//
// Uses code adopted from the FLINT Library.
//
// Copyright © 2011 Fredrik Johansson
//
// This file is part of Malachite.
use crateInteger;
use One;
// The product x(x - 1)...(x - n + 1), one factor at a time.