Changeset d92248 in git


Ignore:
Timestamp:
Mar 23, 2012, 5:00:50 PM (12 years ago)
Author:
Martin Lee <martinlee84@…>
Branches:
(u'fieker-DuVal', '117eb8c30fc9e991c4decca4832b1d19036c4c65')(u'spielwiese', 'c7af8613769b29c741d6c338945669719f1fc4f8')
Children:
a8a93f064f200c10a2d253360bf358905e3afe88
Parents:
286be1fd997a60351fec72874cb7bd335f2e82b8
git-author:
Martin Lee <martinlee84@web.de>2012-03-23 17:00:50+01:00
git-committer:
Martin Lee <martinlee84@web.de>2012-04-04 14:44:11+02:00
Message:
fix: multiply A with right multiple of denominators of factors
File:
1 edited

Legend:

Unmodified
Added
Removed
  • factory/facBivar.cc

    r286be1f rd92248  
    359359  bool extension= (v.level() != 1);
    360360  CanonicalForm A;
    361   CanonicalForm multiplier= 1;
    362361  if (isOn (SW_RATIONAL))
    363362    A= F*bCommonDen (F);
     
    661660  {
    662661    A /= Lc (Aeval);
     662    // make factors elements of Z(a)[x] disable for modularDiophant
     663    CanonicalForm multiplier= 1;
     664    for (CFListIterator i= uniFactors; i.hasItem(); i++)
     665    {
     666      multiplier *= bCommonDen (i.getItem());
     667      i.getItem()= i.getItem()*bCommonDen(i.getItem());
     668    }
     669    A *= multiplier;
    663670    A *= bCommonDen (A);
    664     // make factors elements of Z(a)[x] disable for modularDiophant
    665     for (CFListIterator i= uniFactors; i.hasItem(); i++)
    666       i.getItem()= i.getItem()*bCommonDen(i.getItem());
     671
    667672    mipoHasDen= !bCommonDen(mipo).isOne();
    668673    mipo *= bCommonDen (mipo);
Note: See TracChangeset for help on using the changeset viewer.