Changeset 7e2f2d in git for libpolys/polys/monomials/p_polys.h

Timestamp:

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

Author:

Christian Eder

Branches:

(u'spielwiese', 'fe61d9c35bf7c61f2b6cbf1b56e25e2f08d536cc')

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)));