9673{
9676#ifdef TIME_TEST
9678#endif
9679
9680
9681#ifdef TIME_TEST
9685#endif
9686
9698
9699#ifndef BUCHBERGER_ALG
9701#endif
9703
9704
9706 for(
i=
nV-1;
i>0;
i--)
9707 {
9708 (*last_omega)[
i] = 1;
9709 }
9710 (*last_omega)[0] = 10000;
9711
9713
9714#ifdef TIME_TEST
9716#endif
9717
9718
9719
9720 while(1)
9721 {
9723 {
9725 {
9726
9728 {
9731 {
9733 }
9734 }
9735 }
9736 }
9737 else
9738 {
9740 {
9741
9743 {
9745 }
9746 else
9747 {
9749 }
9754 }
9755 }
9758 {
9760 }
9761 else
9762 {
9764 break;
9765 }
9767 {
9768 break;
9769 }
9772 }
9773#ifdef TIME_TEST
9775#endif
9776
9780
9783
9784 while(1)
9785 {
9788
9789#ifdef TIME_TEST
9791#endif
9792
9794#ifdef TIME_TEST
9796#endif
9797#if 0
9799 {
9800 for(
i=
nV-1;
i>=0;
i--)
9803
9806 }
9807#endif
9808#ifndef BUCHBERGER_ALG
9810 {
9812 }
9813 else
9814 {
9816 }
9817#endif
9818
9820
9821
9823 {
9825 }
9826 else
9827 {
9829 }
9832
9833#ifdef TIME_TEST
9835#endif
9836
9837#ifdef BUCHBERGER_ALG
9839#else
9842#endif
9843#ifdef TIME_TEST
9845#endif
9846
9847
9851
9852#ifdef TIME_TEST
9854#endif
9855
9857#ifdef TIME_TEST
9859#endif
9860
9864
9865
9870
9871#ifdef TIME_TEST
9873#endif
9874
9876#ifdef TIME_TEST
9878#endif
9880
9882 {
9883 break;
9884 }
9886#ifdef TIME_TEST
9888#endif
9889
9891#ifdef TIME_TEST
9893#endif
9894#ifdef PRINT_VECTORS
9896#endif
9898 {
9900
9902 {
9904 }
9905 else
9906 {
9908 }
9913 break;
9914 }
9915
9916
9917
9919 {
9922 break;
9923 }
9924
9926 {
9929 else
9930 {
9931
9932#ifdef TIME_TEST
9935#endif
9936
9937
9938
9939
9942 break;
9943 }
9944 }
9945
9946
9947 for(
i=
nV-1;
i>=0;
i--)
9948 {
9949
9950 (*curr_weight)[
i] = (*next_weight)[
i];
9951 }
9953 }
9954
9958
9961 {
9963 }
9965#ifdef TIME_TEST
9966
9967
9968
9969
9970
9971
9972
9973
9974
9975#endif
9977}
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
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)