fix: kill of map after minpoly was set
fix: map needs to be set again
fix: bad old code removed
fix: updated res file for ncfactor_tsai_l
Minimal failing test over ZZ with option prot
Merge pull request #294 from jankoboehm/spielwiese

Minimal failing test over ZZ with option prot
Merge pull request #296 from mmklee/Long_sw

Long sw