Return to junk.k CVS log

Up to [local] / OpenXM / src / k097

Annotation of OpenXM/src/k097/junk.k, Revision 1.1

1.1     ! maekawa     1: def Init_w(f,vars,weight) {
        !             2:   local w,top,ans,wtop;
        !             3:   if (f == Poly("0")) return( Poly("0") );
        !             4:   top = sm1(f, " init ");
        !             5:   w = Exponent(top,vars) * weight ;
        !             6:   wtop = w;
        !             7:   ans = top;
        !             8:   f = f-top;
        !             9:   while(true) {
        !            10:     if ( f == Poly("0")) sm1(" exit ");
        !            11:     top = sm1(f, " init ");
        !            12:     w = Exponent(top,vars) * weight ;
        !            13:     if (w < wtop) sm1(" exit ");
        !            14:     ans = ans + top;
        !            15:     f = f-top;
        !            16:     /* Println(ans); */
        !            17:   }
        !            18:   return(ans);
        !            19: }