Changeset dc7ece in git for Singular/ipassign.cc


Ignore:
Timestamp:
Jul 10, 2017, 5:26:27 PM (7 years ago)
Author:
Hans Schoenemann <hannes@…>
Branches:
(u'fieker-DuVal', '117eb8c30fc9e991c4decca4832b1d19036c4c65')(u'spielwiese', 'c5facdfddea2addfd91babd8b9019161dea4b695')
Children:
83342dca368f25798616a50a9a2f2b6b5789a2cd
Parents:
f0fba1c6553d60f8414803dce6e04c16b8750b0e
Message:
fix: setting new minpoly from alg.extension
File:
1 edited

Legend:

Unmodified
Added
Removed

  • Singular/ipassign.cc

    rf0fba1c rdc7ece  
    207207  }
    208208
     209  BOOLEAN redefine_from_algext=FALSE;
    209210  if ( currRing->idroot != NULL )
    210211  {
     212    redefine_from_algext=(currRing->cf->extRing->qideal!=NULL);
    211213//    return TRUE;
    212214#ifndef SING_NDEBUG
    … …  
    217219    while(p != NULL)
    218220    {
    219       PrintS(p->String(TRUE)); PrintLn();
     221      PrintS(p->String(TRUE)); Print("(%s)\n",IDID(p));
    220222      p = p->next;
    221223    }
    … …  
    264266    return TRUE;
    265267  }
    266   if (DEN((fraction)(p)) != NULL) // minpoly must be a fraction with poly numerator...!!
     268  if (!redefine_from_algext && (DEN((fraction)(p)) != NULL)) // minpoly must be a fraction with poly numerator...!!
    267269  {
    268270    poly n=DEN((fraction)(p));
    … …  
    275277  }
    276278
    277   q->m[0] = NUM((fraction)p);
     279  if (redefine_from_algext) q->m[0]=(poly)p;
     280  else          q->m[0] = NUM((fraction)p);
    278281  A.r->qideal = q;
    279282
    … …  
    289292//  NUM((fractionObject *)p) = NULL; // makes 0/ NULL fraction - which should not happen!
    290293//  n_Delete(&p, currRing->cf); // doesn't expect 0/ NULL :(
     294  if (!redefine_from_algext)
    291295  {
    292296    extern omBin fractionObjectBin;
Note: See TracChangeset for help on using the changeset viewer.