Changeset 57fad3a in git


Ignore:
Timestamp:
Jun 13, 2009, 4:38:23 PM (14 years ago)
Author:
Hans Schönemann <hannes@…>
Branches:
(u'jengelh-datetime', 'ceac47cbc86fe4a15902392bdbb9bd2ae0ea02c6')(u'spielwiese', '00e2e9c41af3fde1273eb3633f4c0c7c3db2579d')
Children:
9918fd329f6178bcb0152873e21d810764461b77
Parents:
cf14b9d47b88351f19f0fd851564bb4cb6d6a586
Message:
*hannes: test syz


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

Legend:

Unmodified
Added
Removed

  • Singular/extra.cc

    rcf14b9 r57fad3a  
    22*  Computer Algebra System SINGULAR      *
    33*****************************************/
    4 /* $Id: extra.cc,v 1.303 2009-06-09 18:14:03 Singular Exp $ */
     4/* $Id: extra.cc,v 1.304 2009-06-13 14:38:23 Singular Exp $ */
    55/*
    66* ABSTRACT: general interface to internals of Singular ("system" command)
    … …  
    979979#endif /*SHIFTBBA*/
    980980#endif /*PLURAL*/
     981/*==================== walk stuff =================*/
    981982#ifdef HAVE_WALK
    982 /*==================== walk stuff =================*/
    983983#ifdef OWNW
    984984    if (strcmp(sys_cmd, "walkNextWeight") == 0)
    … …  
    18131813    char *sys_cmd=(char *)(h->Data());
    18141814    h=h->next;
     1815/*==================== test syz strat =================*/
     1816    if (strcmp(sys_cmd, "syz") == 0)
     1817    {
     1818       int posInT_EcartFDegpLength(const TSet set,const int length,LObject &p);
     1819       int posInT_FDegpLength(const TSet set,const int length,LObject &p);
     1820       int posInT0(const TSet set,const int length,LObject &p);
     1821       int posInT1(const TSet set,const int length,LObject &p);
     1822       int posInT2(const TSet set,const int length,LObject &p);
     1823       int posInT11(const TSet set,const int length,LObject &p);
     1824       int posInT110(const TSet set,const int length,LObject &p);
     1825       int posInT13(const TSet set,const int length,LObject &p);
     1826       int posInT15(const TSet set,const int length,LObject &p);
     1827       int posInT17(const TSet set,const int length,LObject &p);
     1828       int posInT17_c(const TSet set,const int length,LObject &p);
     1829       int posInT19(const TSet set,const int length,LObject &p);
     1830       if (h->Typ()==STRING_CMD)
     1831       {
     1832         const char *s=(const char *)h->Data();
     1833         if (strcmp(s,"posInT_EcartFDegpLength")==0)
     1834           test_PosInT=posInT_EcartFDegpLength;
     1835         else if (strcmp(s,"posInT_FDegpLength")==0)
     1836           test_PosInT=posInT_FDegpLength;
     1837         else if (strcmp(s,"posInT0")==0)
     1838           test_PosInT=posInT0;
     1839         else if (strcmp(s,"posInT1")==0)
     1840           test_PosInT=posInT1;
     1841         else if (strcmp(s,"posInT2")==0)
     1842           test_PosInT=posInT2;
     1843         else if (strcmp(s,"posInT11")==0)
     1844           test_PosInT=posInT11;
     1845         else if (strcmp(s,"posInT110")==0)
     1846           test_PosInT=posInT110;
     1847         else if (strcmp(s,"posInT13")==0)
     1848           test_PosInT=posInT13;
     1849         else if (strcmp(s,"posInT15")==0)
     1850           test_PosInT=posInT15;
     1851         else if (strcmp(s,"posInT17")==0)
     1852           test_PosInT=posInT17;
     1853         else if (strcmp(s,"posInT17_c")==0)
     1854           test_PosInT=posInT17_c;
     1855         else if (strcmp(s,"posInT19")==0)
     1856           test_PosInT=posInT19;
     1857         else Print("valid posInT:0,1,2,11,110,13,15,17,17_c,19,_EcartFDegpLength,_FDegpLength,_pLength,_EcartpLength\n");
     1858       }
     1859       else
     1860       {
     1861         test_PosInT=NULL;
     1862         test_PosInL=NULL;
     1863       }
     1864       verbose|=Sy_bit(23);
     1865       return FALSE;
     1866    }
     1867    else
    18151868/*==================== locNF ======================================*/
    18161869    if(strcmp(sys_cmd,"locNF")==0)
    … …  
    31483201else
    31493202#endif
    3150 
    31513203/*==================== Error =================*/
    3152       Werror( "system(\"%s\",...) %s", sys_cmd, feNotImplemented );
     3204      Werror( "(extended) system(\"%s\",...) %s", sys_cmd, feNotImplemented );
    31533205  }
    31543206  return TRUE;

  • kernel/kstd2.cc

    rcf14b9 r57fad3a  
    22*  Computer Algebra System SINGULAR     *
    33****************************************/
    4 /* $Id: kstd2.cc,v 1.88 2009-06-09 18:21:50 Singular Exp $ */
     4/* $Id: kstd2.cc,v 1.89 2009-06-13 14:37:58 Singular Exp $ */
    55/*
    66*  ABSTRACT -  Kernel: alg. of Buchberger
    … …  
    3636/* shiftgb stuff */
    3737#include "shiftgb.h"
     38
     39  int (*test_PosInT)(const TSet T,const int tl,LObject &h);
     40  int (*test_PosInL)(const LSet set, const int length,
     41                LObject* L,const kStrategy strat);
    3842
    3943// return -1 if no divisor is found
    … …  
    936940  kStratInitChangeTailRing(strat);
    937941#endif
    938   //kDebugPrint(strat);
     942  if (BVERBOSE(23))
     943  {
     944    if (test_PosInT!=NULL) strat->posInT=test_PosInT;
     945    if (test_PosInL!=NULL) strat->posInL=test_PosInL;
     946    kDebugPrint(strat);
     947  }
     948
    939949
    940950  /* compute------------------------------------------------------- */

  • kernel/kutil.cc

    rcf14b9 r57fad3a  
    22*  Computer Algebra System SINGULAR     *
    33****************************************/
    4 /* $Id: kutil.cc,v 1.144 2009-06-09 18:21:50 Singular Exp $ */
     4/* $Id: kutil.cc,v 1.145 2009-06-13 14:37:58 Singular Exp $ */
    55/*
    66* ABSTRACT: kernel: utils for kStd
    … …  
    64336433
    64346434
    6435 #ifdef HAVE_MORE_POS_IN_T
     6435//#ifdef HAVE_MORE_POS_IN_T
     6436#if 1
    64366437// determines the position based on: 1.) Ecart 2.) FDeg 3.) pLength
    64376438int posInT_EcartFDegpLength(const TSet set,const int length,LObject &p)
    … …  
    65966597    else if (strat->posInL==posInL15) PrintS("posInL15\n");
    65976598    else if (strat->posInL==posInL17) PrintS("posInL17\n");
    6598     else if (strat->posInL==posInL17_c) PrintS("posInL17\n");
     6599    else if (strat->posInL==posInL17_c) PrintS("posInL17_c\n");
    65996600    else if (strat->posInL==posInLSpecial) PrintS("posInLSpecial\n");
    66006601    else if (strat->posInL==posInLrg0) PrintS("posInLrg0\n");

  • kernel/kutil.h

    rcf14b9 r57fad3a  
    44*  Computer Algebra System SINGULAR     *
    55****************************************/
    6 /* $Id: kutil.h,v 1.45 2009-06-09 18:21:50 Singular Exp $ */
     6/* $Id: kutil.h,v 1.46 2009-06-13 14:37:58 Singular Exp $ */
    77/*
    88* ABSTRACT: kernel: utils for kStd
    … …  
    676676
    677677ideal bbaShift(ideal F, ideal Q,intvec *w,intvec *hilb,kStrategy strat, int uptodeg, int lV);
    678 #endif
     678// test syz strategy: // will be removed soon
     679extern  int (*test_PosInT)(const TSet T,const int tl,LObject &h);
     680extern  int (*test_PosInL)(const LSet set, const int length,
     681                LObject* L,const kStrategy strat);
     682#endif
Note: See TracChangeset for help on using the changeset viewer.