/*
 * Zorbage: an algebraic data hierarchy for use in numeric processing.
 *
 * Copyright (C) 2016-2019 Barry DeZonia
 * 
 * Redistribution and use in source and binary forms, with or without
 * modification, are permitted provided that the following conditions are met:
 * 
 * 1. Redistributions of source code must retain the above copyright notice,
 *    this list of conditions and the following disclaimer.
 * 2. Redistributions in binary form must reproduce the above copyright notice,
 *    this list of conditions and the following disclaimer in the documentation
 *    and/or other materials provided with the distribution.
 * 
 * THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS "AS IS"
 * AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE
 * IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE
 * ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT HOLDERS OR CONTRIBUTORS BE
 * LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR
 * CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF
 * SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS
 * INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN
 * CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE)
 * ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE
 * POSSIBILITY OF SUCH DAMAGE.
 */
package nom.bdezonia.zorbage.algorithm;

import java.math.BigInteger;

import nom.bdezonia.zorbage.procedure.Procedure3;
import nom.bdezonia.zorbage.type.algebra.Algebra;
import nom.bdezonia.zorbage.type.storage.datasource.IndexedDataSource;

/**
 * 
 * @author Barry DeZonia
 *
 */
public class CartesianProduct {

	/**
	 * 
	 * @param algU
	 * @param algW
	 * @param algY
	 * @param proc
	 * @param a
	 * @param b
	 * @param result
	 */
	public static <T extends Algebra<T,U>,
					U,
					V extends Algebra<V,W>,
					W,
					X extends Algebra<X,Y>,
					Y>
		void compute(T algU, V algW, X algY, Procedure3<U,W,Y> proc,
						IndexedDataSource<U> a, IndexedDataSource<W> b, IndexedDataSource<Y> result)
	{
		if (a.size() <= 0 || b.size() <= 0 || result.size() <= 0)
			throw new IllegalArgumentException("input arrays must all be length >= 1");
		if (!BigInteger.valueOf(result.size()).equals(BigInteger.valueOf(a.size()).multiply(BigInteger.valueOf(b.size()))))
			throw new IllegalArgumentException("input arrays are not shape compatible");
		U u = algU.construct();
		W w = algW.construct();
		Y y = algY.construct();
		long i = 0;
		for (long r = 0; r < a.size(); r++) {
			a.get(r, u);
			for (long c = 0; c < b.size(); c++) {
				b.get(c, w);
				proc.call(u, w, y);
				result.set(i++, y);
			}
		}
	}
}

@@ -1595,16 +1595,127 @@
 lgebra;%0A
+import nom.bdezonia.zorbage.type.algebra.MatrixMember;%0Aimport nom.bdezonia.zorbage.type.algebra.RModuleMember;%0A
 import n
@@ -2847,11 +2847,784 @@
 %7D%0A%09%09%7D%0A%09%7D
+%0A%0A%09/**%0A%09 * %0A%09 * @param algU%0A%09 * @param algW%0A%09 * @param algY%0A%09 * @param proc%0A%09 * @param a%0A%09 * @param b%0A%09 * @param result%0A%09 */%0A%09public static %3CT extends Algebra%3CT,U%3E,%0A%09%09%09%09%09U,%0A%09%09%09%09%09V extends Algebra%3CV,W%3E,%0A%09%09%09%09%09W,%0A%09%09%09%09%09X extends Algebra%3CX,Y%3E,%0A%09%09%09%09%09Y%3E%0A%09%09void compute(T algU, V algW, X algY, Procedure3%3CU,W,Y%3E proc,%0A%09%09%09%09RModuleMember%3CU%3E a, RModuleMember%3CW%3E b, MatrixMember%3CY%3E result)%0A%09%7B%0A%09%09if (a.length() != result.rows() %7C%7C b.length() != result.cols())%0A%09%09%09throw new IllegalArgumentException(%22input array sizes do not match%22);%0A%09%09U u = algU.construct();%0A%09%09W w = algW.construct();%0A%09%09Y y = algY.construct();%0A%09%09for (long r = 0; r %3C a.length(); r++) %7B%0A%09%09%09a.v(r, u);%0A%09%09%09for (long c = 0; c %3C b.length(); c++) %7B%0A%09%09%09%09b.v(c, w);%0A%09%09%09%09proc.call(u, w, y);%0A%09%09%09%09result.setV(r, c, y);%0A%09%09%09%7D%0A%09%09%7D%0A%09%7D
 %0A%7D%0A

Add another signature for CartesianProduct for rmodules/matrices