Changeset e009ef in git


Ignore:
Timestamp:
Aug 12, 2016, 5:16:51 PM (8 years ago)
Author:
Hans Schoenemann <hannes@…>
Branches:
(u'spielwiese', '52dcfddee5ec87d404d5e0fb44f2d627608208f1')
Children:
300563a9d081f24bd0373b9e9d17479beca66107
Parents:
c6a876cd79ed3203ef80952a2f353799dc626ccc
Message:
doc/opt: sba over Z, Z/m, std over Z,Z/m with local/mixed ordering
Files:
2 edited

Legend:

Unmodified
Added
Removed
  • doc/NEWS.texi

    rc6a876 re009ef  
    4141@item port to polymake 3.0
    4242@item port to gfanlib 0.6 (requires C++11, i.e. gcc >=4.3)
     43@item @nref{sba} works for global orderings, also for coefficient types Z and Z/m
     44@item @nref{std} works for all orderings, also for coefficient types Z and Z/m with local/mixed orderings
    4345@end itemize
    4446
  • kernel/GBEngine/kstd1.cc

    rc6a876 re009ef  
    24172417          int newIdeal, intvec *vw)
    24182418{
     2419  if(idIs0(F))
     2420    return idInit(1,F->rank);
    24192421  if(!rField_is_Ring(currRing))
    24202422  {
    2421     if(idIs0(F))
    2422       return idInit(1,F->rank);
    2423 
    24242423    ideal r;
    24252424    BOOLEAN b=currRing->pLexOrder,toReset=FALSE;
     
    24432442      strat->syzComp = syzComp;
    24442443    if (TEST_OPT_SB_1)
    2445       if(!rField_is_Ring(currRing))
     2444      //if(!rField_is_Ring(currRing)) // always true here
    24462445        strat->newIdeal = newIdeal;
    24472446    if (rField_has_simple_inverse(currRing))
     
    25492548    assume(sbaOrder == 1);
    25502549    assume(arri == 0);
    2551     if(idIs0(F))
    2552       return idInit(1,F->rank);
    25532550    ideal r;
    25542551    r = idCopy(F);
Note: See TracChangeset for help on using the changeset viewer.