94     for (j = 0; j < level; j++)
 
   96     fprintf(file,
"+-- osl_vector_t (");
 
  100     for (j = 0; j <= level; j++)
 
  102     fprintf(file,
"%d\n", vector->
size);
 
  105     for (j = 0; j <= level; j++)
 
  106       fprintf(file, 
"|\t");
 
  110     for (j = 0; j < vector->
size; j++) {
 
  115     fprintf(file, 
"]\n");
 
  119     for (j = 0; j < level; j++)
 
  120       fprintf(file, 
"|\t");
 
  121     fprintf(file, 
"+-- NULL vector\n");
 
  125   for (j = 0; j <= level; j++)
 
  126     fprintf(file, 
"|\t");
 
  169     for (i = 0; i < size; i++)
 
  200   if (vector != NULL) {
 
  201     if (vector->
v != NULL) {
 
  202       for (i = 0; i < vector->
size; i++)
 
  227   int i, precision, last;
 
  230   if ((vector == NULL) || (vector->
size < 2))
 
  231     OSL_error(
"incompatible vector for addition");
 
  234   last = vector->
size - 1;
 
  237   for (i = 0; i < vector->
size; i++)
 
  258   if ((v1 == NULL) || (v2 == NULL) ||
 
  260     OSL_error(
"incompatible vectors for addition");
 
  263   for (i = 0; i < v1->
size; i++)
 
  283   if ((v1 == NULL) || (v2 == NULL) ||
 
  285     OSL_error(
"incompatible vectors for subtraction");
 
  288   for (i = 0; i < v1->
size; i++)
 
  304   if ((vector == NULL) || (vector->
size < 1))
 
  305     OSL_error(
"vector cannot be tagged");
 
  319   if ((vector == NULL) || (vector->
size < 1))
 
  320     OSL_error(
"vector cannot be tagged");
 
  342   for (i = 0; i < v1->
size; i++)
 
  362   for (i = 0; i < v->
size; i++)
 
  382   for (i = 0; i < vector->
size - 1; i++)
 
osl_vector_p osl_vector_malloc(int size)
int osl_vector_is_scalar(osl_vector_p vector)
void osl_vector_free(osl_vector_p vector)
int osl_int_ne(int precision, osl_const_int_t val1, osl_const_int_t val2)
val1 != val2 
void osl_int_sub(int precision, osl_int_const_p variable, osl_const_int_t val1, osl_const_int_t val2)
variable = val1 - val2 
void osl_int_clear(int precision, osl_int_const_p variable)
variable = 0 // including cleaning for GMP 
void osl_int_init_set_si(int precision, osl_int_const_p variable, int i)
variable = i // including initialization for GMP 
int osl_util_get_precision()
void osl_int_print(FILE *file, int precision, osl_const_int_t value)
osl_vector_p osl_vector_add(osl_vector_p v1, osl_vector_p v2)
osl_vector_p osl_vector_pmalloc(int precision, int size)
int osl_vector_equal(osl_vector_p v1, osl_vector_p v2)
osl_vector_p osl_vector_add_scalar(osl_vector_p vector, int scalar)
void osl_int_set_si(int precision, osl_int_const_p variable, int i)
variable = i 
void osl_int_add(int precision, osl_int_const_p variable, osl_const_int_t val1, osl_const_int_t val2)
variable = val1 + val2 
void osl_vector_tag_inequality(osl_vector_p vector)
void osl_vector_idump(FILE *file, osl_vector_p vector, int level)
void osl_int_add_si(int precision, osl_int_const_p variable, osl_const_int_t value, int i)
variable = val1 + i 
void osl_vector_dump(FILE *file, osl_vector_p vector)
void osl_int_assign(int precision, osl_int_const_p variable, osl_const_int_t value)
variable = value 
osl_vector_p osl_vector_sub(osl_vector_p v1, osl_vector_p v2)
void osl_int_mul_si(int precision, osl_int_const_p variable, osl_const_int_t value, int i)
variable = val1 * i 
int osl_int_zero(int precision, osl_const_int_t value)
value == 0 
void osl_vector_tag_equality(osl_vector_p vector)
osl_vector_p osl_vector_mul_scalar(osl_vector_p v, int scalar)
void osl_int_dump_precision(FILE *file, int precision)