249 const char *sys_cmd=(
char *)(args->
Data());
254 if (strcmp(sys_cmd,
"nblocks") == 0)
276 r = (ring) h->
Data();
283 if(strcmp(sys_cmd,
"version")==0)
292 if(strcmp(sys_cmd,
"alarm")==0)
299 struct itimerval t,o;
300 memset(&t,0,
sizeof(t));
301 t.it_value.tv_sec =(unsigned)((
unsigned long)h->
Data());
302 setitimer(ITIMER_VIRTUAL,&t,&o);
311 if(strcmp(sys_cmd,
"cpu")==0)
314 #ifdef _SC_NPROCESSORS_ONLN 315 cpu=sysconf(_SC_NPROCESSORS_ONLN);
316 #elif defined(_SC_NPROCESSORS_CONF) 317 cpu=sysconf(_SC_NPROCESSORS_CONF);
319 res->
data=(
void *)cpu;
325 if(strcmp(sys_cmd,
"executable")==0)
331 if(s==
NULL) s=(
char*)
"";
340 if(strcmp(sys_cmd,
"neworder")==0)
354 if(strcmp(sys_cmd,
"nc_hilb") == 0)
360 i = (ideal)h->
Data();
368 lV = (int)(
long)h->
Data();
382 if(strcmp(sys_cmd,
"sh")==0)
386 WerrorS(
"shell execution is disallowed in restricted mode");
399 if(strcmp(sys_cmd,
"reduce_bound")==0)
413 pid = (ideal)h->
CopyD();
428 if(strcmp(sys_cmd,
"uname")==0)
436 if(strcmp(sys_cmd,
"with")==0)
446 #define TEST_FOR(A) if(strcmp(s,A)==0) res->data=(void *)1; else 447 char *s=(
char *)h->
Data();
460 #ifdef TEST_MAC_ORDER 465 #ifdef HAVE_DYNAMIC_LOADING 488 if (strcmp(sys_cmd,
"browsers")==0)
498 if (strcmp(sys_cmd,
"pid")==0)
501 res->
data=(
void *)(
long) getpid();
506 if (strcmp(sys_cmd,
"getenv")==0)
524 if (strcmp(sys_cmd,
"setenv")==0)
541 WerrorS(
"setenv not supported on this platform");
547 if (strcmp(sys_cmd,
"Singular") == 0)
556 if (strcmp(sys_cmd,
"SingularLib") == 0)
566 if (strstr(sys_cmd,
"--") == sys_cmd)
568 if (strcmp(sys_cmd,
"--") == 0)
576 Werror(
"Unknown option %s", sys_cmd);
577 WerrorS(
"Use 'system(\"--\");' for listing of available options");
592 const char *r=(
const char*)
feOptSpec[opt].value;
603 if (h->
Typ() != STRING_CMD &&
606 WerrorS(
"Need string or int argument to set option value");
609 const char* errormsg;
614 Werror(
"Need string argument to set value of option %s", sys_cmd);
618 if (errormsg !=
NULL)
619 Werror(
"Option '--%s=%d' %s", sys_cmd, (
int) ((
long)h->
Data()), errormsg);
624 if (errormsg !=
NULL)
625 Werror(
"Option '--%s=%s' %s", sys_cmd, (
char*) h->
Data(), errormsg);
632 if (strcmp(sys_cmd,
"HC")==0)
640 if(strcmp(sys_cmd,
"random")==0)
642 const short t[]={1,INT_CMD};
663 if (strcmp(sys_cmd,
"std_syz") == 0)
669 i1=(ideal)h->
CopyD();
675 i2=(int)((
long)h->
Data());
684 if (strcmp(sys_cmd,
"denom_list")==0)
693 if(strcmp(sys_cmd,
"complexNearZero")==0)
700 WerrorS(
"unsupported ground field!");
718 if(strcmp(sys_cmd,
"getPrecDigits")==0)
723 WerrorS(
"unsupported ground field!");
734 if(strcmp(sys_cmd,
"lduDecomp")==0)
742 lduDecomp(aMat, pMat, lMat, dMat, uMat, l, u, prodLU);
753 res->
data = (
char *)L;
763 if(strcmp(sys_cmd,
"lduSolve")==0)
804 Werror(
"first matrix (%d x %d) is not quadratic",
810 Werror(
"second matrix (%d x %d) is not quadratic",
816 Werror(
"third matrix (%d x %d) is not quadratic",
822 Werror(
"third matrix (%d x %d) and fourth matrix (%d x %d) %s",
829 Werror(
"fourth matrix (%d x %d) and vector (%d x 1) do not fit",
834 bVec, xVec, homogSolSpace);
857 if (strcmp(sys_cmd,
"shared") == 0)
859 #ifndef SI_COUNTEDREF_AUTOLOAD 866 else if (strcmp(sys_cmd,
"reference") == 0)
868 #ifndef SI_COUNTEDREF_AUTOLOAD 877 #ifdef HAVE_SIMPLEIPC 878 if (strcmp(sys_cmd,
"semaphore")==0)
891 WerrorS(
"Usage: system(\"semaphore\",<cmd>,int)");
898 if (strcmp(sys_cmd,
"reserve")==0)
901 const short t[]={1,INT_CMD};
906 res->
data=(
void*)(
long)
p;
913 if (strcmp(sys_cmd,
"reservedLink")==0)
923 if (strcmp(sys_cmd,
"install")==0)
936 if (strcmp(sys_cmd,
"newstruct")==0)
938 const short t[]={1,STRING_CMD};
942 char *n=(
char*)h->
Data();
949 newstruct_desc desc=(newstruct_desc)bb->data;
953 else Werror(
"'%s' is not a newstruct",n);
955 else Werror(
"'%s' is not a blackbox object",n);
961 if (strcmp(sys_cmd,
"blackbox")==0)
969 if (strcmp(sys_cmd,
"absFact") == 0)
986 l->
m[0].
data=(
void *)f;
988 l->
m[1].
data=(
void *)v;
990 l->
m[2].
data=(
void*) mipos;
992 l->
m[3].
data=(
void*) (
long) n;
1002 if (strcmp(sys_cmd,
"LLL") == 0)
1025 #if __FLINT_RELEASE >= 20500 1026 if (strcmp(sys_cmd,
"LLL_Flint") == 0)
1047 WerrorS(
"matrix,int or bigint,int expected");
1052 if(((
int)((
long)(h->
next->
Data())) != 0) && (
int)((long)(h->
next->
Data()) != 1))
1054 WerrorS(
"int is different from 0, 1");
1079 for(
int i = 1; i<=m->
rows(); i++)
1084 m = singflint_LLL(m,T);
1097 for(
int i = 1; i<=m->
rows(); i++)
1099 m = singflint_LLL(m,T);
1119 #ifdef HAVE_SHIFTBBA 1120 if (strcmp(sys_cmd,
"stest") == 0)
1127 int sh=(int)((
long)(h->
Data()));
1129 int uptodeg=(int)((
long)(h->
Data()));
1131 int lVblock=(int)((
long)(h->
Data()));
1134 WerrorS(
"negative shift for pLPshift");
1138 if (L+sh-1 > uptodeg)
1140 WerrorS(
"pLPshift: too big shift requested\n");
1152 #ifdef HAVE_SHIFTBBA 1153 if (strcmp(sys_cmd,
"btest") == 0)
1155 const short t[]={2,
POLY_CMD,INT_CMD};
1160 int lV=(int)((
long)(h->
Data()));
1170 #ifdef HAVE_SHIFTBBA 1171 if (strcmp(sys_cmd,
"shrinktest") == 0)
1173 const short t[]={2,
POLY_CMD,INT_CMD};
1178 int lV=(int)((
long)(h->
Data()));
1192 if(strcmp(sys_cmd,
"pcvLAddL")==0)
1197 if(strcmp(sys_cmd,
"pcvPMulL")==0)
1202 if(strcmp(sys_cmd,
"pcvMinDeg")==0)
1207 if(strcmp(sys_cmd,
"pcvP2CV")==0)
1212 if(strcmp(sys_cmd,
"pcvCV2P")==0)
1217 if(strcmp(sys_cmd,
"pcvDim")==0)
1222 if(strcmp(sys_cmd,
"pcvBasis")==0)
1229 #ifdef HAVE_EIGENVAL 1230 if(strcmp(sys_cmd,
"hessenberg")==0)
1237 #ifdef HAVE_EIGENVAL 1238 if(strcmp(sys_cmd,
"eigenvals")==0)
1245 #ifdef HAVE_EIGENVAL 1246 if(strcmp(sys_cmd,
"rowelim")==0)
1253 #ifdef HAVE_EIGENVAL 1254 if(strcmp(sys_cmd,
"rowcolswap")==0)
1262 if(strcmp(sys_cmd,
"gmsnf")==0)
1264 return gmsNF(res,h);
1269 if(strcmp(sys_cmd,
"contributors") == 0)
1273 "Olaf Bachmann, Michael Brickenstein, Hubert Grassmann, Kai Krueger, Victor Levandovskyy, Wolfgang Neumann, Thomas Nuessler, Wilfred Pohl, Jens Schmidt, Mathias Schulze, Thomas Siebert, Ruediger Stobbe, Moritz Wenk, Tim Wichmann");
1278 #ifdef HAVE_SPECTRUM 1279 if(strcmp(sys_cmd,
"spectrum") == 0)
1299 if(strcmp(sys_cmd,
"semic") == 0)
1314 if(strcmp(sys_cmd,
"spadd") == 0)
1325 if(strcmp(sys_cmd,
"spmul") == 0)
1327 const short t[]={2,
LIST_CMD,INT_CMD};
1337 #define HAVE_SHEAFCOH_TRICKS 1 1339 #ifdef HAVE_SHEAFCOH_TRICKS 1340 if(strcmp(sys_cmd,
"tensorModuleMult")==0)
1346 int m = (int)( (
long)h->
Data() );
1358 if (strcmp(sys_cmd,
"twostd") == 0)
1363 I=(ideal)h->
CopyD();
1377 if (strcmp(sys_cmd,
"bracket") == 0)
1395 if (strcmp(sys_cmd,
"env")==0)
1399 ring r = (ring)h->
Data();
1406 WerrorS(
"`system(\"env\",<ring>)` expected");
1414 if (strcmp(sys_cmd,
"opp")==0)
1418 ring r=(ring)h->
Data();
1425 WerrorS(
"`system(\"opp\",<ring>)` expected");
1433 if (strcmp(sys_cmd,
"oppose")==0)
1438 ring Rop = (ring)h->
Data();
1451 WerrorS(
"`system(\"oppose\",<ring>,<poly>)` expected");
1459 #ifdef HAVE_SHIFTBBA 1460 if (strcmp(sys_cmd,
"freegb") == 0)
1465 ideal I=(ideal)h->
CopyD();
1467 int uptodeg=(int)((
long)(h->
Data()));
1469 int lVblock=(int)((
long)(h->
Data()));
1488 if (strcmp(sys_cmd,
"walkNextWeight") == 0)
1495 Werror(
"system(\"walkNextWeight\" ...) intvecs not of length %d\n",
1518 if (strcmp(sys_cmd,
"walkInitials") == 0)
1522 WerrorS(
"system(\"walkInitials\", ideal) expected");
1525 res->
data = (
void*) walkInitials((ideal) h->
Data());
1535 if (strcmp(sys_cmd,
"walkAddIntVec") == 0)
1541 res->
data = (
intvec*) walkAddIntVec(arg1, arg2);
1550 #ifdef MwaklNextWeight 1551 if (strcmp(sys_cmd,
"MwalkNextWeight") == 0)
1558 Werror(
"system(\"MwalkNextWeight\" ...) intvecs not of length %d\n",
1571 #endif //MWalkNextWeight 1575 if(strcmp(sys_cmd,
"Mivdp") == 0)
1579 WerrorS(
"system(\"Mivdp\", int) expected");
1584 Werror(
"system(\"Mivdp\" ...) intvecs not of length %d\n",
1588 int arg1 = (int) ((
long)(h->
Data()));
1598 if(strcmp(sys_cmd,
"Mivlp") == 0)
1602 WerrorS(
"system(\"Mivlp\", int) expected");
1607 Werror(
"system(\"Mivlp\" ...) intvecs not of length %d\n",
1611 int arg1 = (int) ((
long)(h->
Data()));
1622 if(strcmp(sys_cmd,
"MpDiv") == 0)
1624 const short t[]={2,
POLY_CMD,POLY_CMD};
1628 poly result = MpDiv(arg1, arg2);
1639 if(strcmp(sys_cmd,
"MpMult") == 0)
1641 const short t[]={2,
POLY_CMD,POLY_CMD};
1645 poly result = MpMult(arg1, arg2);
1655 if (strcmp(sys_cmd,
"MivSame") == 0)
1683 if (strcmp(sys_cmd,
"M3ivSame") == 0)
1713 if(strcmp(sys_cmd,
"MwalkInitialForm") == 0)
1715 const short t[]={2,
IDEAL_CMD,INTVEC_CMD};
1719 Werror(
"system \"MwalkInitialForm\"...) intvec not of length %d\n",
1723 ideal
id = (ideal) h->
Data();
1735 if(strcmp(sys_cmd,
"MivMatrixOrder") == 0)
1739 WerrorS(
"system(\"MivMatrixOrder\",intvec) expected");
1752 if(strcmp(sys_cmd,
"MivMatrixOrderdp") == 0)
1756 WerrorS(
"system(\"MivMatrixOrderdp\",intvec) expected");
1759 int arg1 = (int) ((
long)(h->
Data()));
1769 if(strcmp(sys_cmd,
"MPertVectors") == 0)
1773 ideal arg1 = (ideal) h->
Data();
1785 if(strcmp(sys_cmd,
"MPertVectorslp") == 0)
1789 ideal arg1 = (ideal) h->
Data();
1801 if(strcmp(sys_cmd,
"Mfpertvector") == 0)
1803 const short t[]={2,
IDEAL_CMD,INTVEC_CMD};
1805 ideal arg1 = (ideal) h->
Data();
1816 if(strcmp(sys_cmd,
"MivUnit") == 0)
1818 const short t[]={1,INT_CMD};
1820 int arg1 = (int) ((
long)(h->
Data()));
1830 if(strcmp(sys_cmd,
"MivWeightOrderlp") == 0)
1832 const short t[]={1,INTVEC_CMD};
1844 if(strcmp(sys_cmd,
"MivWeightOrderdp") == 0)
1848 WerrorS(
"system(\"MivWeightOrderdp\",intvec) expected");
1862 if(strcmp(sys_cmd,
"MivMatrixOrderlp") == 0)
1866 WerrorS(
"system(\"MivMatrixOrderlp\",int) expected");
1869 int arg1 = (int) ((
long)(h->
Data()));
1879 if (strcmp(sys_cmd,
"MkInterRedNextWeight") == 0)
1886 Werror(
"system(\"MkInterRedNextWeight\" ...) intvecs not of length %d\n",
1902 #ifdef MPertNextWeight 1903 if (strcmp(sys_cmd,
"MPertNextWeight") == 0)
1909 Werror(
"system(\"MPertNextWeight\" ...) intvecs not of length %d\n",
1914 ideal arg2 = (ideal) h->
next->
Data();
1922 #endif //MPertNextWeight 1926 #ifdef Mivperttarget 1927 if (strcmp(sys_cmd,
"Mivperttarget") == 0)
1931 ideal arg1 = (ideal) h->
Data();
1939 #endif //Mivperttarget 1943 if (strcmp(sys_cmd,
"Mwalk") == 0)
1950 Werror(
"system(\"Mwalk\" ...) intvecs not of length %d\n",
1954 ideal arg1 = (ideal) h->
CopyD();
1960 ideal result = (ideal)
Mwalk(arg1, arg2, arg3, arg4, arg5, arg6);
1970 if (strcmp(sys_cmd,
"Mwalk") == 0)
1979 Werror(
"system(\"Mwalk\" ...) intvecs not of length %d or %d\n",
1983 ideal arg1 = (ideal) h->
Data();
1987 ideal result = (ideal)
Mwalk(arg1, arg2, arg3,arg4);
1994 if (strcmp(sys_cmd,
"Mpwalk") == 0)
2001 Werror(
"system(\"Mpwalk\" ...) intvecs not of length %d\n",
currRing->N);
2004 ideal arg1 = (ideal) h->
Data();
2005 int arg2 = (int) (
long) h->
next->
Data();
2012 ideal result = (ideal)
Mpwalk(arg1, arg2, arg3, arg4, arg5, arg6, arg7, arg8);
2022 if (strcmp(sys_cmd,
"Mrwalk") == 0)
2031 Werror(
"system(\"Mrwalk\" ...) intvecs not of length %d or %d\n",
2035 ideal arg1 = (ideal) h->
Data();
2042 ideal result = (ideal)
Mrwalk(arg1, arg2, arg3, arg4, arg5, arg6, arg7);
2051 if (strcmp(sys_cmd,
"MAltwalk1") == 0)
2058 Werror(
"system(\"MAltwalk1\" ...) intvecs not of length %d\n",
2062 ideal arg1 = (ideal) h->
Data();
2063 int arg2 = (int) ((
long)(h->
next->
Data()));
2067 ideal result = (ideal)
MAltwalk1(arg1, arg2, arg3, arg4, arg5);
2077 if (strcmp(sys_cmd,
"Mfwalk_alt") == 0)
2084 Werror(
"system(\"Mfwalk\" ...) intvecs not of length %d\n",
2088 ideal arg1 = (ideal) h->
Data();
2092 ideal result = (ideal) Mfwalk_alt(arg1, arg2, arg3, arg4);
2102 if (strcmp(sys_cmd,
"Mfwalk") == 0)
2109 Werror(
"system(\"Mfwalk\" ...) intvecs not of length %d\n",
2113 ideal arg1 = (ideal) h->
Data();
2118 ideal result = (ideal)
Mfwalk(arg1, arg2, arg3, arg4, arg5);
2127 if (strcmp(sys_cmd,
"Mfrwalk") == 0)
2144 Werror(
"system(\"Mfrwalk\" ...) intvecs not of length %d or %d\n",
2149 ideal arg1 = (ideal) h->
Data();
2155 ideal result = (ideal)
Mfrwalk(arg1, arg2, arg3, arg4, arg5, arg6);
2162 if (strcmp(sys_cmd,
"Mprwalk") == 0)
2171 Werror(
"system(\"Mrwalk\" ...) intvecs not of length %d or %d\n",
2175 ideal arg1 = (ideal) h->
Data();
2184 ideal result = (ideal)
Mprwalk(arg1, arg2, arg3, arg4, arg5, arg6, arg7, arg8, arg9);
2194 if (strcmp(sys_cmd,
"TranMImprovwalk") == 0)
2201 Werror(
"system(\"TranMImprovwalk\" ...) intvecs not of length %d\n",
2205 ideal arg1 = (ideal) h->
Data();
2218 if (strcmp(sys_cmd,
"MAltwalk2") == 0)
2225 Werror(
"system(\"MAltwalk2\" ...) intvecs not of length %d\n",
2229 ideal arg1 = (ideal) h->
Data();
2232 ideal result = (ideal)
MAltwalk2(arg1, arg2, arg3);
2241 if (strcmp(sys_cmd,
"TranMImprovwalk") == 0)
2248 Werror(
"system(\"TranMImprovwalk\" ...) intvecs not of length %d\n",
2252 ideal arg1 = (ideal) h->
Data();
2266 if (strcmp(sys_cmd,
"TranMrImprovwalk") == 0)
2268 if (h ==
NULL || h->
Typ() != IDEAL_CMD ||
2275 WerrorS(
"system(\"TranMrImprovwalk\", ideal, intvec, intvec) expected");
2281 Werror(
"system(\"TranMrImprovwalk\" ...) intvecs not of length %d\n",
currRing->N);
2284 ideal arg1 = (ideal) h->
Data();
2290 ideal result = (ideal) TranMrImprovwalk(arg1, arg2, arg3, arg4, arg5, arg6);
2300 #ifndef MAKE_DISTRIBUTION
poly pOppose(ring Rop_src, poly p, const ring Rop_dst)
opposes a vector p from Rop to currRing (dst!)
const CanonicalForm int s
intvec * MivMatrixOrder(intvec *iv)
poly nc_p_Bracket_qq(poly p, const poly q, const ring r)
returns [p,q], destroys p
void factoryseed(int s)
random seed initializer
Class used for (list of) interpreter objects.
static CanonicalForm bound(const CFMatrix &M)
matrix singntl_LLL(matrix m, const ring s)
intvec * Mfpertvector(ideal G, intvec *ivtarget)
static void * feOptValue(feOptIndex opt)
matrix evRowElim(matrix M, int i, int j, int k)
ideal Mpwalk(ideal Go, int op_deg, int tp_deg, intvec *curr_weight, intvec *target_weight, int nP, int reduction, int printout)
used for all transcendental extensions, i.e., the top-most extension in an extension tower is transce...
intvec * MivWeightOrderlp(intvec *ivstart)
BOOLEAN semicProc3(leftv res, leftv u, leftv v, leftv w)
static char * feResource(feResourceConfig config, int warn)
lists pcvPMulL(poly p, lists l1)
static FORCE_INLINE number n_Init(long i, const coeffs r)
a number representing i in the given coeff field/ring r
ideal id_TensorModuleMult(const int m, const ideal M, const ring rRing)
BOOLEAN spectrumProc(leftv result, leftv first)
int MivSame(intvec *u, intvec *v)
intvec * MivWeightOrderdp(intvec *ivstart)
BOOLEAN spmulProc(leftv result, leftv first, leftv second)
const char * feSetOptValue(feOptIndex opt, char *optarg)
void WerrorS(const char *s)
gmp_complex numbers based on
bool complexNearZero(gmp_complex *c, int digits)
void lduDecomp(const matrix aMat, matrix &pMat, matrix &lMat, matrix &dMat, matrix &uMat, poly &l, poly &u, poly &lTimesU)
LU-decomposition of a given (m x n)-matrix with performing only those divisions that yield zero remai...
matrix evSwap(matrix M, int i, int j)
idhdl get(const char *s, int lev)
intvec * MPertVectorslp(ideal G, intvec *ivtarget, int pdeg)
void printBlackboxTypes()
list all defined type (for debugging)
void feStringAppendBrowsers(int warn)
ideal Mfwalk(ideal G, intvec *ivstart, intvec *ivtarget, int reduction, int printout)
poly p_Shrink(poly p, int lV, const ring r)
ring currRing
Widely used global variable which specifies the current polynomial ring for Singular interpreter and ...
static int rBlocks(ring r)
ideal MAltwalk1(ideal Go, int op_deg, int tp_deg, intvec *curr_weight, intvec *target_weight)
int pcvDim(int d0, int d1)
void newstructShow(newstruct_desc d)
static BOOLEAN rIsPluralRing(const ring r)
we must always have this test!
void StringSetS(const char *st)
#define pLPshift(p, sh, uptodeg, lV)
#define pmLastVblock(p, lV)
int M3ivSame(intvec *temp, intvec *u, intvec *v)
const char feNotImplemented[]
struct fe_option feOptSpec[]
intvec * MwalkNextWeight(intvec *curr_weight, intvec *target_weight, ideal G)
ideal Mwalk(ideal Go, intvec *orig_M, intvec *target_M, ring baseRing, int reduction, int printout)
intvec * MPertNextWeight(intvec *iva, ideal G, int deg)
int simpleipc_cmd(char *cmd, int id, int v)
poly pcvCV2P(poly cv, int d0, int d1)
intvec * Mivperttarget(ideal G, int ndeg)
BOOLEAN spectrumfProc(leftv result, leftv first)
lists pcvLAddL(lists l1, lists l2)
int pcvBasis(lists b, int i, poly m, int d, int n)
intvec * MPertVectors(ideal G, intvec *ivtarget, int pdeg)
poly kNFBound(ideal F, ideal Q, poly p, int bound, int syzComp, int lazyReduce)
ideal freegb(ideal I, int uptodeg, int lVblock)
static FORCE_INLINE n_coeffType getCoeffType(const coeffs r)
Returns the type of coeffs domain.
int ssiReservePort(int clients)
static BOOLEAN rField_is_long_C(const ring r)
#define BIMATELEM(M, I, J)
INLINE_THIS void Init(int l=0)
const Variable & v
< [in] a sqrfree bivariate poly
matrix evHessenberg(matrix M)
#define pLastVblock(p, lV)
lists evEigenvals(matrix M)
static BOOLEAN rField_is_Ring(const ring r)
BOOLEAN semicProc(leftv res, leftv u, leftv v)
bool luSolveViaLDUDecomp(const matrix pMat, const matrix lMat, const matrix dMat, const matrix uMat, const poly l, const poly u, const poly lTimesU, const matrix bVec, matrix &xVec, matrix &H)
Solves the linear system A * x = b, where A is an (m x n)-matrix which is given by its LDU-decomposit...
void HilbertSeries_OrbitData(ideal S, int lV, bool IG_CASE)
ideal TranMImprovwalk(ideal G, intvec *curr_weight, intvec *target_tmp, int nP)
BOOLEAN iiCheckTypes(leftv args, const short *type_list, int report)
check a list of arguemys against a given field of types return TRUE if the types match return FALSE (...
coeffs basecoeffs() const
static BOOLEAN rField_is_long_R(const ring r)
int blackboxIsCmd(const char *n, int &tok)
used by scanner: returns ROOT_DECL for known types (and the type number in tok)
intvec * MivMatrixOrderdp(int nV)
ideal MAltwalk2(ideal Go, intvec *curr_weight, intvec *target_weight)
ideal Mrwalk(ideal Go, intvec *orig_M, intvec *target_M, int weight_rad, int pert_deg, int reduction, int printout)
poly pcvP2CV(poly p, int d0, int d1)
char * omFindExec(const char *name, char *exec)
BOOLEAN spaddProc(leftv result, leftv first, leftv second)
ideal idXXX(ideal h1, int k)
ideal singclap_absFactorize(poly f, ideal &mipos, intvec **exps, int &numFactors, const ring r)
BOOLEAN newstruct_set_proc(const char *bbname, const char *func, int args, procinfov pr)
ideal Mprwalk(ideal Go, intvec *orig_M, intvec *target_M, int weight_rad, int op_deg, int tp_deg, int nP, int reduction, int printout)
static FORCE_INLINE void n_Delete(number *p, const coeffs r)
delete 'p'
lists gmsNF(ideal p, ideal g, matrix B, int D, int K)
feOptIndex feGetOptIndex(const char *name)
void countedref_reference_load()
Initialize blackbox types 'reference' and 'shared', or both.
char * singclap_neworder(ideal I, const ring r)
ideal MwalkInitialForm(ideal G, intvec *ivw)
ideal Mfrwalk(ideal G, intvec *ivstart, intvec *ivtarget, int weight_rad, int reduction, int printout)
#define IMATELEM(M, I, J)
void Werror(const char *fmt,...)
intvec * MivMatrixOrderlp(int nV)
void countedref_shared_load()
blackbox * getBlackboxStuff(const int t)
return the structure to the type given by t
intvec * MkInterRedNextWeight(intvec *iva, intvec *ivb, ideal G)
ideal twostd(ideal I)
Compute two-sided GB: