+void vector_set(vector *vec, unsigned index, num value);
+
+#if EXT_GRS_DEBUG
+void vector_set_description(vector *vec, unsigned index, char *name);
+#endif
+
+void vector_add_value(vector *vec, num value);
+
+void vector_add_matrix_col(vector *vec, pbqp_matrix *mat, unsigned col_index);
+void vector_add_matrix_row(vector *vec, pbqp_matrix *mat, unsigned row_index);
+
+num vector_get_min(vector *vec);
+unsigned vector_get_min_index(vector *vec);
+