new subroutine muladd_mpz_fmpz()
use ABI-compliant subroutines
check x*A=b