|  |  D.12.3.58 is_h_injective Procedure from librarycrypto.lib(see  crypto_lib).
 
Example:Usage:
is_h_injective(a, h)
Return:
1 if a is h-injective, 0 otherwise
 |  | LIB "crypto.lib";
list h_inj = 1,2,4,10,17;
is_h_injective(h_inj,3);
==> 1
//1+2+4+10=17
is_h_injective(h_inj,4);
==> 0
 | 
 
 |