Changeset 3b1ebb in git for kernel/GBEngine/kutil.h

Timestamp:

Oct 5, 2018, 12:09:56 PM (6 years ago)

Author:

Christian Eder

Branches:

(u'spielwiese', '2a584933abf2a2d3082034c7586d38bb6de1a30a')

Children:

28ac7f47ccca7ef7dbc24705df22abae3603b39b

Parents:

83f82e55df65ec0df97ef0fb229a2d07b8f06cff

git-author:

Christian Eder <ederc@mathematik.uni-kl.de>2018-10-05 12:09:56+02:00

git-committer:

Christian Eder <ederc@mathematik.uni-kl.de>2018-10-05 12:37:42+02:00

Message:

adds declarations for new functions introduced in previous commits

File:

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

kernel/GBEngine/kutil.h

@@ -489 +489 @@
 KINLINE poly redtailBba_Z (poly p,int end_pos,kStrategy strat);
 poly redtailBba_Z (LObject* L, int end_pos, kStrategy strat );
+void redtailBbaAlsoLC_Z (LObject* L, int end_pos, kStrategy strat );
 #endif
 poly redtailBba (LObject *L, int end_pos,kStrategy strat,
@@ -555 +556 @@
 void enterSyz (LObject &p,kStrategy strat, int atT);
 void enterT (LObject &p,kStrategy strat, int atT = -1);
+void replaceInLAndSAndT(LObject &p, kStrategy strat, int pos);
+int replaceOneStrongPoly (poly si,poly p,kStrategy strat, int posInL);
+int replaceOneSPoly (poly si,poly p,kStrategy strat, int posInL);
 #ifdef HAVE_RINGS
 void enterT_strong (LObject &p,kStrategy strat, int atT = -1);
@@ -594 +598 @@
 int kFindDivisibleByInT(const kStrategy strat, const LObject* L, const int start=0);
 int kFindDivisibleByInT_Z(const kStrategy strat, const LObject* L, const int start=0);
+int kFindSameLMInT_Z(const kStrategy strat, const LObject* L, const int start=0);
 
 /// return -1 if no divisor is found
@@ -701 +706 @@
                  kStrategy strat = NULL);
 
+
+int ksReducePolyGCD(LObject* PR,
+                 TObject* PW,
+                 poly spNoether = NULL,
+                 number *coef = NULL,
+                 kStrategy strat = NULL);
+
 int ksReducePolyBound(LObject* PR,
                  TObject* PW,