Home Online Manual
Top
Back: calculate_max_sum
Forward: is_h_injective
FastBack:
FastForward:
Up: crypto_lib
Top: Singular Manual
Contents: Table of Contents
Index: Index
About: About this document

D.12.3.57 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