bug fix in dup_zz_zassenhaus for issue 8037
Merge pull request #8038 from pernici/factor4

bug fix in dup_zz_zassenhaus for issue 8037

fixes #8037