121 lines
1.6 KiB
C++
121 lines
1.6 KiB
C++
// Outer product of tensors
|
|
|
|
#include "stdafx.h"
|
|
#include "defs.h"
|
|
|
|
void
|
|
eval_outer(void)
|
|
{
|
|
p1 = cdr(p1);
|
|
push(car(p1));
|
|
eval();
|
|
p1 = cdr(p1);
|
|
while (iscons(p1)) {
|
|
push(car(p1));
|
|
eval();
|
|
outer();
|
|
p1 = cdr(p1);
|
|
}
|
|
}
|
|
|
|
void
|
|
outer(void)
|
|
{
|
|
save();
|
|
p2 = pop();
|
|
p1 = pop();
|
|
if (istensor(p1) && istensor(p2))
|
|
yyouter();
|
|
else {
|
|
push(p1);
|
|
push(p2);
|
|
if (istensor(p1))
|
|
tensor_times_scalar();
|
|
else if (istensor(p2))
|
|
scalar_times_tensor();
|
|
else
|
|
multiply();
|
|
}
|
|
restore();
|
|
}
|
|
|
|
void
|
|
yyouter(void)
|
|
{
|
|
int i, j, k, ndim, nelem;
|
|
|
|
ndim = p1->u.tensor->ndim + p2->u.tensor->ndim;
|
|
|
|
if (ndim > MAXDIM)
|
|
stop("outer: rank of result exceeds maximum");
|
|
|
|
nelem = p1->u.tensor->nelem * p2->u.tensor->nelem;
|
|
|
|
p3 = alloc_tensor(nelem);
|
|
|
|
p3->u.tensor->ndim = ndim;
|
|
|
|
for (i = 0; i < p1->u.tensor->ndim; i++)
|
|
p3->u.tensor->dim[i] = p1->u.tensor->dim[i];
|
|
|
|
j = i;
|
|
|
|
for (i = 0; i < p2->u.tensor->ndim; i++)
|
|
p3->u.tensor->dim[j + i] = p2->u.tensor->dim[i];
|
|
|
|
k = 0;
|
|
|
|
for (i = 0; i < p1->u.tensor->nelem; i++)
|
|
for (j = 0; j < p2->u.tensor->nelem; j++) {
|
|
push(p1->u.tensor->elem[i]);
|
|
push(p2->u.tensor->elem[j]);
|
|
multiply();
|
|
p3->u.tensor->elem[k++] = pop();
|
|
}
|
|
|
|
push(p3);
|
|
}
|
|
|
|
#if SELFTEST
|
|
|
|
static char *s[] = {
|
|
|
|
"outer(a,b)",
|
|
"a*b",
|
|
|
|
"outer(a,(b1,b2))",
|
|
"(a*b1,a*b2)",
|
|
|
|
"outer((a1,a2),b)",
|
|
"(a1*b,a2*b)",
|
|
|
|
"H33=hilbert(3)",
|
|
"",
|
|
|
|
"H44=hilbert(4)",
|
|
"",
|
|
|
|
"H55=hilbert(5)",
|
|
"",
|
|
|
|
"H3344=outer(H33,H44)",
|
|
"",
|
|
|
|
"H4455=outer(H44,H55)",
|
|
"",
|
|
|
|
"H33444455=outer(H33,H44,H44,H55)",
|
|
"",
|
|
|
|
"simplify(inner(H3344,H4455)-contract(H33444455,4,5))",
|
|
"0",
|
|
};
|
|
|
|
void
|
|
test_outer(void)
|
|
{
|
|
test(__FILE__, s, sizeof s / sizeof (char *));
|
|
}
|
|
|
|
#endif
|