Changeset 036a5e in git


Ignore:
Timestamp:
Feb 15, 2021, 6:09:41 PM (3 years ago)
Author:
Hans Schoenemann <hannes@…>
Branches:
(u'fieker-DuVal', '117eb8c30fc9e991c4decca4832b1d19036c4c65')(u'spielwiese', '648d28f488f6ff08f5607ff229b9ad9e4a5b93c2')
Children:
897be4e9d0d99f6edc2785f7a335bdde34c0ad73
Parents:
7b5b095ed2434be9e1783ac23414e01c2a75fec4
Message:
new ksReducePoly
Location:
kernel/GBEngine
Files:
3 edited

Legend:

Unmodified
Added
Removed
  • kernel/GBEngine/kspoly.cc

    r7b5b09 r036a5e  
    187187                 poly spNoether,
    188188                 number *coef,
     189                 poly *mon,
    189190                 kStrategy strat)
    190191{
     
    239240#endif
    240241
    241   if (t2==NULL)          // Divisor is just one term, therefore it will
     242  if ((t2==NULL)&&(mon==NULL)) // Divisor is just one term, therefore it will
    242243  {                       // just cancel the leading term
    243244    PR->LmDeleteAndIter();
     
    293294    if (coef != NULL) *coef = n_Init(1, tailRing->cf);
    294295  }
    295 
     296  if(mon!=NULL) *mon=pHead(lm);
    296297
    297298  // and finally,
  • kernel/GBEngine/kstd1.cc

    r7b5b09 r036a5e  
    141141    h->GetP();
    142142    h->length=h->pLength=pLength(h->p);
    143     ret = ksReducePoly(&L, with, strat->kNoetherTail(), NULL, strat);
     143    ret = ksReducePoly(&L, with, strat->kNoetherTail(), NULL, NULL, strat);
    144144    if (ret)
    145145    {
     
    157157  }
    158158  else
    159     ret = ksReducePoly(h, with, strat->kNoetherTail(), NULL, strat);
     159    ret = ksReducePoly(h, with, strat->kNoetherTail(), NULL, NULL, strat);
    160160#ifdef KDEBUG
    161161  if (TEST_OPT_DEBUG)
     
    817817    }
    818818#endif
    819     ksReducePoly(h, &(strat->T[j]), strat->kNoetherTail(), NULL, strat);
     819    ksReducePoly(h, &(strat->T[j]), strat->kNoetherTail(), NULL, NULL, strat);
    820820#ifdef KDEBUG
    821821    if (TEST_OPT_DEBUG)
  • kernel/GBEngine/kstd2.cc

    r7b5b09 r036a5e  
    736736    else
    737737    {
    738       ksReducePoly(h, &(strat->T[j]), NULL, NULL, strat);
     738      ksReducePoly(h, &(strat->T[j]), NULL, NULL, NULL, strat);
    739739    }
    740740    /* printf("\nAfter small red: ");pWrite(h->p); */
     
    842842    //printf("\nFound one: ");pWrite(strat->T[j].p);
    843843    //enterT(*h, strat);
    844     ksReducePoly(h, &(strat->T[j]), NULL, NULL, strat); // with debug output
     844    ksReducePoly(h, &(strat->T[j]), NULL, NULL, NULL, strat); // with debug output
    845845    //printf("\nAfter small red: ");pWrite(h->p);
    846846    if (h->GetLmTailRing() == NULL)
     
    970970    assume(strat->fromT == FALSE);
    971971
    972     ksReducePoly(h, &(strat->T[ii]), NULL, NULL, strat);
     972    ksReducePoly(h, &(strat->T[ii]), NULL, NULL, NULL, strat);
    973973#if SBA_PRINT_REDUCTION_STEPS
    974974    sba_interreduction_steps++;
     
    17151715#endif
    17161716
    1717     ksReducePoly(h, &(strat->T[ii]), NULL, NULL, strat);
     1717    ksReducePoly(h, &(strat->T[ii]), NULL, NULL, NULL, strat);
    17181718#if SBA_PRINT_REDUCTION_STEPS
    17191719    sba_interreduction_steps++;
     
    19371937    assume(strat->fromT == FALSE);
    19381938
    1939     ksReducePoly(h,&(strat->T[ii]),strat->kNoetherTail(),NULL,strat);
     1939    ksReducePoly(h,&(strat->T[ii]),strat->kNoetherTail(),NULL,NULL, strat);
    19401940#if SBA_PRINT_REDUCTION_STEPS
    19411941    sba_interreduction_steps++;
     
    25482548      if ((TEST_OPT_INTSTRATEGY) || (rField_is_Ring(currRing)))
    25492549      {
    2550         strat->P.pCleardenom();
     2550        if (TEST_OPT_IDLIFT)
     2551          strat->P.pContent();
     2552        else
     2553          strat->P.pCleardenom();
    25512554        if ((TEST_OPT_REDSB)||(TEST_OPT_REDTAIL))
    25522555        {
     
    47784781    }
    47794782#endif
    4780     ksReducePoly(h, &(strat->T[j]), strat->kNoetherTail(), NULL, strat);
     4783    ksReducePoly(h, &(strat->T[j]), strat->kNoetherTail(), NULL, NULL, strat);
    47814784
    47824785#ifdef KDEBUG
Note: See TracChangeset for help on using the changeset viewer.