Changeset 9d1e4c9 in git


Ignore:
Timestamp:
Jan 31, 2020, 5:54:53 PM (4 years ago)
Author:
Hans Schoenemann <hannes@…>
Branches:
(u'fieker-DuVal', '117eb8c30fc9e991c4decca4832b1d19036c4c65')(u'spielwiese', 'c7af8613769b29c741d6c338945669719f1fc4f8')
Children:
a78130ead1e67324cde0dce2d228915ef9a144a7
Parents:
c6dfb1ff83adaa2c8e21a0c80af7789877167596
Message:
OPT_REDTAIL_SYZ: set and display this option
File:
1 edited

Legend:

Unmodified
Added
Removed
  • Singular/misc_ip.cc

    rc6dfb1 r9d1e4c9  
    527527  {"teach",        Sy_bit(OPT_DEBUG),          ~Sy_bit(OPT_DEBUG)  },
    528528  {"notSyzMinim",  Sy_bit(OPT_NO_SYZ_MINIM),   ~Sy_bit(OPT_NO_SYZ_MINIM)  },
    529   /* 9 return SB in syz, quotient, intersect */
     529  /* 9 return SB in syz, quotient, intersect, modulo */
    530530  {"returnSB",     Sy_bit(OPT_RETURN_SB),      ~Sy_bit(OPT_RETURN_SB)  },
    531531  {"fastHC",       Sy_bit(OPT_FASTHC),         ~Sy_bit(OPT_FASTHC)  },
     
    534534  {"multBound",    Sy_bit(OPT_MULTBOUND),      ~Sy_bit(OPT_MULTBOUND)  },
    535535  {"degBound",     Sy_bit(OPT_DEGBOUND),       ~Sy_bit(OPT_DEGBOUND)  },
     536  {"redTailSyz"    Sy_bit(OPT_REDTAIL_SYZ),    ~Sy_bit(OPT_REDTAIL_SYZ) },
    536537  /* 25 no redTail(p)/redTail(s) */
    537538  {"redTail",      Sy_bit(OPT_REDTAIL),        ~Sy_bit(OPT_REDTAIL)  },
Note: See TracChangeset for help on using the changeset viewer.