Changeset 67d4b5 in git


Ignore:
Timestamp:
Jul 20, 2011, 1:34:49 PM (13 years ago)
Author:
Burcin Erocal <burcin@…>
Branches:
(u'fieker-DuVal', '117eb8c30fc9e991c4decca4832b1d19036c4c65')(u'spielwiese', '45e267b9942dec9429fe249ce3e5e44ab80a6a3a')
Children:
9d4b8cd59b57658f59577acd8fb7501642b875a8
Parents:
64606013a8ec045f8331f1c67fea0078d7e5148b
git-author:
Burcin Erocal <burcin@erocal.org>2011-07-20 13:34:49+02:00
git-committer:
Mohamed Barakat <mohamed.barakat@rwth-aachen.de>2011-11-09 13:01:22+01:00
Message:
Convert kernel/kpolys.cc to use libpolys, some pGetComp calls remaining.
File:
1 edited

Legend:

Unmodified
Added
Removed
  • kernel/kpolys.cc

    r646060 r67d4b5  
    88         * LE(p2, j) != LE(lcm, j)   ==> LCM(p2, p) != lcm
    99*/
    10 BOOLEAN pCompareChain (poly p,poly p1,poly p2,poly lcm)
     10BOOLEAN pCompareChain (poly p,poly p1,poly p2,poly lcm, const ring R = currRing)
    1111{
    1212  int k, j;
     
    1414  if (lcm==NULL) return FALSE;
    1515
    16   for (j=(currRing->N); j; j--)
    17     if ( pGetExp(p,j) >  pGetExp(lcm,j)) return FALSE;
     16  for (j=(R->N); j; j--)
     17    if ( p_GetExp(p,j, R) >  p_GetExp(lcm,j, R)) return FALSE;
    1818  if ( pGetComp(p) !=  pGetComp(lcm)) return FALSE;
    19   for (j=(currRing->N); j; j--)
     19  for (j=(R->N); j; j--)
    2020  {
    21     if (pGetExp(p1,j)!=pGetExp(lcm,j))
     21    if (p_GetExp(p1,j, R)!=p_GetExp(lcm,j, R))
    2222    {
    23       if (pGetExp(p,j)!=pGetExp(lcm,j))
     23      if (p_GetExp(p,j, R)!=p_GetExp(lcm,j, R))
    2424      {
    25         for (k=(currRing->N); k>j; k--)
     25        for (k=(R->N); k>j; k--)
    2626        {
    27           if ((pGetExp(p,k)!=pGetExp(lcm,k))
    28           && (pGetExp(p2,k)!=pGetExp(lcm,k)))
     27          if ((p_GetExp(p,k, R)!=p_GetExp(lcm,k, R))
     28          && (p_GetExp(p2,k, R)!=p_GetExp(lcm,k, R)))
    2929            return TRUE;
    3030        }
    3131        for (k=j-1; k; k--)
    3232        {
    33           if ((pGetExp(p,k)!=pGetExp(lcm,k))
    34           && (pGetExp(p2,k)!=pGetExp(lcm,k)))
     33          if ((p_GetExp(p,k, R)!=p_GetExp(lcm,k, R))
     34          && (p_GetExp(p2,k, R)!=p_GetExp(lcm,k, R)))
    3535            return TRUE;
    3636        }
     
    3838      }
    3939    }
    40     else if (pGetExp(p2,j)!=pGetExp(lcm,j))
     40    else if (p_GetExp(p2,j, R)!=p_GetExp(lcm,j, R))
    4141    {
    42       if (pGetExp(p,j)!=pGetExp(lcm,j))
     42      if (p_GetExp(p,j, R)!=p_GetExp(lcm,j, R))
    4343      {
    44         for (k=(currRing->N); k>j; k--)
     44        for (k=(R->N); k>j; k--)
    4545        {
    46           if ((pGetExp(p,k)!=pGetExp(lcm,k))
    47           && (pGetExp(p1,k)!=pGetExp(lcm,k)))
     46          if ((p_GetExp(p,k, R)!=p_GetExp(lcm,k, R))
     47          && (p_GetExp(p1,k, R)!=p_GetExp(lcm,k, R)))
    4848            return TRUE;
    4949        }
    5050        for (k=j-1; k!=0 ; k--)
    5151        {
    52           if ((pGetExp(p,k)!=pGetExp(lcm,k))
    53           && (pGetExp(p1,k)!=pGetExp(lcm,k)))
     52          if ((p_GetExp(p,k, R)!=p_GetExp(lcm,k, R))
     53          && (p_GetExp(p1,k, R)!=p_GetExp(lcm,k, R)))
    5454            return TRUE;
    5555        }
     
    6161}
    6262#ifdef HAVE_RATGRING
    63 BOOLEAN pCompareChainPart (poly p,poly p1,poly p2,poly lcm)
     63BOOLEAN pCompareChainPart (poly p,poly p1,poly p2,poly lcm,
     64                const ring R = currRing)
    6465{
    6566  int k, j;
     
    6768  if (lcm==NULL) return FALSE;
    6869
    69   for (j=currRing->real_var_end; j>=currRing->real_var_start; j--)
    70     if ( pGetExp(p,j) >  pGetExp(lcm,j)) return FALSE;
     70  for (j=R->real_var_end; j>=R->real_var_start; j--)
     71    if ( p_GetExp(p,j, R) >  p_GetExp(lcm,j, R)) return FALSE;
    7172  if ( pGetComp(p) !=  pGetComp(lcm)) return FALSE;
    72   for (j=currRing->real_var_end; j>=currRing->real_var_start; j--)
     73  for (j=R->real_var_end; j>=R->real_var_start; j--)
    7374  {
    74     if (pGetExp(p1,j)!=pGetExp(lcm,j))
     75    if (p_GetExp(p1,j, R)!=p_GetExp(lcm,j, R))
    7576    {
    76       if (pGetExp(p,j)!=pGetExp(lcm,j))
     77      if (p_GetExp(p,j, R)!=p_GetExp(lcm,j, R))
    7778      {
    78         for (k=(currRing->N); k>j; k--)
    79         for (k=currRing->real_var_end; k>j; k--)
     79        for (k=(R->N); k>j; k--)
     80        for (k=R->real_var_end; k>j; k--)
    8081        {
    81           if ((pGetExp(p,k)!=pGetExp(lcm,k))
    82           && (pGetExp(p2,k)!=pGetExp(lcm,k)))
     82          if ((p_GetExp(p,k, R)!=p_GetExp(lcm,k, R))
     83          && (p_GetExp(p2,k, R)!=p_GetExp(lcm,k, R)))
    8384            return TRUE;
    8485        }
    85         for (k=j-1; k>=currRing->real_var_start; k--)
     86        for (k=j-1; k>=R->real_var_start; k--)
    8687        {
    87           if ((pGetExp(p,k)!=pGetExp(lcm,k))
    88           && (pGetExp(p2,k)!=pGetExp(lcm,k)))
     88          if ((p_GetExp(p,k, R)!=p_GetExp(lcm,k, R))
     89          && (p_GetExp(p2,k, R)!=p_GetExp(lcm,k, R)))
    8990            return TRUE;
    9091        }
     
    9293      }
    9394    }
    94     else if (pGetExp(p2,j)!=pGetExp(lcm,j))
     95    else if (p_GetExp(p2,j, R)!=p_GetExp(lcm,j, R))
    9596    {
    96       if (pGetExp(p,j)!=pGetExp(lcm,j))
     97      if (p_GetExp(p,j, R)!=p_GetExp(lcm,j, R))
    9798      {
    98         for (k=currRing->real_var_end; k>j; k--)
     99        for (k=R->real_var_end; k>j; k--)
    99100        {
    100           if ((pGetExp(p,k)!=pGetExp(lcm,k))
    101           && (pGetExp(p1,k)!=pGetExp(lcm,k)))
     101          if ((p_GetExp(p,k, R)!=p_GetExp(lcm,k, R))
     102          && (p_GetExp(p1,k, R)!=p_GetExp(lcm,k, R)))
    102103            return TRUE;
    103104        }
    104         for (k=j-1; k>=currRing->real_var_start; k--)
     105        for (k=j-1; k>=R->real_var_start; k--)
    105106        {
    106           if ((pGetExp(p,k)!=pGetExp(lcm,k))
    107           && (pGetExp(p1,k)!=pGetExp(lcm,k)))
     107          if ((p_GetExp(p,k, R)!=p_GetExp(lcm,k, R))
     108          && (p_GetExp(p1,k, R)!=p_GetExp(lcm,k, R)))
    108109            return TRUE;
    109110        }
Note: See TracChangeset for help on using the changeset viewer.