Changeset ebaa0f in git


Ignore:
Timestamp:
Oct 12, 2016, 2:05:38 PM (8 years ago)
Author:
Andreas Steenpass <steenpass@…>
Branches:
(u'fieker-DuVal', '117eb8c30fc9e991c4decca4832b1d19036c4c65')(u'spielwiese', '4fa496c5b814dbde0a905c54f0796301d03f6dc9')
Children:
2f7f90e43ce2f08c92544f66d14f516b8c7ee550
Parents:
a0e24f7ed0acd388c2c9ba6447aa10d5437f40b2
git-author:
Andreas Steenpass <steenpass@mathematik.uni-kl.de>2016-10-12 14:05:38+02:00
git-committer:
Andreas Steenpass <steenpass@mathematik.uni-kl.de>2017-12-15 12:17:07+01:00
Message:
chg: remove syzterm in FindReducer()
File:
1 edited

Legend:

Unmodified
Added
Removed
  • kernel/GBEngine/syz4.cc

    ra0e24f rebaa0f  
    7676#define delete_lts_hash(C) C->clear()
    7777
    78 poly FindReducer(const poly multiplier, const poly t, const poly syzterm,
    79     const lts_hash *m_div)
     78poly FindReducer(const poly multiplier, const poly t, const lts_hash *m_div)
    8079{
    8180  const ring r = currRing;
     
    106105    p_SetComp(q, k + 1, r);
    107106    p_Setm(q, r);
    108     // cannot allow something like: a*gen(i) - a*gen(i)
    109     if (syzterm != NULL && (k == p_GetComp(syzterm, r) - 1)
    110         && p_ExpVectorEqual(syzterm, q, r)) {
    111       continue;
    112     }
    113107    number n = n_Mult(p_GetCoeff(multiplier, r), p_GetCoeff(t, r), r);
    114108    p_SetCoeff0(q, n_InpNeg(n, r), r);
     
    124118
    125119static inline poly ReduceTerm_test(poly multiplier, poly term4reduction,
    126     poly syztermCheck, const ideal previous_module,
    127     const std::vector<bool> &variables, const lts_hash *m_div)
     120    const ideal previous_module, const std::vector<bool> &variables,
     121    const lts_hash *m_div)
    128122{
    129123  const ring r = currRing;
    130   poly s = FindReducer(multiplier, term4reduction, syztermCheck, m_div);
     124  poly s = FindReducer(multiplier, term4reduction, m_div);
    131125  if( s == NULL )
    132126  {
     
    155149    for(poly p = tail; p != NULL; p = pNext(p))   // iterate over the tail
    156150    {
    157       const poly rt = ReduceTerm_test(multiplier, p, NULL, previous_module,
     151      const poly rt = ReduceTerm_test(multiplier, p, previous_module,
    158152          variables, m_div);
    159153      sBucket_Add_p(sum, rt, pLength(rt));
Note: See TracChangeset for help on using the changeset viewer.