Ignore:
Timestamp:
Feb 1, 2015, 7:02:48 PM (9 years ago)
Author:
Yue Ren <ren@…>
Branches:
(u'spielwiese', 'a719bcf0b8dbc648b128303a49777a094b57592c')
Children:
44d34b600fd8727833693222ffbd36ce803e3e60
Parents:
5510099a60c7cd4cb8ef47b8e583ed11e4b4ffe3
git-author:
Yue Ren <ren@mathematik.uni-kl.de>2015-02-01 19:02:48+01:00
git-committer:
Yue Ren <ren@mathematik.uni-kl.de>2015-02-06 13:47:06+01:00
Message:
chg: fixed delete for Groebner cones
File:
1 edited

Legend:

Unmodified
Added
Removed

  • Singular/dyn_modules/gfanlib/startingCone.cc

    r551009 r670e639  
    1919 * is monomial free.
    2020 **/
    21 static bool checkContainmentInTropicalVariety(const groebnerCone sigma)
    22 {
    23   ideal I = sigma.getPolynomialIdeal();
    24   ring r = sigma.getPolynomialRing();
    25   const tropicalStrategy* currentStrategy = sigma.getTropicalStrategy();
    26 
    27   gfan::ZCone zc = sigma.getPolyhedralCone();
    28   gfan::ZMatrix zm = zc.extremeRays();
    29   for (int i=0; i<zm.getHeight(); i++)
    30   {
    31     gfan::ZVector w = zm[i];
    32     if (currentStrategy->isValuationNonTrivial() && w[0].sign()==0)
    33       continue;
    34     poly s = currentStrategy->checkInitialIdealForMonomial(I,r,w);
    35     if (s)
    36     {
    37       p_Delete(&s,r);
    38       return false;
    39     }
    40   }
    41 
    42   zm = zc.generatorsOfLinealitySpace();
    43   for (int i=0; i<zm.getHeight(); i++)
    44   {
    45     gfan::ZVector w = zm[i];
    46     if (currentStrategy->isValuationNonTrivial() && w[0].sign()==0)
    47       continue;
    48     poly s = currentStrategy->checkInitialIdealForMonomial(I,r,w);
    49     if (s)
    50     {
    51       p_Delete(&s,r);
    52       return false;
    53     }
    54   }
    55 
    56   return true;
    57 }
    58 
    59 
    60 static bool checkOneCodimensionalLinealitySpace(const groebnerCone sigma)
    61 {
    62   gfan::ZCone zc = sigma.getPolyhedralCone();
    63   int linDim = zc.dimensionOfLinealitySpace();
    64   int dim = zc.dimension();
    65   return (linDim+1)==dim;
    66 }
     21// static bool checkContainmentInTropicalVariety(const groebnerCone sigma)
     22// {
     23//   ideal I = sigma.getPolynomialIdeal();
     24//   ring r = sigma.getPolynomialRing();
     25//   const tropicalStrategy* currentStrategy = sigma.getTropicalStrategy();
     26
     27//   gfan::ZCone zc = sigma.getPolyhedralCone();
     28//   gfan::ZMatrix zm = zc.extremeRays();
     29//   for (int i=0; i<zm.getHeight(); i++)
     30//   {
     31//     gfan::ZVector w = zm[i];
     32//     if (currentStrategy->isValuationNonTrivial() && w[0].sign()==0)
     33//       continue;
     34//     poly s = currentStrategy->checkInitialIdealForMonomial(I,r,w);
     35//     if (s)
     36//     {
     37//       p_Delete(&s,r);
     38//       return false;
     39//     }
     40//   }
     41
     42//   zm = zc.generatorsOfLinealitySpace();
     43//   for (int i=0; i<zm.getHeight(); i++)
     44//   {
     45//     gfan::ZVector w = zm[i];
     46//     if (currentStrategy->isValuationNonTrivial() && w[0].sign()==0)
     47//       continue;
     48//     poly s = currentStrategy->checkInitialIdealForMonomial(I,r,w);
     49//     if (s)
     50//     {
     51//       p_Delete(&s,r);
     52//       return false;
     53//     }
     54//   }
     55
     56//   return true;
     57// }
     58
     59
     60// static bool checkOneCodimensionalLinealitySpace(const groebnerCone sigma)
     61// {
     62//   gfan::ZCone zc = sigma.getPolyhedralCone();
     63//   int linDim = zc.dimensionOfLinealitySpace();
     64//   int dim = zc.dimension();
     65//   return (linDim+1)==dim;
     66// }
    6767
    6868
    … …  
    537537    id_Delete(&inI,r);
    538538
    539     assume(checkContainmentInTropicalVariety(startingCone));
     539    // assume(checkContainmentInTropicalVariety(startingCone));
    540540    return startingCone;
    541541  }
Note: See TracChangeset for help on using the changeset viewer.