Changeset e044528 in git


Ignore:
Timestamp:
Sep 8, 2011, 9:16:31 PM (13 years ago)
Author:
Oleksandr Motsak <motsak@…>
Branches:
(u'fieker-DuVal', '117eb8c30fc9e991c4decca4832b1d19036c4c65')(u'spielwiese', '0bc2210f8055033868008a3836878db65ec6f89e')
Children:
d02fff666539bb449e45ae13851d7d81e05c75bc
Parents:
f7aa4c7c61207b077fe954f2e563ca261edcc109
git-author:
Oleksandr Motsak <motsak@mathematik.uni-kl.de>2011-09-08 21:16:31+02:00
git-committer:
Mohamed Barakat <mohamed.barakat@rwth-aachen.de>2011-11-09 16:12:37+01:00
Message:
FIX: pCompareChain & pCompareChainPart
Location:
kernel
Files:
4 edited

Legend:

Unmodified
Added
Removed
  • kernel/kpolys.cc

    rf7aa4c7 re044528  
     1#include "mod2.h"
     2
     3#include <omalloc/omalloc.h>
     4#include <misc/auxiliary.h>
     5
     6#include "polys.h"
     7
     8
    19/* Returns TRUE if
    210     * LM(p) | LM(lcm)
     
    816         * LE(p2, j) != LE(lcm, j)   ==> LCM(p2, p) != lcm
    917*/
    10 BOOLEAN pCompareChain (poly p,poly p1,poly p2,poly lcm, const ring R = currRing)
     18BOOLEAN pCompareChain (poly p,poly p1,poly p2,poly lcm, const ring R)
    1119{
    1220  int k, j;
     
    6169}
    6270#ifdef HAVE_RATGRING
    63 BOOLEAN pCompareChainPart (poly p,poly p1,poly p2,poly lcm,
    64                 const ring R = currRing)
     71BOOLEAN pCompareChainPart (poly p,poly p1,poly p2,poly lcm, const ring R)
    6572{
    6673  int k, j;
  • kernel/makefile

    rf7aa4c7 re044528  
    7373    fast_maps.cc \
    7474    fglmzero.cc fglmvec.cc fglmgauss.cc fglmhom.cc fglmcomb.cc \
    75     kspoly.cc \
     75    kspoly.cc kpolys.cc \
    7676    semic.cc \
    7777    syz.cc syz0.cc syz1.cc syz2.cc syz3.cc\
  • kernel/polys.h

    rf7aa4c7 re044528  
    351351
    352352/*-----------specials for spoly-computations--------------*/
    353 BOOLEAN pCompareChain (poly p,poly p1,poly p2,poly lcm);
    354 BOOLEAN pCompareChainPart (poly p,poly p1,poly p2,poly lcm);
     353
     354/// Returns TRUE if
     355///      * LM(p) | LM(lcm)
     356///      * LC(p) | LC(lcm) only if ring
     357///      * Exists i, j:
     358///          * LE(p, i)  != LE(lcm, i)
     359///          * LE(p1, i) != LE(lcm, i)   ==> LCM(p1, p) != lcm
     360///          * LE(p, j)  != LE(lcm, j)
     361///          * LE(p2, j) != LE(lcm, j)   ==> LCM(p2, p) != lcm
     362BOOLEAN pCompareChain (poly p, poly p1, poly p2, poly lcm, const ring R = currRing);
     363
    355364#define  pEqualPolys(p1,p2) p_EqualPolys(p1,p2,currRing)
     365
    356366
    357367
  • kernel/ratgring.h

    rf7aa4c7 re044528  
    121121BOOLEAN p_LmIsConstantCompRat(const poly p, const ring r);
    122122
     123BOOLEAN pCompareChainPart (poly p,poly p1,poly p2,poly lcm);
     124
    123125#endif /* HAVE_PLURAL */
    124126#endif
Note: See TracChangeset for help on using the changeset viewer.