| 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
|