@@ -0,0 +1,2561 @@
+/*%0A * Zorbage: an algebraic data hierarchy for use in numeric processing.%0A *%0A * Copyright (C) 2016-2017 Barry DeZonia%0A * %0A * Redistribution and use in source and binary forms, with or without%0A * modification, are permitted provided that the following conditions are met:%0A * %0A * 1. Redistributions of source code must retain the above copyright notice,%0A *    this list of conditions and the following disclaimer.%0A * 2. Redistributions in binary form must reproduce the above copyright notice,%0A *    this list of conditions and the following disclaimer in the documentation%0A *    and/or other materials provided with the distribution.%0A * %0A * THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS %22AS IS%22%0A * AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE%0A * IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE%0A * ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT HOLDERS OR CONTRIBUTORS BE%0A * LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR%0A * CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF%0A * SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS%0A * INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN%0A * CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE)%0A * ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE%0A * POSSIBILITY OF SUCH DAMAGE.%0A */%0Apackage nom.bdezonia.zorbage.algorithm;%0A%0Aimport nom.bdezonia.zorbage.type.algebra.Group;%0Aimport nom.bdezonia.zorbage.type.algebra.Multiplication;%0Aimport nom.bdezonia.zorbage.type.algebra.Ordered;%0Aimport nom.bdezonia.zorbage.type.algebra.PredSucc;%0Aimport nom.bdezonia.zorbage.type.algebra.Unity;%0A%0A/**%0A * %0A * @author Barry DeZonia%0A *%0A */%0Apublic class Factorial %7B%0A%0A%09// do not instantiate%0A%09%0A%09private Factorial() %7B%7D%0A%0A%09/**%0A%09 * Factorial.compute()%0A%09 * %0A%09 * @param group%0A%09 * @param a%0A%09 * @param result%0A%09 */%0A%09public static %3CT extends Group%3CT,U%3E & Ordered%3CU%3E & Unity%3CU%3E & Multiplication%3CU%3E & PredSucc%3CU%3E, U%3E%0A%09%09void compute(T group, U a, U result)%0A%09%7B%0A%09%09U tmp = group.construct();%0A%09%09if (group.isLess(a, tmp))%0A%09%09%09throw new IllegalArgumentException(%22Cannot take factorial of negative input%22);%0A%09%09group.unity(tmp);%0A%09%09if (group.isLessEqual(a, tmp))%0A%09%09%09group.assign(tmp, result);%0A%09%09else %7B%0A%09%09%09U product = group.construct(tmp);%0A%09%09%09U multiplier = group.construct(a);%0A%09%09%09while (group.isGreater(multiplier, tmp)) %7B%0A%09%09%09%09group.multiply(product, multiplier, product);%0A%09%09%09%09group.pred(multiplier, multiplier);%0A%09%09%09%7D%0A%09%09%09group.assign(product, result);%0A%09%09%7D%0A%09%7D%0A%7D%0A

Add a Factorial algorithm