7 /* Some common operations on sequences of isl_int's */
9 void isl_seq_clr(isl_int
*p
, unsigned len
);
10 void isl_seq_neg(isl_int
*dat
, isl_int
*src
, unsigned len
);
11 void isl_seq_cpy(isl_int
*dst
, isl_int
*src
, unsigned len
);
12 void isl_seq_submul(isl_int
*dst
, isl_int f
, isl_int
*src
, unsigned len
);
13 void isl_seq_swp_or_cpy(isl_int
*dst
, isl_int
*src
, unsigned len
);
14 void isl_seq_scale(isl_int
*dst
, isl_int
*src
, isl_int f
, unsigned len
);
15 void isl_seq_scale_down(isl_int
*dst
, isl_int
*src
, isl_int f
, unsigned len
);
16 void isl_seq_combine(isl_int
*dst
, isl_int m1
, isl_int
*src1
,
17 isl_int m2
, isl_int
*src2
, unsigned len
);
18 void isl_seq_elim(isl_int
*dst
, isl_int
*src
, unsigned pos
, unsigned len
,
20 void isl_seq_gcd(isl_int
*p
, unsigned len
, isl_int
*gcd
);
21 void isl_seq_lcm(isl_int
*p
, unsigned len
, isl_int
*lcm
);
22 void isl_seq_normalize(isl_int
*p
, unsigned len
);
23 void isl_seq_inner_product(isl_int
*p1
, isl_int
*p2
, unsigned len
,
25 int isl_seq_first_non_zero(isl_int
*p
, unsigned len
);
26 int isl_seq_abs_min_non_zero(isl_int
*p
, unsigned len
);
27 int isl_seq_eq(isl_int
*p1
, isl_int
*p2
, unsigned len
);
28 int isl_seq_is_neg(isl_int
*p1
, isl_int
*p2
, unsigned len
);
30 uint32_t isl_seq_get_hash(isl_int
*p
, unsigned len
);
31 uint32_t isl_seq_get_hash_bits(isl_int
*p
, unsigned len
, unsigned bits
);