|  |  D.12.3.59 is_fix_injective Procedure from librarycrypto.lib(see  crypto_lib).
 
Example:Usage:
is_fix_injective(a)
Return:
1 if a is fix-injective, 0 otherwise
 |  | LIB "crypto.lib";
//this is fix-injective because 17=10+2+4+1 with different numbers of addens.
list fix_inj = 1,2,4,10,17;
//this is not fix-injective because 4+1=2+3.
list not_fix_inj = 1,2,3,4;
is_fix_injective(fix_inj);
==> 1
is_fix_injective(not_fix_inj);
==> 0
 | 
 
 |