|  |  D.12.2.59 set_is_injective Procedure from librarycrypto.lib(see  crypto_lib).
 
Example:Usage:
set_is_injective(a)
Return:
1 if a is injective, 0 otherwise
 |  | LIB "crypto.lib";
list inj = 1,5,7,41;
list non_inj = 1,2,3,4;
set_is_injective(inj);
==> 1
set_is_injective(non_inj);
==> 0
 | 
 
 |