int mixed_radix_to_int(mixed_radix_int_t *mixed)
Return the int value of a mixed-radix number.
int mixed_radix_parent(mixed_radix_int_t *mixed, int n)
Return the int value of a mixed-radix number after dropping the first n digits.
void mixed_radix_incr(mixed_radix_int_t *mixed)
Increment the mixed radix number by one according to the permutation matrix.
Representation of a permuted mixed radix integer.
Definition mixed_radix.h:78
int * digits
Definition mixed_radix.h:80
int size
Definition mixed_radix.h:79
int * radixes
Definition mixed_radix.h:81
int * permutation
Definition mixed_radix.h:82