Ignore:
Timestamp:
Aug 9, 2012, 9:27:42 PM (11 years ago)
Author:
Oleksandr Motsak <motsak@…>
Branches:
(u'jengelh-datetime', 'ceac47cbc86fe4a15902392bdbb9bd2ae0ea02c6')(u'spielwiese', 'c987db42cd2ec943b97ac5746c99892ceddf909c')
Children:
c814238a3c69aaf59662652396c4843d8c8c52fa
Parents:
5cecde90d96d1acc0cbd216cf0037bd2db293c31
git-author:
Oleksandr Motsak <motsak@mathematik.uni-kl.de>2012-08-09 21:27:42+02:00
git-committer:
Oleksandr Motsak <motsak@mathematik.uni-kl.de>2014-05-07 04:41:46+02:00
Message:
adding IGNORETAILS option for computing pure Schreyer Frames (test with 'testAGRFrame')
File:
1 edited

Legend:

Unmodified
Added
Removed
  • dyn_modules/syzextra/syzextra.h

    r5cecde re98c64  
    6060
    6161/// Computation attribute storage
    62 struct SchreyerSyzygyComputationFlags
    63 {
    64   SchreyerSyzygyComputationFlags(idhdl rootRingHdl);
    65   SchreyerSyzygyComputationFlags(const SchreyerSyzygyComputationFlags& attr):
    66       __DEBUG__(attr.__DEBUG__),
    67 //      __SYZCHECK__(attr.__SYZCHECK__),
    68       __LEAD2SYZ__(attr.__LEAD2SYZ__),  __TAILREDSYZ__(attr.__TAILREDSYZ__),
    69       __HYBRIDNF__(attr.__HYBRIDNF__),  m_rBaseRing(attr.m_rBaseRing)
    70   {}
    71      
     62class SchreyerSyzygyComputationFlags
     63{
     64  public:
     65    SchreyerSyzygyComputationFlags(idhdl rootRingHdl);
     66
     67    SchreyerSyzygyComputationFlags(const SchreyerSyzygyComputationFlags& attr):
     68        __DEBUG__(attr.__DEBUG__),
     69  //      __SYZCHECK__(attr.__SYZCHECK__),
     70        __LEAD2SYZ__(attr.__LEAD2SYZ__),  __TAILREDSYZ__(attr.__TAILREDSYZ__),
     71        __HYBRIDNF__(attr.__HYBRIDNF__), __IGNORETAILS__(attr.__IGNORETAILS__),
     72        m_rBaseRing(attr.m_rBaseRing)
     73    {}   
    7274
    7375  /// output all the intermediate states
    7476  const bool __DEBUG__; // DebugOutput;
    7577
    76 //  const bool __SYZCHECK__; // CheckSyzygyProperty: never tested here...
     78  //  const bool __SYZCHECK__; // CheckSyzygyProperty: never tested here...
    7779
    7880  /// ?
     
    8587  const bool __HYBRIDNF__; // UseHybridNF
    8688
     89
     90  /// ignore tails and compute the pure Schreyer frame
     91  const bool __IGNORETAILS__; // @IGNORETAILS
     92 
    8793  /// global base ring
    8894  const ring m_rBaseRing;
     
    142148    bool IsDivisible(const poly q) const;
    143149
    144     bool IsNonempty() const { return (m_hash.size() > 0); }
     150    bool IsNonempty() const { return !m_hash.empty(); }
    145151
    146152  private:
Note: See TracChangeset for help on using the changeset viewer.