Ignore:
Timestamp:
Mar 12, 2014, 9:08:50 AM (10 years ago)
Author:
Yue Ren <ren@…>
Branches:
(u'spielwiese', 'ec94ef7a30b928574c0c3daf41f6804dff5f6b69')
Children:
7aa26b206f76709abff0bab4adaac2dfc4ddb4ef
Parents:
c890142d6921b9d30b396af149a3df2fbc57981a
git-author:
Yue Ren <ren@mathematik.uni-kl.de>2014-03-12 10:08:50+02:00
git-committer:
Yue Ren <ren@mathematik.uni-kl.de>2015-02-06 13:47:03+01:00
Message:
status updated 11.03.
File:
1 edited

Legend:

Unmodified
Added
Removed

  • Singular/dyn_modules/gfanlib/startingCone.h

    rc89014 r9abcc6  
    33
    44#include <groebnerCone.h>
    5 /* namespace tropical */
    6 /* { */
    7 
    8 /*   class facet */
    9 /*   { */
    10 /*     gfan::ZVector interiorPoint; */
    11 /*     gfan::ZVector facetNormal; */
    12 
    13 /*   public: */
    14 
    15 /*     facet(); */
    16 /*     facet(const facet &f); */
    17 /*     facet(const gfan::ZCone &c, const gfan::ZVector &v, const gfan::ZVector &w); */
    18 /*     ~facet(); */
    19 
    20 /*     gfan::ZCone getEta() { return this->eta; }; */
    21 /*     gfan::ZVector getInteriorPoint() { return this->interiorPoint; }; */
    22 /*     gfan::ZVector getFacetNormal() { return this->facetNormal; }; */
    23 
    24 /*     friend struct facet_compare; */
    25 /*   }; */
    26 
    27 /*   struct facet_compare */
    28 /*   { */
    29 /*     bool operator()(const facet &f, const facet &g) const */
    30 /*     { */
    31 /*       const gfan::ZVector v1 = f.interiorPoint; */
    32 /*       const gfan::ZVector v2 = g.interiorPoint; */
    33 /* #ifndef NDEBUG */
    34 /*       assume(v1.size() == v2.size()); */
    35 /* #endif */
    36 /*       return v1 < v2; */
    37 /*     } */
    38 /*   }; */
    39 
    40 /*   typedef std::set<facet,facet_compare> facets; */
    41 
    42 /*   void mergeFacets(facets &F, const facets &newFacets); */
    43 
    44 /* } */
     5#include <tropicalStrategy.h>
    456
    467gfan::ZVector containsTropicalPoint(const groebnerConeData sigma);
    478gfan::ZVector tropicalStartingPoint(ideal I, ring r);
     9gfan::ZCone tropicalStartingCone(const ideal I, const ring r, const tropicalStrategy currentCase);
    4810
    4911BOOLEAN tropicalStartingPoint0(leftv res, leftv args);
    5012BOOLEAN tropicalStartingPoint1(leftv res, leftv args);
    5113
     14BOOLEAN tropicalStartingCone0(leftv res, leftv args);
     15BOOLEAN tropicalStartingCone1(leftv res, leftv args);
     16
    5217#endif
Note: See TracChangeset for help on using the changeset viewer.