Changeset 12ec5d in git


Ignore:
Timestamp:
May 22, 2018, 3:12:42 PM (6 years ago)
Author:
Hans Schoenemann <hannes@…>
Branches:
(u'spielwiese', '2a584933abf2a2d3082034c7586d38bb6de1a30a')
Children:
ad41f3cda4bfe798a0a576e0b7f90a769aae2aef
Parents:
938c7b5d7b6ddab4abd51e3d89f054abda252863
Message:
fix: handling of module weights for homog. test
File:
1 edited

Legend:

Unmodified
Added
Removed
  • kernel/GBEngine/kstd1.cc

    r938c7b r12ec5d  
    21982198            else if (!TEST_OPT_DEGBOUND)
    21992199            {
     2200              if (w!=NULL)
    22002201                h = (tHomog)idHomModule(FCopy,Q,w);
     2202              else
     2203                h = (tHomog)idHomIdeal(FCopy,Q);
    22012204            }
    22022205        }
     
    23312334      else if (!TEST_OPT_DEGBOUND)
    23322335      {
    2333         h = (tHomog)idHomModule(F,Q,w);
     2336        if (w!=NULL)
     2337          h = (tHomog)idHomModule(F,Q,w);
     2338        else
     2339          h = (tHomog)idHomIdeal(F,Q);
    23342340      }
    23352341    }
     
    24792485        else if (!TEST_OPT_DEGBOUND)
    24802486        {
    2481           h = (tHomog)idHomModule(F,Q,w);
     2487          if (w!=NULL)
     2488            h = (tHomog)idHomModule(F,Q,w);
     2489          else
     2490            h = (tHomog)idHomIdeal(F,Q);
    24822491        }
    24832492      }
     
    26072616    else if (!TEST_OPT_DEGBOUND)
    26082617    {
    2609       if (w!=NULL) h = (tHomog)idHomModule(F,Q,w);
     2618      if (w!=NULL)
     2619        h = (tHomog)idHomModule(F,Q,w);
     2620      else
     2621        h = (tHomog)idHomIdeal(F,Q);
    26102622    }
    26112623  }
     
    31423154  else if (!TEST_OPT_DEGBOUND)
    31433155  {
    3144     h = (tHomog)idHomModule(F,Q,&w);
     3156    if (w!=NULL)
     3157      h = (tHomog)idHomModule(F,Q,w);
     3158    else
     3159      h = (tHomog)idHomIdeal(F,Q);
    31453160  }
    31463161  else
Note: See TracChangeset for help on using the changeset viewer.