crypto.lib
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