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

D.12.2.60 is_h_injective

Procedure from library crypto.lib (see crypto_lib).

Usage:
is_h_injective(a, h)

Return:
1 if a is h-injective, 0 otherwise

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