4#if defined(__cplusplus)
14extern void CNP(
int a,
int b,
Value *result);
36 Value mu,
unsigned length);
51#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)
Vector * Vector_Realloc(Vector *V, unsigned newlength)
void Vector_Or(Value *p1, Value *p2, Value *p3, unsigned length)