Changeset 03f640 in git for factory/cfEzgcd.cc


Ignore:
Timestamp:
Jul 9, 2014, 3:58:43 PM (10 years ago)
Author:
Martin Lee <martinlee84@…>
Branches:
(u'spielwiese', 'fe61d9c35bf7c61f2b6cbf1b56e25e2f08d536cc')
Children:
8b00cafb736eed4e74873c4326a7c6d326b488af
Parents:
4e2cc188f9d61d04296ddb7df63d0eaccd719584
git-author:
Martin Lee <martinlee84@web.de>2014-07-09 15:58:43+02:00
git-committer:
Martin Lee <martinlee84@web.de>2014-07-17 12:07:11+02:00
Message:
chg: added pruning of alg extensions
File:
1 edited

Legend:

Unmodified
Added
Removed

  • factory/cfEzgcd.cc

    r4e2cc1 r03f640  
    11351135  degF = degree( F, x ); degG = degree( G, x );
    11361136
    1137   if(hasFirstAlgVar(G,a))
     1137  if (algExtension)
    11381138    b = REvaluation( 2, tmax(F.level(), G.level()), AlgExtRandomF( a ) );
    11391139  else
    … …  
    11661166        Variable alpha= rootOf (mipo.mapinto());
    11671167        result= GF2FalphaRep (result, alpha);
     1168        prune (alpha);
    11681169      }
    11691170      if (k > 1)
    … …  
    11731174      }
    11741175      if (extOfExt)
     1176      {
    11751177        result= mapDown (result, primElem, imPrimElem, oldA, dest, source);
     1178        prune1 (oldA);
     1179      }
    11761180      return N (d*result);
    11771181    }
    … …  
    11881192          Variable alpha= rootOf (mipo.mapinto());
    11891193          F= GF2FalphaRep (F, alpha);
     1194          prune (alpha);
    11901195        }
    11911196        if (k > 1)
    … …  
    11951200        }
    11961201        if (extOfExt)
     1202        {
    11971203          F= mapDown (F, primElem, imPrimElem, oldA, dest, source);
     1204          prune1 (oldA);
     1205        }
    11981206        return N (d*F);
    11991207      }
    … …  
    12111219          Variable alpha= rootOf (mipo.mapinto());
    12121220          G= GF2FalphaRep (G, alpha);
     1221          prune (alpha);
    12131222        }
    12141223        if (k > 1)
    … …  
    12181227        }
    12191228        if (extOfExt)
     1229        {
    12201230          G= mapDown (G, primElem, imPrimElem, oldA, dest, source);
     1231          prune1 (oldA);
     1232        }
    12211233        return N (d*G);
    12221234      }
    … …  
    12481260          Variable alpha= rootOf (mipo.mapinto());
    12491261          result= GF2FalphaRep (result, alpha);
     1262          prune (alpha);
    12501263        }
    12511264        if (k > 1)
    … …  
    12551268        }
    12561269        if (extOfExt)
     1270        {
    12571271          result= mapDown (result, primElem, imPrimElem, oldA, dest, source);
     1272          prune1 (oldA);
     1273        }
    12581274        return N (d*result);
    12591275      }
    … …  
    12911307            Variable alpha= rootOf (mipo.mapinto());
    12921308            F= GF2FalphaRep (F, alpha);
     1309            prune (alpha);
    12931310          }
    12941311          if (k > 1)
    … …  
    12981315          }
    12991316          if (extOfExt)
     1317          {
    13001318            F= mapDown (F, primElem, imPrimElem, oldA, dest, source);
     1319            prune1 (oldA);
     1320          }
    13011321          return N (d*F);
    13021322        }
    … …  
    13141334            Variable alpha= rootOf (mipo.mapinto());
    13151335            G= GF2FalphaRep (G, alpha);
     1336            prune (alpha);
    13161337          }
    13171338          if (k > 1)
    … …  
    13211342          }
    13221343          if (extOfExt)
     1344          {
    13231345            G= mapDown (G, primElem, imPrimElem, oldA, dest, source);
     1346            prune1 (oldA);
     1347          }
    13241348          return N (d*G);
    13251349        }
    … …  
    13771401          Variable alpha= rootOf (mipo.mapinto());
    13781402          result= GF2FalphaRep (result, alpha);
     1403          prune (alpha);
    13791404        }
    13801405        if (k > 1)
    … …  
    13841409        }
    13851410        if (extOfExt)
     1411        {
    13861412          result= mapDown (result, primElem, imPrimElem, oldA, dest, source);
     1413          prune1 (oldA);
     1414        }
    13871415        return N (d*result);
    13881416      }
    … …  
    13961424          result= modGCDFq (F, G, a);
    13971425          if (extOfExt)
     1426          {
    13981427            result= mapDown (result, primElem, imPrimElem, oldA, dest, source);
     1428            prune1 (oldA);
     1429          }
    13991430          return N (d*result);
    14001431        }
    … …  
    14081439            Variable alpha= rootOf (mipo.mapinto());
    14091440            result= GF2FalphaRep (result, alpha);
     1441            prune (alpha);
    14101442          }
    14111443          if (k > 1)
    … …  
    14301462          result= modGCDFq (F, G, a);
    14311463          if (extOfExt)
     1464          {
    14321465            result= mapDown (result, primElem, imPrimElem, oldA, dest, source);
     1466            prune1 (oldA);
     1467          }
    14331468          return N (d*result);
    14341469        }
    … …  
    14421477            Variable alpha= rootOf (mipo.mapinto());
    14431478            result= GF2FalphaRep (result, alpha);
     1479            prune (alpha);
    14441480          }
    14451481          if (k > 1)
    … …  
    14771513          Variable alpha= rootOf (mipo.mapinto());
    14781514          cand= GF2FalphaRep (cand, alpha);
     1515          prune (alpha);
    14791516        }
    14801517        if (k > 1 && gcdfound)
    … …  
    14841521        }
    14851522        if (extOfExt && gcdfound)
     1523        {
    14861524          cand= mapDown (cand, primElem, imPrimElem, oldA, dest, source);
     1525          prune1 (oldA);
     1526        }
    14871527      }
    14881528    }
Note: See TracChangeset for help on using the changeset viewer.