Changeset a469814 in git for kernel/GBEngine/kutil.h

Timestamp:

Jul 3, 2015, 1:35:17 PM (8 years ago)

Author:

Adi Popescu <adi_popescum@…>

Branches:

(u'spielwiese', 'e7cc1ebecb61be8b9ca6c18016352af89940b21a')

Children:

81f40d79bb623106f176d7d1bc3cfb277b750b0e

Parents:

1550ecaad46efdce1c9032818b53259c1f6c108a

Message:

add functions used in std computation over ZZ
posInLRing and posInL11Ring
preIntegerCheck
postReduceByMon
finalReduceByMon

File:

• kernel/GBEngine/kutil.h (modified) (3 diffs)

kernel/GBEngine/kutil.h

@@ -200 +200 @@
                       // detected by Buchberger's Product Criterion and can be
                       // deleted
+
+  bool strong;
 
   // initialization
@@ -448 +450 @@
 int posInLSig (const LSet set, const int length,
                LObject* L,const kStrategy strat);
+int posInLRing (const LSet set, const int length,
+               LObject* L,const kStrategy strat);
 int posInSyz (const kStrategy strat, const poly sig);
 int posInL0 (const LSet set, const int length,
              LObject* L,const kStrategy strat);
 int posInL11 (const LSet set, const int length,
+             LObject* L,const kStrategy strat);
+int posInL11Ring (const LSet set, const int length,
              LObject* L,const kStrategy strat);
 int posInL13 (const LSet set, const int length,
@@ -734 +740 @@
 //      FALSE, otherwise
 BOOLEAN kCheckStrongCreation(int atR, poly m1, int atS, poly m2, kStrategy strat);
+poly preIntegerCheck(ideal F, ideal Q);
+void postReduceByMon(LObject* h, kStrategy strat);
+void finalReduceByMon(kStrategy &strat);
 #endif
 // change strat->tailRing and adjust all data in strat, L, and T: