Changeset 8c8bea in git


Ignore:
Timestamp:
May 26, 1999, 6:24:02 PM (24 years ago)
Author:
Olaf Bachmann <obachman@…>
Branches:
(u'spielwiese', '828514cf6e480e4bafc26df99217bf2a1ed1ef45')
Children:
02be757a4cd1350a160ea7b013174d89e358e456
Parents:
6ffb6fd0051336687cab0ad88f2e4354233e4769
Message:
* preparation for buckets


git-svn-id: file:///usr/local/Singular/svn/trunk@3063 2c84dea3-7e68-4137-9b89-c4e89433aadc
Location:
Singular
Files:
11 edited

Legend:

Unmodified
Added
Removed
  • Singular/Makefile.in

    r6ffb6f r8c8bea  
    8282    mpsr_Put.cc mpsr_PutPoly.cc mpsr_Tok.cc mpsr_GetPoly.cc \
    8383    mpsr_Get.cc mpsr_GetMisc.cc mpsr_Error.cc \
    84     ndbm.cc spSpolyLoop.cc libparse.cc mod_raw.cc\
    85         pcv.cc
     84    ndbm.cc spSpolyLoop.cc libparse.cc mod_raw.cc \
     85    pcv.cc kbuckets.cc kbPolyProcs.cc
    8686
    8787CSOURCES=gmalloc.c mmalloc.c mmheap.c mmpage.c mmcheck.c  mmisc.c mmtables.c \
    8888    mmbt.c weight0.c find_exec.c getopt.c fereadl.c page.c
    8989
    90 SOURCES=${CSOURCES} ${CXXSOURCES} grammar.y scanner.l libparse.l spSpolyLoop.pl
     90SOURCES=${CSOURCES} ${CXXSOURCES} grammar.y scanner.l libparse.l spSpolyLoop.pl generate.pl
    9191
    9292HEADERS=algmap.h hutil.h lists.h stairc.h attrib.h ideals.h \
     
    103103        kutil.h mpsr_Put.h spolys0.h sing_dld.h\
    104104        ndbm.h spSpolyLoop.h polys-impl.h polys-comp.h getopt.h libparse.h \
    105         pcv.h mod_raw.h
     105        pcv.h mod_raw.h kbuckets.h kbPolyProcs.h
    106106
    107107INCS=febase.inc polys.inc iparith.inc mpsr_Tok.inc spSpolyLoop.inc
     
    131131     mpsr_Get.o mpsr_GetMisc.o ndbm.o spSpolyLoop.o libparse.o \
    132132     find_exec.o getopt.o fereadl.o  mod_raw.o sdb.o \
    133         pcv.o
     133     pcv.o kbuckets.o kbPolyProcs.o
    134134
    135135##
     
    195195           configure.in
    196196        echo "#define SINGULAR_VERSION_ID " `date '+%y%m%d%H'` >version.h
     197
     198kbPolyProcs.cc kbPolyProcs.dd : kbPolyProcs.pin
     199
     200kbPolyProcs.pin : generate.pl
     201        @if test "x${PERL5}" = x; then \
     202                echo Error: no perl5 given. Can not rebuild $@;\
     203                exit 1;\
     204        fi
     205        ${PERL5} generate.pl kb_n_Mult_p kb_p_Mult_m kb_p_Add_q kb_p_Minus_m_Mult_q > $@
    197206
    198207spSpolyLoop.cc spSpolyLoop.dd : spSpolyLoop.inc
     
    347356     mpsr_Get.og mpsr_GetMisc.og \
    348357     ndbm.og spSpolyLoop.og libparse.og  mod_raw.og \
    349         pcv.og
     358     pcv.og kbuckets.og kbPolyProcs.og
    350359
    351360OBJG2= mmalloc.og mmheap.og mmpage.og mmcheck.og mmbt.og page.og \
     
    423432     mpsr_Get.op mpsr_GetMisc.op \
    424433     ndbm.op spSpolyLoop.op libparse.op  mod_raw.op \
    425         pcv.op
     434     pcv.op kbuckets.op kbPolyProcs.op
    426435
    427436OBJP2= mmalloc.op mmheap.op mmpage.op mmcheck.op mmbt.op page.op \
  • Singular/ipprint.cc

    r6ffb6f r8c8bea  
    22*  Computer Algebra System SINGULAR     *
    33****************************************/
    4 /* $Id: ipprint.cc,v 1.12 1999-04-20 11:25:50 Singular Exp $ */
     4/* $Id: ipprint.cc,v 1.13 1999-05-26 16:23:55 obachman Exp $ */
    55/*
    66* ABSTRACT: interpreter: printing
     
    345345  {
    346346    res->data = (char*) u->String(NULL, TRUE, dim);
     347    if (dim == 2)
     348    {
     349      char* ns = (char*) AllocL(strlen((char*) res->data) + 2);
     350      strcpy(ns, (char*) res->data);
     351      FreeL(res->data);
     352      strcat(ns, "\n");
     353      res->data = ns;
     354    }
    347355  }
    348356  else if (strcmp(ns,"%t") == 0)
    349357  {
    350358    SPrintStart();
    351     if (u->rtyp==IDHDL) type_cmd((idhdl) (u->data));
    352     else type_cmd((idhdl) u);
     359    if (u->rtyp==IDHDL)
     360      type_cmd((idhdl) (u->data));
     361    else
     362      type_cmd((idhdl) u);
    353363    res->data = SPrintEnd();
     364    if (dim != 2)
     365      ((char*)res->data)[strlen((char*)res->data) -1] = '\0';
    354366  }
    355367  else if (strcmp(ns,"%;") == 0)
     
    357369    SPrintStart();
    358370    u->Print();
     371    if (dim == 2) PrintLn();
    359372    res->data = SPrintEnd();
    360373  }
     
    363376    SPrintStart();
    364377    iiExprArith1(res, u, PRINT_CMD);
     378    if (dim == 2) PrintLn();
    365379    res->data = SPrintEnd();
    366380  }
     
    369383    SPrintStart();
    370384    ipPrintBetti(u);
     385    if (dim == 2) PrintLn();
    371386    res->data = SPrintEnd();
    372387  }
     
    374389  {
    375390    res->data = u->String(NULL, FALSE, dim);
     391    if (dim == 2)
     392    {
     393      char* ns = (char*) AllocL(strlen((char*) res->data) + 2);
     394      strcpy(ns, (char*) res->data);
     395      FreeL(res->data);
     396      strcat(ns, "\n");
     397      res->data = ns;
     398    }
    376399  }
    377400   
  • Singular/kutil.h

    r6ffb6f r8c8bea  
    44*  Computer Algebra System SINGULAR     *
    55****************************************/
    6 /* $Id: kutil.h,v 1.13 1998-12-15 10:08:50 pohl Exp $ */
     6/* $Id: kutil.h,v 1.14 1999-05-26 16:23:56 obachman Exp $ */
    77/*
    88* ABSTRACT: kernel: utils for kStd
     
    155155
    156156rOrderType_t spGetOrderType(ring r, int modrank, int syzcomp);
     157extern int spCheckCoeff(number *a, number *b);
    157158
    158159inline TSet initT () { return (TSet)Alloc0(setmax*sizeof(TObject)); }
  • Singular/modulop.h

    r6ffb6f r8c8bea  
    44*  Computer Algebra System SINGULAR     *
    55****************************************/
    6 /* $Id: modulop.h,v 1.4 1999-05-10 15:10:51 Singular Exp $ */
     6/* $Id: modulop.h,v 1.5 1999-05-26 16:23:57 obachman Exp $ */
    77/*
    88* ABSTRACT: numbers modulo p (<=32003)
     
    5151  return (number)npExpTable[x<npPminus1M ? x : x-npPminus1M];
    5252}
     53
     54inline number npAddM(number a, number b)
     55{
     56  int ka = (int)a + (int)b;
     57  if (ka >= npPrimeM) ka -= npPrimeM;
     58  return (number)ka;
     59}
     60
     61inline BOOLEAN npIsZeroM (number  a)
     62{
     63  return 0 == (int)a;
     64}
     65
    5366/*
    5467*inline number npMultM(number a, number b)
  • Singular/polys-comp.h

    r6ffb6f r8c8bea  
    44*  Computer Algebra System SINGULAR     *
    55****************************************/
    6 /* $Id: polys-comp.h,v 1.9 1998-06-12 17:41:32 obachman Exp $ */
     6/* $Id: polys-comp.h,v 1.10 1999-05-26 16:23:57 obachman Exp $ */
    77
    88/***************************************************************
     
    1414
    1515#include "polys-impl.h"
     16#include "syz.h"
    1617
    1718#ifdef WORDS_BIGENDIAN
     
    221222while(0)
    222223
     224
     225#define _pMonComp_otSYZDPC_nwONE(p1, p2, d, actionD, actionE)   \
     226do                                                              \
     227{                                                               \
     228  d = *((long*) &(p2->exp[0])) - *((long*) &(p1->exp[0]));      \
     229  if (d)                                                        \
     230  {                                                             \
     231    const long c1 = pGetComp(p1);                               \
     232    const long c2 = pGetComp(p2);                               \
     233    if (c2 - c1 == d)                                           \
     234    {                                                           \
     235      d = currcomponents[c1] - currcomponents[c2];              \
     236    }                                                           \
     237    actionD;                                                    \
     238  }                                                             \
     239  actionE;                                                      \
     240}                                                               \
     241while(0)
     242
     243#define _pMonComp_otSYZDPC_nwTWO(p1, p2, d, actionD, actionE)   \
     244do                                                              \
     245{                                                               \
     246  const long* s1 = (long*) &(p1->exp[0]);                       \
     247  const long* s2 = (long*) &(p2->exp[0]);                       \
     248  d = *s2 - *s1;                                                \
     249  if (d) actionD;                                               \
     250  d = *(s2 + 1) - *(s1 + 1);                                    \
     251  if (d)                                                        \
     252  {                                                             \
     253    const long c1 = pGetComp(p1);                               \
     254    const long c2 = pGetComp(p2);                               \
     255    if (c2 - c1 == d)                                           \
     256    {                                                           \
     257      d = currcomponents[c1] - currcomponents[c2];              \
     258    }                                                           \
     259    actionD;                                                    \
     260  }                                                             \
     261  actionE;                                                      \
     262}                                                               \
     263while(0)
     264
     265#define _pMonComp_otSYZDPC_nwEVEN(p1, p2, length, d, actionD, actionE)  \
     266do                                                                      \
     267{                                                                       \
     268  const long* s1 = (long*) &(p1->exp[0]);                               \
     269  const long* s2 = (long*) &(p2->exp[0]);                               \
     270  const long* const lb = s1 + length-1;                                 \
     271                                                                        \
     272  for (;;)                                                              \
     273  {                                                                     \
     274    d = *s2 - *s1;                                                      \
     275    if (d) actionD;                                                     \
     276    s1++;                                                               \
     277    if (s1 == lb) break;                                                \
     278    s2++;                                                               \
     279    d = *s2 - *s1;                                                      \
     280    if (d) actionD;                                                     \
     281    s1++;                                                               \
     282    s2++;                                                               \
     283  }                                                                     \
     284                                                                        \
     285  d = *(s2 + 1) - *s1;                                                  \
     286  if (d)                                                                \
     287  {                                                                     \
     288    const long c1 = pGetComp(p1);                                       \
     289    const long c2 = pGetComp(p2);                                       \
     290    if (c2 - c1 == d)                                                   \
     291    {                                                                   \
     292      d = currcomponents[c1] - currcomponents[c2];                      \
     293    }                                                                   \
     294    actionD;                                                            \
     295  }                                                                     \
     296  actionE;                                                              \
     297}                                                                       \
     298while(0)
     299
     300#define _pMonComp_otSYZDPC_nwODD(p1, p2, length, d, actionD, actionE)   \
     301do                                                                      \
     302{                                                                       \
     303  const long* s1 = (long*) &(p1->exp[0]);                               \
     304  const long* s2 = (long*) &(p2->exp[0]);                               \
     305  const long* const lb = s1 + length      -1;                           \
     306                                                                        \
     307  for (;;)                                                              \
     308  {                                                                     \
     309    d = *s2 - *s1;                                                      \
     310    if (d) actionD;                                                     \
     311    s1++;                                                               \
     312    s2++;                                                               \
     313    d = *s1 - *s2;                                                      \
     314    if (d) actionD;                                                     \
     315    s1++;                                                               \
     316    if (s1 == lb) break;                                                \
     317    s2++;                                                               \
     318  }                                                                     \
     319                                                                        \
     320  d = *(s2 + 1) - *s1;                                                  \
     321  if (d)                                                                \
     322  {                                                                     \
     323    const long c1 = pGetComp(p1);                                       \
     324    const long c2 = pGetComp(p2);                                       \
     325    if (c2 - c1 == d)                                                   \
     326    {                                                                   \
     327      d = currcomponents[c1] - currcomponents[c2];                      \
     328    }                                                                   \
     329    actionD;                                                            \
     330  }                                                                     \
     331  actionE;                                                              \
     332}                                                                       \
     333while(0)
     334
     335#define _pMonComp_otSYZDPC_nwGEN(p1, p2, length, d, actionD, actionE)   \
     336do                                                                      \
     337{                                                                       \
     338  const long* s1 = (long*) &(p1->exp[0]);                               \
     339  const long* s2 = (long*) &(p2->exp[0]);                               \
     340  const long* const lb = s1 + length -1;                                \
     341                                                                        \
     342  for (;;)                                                              \
     343  {                                                                     \
     344    d = *s2 - *s1;                                                      \
     345    if (s1 == lb) break;                                                \
     346    if (d) actionD;                                                     \
     347    s1++;                                                               \
     348    s2++;                                                               \
     349  }                                                                     \
     350                                                                        \
     351  if (d)                                                                \
     352  {                                                                     \
     353    const long c1 = pGetComp(p1);                                       \
     354    const long c2 = pGetComp(p2);                                       \
     355    if (c2 - c1 == d)                                                   \
     356    {                                                                   \
     357      d = currcomponents[c1] - currcomponents[c2];                      \
     358    }                                                                   \
     359    actionD;                                                            \
     360  }                                                                     \
     361  actionE;                                                              \
     362}                                                                       \
     363while(0)
    223364
    224365#else //  ! WORDS_BIGENDIAN
     
    419560  }                                                                     \
    420561                                                                        \
    421   d = *s1 - *s2;                                                  \
     562  d = *s1 - *s2;                                                        \
    422563  if (d)                                                                \
    423564  {                                                                     \
     
    430571while(0)
    431572
     573#define _pMonComp_otSYZDPC_nwODD(p1, p2, length, d, actionD, actionE)       \
     574do                                                                          \
     575{                                                                           \
     576  const long* s1 = ((long*) p1) + pMonomSizeW-1;                            \
     577  const long* s2 = ((long*) p2)  + pMonomSizeW-1;                           \
     578  const long* const lb = s1 - length +1;                                    \
     579                                                                            \
     580  for (;;)                                                                  \
     581  {                                                                         \
     582    d = *s2 - *s1;                                                          \
     583    if (d) actionD;                                                         \
     584    s1--;                                                                   \
     585    s2--;                                                                   \
     586    d = *s2 - *s1;                                                          \
     587    if (d) actionD;                                                         \
     588    s1--;                                                                   \
     589    if (s1 == lb) break;                                                    \
     590    s2--;                                                                   \
     591  }                                                                         \
     592                                                                            \
     593  d = *(s2 - 1) - *s1;                                                      \
     594  if (d)                                                                    \
     595  {                                                                         \
     596    const long c1 = pGetComp(p1);                                           \
     597    const long c2 = pGetComp(p2);                                           \
     598    if (c2 - c1 == d)                                                       \
     599    {                                                                       \
     600      d = currcomponents[c1] - currcomponents[c2];                          \
     601    }                                                                       \
     602    actionD;                                                                \
     603  }                                                                         \
     604  actionE;                                                                  \
     605}                                                                           \
     606while(0)
     607
     608#define _pMonComp_otSYZDPC_nwEVEN(p1, p2, length, d, actionD, actionE) \
     609do                                                                      \
     610{                                                                       \
     611  const long* s1 = ((long*) p1) + pMonomSizeW-1;                        \
     612  const long* s2 = ((long*) p2)  + pMonomSizeW-1;                       \
     613  const long* const lb = s1 - length +1;                                \
     614                                                                        \
     615  for (;;)                                                              \
     616  {                                                                     \
     617    d = *s2 - *s1;                                                      \
     618    if (d) actionD;                                                     \
     619    s1--;                                                               \
     620    if (s1 == lb) break;                                                \
     621    s2--;                                                               \
     622    d = *s2 - *s1;                                                      \
     623    if (d) actionD;                                                     \
     624    s1--;                                                               \
     625    s2--;                                                               \
     626  }                                                                     \
     627                                                                        \
     628  d = *(s2 - 1) - *s1;                                                  \
     629  if (d)                                                                    \
     630  {                                                                         \
     631    const long c1 = pGetComp(p1);                                           \
     632    const long c2 = pGetComp(p2);                                           \
     633    if (c2 - c1 == d)                                                       \
     634    {                                                                       \
     635      d = currcomponents[c1] - currcomponents[c2];                          \
     636    }                                                                       \
     637    actionD;                                                                \
     638  }                                                                         \
     639  actionE;                                                              \
     640}                                                                       \
     641while(0)
     642
     643#define _pMonComp_otSYZDPC_nwTWO(p1, p2, d, actionD, actionE)           \
     644do                                                                      \
     645{                                                                       \
     646  const long* s1 = ((long*) p1) + pMonomSizeW-1;                        \
     647  const long* s2 = ((long*) p2)  + pMonomSizeW-1;                       \
     648  d = *s2 - *s1;                                                        \
     649  if (d) actionD;                                                       \
     650  d = *s2 - *s1;                                                        \
     651  if (d) actionD;                                                       \
     652  d = *(s2 -1) - *(s1 -1);                                              \
     653  if (d)                                                                    \
     654  {                                                                         \
     655    const long c1 = pGetComp(p1);                                           \
     656    const long c2 = pGetComp(p2);                                           \
     657    if (c2 - c1 == d)                                                       \
     658    {                                                                       \
     659      d = currcomponents[c1] - currcomponents[c2];                          \
     660    }                                                                       \
     661    actionD;                                                                \
     662  }                                                                         \
     663  actionE;                                                              \
     664}                                                                       \
     665while(0)
     666
     667#define _pMonComp_otSYZDPC_nwONE(p1, p2, d, actionD, actionE)               \
     668do                                                                          \
     669{                                                                           \
     670  d = *(((long*) p2) + pMonomSizeW-1) - *(((long*) p1)  + pMonomSizeW-1);   \
     671  if (d)                                                                    \
     672  {                                                                         \
     673    const long c1 = pGetComp(p1);                                           \
     674    const long c2 = pGetComp(p2);                                           \
     675    if (c2 - c1 == d)                                                       \
     676    {                                                                       \
     677      d = currcomponents[c1] - currcomponents[c2];                          \
     678    }                                                                       \
     679    actionD;                                                                \
     680  }                                                                         \
     681  actionE;                                                                  \
     682}                                                                           \
     683while(0)
     684
     685#define _pMonComp_otSYZDPC_nwGEN(p1, p2, length, d, actionD, actionE)   \
     686do                                                                      \
     687{                                                                       \
     688  const long* s1 = ((long*) p1) + pMonomSizeW-1;                        \
     689  const long* s2 = ((long*) p2)  + pMonomSizeW-1;                       \
     690  const long* const lb = s1 - length +1;                                \
     691                                                                        \
     692  for (;;)                                                              \
     693  {                                                                     \
     694    d = *s2 - *s1;                                                      \
     695    if (s1 == lb) break;                                                \
     696    if (d) actionD;                                                     \
     697    s1--;                                                               \
     698    s2--;                                                               \
     699  }                                                                     \
     700                                                                        \
     701  if (d)                                                                \
     702  {                                                                     \
     703    const long c1 = pGetComp(p1);                                       \
     704    const long c2 = pGetComp(p2);                                       \
     705    if (c2 - c1 == d)                                                   \
     706    {                                                                   \
     707      d = currcomponents[c1] - currcomponents[c2];                      \
     708    }                                                                   \
     709    actionD;                                                            \
     710  }                                                                     \
     711  actionE;                                                              \
     712}                                                                       \
     713while(0)
     714
    432715#endif // WORDS_BIGENDIAN
    433716
  • Singular/polys.cc

    r6ffb6f r8c8bea  
    22*  Computer Algebra System SINGULAR     *
    33****************************************/
    4 /* $Id: polys.cc,v 1.38 1999-05-25 16:49:39 obachman Exp $ */
     4/* $Id: polys.cc,v 1.39 1999-05-26 16:23:59 obachman Exp $ */
    55
    66/*
     
    19271927}
    19281928
     1929
     1930// Splits *p into two polys: *q which consists of all monoms with
     1931// component == comp and *p of all other monoms *lq == pLength(*q)
     1932void pTakeOutComp(poly *r_p, Exponent_t comp, poly *r_q, int *lq)
     1933{
     1934  spolyrec pp, qq;
     1935  poly p, q, p_prev;
     1936  int l = 0;
     1937
     1938#ifdef HAVE_ASSUME
     1939  int lp = pLength(*r_p);
     1940#endif
     1941
     1942  pNext(&pp) = *r_p;
     1943  p = *r_p;
     1944  p_prev = &pp;
     1945  q = &qq;
     1946
     1947  while(p != NULL)
     1948  {
     1949    while (pGetComp(p) == comp)
     1950    {
     1951      pNext(q) = p;
     1952      pIter(q);
     1953      pSetComp(p, 0);
     1954      pIter(p);
     1955      l++;
     1956      if (p == NULL)
     1957      {
     1958        pNext(p_prev) = NULL;
     1959        goto Finish;
     1960      }
     1961    }
     1962    pNext(p_prev) = p;
     1963    p_prev = p;
     1964    pIter(p);
     1965  }
     1966
     1967  Finish:
     1968  pNext(q) = NULL;
     1969  *r_p = pNext(&pp);
     1970  *r_q = pNext(&qq);
     1971  *lq = l;
     1972#ifdef HAVE_ASSUME
     1973  assume(pLength(*r_p) + pLength(*r_q) == lp);
     1974#endif
     1975  pTest(*r_p);
     1976  pTest(*r_q);
     1977}
     1978
     1979void pDecrOrdTakeOutComp(poly *r_p, Exponent_t comp, Order_t order,
     1980                         poly *r_q, int *lq)
     1981{
     1982  spolyrec pp, qq;
     1983  poly p, q, p_prev;
     1984  int l = 0;
     1985
     1986  pNext(&pp) = *r_p;
     1987  p = *r_p;
     1988  p_prev = &pp;
     1989  q = &qq;
     1990
     1991#ifdef HAVE_ASSUME
     1992  if (p != NULL)
     1993  {
     1994    while (pNext(p) != NULL)
     1995    {
     1996      assume(pGetOrder(p) >= pGetOrder(pNext(p)));
     1997      pIter(p);
     1998    }
     1999  }
     2000  p = *r_p;
     2001#endif
     2002
     2003  while (p != NULL && pGetOrder(p) > order) pIter(p);
     2004
     2005  while(p != NULL && pGetOrder(p) == order)
     2006  {
     2007    while (pGetComp(p) == comp)
     2008    {
     2009      pNext(q) = p;
     2010      pIter(q);
     2011      pIter(p);
     2012      pSetComp(p, 0);
     2013      l++;
     2014      if (p == NULL || pGetOrder(p) != order)
     2015      {
     2016        pNext(p_prev) = p;
     2017        goto Finish;
     2018      }
     2019    }
     2020    pNext(p_prev) = p;
     2021    p_prev = p;
     2022    pIter(p);
     2023  }
     2024
     2025  Finish:
     2026  pNext(q) = NULL;
     2027  *r_p = pNext(&pp);
     2028  *r_q = pNext(&qq);
     2029  *lq = l;
     2030}
     2031
    19292032poly pTakeOutComp1(poly * p, int k)
    19302033{
  • Singular/polys.h

    r6ffb6f r8c8bea  
    44*  Computer Algebra System SINGULAR     *
    55****************************************/
    6 /* $Id: polys.h,v 1.19 1998-12-03 11:02:37 obachman Exp $ */
     6/* $Id: polys.h,v 1.20 1999-05-26 16:24:00 obachman Exp $ */
    77/*
    88* ABSTRACT - all basic methods to manipulate polynomials
     
    298298BOOLEAN   pVectorHasUnitB(poly p, int * k);
    299299void      pVectorHasUnit(poly p, int * k, int * len);
     300poly      pTakeOutComp1(poly * p, int k);
     301// Splits *p into two polys: *q which consists of all monoms with
     302// component == comp and *p of all other monoms *lq == pLength(*q)
     303// On rreturn all components pf *q == 0
     304void pTakeOutComp(poly *p, Exponent_t comp, poly *q, int *lq);
     305// Similar to pTakeOutComp, except that only those components are
     306// taken out whose Order == order
     307// ASSUME: monomial ordering is Order compatible, i.e., if m1, m2 Monoms then
     308//         m1 >= m2 ==> pGetOrder(m1) >= pGetOrder(m2)
     309void pDecrOrdTakeOutComp(poly *p, Exponent_t comp, Order_t order,
     310                         poly *q, int *lq);
     311// This is something weird -- Don't use it, unless you know what you are doing
    300312poly      pTakeOutComp(poly * p, int k);
    301 poly      pTakeOutComp1(poly * p, int k);
    302313void      pDeleteComp(poly * p,int k);
    303314void      pNorm(poly p);
  • Singular/ring.h

    r6ffb6f r8c8bea  
    77* ABSTRACT - the interpreter related ring operations
    88*/
    9 /* $Id: ring.h,v 1.25 1999-05-10 15:10:54 Singular Exp $ */
     9/* $Id: ring.h,v 1.26 1999-05-26 16:24:00 obachman Exp $ */
    1010
    1111/* includes */
     
    106106                          // component is compatible with exp-vector order
    107107  rOrderType_Syz,         // syzygy ordering
    108   rOrderType_Schreyer     // Schreyer ordering
     108  rOrderType_Schreyer,     // Schreyer ordering
     109  rOrderType_Syz2dpc,     // syzcomp2dpc
     110  rOrderType_ExpNoComp    // simple ordering, differences in component are
     111                          // not considered
    109112} rOrderType_t;
    110113
  • Singular/spolys0.cc

    r6ffb6f r8c8bea  
    22*  Computer Algebra System SINGULAR     *
    33****************************************/
    4 /* $Id: spolys0.cc,v 1.13 1998-11-11 14:44:27 Singular Exp $ */
     4/* $Id: spolys0.cc,v 1.14 1999-05-26 16:24:01 obachman Exp $ */
    55
    66/*
     
    2929*   this value is used to control the spolys
    3030*/
    31 static int spCheckCoeff(number *a, number *b)
     31int spCheckCoeff(number *a, number *b)
    3232{
    3333  int c = 0;
  • Singular/structs.h

    r6ffb6f r8c8bea  
    44*  Computer Algebra System SINGULAR     *
    55****************************************/
    6 /* $Id: structs.h,v 1.19 1999-04-29 11:38:58 Singular Exp $ */
     6/* $Id: structs.h,v 1.20 1999-05-26 16:24:02 obachman Exp $ */
    77/*
    88* ABSTRACT
     
    5454class procinfo;
    5555class namerec;
     56class kBucket;
    5657#endif
    5758
     
    106107typedef procinfo *         procinfov;
    107108typedef namerec *          namehdl;
     109typedef kBucket*           kBucket_pt;
    108110
    109111struct _scmdnames
  • Singular/syz.h

    r6ffb6f r8c8bea  
    44*  Computer Algebra System SINGULAR     *
    55****************************************/
    6 /* $Id: syz.h,v 1.12 1998-11-12 14:44:37 siebert Exp $ */
     6/* $Id: syz.h,v 1.13 1999-05-26 16:24:02 obachman Exp $ */
    77/*
    88* ABSTRACT: Resolutions
     
    9494syStrategy syMinimize(syStrategy syzstr);
    9595void syKillEmptyEntres(resolvente res,int length);
     96
     97extern int *  currcomponents;
    9698#endif
Note: See TracChangeset for help on using the changeset viewer.