anchor.diff:                          for mapCandidate in mapCandidates do
                               if mapCandidate.maxResidue<0.001_c then
                                   if not  mapCandidate.map in allMapCandidates then
  -                                    Append( allMapCandidates, [ mapCandidate.map1 ]);
  +                                    Append( allMapCandidates, [ mapCandidate.map ]);
                                   fi;
                               fi;
                           od;
  
positive.code: 
  
                  mapsModPrime := Hurwitz@HMAC.FindHurwitzMapModPrime( finiteField  ,partitions, reducedCriticalValues, strictNormalization );
                  
                  if Size(mapsModPrime)>0 then 
                  ########## lift #################################################
  
                      mapModPrime := mapsModPrime[1];
                      for mapModPrime  in mapsModPrime do 
  
negative.code: 	
  	fieldMap :=  NewDictionary(finiteFields[1], true);
  	
  
     allMapsModPrime:=[];
  
  		
  	
  