external si_kronecker: int->t->int="_mlgmp_z_si_kronecker"