Changeset 6ae00c in git for factory/facAlgFuncUtil.cc

Timestamp:

Jul 30, 2014, 3:02:05 PM (10 years ago)

Author:

Martin Lee <martinlee84@…>

Branches:

(u'spielwiese', '2a584933abf2a2d3082034c7586d38bb6de1a30a')

Children:

691e55d8cf70f06cc30101ba50e5d31031c5f3a8

Parents:

aebdf8dc58be3e9fbab7894765dd4d30eaa475eb

git-author:

Martin Lee <martinlee84@web.de>2014-07-30 15:02:05+02:00

git-committer:

Martin Lee <martinlee84@web.de>2014-07-31 12:08:29+02:00

Message:

fix: use Prem instead of reduce

File:

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

factory/facAlgFuncUtil.cc

@@ -184 +184 @@
     }
   }
-  result= reduce (result, Rstar);
+  result= Prem (result, CFList (Rstar));
   result /= vcontent (result, Variable (Rstar.level() + 1));
   return result;