Changeset 837495 in git


Ignore:
Timestamp:
Mar 19, 2012, 12:17:14 PM (12 years ago)
Author:
Martin Lee <martinlee84@…>
Branches:
(u'fieker-DuVal', '117eb8c30fc9e991c4decca4832b1d19036c4c65')(u'spielwiese', 'b21a664aa22dc6e196223af8a74ad4885e83547c')
Children:
f531208030784e843b7f5770d9d741e9ebc8260a
Parents:
f9da5e777f690b6f9e44916c1818b0b98c02a70b
git-author:
Martin Lee <martinlee84@web.de>2012-03-19 12:17:14+01:00
git-committer:
Martin Lee <martinlee84@web.de>2012-04-04 14:42:27+02:00
Message:
fix: ifdef's for FLINT
File:
1 edited

Legend:

Unmodified
Added
Removed
  • factory/facMul.cc

    rf9da5e r837495  
    401401  {
    402402    Variable alpha;
    403 #ifdef HAVE_FLINT
    404403    if ((!F.inCoeffDomain() && !G.inCoeffDomain()) &&
    405404        (hasFirstAlgVar (F, alpha) || hasFirstAlgVar (G, alpha)))
     
    415414        return b (convertNTLZZ_pEX2CF (NTLf, F.mvar(), alpha));
    416415      }
     416#ifdef HAVE_FLINT
    417417      CanonicalForm result= mulFLINTQa (F, G, alpha);
    418418      return result;
     419#else
     420      return F*G;
     421#endif
    419422    }
    420423    else if (!F.inCoeffDomain() && !G.inCoeffDomain())
    421424    {
     425#ifdef HAVE_FLINT
    422426      if (b.getp() != 0)
    423427      {
     
    436440      }
    437441      return mulFLINTQ (F, G);
    438     }
     442#else
     443      if (b.getp() != 0)
     444      {
     445        ZZ_p::init (convertFacCF2NTLZZ (b.getpk()));
     446        ZZX ZZf= convertFacCF2NTLZZX (F);
     447        ZZX ZZg= convertFacCF2NTLZZX (G);
     448        ZZ_pX NTLf= to_ZZ_pX (ZZf);
     449        ZZ_pX NTLg= to_ZZ_pX (ZZg);
     450        mul (NTLf, NTLf, NTLg);
     451        return b (convertNTLZZX2CF (to_ZZX (NTLf), F.mvar()));
     452      }
     453      return F*G;
    439454#endif
     455    }
    440456    if (b.getp() != 0)
    441457    {
     
    539555  if (getCharacteristic() == 0)
    540556  {
    541 #ifdef HAVE_FLINT
    542557    Variable alpha;
    543558    if (!hasFirstAlgVar (F, alpha) && !hasFirstAlgVar (G, alpha))
    544559    {
     560#ifdef HAVE_FLINT
    545561      if (b.getp() != 0)
    546562      {
     
    559575      }
    560576      return modFLINTQ (F, G);
     577#else
     578      if (b.getp() != 0)
     579      {
     580        ZZ_p::init (convertFacCF2NTLZZ (b.getpk()));
     581        ZZX ZZf= convertFacCF2NTLZZX (F);
     582        ZZX ZZg= convertFacCF2NTLZZX (G);
     583        ZZ_pX NTLf= to_ZZ_pX (ZZf);
     584        ZZ_pX NTLg= to_ZZ_pX (ZZg);
     585        rem (NTLf, NTLf, NTLg);
     586        return b (convertNTLZZX2CF (to_ZZX (NTLf), F.mvar()));
     587      }
     588      return mod (F, G);
     589#endif
    561590    }
    562591    else
     
    572601        return b (convertNTLZZ_pEX2CF (NTLf, F.mvar(), alpha));
    573602      }
     603#ifdef HAVE_FLINT
    574604      CanonicalForm Q, R;
    575605      newtonDivrem (F, G, Q, R);
    576606      return R;
    577     }
    578607#else
    579     if (b.getp() != 0)
    580     {
    581       ZZ NTLpk= power_ZZ (b.getp(), b.getk());
    582       ZZ_p::init (NTLpk);
    583       ZZX ZZf= convertFacCF2NTLZZX (F);
    584       ZZX ZZg= convertFacCF2NTLZZX (G);
    585       ZZ_pX NTLf= to_ZZ_pX (ZZf);
    586       ZZ_pX NTLg= to_ZZ_pX (ZZg);
    587       rem (NTLf, NTLf, NTLg);
    588       return b (convertNTLZZX2CF (to_ZZX (NTLf), F.mvar()));
    589     }
    590     return mod (F, G);
     608      return mod (F,G);
    591609#endif
     610    }
    592611  }
    593612
     
    680699  if (getCharacteristic() == 0)
    681700  {
    682 #ifdef HAVE_FLINT
     701
    683702    Variable alpha;
    684703    if (!hasFirstAlgVar (F, alpha) && !hasFirstAlgVar (G, alpha))
    685704    {
     705#ifdef HAVE_FLINT
    686706      if (b.getp() != 0)
    687707      {
     
    700720      }
    701721      return divFLINTQ (F,G);
     722#else
     723      if (b.getp() != 0)
     724      {
     725        ZZ_p::init (convertFacCF2NTLZZ (b.getpk()));
     726        ZZX ZZf= convertFacCF2NTLZZX (F);
     727        ZZX ZZg= convertFacCF2NTLZZX (G);
     728        ZZ_pX NTLf= to_ZZ_pX (ZZf);
     729        ZZ_pX NTLg= to_ZZ_pX (ZZg);
     730        div (NTLf, NTLf, NTLg);
     731        return b (convertNTLZZX2CF (to_ZZX (NTLf), F.mvar()));
     732      }
     733      return div (F, G);
     734#endif
    702735    }
    703736    else
     
    713746        return b (convertNTLZZ_pEX2CF (NTLf, F.mvar(), alpha));
    714747      }
     748#ifdef HAVE_FLINT
    715749      CanonicalForm Q;
    716750      newtonDiv (F, G, Q);
    717751      return Q;
    718     }
    719752#else
    720     if (b.getp() != 0)
    721     {
    722       ZZ NTLpk= power_ZZ (b.getp(), b.getk());
    723       ZZ_p::init (NTLpk);
    724       ZZX ZZf= convertFacCF2NTLZZX (F);
    725       ZZX ZZg= convertFacCF2NTLZZX (G);
    726       ZZ_pX NTLf= to_ZZ_pX (ZZf);
    727       ZZ_pX NTLg= to_ZZ_pX (ZZg);
    728       div (NTLf, NTLf, NTLg);
    729       return b (convertNTLZZX2CF (to_ZZX (NTLf), F.mvar()));
    730     }
    731     return div (F, G);
     753      return div (F,G);
    732754#endif
     755    }
    733756  }
    734757
Note: See TracChangeset for help on using the changeset viewer.