isl_int_set(dst[i], src[i]);
}
+void isl_seq_submul(isl_int *dst, isl_int f, isl_int *src, unsigned len)
+{
+ int i;
+ for (i = 0; i < len; ++i)
+ isl_int_submul(dst[i], f, src[i]);
+}
+
void isl_seq_swp_or_cpy(isl_int *dst, isl_int *src, unsigned len)
{
int i;
}
}
+void isl_seq_lcm(isl_int *p, unsigned len, isl_int *lcm)
+{
+ int i;
+
+ if (len == 0) {
+ isl_int_set_si(*lcm, 1);
+ return;
+ }
+ isl_int_set(*lcm, p[0]);
+ for (i = 1; i < len; ++i)
+ isl_int_lcm(*lcm, *lcm, p[i]);
+}
+
void isl_seq_inner_product(isl_int *p1, isl_int *p2, unsigned len,
isl_int *prod)
{