Changeset 7e2f2d in git

Timestamp:

Dec 18, 2013, 5:01:17 PM (9 years ago)

Author:

Christian Eder

Branches:

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

Children:

528d62b177825e22cf6c17471aa20c3dd03d1038

Parents:

3a9e92a717b194d4a06a429b452258c026957907

Message:

fixes wrong code indention

File:

• libpolys/polys/monomials/p_polys.h (modified) (1 diff)

libpolys/polys/monomials/p_polys.h

@@ -1384 +1384 @@
   for (int i=1; i<=r->N; i++)
     pAssume1(p_GetExp(p1, i, r) + p_GetExp(p2, i, r) >= p_GetExp(p3, i, r));
-    pAssume1(p_GetComp(p1, r) == 0 ||
+  pAssume1(p_GetComp(p1, r) == 0 ||
            (p_GetComp(p2, r) - p_GetComp(p3, r) == 0) ||
            (p_GetComp(p1, r) == p_GetComp(p2, r) - p_GetComp(p3, r)));