4#if defined(__cplusplus)
13extern void Binomial(
int n,
int p, Value *result);
14extern void CNP(
int a,
int b, Value *result);
15extern void Gcd(Value a, Value b, Value *result);
21extern void Vector_Set(Value *p,
int n,
unsigned length);
23extern void Vector_Copy(Value *p1, Value *p2,
unsigned length);
24extern void Vector_Add(Value *p1, Value *p2, Value *p3,
unsigned length);
25extern void Vector_Sub(Value *p1, Value *p2, Value *p3,
unsigned length);
26extern void Vector_Or(Value *p1, Value *p2, Value *p3,
unsigned length);
27extern void Vector_Scale(Value *p1, Value *p2, Value lambda,
unsigned length);
30extern void Vector_Oppose(Value *p1, Value *p2,
unsigned length);
31extern void Inner_Product(Value *p1, Value *p2,
unsigned length, Value *result);
32extern void Vector_Max(Value *p,
unsigned length, Value *result);
33extern void Vector_Min(Value *p,
unsigned length, Value *result);
34extern void Vector_Combine(Value *p1, Value *p2, Value *p3, Value lambda,
35 Value mu,
unsigned length);
39extern void Vector_Gcd(Value *p,
unsigned length, Value *result);
40extern void Vector_Map(Value *p1, Value *p2, Value *p3,
unsigned length,
41 Value *(*f)(Value, Value));
44extern void Vector_Reduce(Value *p,
unsigned length,
void (*f)(Value, Value *),
50#if defined(__cplusplus)
void Vector_Oppose(Value *p1, Value *p2, unsigned length)
void Vector_Reduce(Value *p, unsigned length, void(*f)(Value, Value *), Value *result)
Value * value_alloc(int want, int *got)
void Vector_Free(Vector *vector)
void Inner_Product(Value *p1, Value *p2, unsigned length, Value *result)
void Vector_Scale(Value *p1, Value *p2, Value lambda, unsigned length)
void Vector_Print(FILE *Dst, const char *Format, Vector *Vec)
void Factorial(int n, Value *result)
void Vector_Set(Value *p, int n, unsigned length)
int Vector_Equal(Value *Vec1, Value *Vec2, unsigned n)
void value_free(Value *p, int size)
void Vector_Normalize_Positive(Value *p, int length, int pos)
void Gcd(Value a, Value b, Value *result)
void Vector_Combine(Value *p1, Value *p2, Value *p3, Value lambda, Value mu, unsigned length)
Vector * Vector_Read(void)
int Vector_IsZero(Value *v, unsigned length)
void Vector_Min_Not_Zero(Value *p, unsigned length, int *index, Value *result)
void Vector_Gcd(Value *p, unsigned length, Value *result)
void Vector_Max(Value *p, unsigned length, Value *result)
void Vector_Min(Value *p, unsigned length, Value *result)
void Vector_Exchange(Value *p1, Value *p2, unsigned length)
void Vector_AntiScale(Value *p1, Value *p2, Value lambda, unsigned length)
void Vector_Add(Value *p1, Value *p2, Value *p3, unsigned length)
void Vector_Sub(Value *p1, Value *p2, Value *p3, unsigned length)
void Vector_Normalize(Value *p, unsigned length)
void Vector_Sort(Value *vector, unsigned n)
Vector * Vector_Alloc(unsigned length)
int ConstraintSimplify(Value *old, Value *n, int len, Value *v)
void Vector_Copy(Value *p1, Value *p2, unsigned length)
int First_Non_Zero(Value *p, unsigned length)
void Vector_Map(Value *p1, Value *p2, Value *p3, unsigned length, Value *(*f)(Value, Value))
void free_value_cache(void)
void CNP(int a, int b, Value *result)
void Binomial(int n, int p, Value *result)
void Vector_Or(Value *p1, Value *p2, Value *p3, unsigned length)