Changeset e044528 in git for kernel/polys.h

Timestamp:

Sep 8, 2011, 9:16:31 PM (12 years ago)

Author:

Oleksandr Motsak <motsak@…>

Branches:

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

Children:

d02fff666539bb449e45ae13851d7d81e05c75bc

Parents:

f7aa4c7c61207b077fe954f2e563ca261edcc109

git-author:

Oleksandr Motsak <motsak@mathematik.uni-kl.de>2011-09-08 21:16:31+02:00

git-committer:

Mohamed Barakat <mohamed.barakat@rwth-aachen.de>2011-11-09 16:12:37+01:00

Message:

FIX: pCompareChain & pCompareChainPart

File:

• kernel/polys.h (modified) (1 diff)

kernel/polys.h

@@ -351 +351 @@
 
 /*-----------specials for spoly-computations--------------*/
-BOOLEAN pCompareChain (poly p,poly p1,poly p2,poly lcm);
-BOOLEAN pCompareChainPart (poly p,poly p1,poly p2,poly lcm);
+
+/// Returns TRUE if
+///      * LM(p) | LM(lcm)
+///      * LC(p) | LC(lcm) only if ring
+///      * Exists i, j:
+///          * LE(p, i)  != LE(lcm, i)
+///          * LE(p1, i) != LE(lcm, i)   ==> LCM(p1, p) != lcm
+///          * LE(p, j)  != LE(lcm, j)
+///          * LE(p2, j) != LE(lcm, j)   ==> LCM(p2, p) != lcm
+BOOLEAN pCompareChain (poly p, poly p1, poly p2, poly lcm, const ring R = currRing);
+
 #define  pEqualPolys(p1,p2) p_EqualPolys(p1,p2,currRing)
+