Changeset 9501be in git


Ignore:
Timestamp:
Sep 2, 2013, 6:08:50 PM (11 years ago)
Author:
Oleksandr Motsak <motsak@…>
Branches:
(u'fieker-DuVal', '117eb8c30fc9e991c4decca4832b1d19036c4c65')(u'spielwiese', '79dfb9a6d258bfeb991428bdb25b8f55e9e809b2')
Children:
3cadd014f1310674ce369c4fc549699d470edbfc
Parents:
6b32a6bb58daaab3b910e13ba57e360422f257bf
Message:
Better denominator for trans. field ext.
File:
1 edited

Legend:

Unmodified
Added
Removed
  • libpolys/polys/ext_fields/transext.cc

    r6b32a6b r9501be  
    371371{
    372372  ntTest(a);
    373   definiteGcdCancellation(a, cf, FALSE);
    374   fraction f = (fraction)a;
    375373
    376374  fraction result = (fraction)omAlloc0Bin(fractionObjectBin);
     
    378376  COM (result)= 0;
    379377
    380   if (a==NULL)
    381   {
    382     NUM (result)= p_One(ntRing);
     378  if (IS0(a))
     379  {
     380    NUM (result) = p_One(ntRing);
    383381    return (number)result;
    384   }   
     382  }
     383     
     384  definiteGcdCancellation(a, cf, FALSE);
     385   
     386  fraction f = (fraction)a;
     387   
     388  assume( !IS0(f) );
     389
    385390  const BOOLEAN denis1 = DENIS1 (f);
    386391 
    387   if( IS0(f) || (denis1 && getCoeffType (ntCoeffs) != n_Q) ) // */1 or 0
     392  if( denis1 && (getCoeffType (ntCoeffs) != n_Q) ) // */1 or 0
    388393  {
    389394    NUM (result)= p_One(ntRing);
Note: See TracChangeset for help on using the changeset viewer.