home
general done
3.1
fixed bug: sign of cofactor