9674{
9677#ifdef TIME_TEST
9679#endif
9680
9681
9682#ifdef TIME_TEST
9686#endif
9687
9699
9700#ifndef BUCHBERGER_ALG
9702#endif
9704
9705
9707 for(
i=
nV-1;
i>0;
i--)
9708 {
9709 (*last_omega)[
i] = 1;
9710 }
9711 (*last_omega)[0] = 10000;
9712
9714
9715#ifdef TIME_TEST
9717#endif
9718
9719
9720
9721 while(1)
9722 {
9724 {
9726 {
9727
9729 {
9732 {
9734 }
9735 }
9736 }
9737 }
9738 else
9739 {
9741 {
9742
9744 {
9746 }
9747 else
9748 {
9750 }
9755 }
9756 }
9759 {
9761 }
9762 else
9763 {
9765 break;
9766 }
9768 {
9769 break;
9770 }
9773 }
9774#ifdef TIME_TEST
9776#endif
9777
9781
9784
9785 while(1)
9786 {
9789
9790#ifdef TIME_TEST
9792#endif
9793
9795#ifdef TIME_TEST
9797#endif
9798#if 0
9800 {
9801 for(
i=
nV-1;
i>=0;
i--)
9804
9807 }
9808#endif
9809#ifndef BUCHBERGER_ALG
9811 {
9813 }
9814 else
9815 {
9817 }
9818#endif
9819
9821
9822
9824 {
9826 }
9827 else
9828 {
9830 }
9833
9834#ifdef TIME_TEST
9836#endif
9837
9838#ifdef BUCHBERGER_ALG
9840#else
9843#endif
9844#ifdef TIME_TEST
9846#endif
9847
9848
9852
9853#ifdef TIME_TEST
9855#endif
9856
9858#ifdef TIME_TEST
9860#endif
9861
9865
9866
9871
9872#ifdef TIME_TEST
9874#endif
9875
9877#ifdef TIME_TEST
9879#endif
9881
9883 {
9884 break;
9885 }
9887#ifdef TIME_TEST
9889#endif
9890
9892#ifdef TIME_TEST
9894#endif
9895#ifdef PRINT_VECTORS
9897#endif
9899 {
9901
9903 {
9905 }
9906 else
9907 {
9909 }
9914 break;
9915 }
9916
9917
9918
9920 {
9923 break;
9924 }
9925
9927 {
9930 else
9931 {
9932
9933#ifdef TIME_TEST
9936#endif
9937
9938
9939
9940
9943 break;
9944 }
9945 }
9946
9947
9948 for(
i=
nV-1;
i>=0;
i--)
9949 {
9950
9951 (*curr_weight)[
i] = (*next_weight)[
i];
9952 }
9954 }
9955
9959
9962 {
9964 }
9966#ifdef TIME_TEST
9967
9968
9969
9970
9971
9972
9973
9974
9975
9976#endif
9978}
intvec * hFirstSeries(ideal A, intvec *module_w, ideal Q, intvec *wdegree)
#define idDelete(H)
delete an ideal
ideal kStd(ideal F, ideal Q, tHomog h, intvec **w, intvec *hilb, int syzComp, int newIdeal, intvec *vw, s_poly_proc_t sp)
void rChangeCurrRing(ring r)
VAR ring currRing
Widely used global variable which specifies the current polynomial ring for Singular interpreter and ...
ideal idrMoveR(ideal &id, ring src_r, ring dest_r)
void rDelete(ring r)
unconditionally deletes fields in r
static char const ** rParameter(const ring r)
(r->cf->parameter)
void id_Delete(ideal *h, ring r)
deletes an ideal/module/matrix
int F1(int a1, int &r1)
F1.
static ideal kInterRedCC(ideal F, ideal Q)
static ideal MstdhomCC(ideal G)
static int MivComp(intvec *iva, intvec *ivb)
intvec * MivMatrixOrderdp(int nV)
intvec * MPertVectors(ideal G, intvec *ivtarget, int pdeg)
intvec * MivMatrixOrder(intvec *iv)
void Set_Error(BOOLEAN f)
static ideal Mpwalk_MAltwalk1(ideal Go, intvec *curr_weight, int tp_deg)
static ideal MLifttwoIdeal(ideal Gw, ideal M, ideal G)
static ring VMrDefault(intvec *va)
VAR BOOLEAN Overflow_Error
ideal MwalkInitialForm(ideal G, intvec *ivw)
intvec * MkInterRedNextWeight(intvec *iva, intvec *ivb, ideal G)
static void DefRingPar(intvec *va)
static ideal MstdCC(ideal G)