effective_bets	effective_bets
is_col_named	is_col_named
is_quadratic	is_quadratic
max_effective_bets	max_effective_bets
sqrtm	sqrtm
torsion	torsion
