31 typedef int *lambda_vector;  typedef
33 DEF_VEC_P(lambda_vector);
34 DEF_VEC_ALLOC_P(lambda_vector,heap);
38 typedef lambda_vector *lambda_matrix;
66   lambda_vector coefficients;
88   lambda_vector coefficients;
90   lambda_vector invariant_coefficients;
180 				    lambda_vector);
191 void lambda_matrix_vector_mult (lambda_matrix, int, int, lambda_vector, 
192 				lambda_vector);
208 static inline void lambda_vector_negate (lambda_vector, lambda_vector, int);
209 static inline void lambda_vector_mult_const (lambda_vector, lambda_vector, int, int);
210 static inline void lambda_vector_add (lambda_vector, lambda_vector,
211 				      lambda_vector, int);
212 static inline void lambda_vector_add_mc (lambda_vector, int, lambda_vector, int,
213 					 lambda_vector, int);
214 static inline void lambda_vector_copy (lambda_vector, lambda_vector, int);
215 static inline bool lambda_vector_zerop (lambda_vector, int);
216 static inline void lambda_vector_clear (lambda_vector, int);
217 static inline bool lambda_vector_equal (lambda_vector, lambda_vector, int);
218 static inline int lambda_vector_min_nz (lambda_vector, int, int);
219 static inline int lambda_vector_first_nz (lambda_vector, int, int);
220 static inline void print_lambda_vector (FILE *, lambda_vector, int);
224 static inline lambda_vector
236 lambda_vector_mult_const (lambda_vector vec1, lambda_vector vec2,  in lambda_vector_mult_const()
251 lambda_vector_negate (lambda_vector vec1, lambda_vector vec2,  in lambda_vector_negate()
260 lambda_vector_add (lambda_vector vec1, lambda_vector vec2,  in lambda_vector_add()
261 		   lambda_vector vec3, int size)  in lambda_vector_add()
271 lambda_vector_add_mc (lambda_vector vec1, int const1,  in lambda_vector_add_mc()
272 		      lambda_vector vec2, int const2,  in lambda_vector_add_mc()
273 		      lambda_vector vec3, int size)  in lambda_vector_add_mc()
283 lambda_vector_copy (lambda_vector vec1, lambda_vector vec2,  in lambda_vector_copy()
292 lambda_vector_zerop (lambda_vector vec1, int size)  in lambda_vector_zerop()
304 lambda_vector_clear (lambda_vector vec1, int size)  in lambda_vector_clear()
312 lambda_vector_equal (lambda_vector vec1, lambda_vector vec2, int size)  in lambda_vector_equal()
325 lambda_vector_min_nz (lambda_vector vec1, int n, int start)  in lambda_vector_min_nz()
346 lambda_vector_first_nz (lambda_vector vec1, int n, int start)  in lambda_vector_first_nz()
358 lambda_vector_matrix_mult (lambda_vector vect, int m, lambda_matrix mat,   in lambda_vector_matrix_mult()
359 			   int n, lambda_vector dest)  in lambda_vector_matrix_mult()
372 print_lambda_vector (FILE * outfile, lambda_vector vector, int n)  in print_lambda_vector()
405 lambda_vector_gcd (lambda_vector vector, int size)  in lambda_vector_gcd()
423 lambda_vector_lexico_pos (lambda_vector v,   in lambda_vector_lexico_pos()