|
D.12.2.59 set_is_injective
Procedure from library crypto.lib (see crypto_lib).
- Usage:
- set_is_injective(a)
- Return:
- 1 if a is injective, 0 otherwise
Example:
| 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
|
|