Changeset 9501be in git

Timestamp:

Sep 2, 2013, 6:08:50 PM (10 years ago)

Author:

Oleksandr Motsak <motsak@…>

Branches:

(u'jengelh-datetime', 'ceac47cbc86fe4a15902392bdbb9bd2ae0ea02c6')(u'spielwiese', 'f875bbaccd0831e36aaed09ff6adeb3eb45aeb94')

Children:

3cadd014f1310674ce369c4fc549699d470edbfc

Parents:

6b32a6bb58daaab3b910e13ba57e360422f257bf

Message:

Better denominator for trans. field ext.

File:

• libpolys/polys/ext_fields/transext.cc (modified) (2 diffs)

libpolys/polys/ext_fields/transext.cc

@@ -371 +371 @@
 {
   ntTest(a);
-  definiteGcdCancellation(a, cf, FALSE);
-  fraction f = (fraction)a;
 
   fraction result = (fraction)omAlloc0Bin(fractionObjectBin);
@@ -378 +376 @@
   COM (result)= 0;
 
-  if (a==NULL) 
-  {
-    NUM (result)= p_One(ntRing);
+  if (IS0(a)) 
+  {
+    NUM (result) = p_One(ntRing);
     return (number)result;
-  }    
+  }
+     
+  definiteGcdCancellation(a, cf, FALSE);
+   
+  fraction f = (fraction)a;
+   
+  assume( !IS0(f) );
+
   const BOOLEAN denis1 = DENIS1 (f);
  
-  if( IS0(f) || (denis1 && getCoeffType (ntCoeffs) != n_Q) ) // */1 or 0
+  if( denis1 && (getCoeffType (ntCoeffs) != n_Q) ) // */1 or 0
   {
     NUM (result)= p_One(ntRing);