Changeset 4bbe3b in git


Ignore:
Timestamp:
Dec 8, 2003, 6:31:02 PM (20 years ago)
Author:
Hans Schönemann <hannes@…>
Branches:
(u'spielwiese', '91fdef05f09f54b8d58d92a472e9c4a43aa4656f')
Children:
76b84f5bfd7c384f5c7a94ccf6a2de3f89981093
Parents:
c14061bb051b9d471f072e6f16e14485a8bd0f5f
Message:
*hannes: missing files


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

Legend:

Unmodified
Added
Removed

  • kernel/Makefile.in

    rc14061 r4bbe3b  
    2525# includes are taken from here
    2626includedir      = @includedir@
    27 slibdir         = ${prefix}/LIB
    2827install_bindir  = ${install_prefix}/${SINGUNAME}
    29 install_slibdir = ${install_prefix}/LIB
    3028
    3129##
    … …  
    9896CXXSOURCES=algmap.cc clapconv.cc \
    9997    clapsing.cc mminit.cc\
    100     febase.cc feread.cc fehelp.cc feResource.cc \
     98    febase.cc feread.cc feResource.cc \
    10199    ffields.cc hdegree.cc hilb.cc hutil.cc \
    102100    gring.cc gr_kstd2.cc\
    … …  
    125123
    126124
    127 # stuff for dbm
    128 DBMSR_SOURCES =  ndbm.cc sing_dbm.cc
    129 
    130125# normal C source files
    131126CSOURCES=weight0.c fegetopt.c fereadl.c dError.c mmstd.c
    … …  
    142137
    143138# C++ sources for which both, shared and static object files are needed
    144 COMMON_SOURCES = $(MPSR_SOURCES) $(DBMSR_SOURCES)
     139COMMON_SOURCES = $(MPSR_SOURCES)
    145140
    146141# special C++ source files (need extra compiling and/or linking), for which
    … …  
    174169        kstdfac.h mpsr_Get.h kmatrix.h\
    175170        kutil.h mpsr_Put.h\
    176         ndbm.h dbm_sl.h polys-impl.h \
     171        dbm_sl.h polys-impl.h \
    177172        GMPrat.h multicnt.h npolygon.h semic.h spectrum.h splist.h multicnt.h \
    178173        eigenval.h units.h mod_raw.h kbuckets.h sbuckets.h\
    … …  
    201196ifeq ($(DL_KERNEL),1)
    202197OBJS    := $(OBJS) $(DL_KERNEL_SOURCES:.cc=.o)
    203 DBMSR_SO= dbmsr.so
    204 DL_LIBS := $(P_PROCS_MODULES:%=p_Procs_%.so) $(DBMSR_SO)
     198DL_LIBS := $(P_PROCS_MODULES:%=p_Procs_%.so)
    205199else
    206200ifndef LD_STATIC
    … …  
    298292        $(LD) ${SLDFLAGS} -o $@ $^ -L${libdir} ${MP_LIBS}
    299293
    300 dbmsr.so: $(DBMSR_SOURCES:.cc=.dl_o)
    301         $(LD) ${SLDFLAGS} -o $@ $^
    302 
    303 ifeq ($(SINGUNAME),ix86-Win)
    304 ##
    305 ## windows only targets
    306 ##
    307 
    308 ## resources
    309 Singular.rc: Singular.rc.in config.status
    310         CONFIG_FILES="Singular.rc" CONFIG_HEADERS= ./config.status
    311 
    312 ESingular_res.o: Singular.rc
    313         windres -DESINGULAR -i Singular.rc -o ESingular_res.o
    314 
    315 TSingular_res.o: Singular.rc
    316         windres -DTSINGULAR -i Singular.rc -o TSingular_res.o
    317 
    318 Singular_res.o: Singular.rc
    319         windres -DSINGULAR -i Singular.rc -o Singular_res.o
    320 
    321 ## run
    322 run.o: run.c run.h
    323         gcc -c -I. -O2 run.c -o run.o
    324 
    325 runTSingular : run.o TSingular_res.o
    326         gcc -mwindows -e _mainCRTStartup run.o TSingular_res.o -o runTSingular.exe
    327 
    328 runESingular : run.o ESingular_res.o
    329         gcc -mwindows -e _mainCRTStartup run.o ESingular_res.o -o runESingular.exe
    330 
    331 RUN_SINGULARS=runESingular runTSingular
    332 
    333 endif
    334 
    335294##
    336295## install targets
    337296##
    338 install: all installbin installslib
    339 
    340 installbin: ${SING_EXEC}  ESingular TSingular ${RUN_SINGULARS}
     297install: all installbin
     298
     299installbin: ${DL_LIBS}
    341300        ${MKINSTALLDIRS} ${bindir}
    342         ${INSTALL_PROGRAM} ${SING_EXEC} ${SINGULAR}
    343         ${INSTALL_PROGRAM} libparse ${RUN_SINGULARS} ${bindir}
    344         ${INSTALL_PROGRAM} ESingular TSingular ${DL_LIBS} ${bindir}
    345         chmod a+x ${SINGULAR}${EXEC_EXT}
    346         rm -f ${bindir}/${SING_EXEC}${EXEC_EXT}
    347         cd ${bindir}; ${LN_S} ${SINGULAR} Singular${EXEC_EXT};
    348 
    349 installslib: LIB
    350         test -r ${slibdir} || ${LN_S} `pwd`/LIB ${slibdir}
    351 
    352 
    353 uninstall: uninstallbin
    354 
    355 uninstallbin:
    356         rm -f ${bindir}/Singular${EXEC_EXT}
    357         rm -f ${SINGULAR}
    358         -rmdir ${bindir}
     301        ${INSTALL_PROGRAM} ${DL_LIBS} ${bindir}
     302        ${INSTALL_PROGRAM} ${DL_LIBS} ../Singular
    359303
    360304##
    … …  
    362306##
    363307mostlyclean:
    364         -rm -f Singular Singular-static Singulara feOpt*.inc p_Procs_*.inc
    365         -rm -f *.o *.og core *.op *.ob *.ot Singulart *.od *_d.cc *_d.c p_Procs *.oa *.dl_o* *.so*
    366         -rm -f ESingular* TSingular*
     308        -rm -f p_Procs_*.inc
     309        -rm -f *.o *.og core *.op *.ob *.ot *.od *_d.cc *_d.c p_Procs *.oa *.dl_o* *.so*
    367310
    368311clean: mostlyclean
    369312        -rm -f *.bak *.d *.dd depend
    370         -rm -f ${slibdir}
    371313
    372314distclean: clean
    … …  
    392334        echo "#define MAKE_DISTRIBUTION " > distrib.h
    393335        sleep 1
    394         ${MAKE} ${SING_EXEC} ESingular TSingular libparse ${RUN_SINGULARS}
    395336        ${MKINSTALLDIRS} ${install_bindir}
    396337        ${INSTALL_PROGRAM} -s  ${SING_EXEC} ${install_bindir}/Singular
    397         ${INSTALL_PROGRAM} -s  libparse ${RUN_SINGULARS} ESingular TSingular ${DL_LIBS} ${install_bindir}
     338        ${INSTALL_PROGRAM} -s  libparse ${RUN_SINGULARS} ${DL_LIBS} ${install_bindir}
    398339        echo "#undef MAKE_DISTRIBUTION " > distrib.h
    399 
    400 install-sharedist: ${SLIBS_FILES} LIB/gftables
    401         ${MKINSTALLDIRS} ${install_slibdir}
    402         cp ${SLIBS_FILES} ${install_slibdir}
    403         ${MKINSTALLDIRS} ${install_slibdir}/gftables
    404         cp ${GFTABLES} ${install_slibdir}/gftables
    405         chmod -R +rX ${install_slibdir}/*
    406340
    407341tar:
    … …  
    462396
    463397OBJG := $(OBJG) $(DL_KERNEL_SOURCES:.cc=.og)
    464 DL_LIBSG := $(P_PROCS_MODULES:%=p_Procs_%.sog) $(MPSR_SO:%.so=%.sog) $(DBMSR_SO:%.so=%.sog)
     398DL_LIBSG := $(P_PROCS_MODULES:%=p_Procs_%.sog) $(MPSR_SO:%.so=%.sog)
    465399
    466400OBJP := $(OBJP) $(DL_KERNEL_SOURCES:.cc=.op)
    467 DL_LIBSP := $(P_PROCS_MODULES:%=p_Procs_%.sop) $(MPSR_SO:%.so=%.sop) $(DBMSR_SO:%.so=%.sop)
     401DL_LIBSP := $(P_PROCS_MODULES:%=p_Procs_%.sop) $(MPSR_SO:%.so=%.sop)
    468402
    469403OBJB := $(OBJB) $(DL_KERNEL_SOURCES:.cc=.ob)
    470 DL_LIBSB := $(P_PROCS_MODULES:%=p_Procs_%.sob) $(MPSR_SO:%.so=%.sob) $(DBMSR_SO:%.so=%.sob)
     404DL_LIBSB := $(P_PROCS_MODULES:%=p_Procs_%.sob) $(MPSR_SO:%.so=%.sob)
    471405
    472406OBJT := $(OBJT) $(DL_KERNEL_SOURCES:.cc=.ot)
    473 DL_LIBST := $(P_PROCS_MODULES:%=p_Procs_%.sot) $(MPSR_SO:%.so=%.sot) $(DBMSR_SO:%.so=%.sot)
     407DL_LIBST := $(P_PROCS_MODULES:%=p_Procs_%.sot) $(MPSR_SO:%.so=%.sot)
    474408
    475409OBJA := $(OBJA) $(DL_KERNEL_SOURCES:.cc=.oa)
    476 DL_LIBSA := $(P_PROCS_MODULES:%=p_Procs_%.soa) $(MPSR_SO:%.so=%.soa) $(DBMSR_SO:%.so=%.soa)
     410DL_LIBSA := $(P_PROCS_MODULES:%=p_Procs_%.soa) $(MPSR_SO:%.so=%.soa)
    477411
    478412else
    … …  
    524458
    525459mpsr.sog: $(MPSR_SOURCES:.cc=.dl_og)
    526         ${CXXG} ${CXXFLAGSG} ${SFLAGS} ${SLDFLAGS} ${LDFLAGS} -o $@ $^ ${MP_LIBS}
    527 
    528 dbmsr.sog: $(DBMSR_SOURCES:.cc=.dl_og)
    529460        ${CXXG} ${CXXFLAGSG} ${SFLAGS} ${SLDFLAGS} ${LDFLAGS} -o $@ $^ ${MP_LIBS}
    530461
    … …  
    591522        ${CXXP} ${CXXFLAGSP} ${SFLAGS} ${SLDFLAGS} ${LDFLAGS} -o $@ $^ ${MP_LIBS}
    592523
    593 dbmsr.sop: $(DBMSR_SOURCES:.cc=.dl_op)
    594         ${CXXP} ${CXXFLAGSP} ${SFLAGS} ${SLDFLAGS} ${LDFLAGS} -o $@ $^ ${MP_LIBS}
    595 
    596524claptmpl.op: claptmpl.cc mod2.h
    597525        $(CXXP)  ${CXXFLAGSP} ${CPPFLAGS} ${DEFSP} -c $< -o $@
    … …  
    629557        ${CXXP} ${CXXFLAGSB} ${SFLAGS} ${SLDFLAGS} ${LDFLAGS} -o $@ $^ ${MP_LIBS}
    630558
    631 dbmsr.sob: $(DBMSR_SOURCES:.cc=.dl_ob)
    632         ${CXXP} ${CXXFLAGSB} ${SFLAGS} ${SLDFLAGS} ${LDFLAGS} -o $@ $^ ${MP_LIBS}
    633 
    634559claptmpl.ob: claptmpl.cc mod2.h
    635560        $(CXXP)  ${CXXFLAGSP} ${CPPFLAGS} ${DEFSB} -c $< -o $@
    … …  
    666591mpsr.sot: $(MPSR_SOURCES:.cc=.dl_ot)
    667592        ${CXXP} ${CXXFLAGST} ${SFLAGS} ${SLDFLAGS} ${LDFLAGS} -o $@ $^ ${MP_LIBS}
    668 
    669 dbmsr.sot: $(DBMSR_SOURCES:.cc=.dl_ot)
    670         ${CXX} ${CXXFLAGST} ${SFLAGS} ${SLDFLAGS} ${LDFLAGS} -o $@ $^ ${MP_LIBS}
    671593
    672594claptmpl.ot: claptmpl.cc mod2.h
    … …  
    709631mpsr.soa: $(MPSR_SOURCES:.cc=.dl_oa)
    710632        ${CXX} ${CXXFLAGSA} ${SFLAGS} ${SLDFLAGS} ${LDFLAGS} -o $@ $^ ${MP_LIBS}
    711 
    712 dbmsr.soa: $(DBMSR_SOURCES:.cc=.dl_oa)
    713         ${CXX} ${CXXFLAGSA} ${SFLAGS} ${SLDFLAGS} ${LDFLAGS} -o $@ $^ ${MP_LIBS}
    714 
    715633
    716634claptmpl.oa: claptmpl.cc mod2.h

  • kernel/gr_kstd2.cc

    rc14061 r4bbe3b  
    22*  Computer Algebra System SINGULAR     *
    33****************************************/
    4 /* $Id: gr_kstd2.cc,v 1.1.1.1 2003-10-06 12:15:53 Singular Exp $ */
     4/* $Id: gr_kstd2.cc,v 1.2 2003-12-08 17:31:01 Singular Exp $ */
    55/*
    66*  ABSTRACT -  Kernel: noncomm. alg. of Buchberger
    … …  
    1919#include "cntrlc.h"
    2020#include "weight.h"
    21 #include "ipid.h"
    22 #include "ipshell.h"
    2321#include "intvec.h"
    24 #include "tok.h"
     22#include "structs.h"
    2523#include "gring.h"
    2624
    … …  
    7775        wrp(strat->S[j]);
    7876      }
    79       (*h).p = nc_spGSpolyRed(strat->S[j],(*h).p, NULL, currRing);
     77      (*h).p = nc_ReduceSpoly(strat->S[j],(*h).p, NULL, currRing);
    8078      //spSpolyRed(strat->T[j].p,(*h).p,strat->kNoether);
    8179
    … …  
    152150*  and the case of a degree-ordering
    153151*/
    154 static int redHomog (LObject* h,kStrategy strat)
     152static int nc_redHomog (LObject* h,kStrategy strat)
    155153{
    156154  if (strat->tl<0)
    … …  
    179177      }
    180178      /*- compute the s-polynomial -*/
    181       (*h).p = nc_spGSpolyRed(strat->S[j],(*h).p,strat->kNoether,currRing);
     179      (*h).p = nc_ReduceSpoly(strat->S[j],(*h).p,strat->kNoether,currRing);
    182180      if ((*h).p == NULL)
    183181      {
    … …  
    216214*  and the case of a degree-ordering
    217215*/
    218 static int redHomog0 (LObject* h,kStrategy strat)
     216static int nc_redHomog0 (LObject* h,kStrategy strat)
    219217{
    220218  if (strat->tl<0)
    … …  
    244242      }
    245243      /*- compute the s-polynomial -*/
    246       (*h).p = nc_spGSpolyRed(strat->T[j].p,(*h).p,strat->kNoether,currRing);
     244      (*h).p = nc_ReduceSpoly(strat->T[j].p,(*h).p,strat->kNoether,currRing);
    247245      if ((*h).p == NULL)
    248246      {
    … …  
    289287*  and not a degree-ordering
    290288*/
    291 static int redLazy (LObject* h,kStrategy strat)
     289static int nc_redLazy (LObject* h,kStrategy strat)
    292290{
    293291  if (strat->tl<0)
    … …  
    319317      }
    320318      /*- compute the s-polynomial -*/
    321       (*h).p = nc_spGSpolyRed(strat->S[j],(*h).p,strat->kNoether,currRing);
     319      (*h).p = nc_ReduceSpoly(strat->S[j],(*h).p,strat->kNoether,currRing);
    322320      if ((*h).p == NULL)
    323321      {
    … …  
    399397* element in T with respect to the given ecart
    400398*/
    401 static int redHoney (LObject*  h,kStrategy strat)
     399static int nc_redHoney (LObject*  h,kStrategy strat)
    402400{
    403401  if (strat->tl<0)
    … …  
    482480      {
    483481        strat->fromT=FALSE;
    484         (*h).p = nc_spGSpolyRedNew(pi,(*h).p,strat->kNoether,currRing);
     482        (*h).p = nc_ReduceSpolyNew(pi,(*h).p,strat->kNoether,currRing);
    485483      }
    486484      else
    487         (*h).p = nc_spGSpolyRed(pi,(*h).p,strat->kNoether,currRing);
     485        (*h).p = nc_ReduceSpoly(pi,(*h).p,strat->kNoether,currRing);
    488486      if (TEST_OPT_DEBUG)
    489487      {
    … …  
    576574*  reduces with elements from T and chooses the best possible
    577575*/
    578 static int redBest (LObject*  h,kStrategy strat)
     576static int nc_redBest (LObject*  h,kStrategy strat)
    579577{
    580578  if (strat->tl<0)
    … …  
    607605      else
    608606#endif
    609       p = nc_spShort(strat->T[j].p,(*h).p);
     607      p = nc_CreateShortSpoly(strat->T[j].p,(*h).p);
    610608      /* computes only the first monomial of the spoly  */
    611609      if (p)
    … …  
    631629              else
    632630#endif
    633               ph = nc_spShort(strat->T[j].p,(*h).p);
     631              ph = nc_CreateShortSpoly(strat->T[j].p,(*h).p);
    634632              if (ph==NULL)
    635633              {
    … …  
    657655        }
    658656        pLmFree(p);
    659         (*h).p = nc_spGSpolyRed(strat->T[jbest].p,(*h).p,strat->kNoether,currRing);
     657        (*h).p = nc_ReduceSpoly(strat->T[jbest].p,(*h).p,strat->kNoether,currRing);
    660658      }
    661659      else
    … …  
    734732  strat->enterS = enterSBba;
    735733  if ((BTEST1(20)) && (!strat->honey))
    736     strat->red = redBest;
     734    strat->red = nc_redBest;
    737735  else if (strat->honey)
    738     strat->red = redHoney;
     736    strat->red = nc_redHoney;
    739737  else if (pLexOrder && !strat->homog)
    740     strat->red = redLazy;
     738    strat->red = nc_redLazy;
    741739  else if (TEST_OPT_INTSTRATEGY && strat->homog)
    742     strat->red = redHomog0;
     740    strat->red = nc_redHomog0;
    743741  else
    744     strat->red = redHomog;
     742    strat->red = nc_redHomog;
    745743  if (rIsPluralRing(currRing))
    746744  {
    … …  
    761759  if ((TEST_OPT_WEIGHTM)&&(F!=NULL))
    762760  {
    763     //interred  machen   Aenderung
    764     pFDegOld=pFDeg;
    765     pLDegOld=pLDeg;
    766     h=ggetid("ecart");
    767     if ((h!=NULL) && (IDTYP(h)==INTVEC_CMD))
    768     {
    769       ecartWeights=iv2array(IDINTVEC(h));
    770     }
    771     else
     761     //interred  machen   Aenderung
     762     pFDegOld=pFDeg;
     763     pLDegOld=pLDeg;
     764  //   h=ggetid("ecart");
     765  //   if ((h!=NULL) && (IDTYP(h)==INTVEC_CMD))
     766  //   {
     767  //     ecartWeights=iv2array(IDINTVEC(h));
     768  //   }
     769  //   else
    772770    {
    773771      ecartWeights=(short *)omAlloc((pVariables+1)*sizeof(short));
    … …  
    833831      {
    834832        strat->cp++;
    835         /* prod.crit itself in nc_spGSpolyCreate */
    836       }
    837       strat->P.p = nc_spGSpolyCreate(strat->P.p1,strat->P.p2,strat->kNoether,currRing);
     833        /* prod.crit itself in nc_CreateSpoly */
     834      }
     835      strat->P.p = nc_CreateSpoly(strat->P.p1,strat->P.p2,strat->kNoether,currRing);
    838836    }
    839837    if (strat->P.p != NULL)

  • kernel/gring.cc

    rc14061 r4bbe3b  
    77 *  Author:  levandov (Viktor Levandovsky)
    88 *  Created: 8/00 - 11/00
    9  *  Version: $Id: gring.cc,v 1.1.1.1 2003-10-06 12:15:54 Singular Exp $
     9 *  Version: $Id: gring.cc,v 1.2 2003-12-08 17:31:02 Singular Exp $
    1010 *******************************************************************/
    1111#include "mod2.h"
    … …  
    2222#include "sbuckets.h"
    2323#include "prCopy.h"
    24 #include "ipid.h"
    2524#include "p_Mult_q.h"
    2625
    … …  
    776775  int cMTsize=r->nc->MTsize[vik];
    777776  int newcMTsize=0;
    778   newcMTsize=max(a,b);
     777  newcMTsize=si_max(a,b);
    779778
    780779  if (newcMTsize<=cMTsize)
    … …  
    10171016*/
    10181017
    1019 poly nc_spGSpolyRed(poly p1, poly p2,poly spNoether, const ring r)
     1018poly nc_ReduceSpoly(poly p1, poly p2,poly spNoether, const ring r)
    10201019{
    10211020  if (p_GetComp(p1,r)!=p_GetComp(p2,r)
    … …  
    10241023  {
    10251024#ifdef PDEBUG
    1026     Print("nc_spGSpolyRed: different components");
     1025    Print("nc_ReduceSpoly: different components");
    10271026#endif
    10281027    return(NULL);
    … …  
    10381037  number C=n_Copy(p_GetCoeff(N,r),r);
    10391038  number cF=n_Copy(p_GetCoeff(p2,r),r);
     1039  /* GCD stuff */
     1040  number cG = nGcd(C,cF,r);
     1041  if (!nEqual(cG,n_Init(1,r)))
     1042  {
     1043    cF = nDiv(cF,cG);
     1044    C  = nDiv(C,cG);
     1045  }
    10401046  p2=p_Mult_nn(p2,C,r);
    10411047  poly out = nc_mm_Mult_p(m, p_Copy(pNext(p1),r), r);
    … …  
    10481054  }
    10491055  out=p_Add_q(p2,N,r);
     1056  if (out!=NULL) pContent(out);
    10501057  p_Delete(&m,r);
    10511058  n_Delete(&cF,r);
    … …  
    10611068* p1 divides p2 -> for use in NF algorithm
    10621069*/
    1063 poly nc_spGSpolyRedNew(poly p1, poly p2,poly spNoether, const ring r)
    1064 {
    1065   return(nc_spGSpolyRed(p1,p_Copy(p2,r),spNoether,r));
     1070poly nc_ReduceSpolyNew(poly p1, poly p2,poly spNoether, const ring r)
     1071{
     1072  return(nc_ReduceSpoly(p1,p_Copy(p2,r),spNoether,r));
    10661073}
    10671074
    … …  
    10701077* do not destroy p1 and p2
    10711078*/
    1072 poly nc_spGSpolyCreate(poly p1, poly p2,poly spNoether, const ring r)
     1079poly nc_CreateSpoly(poly p1, poly p2,poly spNoether, const ring r)
    10731080{
    10741081  if ((p_GetComp(p1,r)!=p_GetComp(p2,r))
    … …  
    10771084  {
    10781085#ifdef PDEBUG
    1079     Print("nc_spGSpolyCreate : different components!");
     1086    Print("nc_CreateSpoly : different components!");
    10801087#endif
    10811088    return(NULL);
    … …  
    11071114  p_Delete(&pL,r);
    11081115  /* zero exponents ! */
    1109   poly M1=nc_mm_Mult_p(m1,p_Head(p1,r),r);
    1110   number C1=n_Copy(p_GetCoeff(M1,r),r);
    1111   poly M2=nc_mm_Mult_p(m2,p_Head(p2,r),r);
    1112   number C2=n_Copy(p_GetCoeff(M2,r),r);
     1116  poly M1    = nc_mm_Mult_p(m1,p_Head(p1,r),r);
     1117  number C1  = n_Copy(p_GetCoeff(M1,r),r);
     1118  poly M2    = nc_mm_Mult_p(m2,p_Head(p2,r),r);
     1119  number C2  = n_Copy(p_GetCoeff(M2,r),r);
     1120  /* GCD stuff */
     1121  number C = nGcd(C1,C2,r);
     1122  if (!nEqual(C,n_Init(1,r)))
     1123  {
     1124    C1=nDiv(C1,C);
     1125    C2=nDiv(C2,C);
     1126  }
    11131127  M1=p_Mult_nn(M1,C2,r);
    11141128  p_SetCoeff(m1,C2,r);
    … …  
    11421156  p_Test(M2,r);
    11431157#endif
     1158  if (M2!=NULL) pContent(M2);
    11441159  return(M2);
    11451160}
    … …  
    11501165* do not destroy p1, but tail(q)
    11511166*/
    1152 void nc_spGSpolyRedTail(poly p1, poly q, poly q2, poly spNoether, const ring r)
     1167void nc_ReduceSpolyTail(poly p1, poly q, poly q2, poly spNoether, const ring r)
    11531168{
    11541169  poly a1=p_Head(p1,r);
    … …  
    11871202* do not destroy p1 and p2
    11881203*/
    1189 poly nc_spShort(poly p1, poly p2, const ring r)
     1204poly nc_CreateShortSpoly(poly p1, poly p2, const ring r)
    11901205{
    11911206  if (p_GetComp(p1,r)!=p_GetComp(p2,r))
    … …  
    14451460        q = nc_p_Mult_mm(pCopy(p),varj,currRing);
    14461461        pDelete(&varj);
    1447         q = nc_spGSpolyRed(p,q,NULL,currRing);
     1462        q = nc_ReduceSpoly(p,q,NULL,currRing);
    14481463        q = kNF(J,currQuotient,q,0,0);
    14491464        if (q!=NULL)

  • kernel/kutil.cc

    rc14061 r4bbe3b  
    22*  Computer Algebra System SINGULAR     *
    33****************************************/
    4 /* $Id: kutil.cc,v 1.1.1.1 2003-10-06 12:15:54 Singular Exp $ */
     4/* $Id: kutil.cc,v 1.2 2003-12-08 17:31:02 Singular Exp $ */
    55/*
    66* ABSTRACT: kernel: utils for kStd
    … …  
    11531153          Lp.p = nc_p_Bracket_qq(pCopy(p),strat->S[i]);
    11541154      }
    1155       else  Lp.p = nc_spGSpolyCreate(strat->S[i],p,NULL,currRing);
     1155      else  Lp.p = nc_CreateSpoly(strat->S[i],p,NULL,currRing);
    11561156    }
    11571157    else
Note: See TracChangeset for help on using the changeset viewer.