Changeset 174bcf in git for factory

Timestamp:

Dec 2, 2016, 4:27:32 PM (7 years ago)

Author:

Hans Schoenemann <hannes@…>

Branches:

(u'spielwiese', '17f1d200f27c5bd38f5dfc6e8a0879242279d1d8')

Children:

5d623cb00f9b1b1db6a147618239b85006bd1316f5951957f709ab2bd04faad6ed4b08b554fb6f6c

Parents:

d28d26219b3d78927ebd32930fa42dbe5324c734

Message:

opt: conversion singular -> factory for small int

File:

• factory/singext.cc (modified) (1 diff)

factory/singext.cc

@@ -64 +64 @@
 }
 
-CanonicalForm
-make_cf ( const mpz_ptr n )
+#ifndef ABS
+#define ABS(x) ((x)<0?(-(x)):(x))
+#endif
+
+CanonicalForm make_cf ( const mpz_ptr n )
 {
+    if (ABS(n->_mp_size)<=1)
+    {
+      long value=mpz_get_si(n);
+      if(value >= MINIMMEDIATE && value <= MAXIMMEDIATE )
+        return CanonicalForm(int2imm( value ));
+    }
     return CanonicalForm( CFFactory::basic( n ) );
 }
 
-CanonicalForm
-make_cf ( const mpz_ptr n, const mpz_ptr d, bool normalize )
+CanonicalForm make_cf ( const mpz_ptr n, const mpz_ptr d, bool normalize )
 {
     return CanonicalForm( CFFactory::rational( n, d, normalize ) );