Loading...
Searching...
No Matches
ipshell.h
Go to the documentation of this file.
#ifndef IPSHELL_H
#define IPSHELL_H
/****************************************
* Computer Algebra System SINGULAR *
****************************************/
/*
* ABSTRACT
*/
#include <stdio.h>
//#include "kernel/structs.h"
#include "kernel/ideals.h"
#include "Singular/lists.h"
#include "Singular/fevoices.h"
struct _ssubexpr;
typedef struct _ssubexpr *Subexpr;
BOOLEAN spectrumProc ( leftv,leftv );
BOOLEAN spectrumfProc( leftv,leftv );
BOOLEAN spaddProc ( leftv,leftv,leftv );
BOOLEAN spmulProc ( leftv,leftv,leftv );
BOOLEAN semicProc ( leftv,leftv,leftv );
BOOLEAN semicProc3 ( leftv,leftv,leftv,leftv );
BOOLEAN iiAssignCR(leftv, leftv);
BOOLEAN iiARROW (leftv, char*,char *);
EXTERN_VAR leftv iiCurrArgs;
EXTERN_VAR idhdl iiCurrProc;
EXTERN_VAR int iiOp; /* the current operation*/
extern const char * currid;
EXTERN_VAR int iiRETURNEXPR_len;
EXTERN_INST_VAR sleftv iiRETURNEXPR;
EXTERN_VAR ring *iiLocalRing;
//extern cmdnames cmds[];
extern const char *lastreserved;
EXTERN_VAR int myynest;
EXTERN_VAR int printlevel;
EXTERN_VAR int si_echo;
EXTERN_VAR BOOLEAN yyInRingConstruction; /* 1: during ring construction */
int IsCmd(const char *n, int & tok);
BOOLEAN iiPStart(idhdl pn, leftv sl);
BOOLEAN iiEStart(char* example, procinfo *pi);
BOOLEAN iiAllStart(procinfov pi, const char *p,feBufferTypes t, int l);
void type_cmd(leftv v);
void test_cmd(int i);
void list_cmd(int typ, const char* what, const char * prefix,
BOOLEAN iterate, BOOLEAN fullname=FALSE);
//char * iiStringMatrix(matrix im, int dim, char ch=',');
void killlocals(int v);
int exprlist_length(leftv v);
const char * Tok2Cmdname(int i);
const char * iiTwoOps(int t);
int iiOpsTwoChar(const char *s);
BOOLEAN iiWRITE(leftv res,leftv exprlist);
BOOLEAN iiExport(leftv v, int toLev);
BOOLEAN iiExport(leftv v, int toLev, package pack);
BOOLEAN iiInternalExport (leftv v, int toLev, package pack);
/// find the library of an proc
static inline char * iiGetLibName(const procinfov pi) { return pi->libname; }
char * iiGetLibProcBuffer( procinfov pi, int part=1 );
char * iiProcName(char *buf, char & ct, char* &e);
char * iiProcArgs(char *e,BOOLEAN withParenth);
BOOLEAN iiLibCmd( const char *newlib, BOOLEAN autoexport, BOOLEAN tellerror, BOOLEAN force );
/* sees whether library lib has already been loaded
if yes, writes filename of lib into where and returns TRUE,
if no, returns FALSE
*/
/// load lib/module given in v
BOOLEAN jjLOAD(const char *s, BOOLEAN autoexport = FALSE);
BOOLEAN jjLOAD_TRY(const char *s);
BOOLEAN iiLocateLib(const char* lib, char* where);
leftv iiMap(map theMap, const char * what);
void iiMakeResolv(resolvente r, int length, int rlen, char * name, int typ0,
intvec ** weights=NULL);
BOOLEAN jjMINRES(leftv res, leftv v);
BOOLEAN jjBETTI(leftv res, leftv v);
BOOLEAN jjBETTI2(leftv res, leftv u, leftv v);
BOOLEAN jjBETTI2_ID(leftv res, leftv u, leftv v);
BOOLEAN jjIMPORTFROM(leftv res, leftv u, leftv v);
BOOLEAN jjLIST_PL(leftv res, leftv v);
BOOLEAN jjVARIABLES_P(leftv res, leftv u);
BOOLEAN jjVARIABLES_ID(leftv res, leftv u);
int iiRegularity(lists L);
leftv singular_system(sleftv h);
BOOLEAN jjSYSTEM(leftv res, leftv v);
void iiDebug();
BOOLEAN iiCheckRing(int i);
poly iiHighCorner(ideal i, int ak);
char * iiConvName(const char *libname);
BOOLEAN iiGetLibStatus(const char *lib);
BOOLEAN iiLoadLIB(FILE *fp, const char *libnamebuf, const char *newlib,
idhdl pl, BOOLEAN autoexport, BOOLEAN tellerror);
// converts a resolution into a list of modules
lists syConvRes(syStrategy syzstr,BOOLEAN toDel=FALSE,int add_row_shift=0);
// converts a list of modules into a minimal resolution
//syStrategy syForceMin(lists li);
// converts a list of modules into a resolution
syStrategy syConvList(lists li);
BOOLEAN syBetti1(leftv res, leftv u);
BOOLEAN syBetti2(leftv res, leftv u, leftv w);
int siSetCpus(int cpu);
/* ================================================================== */
/* Expressions : */
BOOLEAN iiExprArith1(leftv res, sleftv* a, int op);
BOOLEAN iiExprArith2(leftv res, sleftv* a, int op, sleftv* b,
BOOLEAN proccall=FALSE);
BOOLEAN iiExprArith3(leftv res, int op, leftv a, leftv b, leftv c);
BOOLEAN iiExprArithM(leftv res, sleftv* a, int op);
BOOLEAN iiApply(leftv res,leftv a, int op, leftv proc);
typedef BOOLEAN (*proc1)(leftv,leftv);
#ifdef GENTABLE
struct sValCmd1
{
proc1 p;
short cmd;
short res;
short arg;
short valid_for;
};
typedef BOOLEAN (*proc2)(leftv,leftv,leftv);
struct sValCmd2
{
proc2 p;
short cmd;
short res;
short arg1;
short arg2;
short valid_for;
};
typedef BOOLEAN (*proc3)(leftv,leftv,leftv,leftv);
struct sValCmd3
{
proc3 p;
short cmd;
short res;
short arg1;
short arg2;
short arg3;
short valid_for;
};
struct sValCmdM
{
proc1 p;
short cmd;
short res;
short number_of_args; /* -1: any, -2: any >0, .. */
short valid_for;
};
extern const struct sValCmd2 dArith2[];
extern const struct sValCmd1 dArith1[];
extern const struct sValCmd3 dArith3[];
extern const struct sValCmdM dArithM[];
#endif
/* ================================================================== */
/* Assignments : */
BOOLEAN iiAssign(leftv left, leftv right, BOOLEAN toplevel=TRUE);
coeffs jjSetMinpoly(coeffs cf, number a);
typedef BOOLEAN (*proci)(leftv,leftv,Subexpr);
struct sValAssign_sys
{
proc1 p;
short res;
short arg;
};
struct sValAssign
{
proci p;
short res;
short arg;
};
BOOLEAN iiParameter(leftv p);
BOOLEAN iiAlias(leftv p);
int iiTokType(int op);
/* ================================================================== */
int iiDeclCommand(leftv sy, leftv name, int lev, int t, idhdl* root,
BOOLEAN isring = FALSE, BOOLEAN init_b=TRUE);
BOOLEAN iiMake_proc(idhdl pn, package pack, leftv sl);
void* iiCallLibProc1(const char* n, void *arg, int arg_type, BOOLEAN &err);
leftv ii_CallLibProcM(const char* n, void **args, int *arg_types, const ring R, BOOLEAN &err);
ideal ii_CallProcId2Id(const char* lib,const char* proc, ideal arg,const ring R);
int ii_CallProcId2Int(const char* lib,const char* proc, ideal arg,const ring R);
// from misc.cc:
char * showOption();
BOOLEAN setOption(leftv res, leftv v);
/* ================================================================== */
char * versionString();
/* ================================================================== */
void singular_example(char *str);
BOOLEAN iiTryLoadLib(leftv v, const char *id);
int iiAddCproc(const char *libname, const char *procname, BOOLEAN pstatic,
BOOLEAN(*func)(leftv res, leftv v));
void iiCheckPack(package &p);
#ifndef SING_NDEBUG
void checkall();
#endif
void rSetHdl(idhdl h);
ring rInit(leftv pn, leftv rv, leftv ord);
idhdl rDefault(const char *s);
idhdl rFindHdl(ring r, idhdl n);
void rKill(idhdl h);
void rKill(ring r);
lists scIndIndset(ideal S, BOOLEAN all, ideal Q);
BOOLEAN mpKoszul(leftv res,leftv c/*ip*/, leftv b/*in*/, leftv id);
BOOLEAN mpJacobi(leftv res,leftv a);
BOOLEAN jjRESULTANT(leftv res, leftv u, leftv v, leftv w);
BOOLEAN kQHWeight(leftv res,leftv v);
BOOLEAN kWeight(leftv res,leftv id);
BOOLEAN loSimplex( leftv res, leftv args );
BOOLEAN loNewtonP( leftv res, leftv arg1 );
BOOLEAN nuMPResMat( leftv res, leftv arg1, leftv arg2 );
BOOLEAN nuLagSolve( leftv res, leftv arg1, leftv arg2, leftv arg3 );
BOOLEAN nuVanderSys( leftv res, leftv arg1, leftv arg2, leftv arg3);
BOOLEAN nuUResSolve( leftv res, leftv args );
BOOLEAN jjCHARSERIES(leftv res, leftv u);
/*
BOOLEAN jjRESULTANT(leftv res, leftv u, leftv v, leftv w);
#if 0
BOOLEAN jjIS_SQR_FREE(leftv res, leftv u);
#endif
*/
/* ================================================================== */
void paPrint(const char *n,package p);
/* ================================================================== */
BOOLEAN iiTestAssume(leftv a, leftv b);
/* table interface for iiAddCproc */
/// apply an operation 'op' to an argument a
/// return TRUE on failure
BOOLEAN iiExprArith1Tab(leftv res,///< [out] pre-allocated result
leftv a, ///< [in] argument
int op, ///< [in] operation
const struct sValCmd1* dA1, ///< [in] table of possible proc
///< assumes dArith1[0].cmd==op
int at, ///< [in] a->Typ()
const struct sConvertTypes *dConvertTypes ///< [in] table of type conversions
);
/// apply an operation 'op' to arguments a and a->next
/// return TRUE on failure
BOOLEAN iiExprArith2Tab(leftv res,///< [out] pre-allocated result
leftv a, ///< [in] 2 arguments
int op, ///< [in] operation
const struct sValCmd2* dA2,///< [in] table of possible proc
///< assumes dA2[0].cmd==op
int at, ///< [in] a->Typ()
const struct sConvertTypes *dConvertTypes ///< [in] table of type conversions
);
/// apply an operation 'op' to arguments a, a->next and a->next->next
/// return TRUE on failure
BOOLEAN iiExprArith3Tab(leftv res, ///< [out] pre-allocated result
leftv a, ///< [in] 3 arguments
int op, ///< [in] operation
const struct sValCmd3* dA3,///< [in] table of possible proc
///< assumes dA3[0].cmd==op
int at, ///< [in] a->Typ()
const struct sConvertTypes *dConvertTypes ///< [in] table of type conversions
);
/// check a list of arguemys against a given field of types
/// return TRUE if the types match
/// return FALSE (and, if report) report an error via Werror otherwise
BOOLEAN iiCheckTypes(leftv args,/// < [in] argument list (may be NULL)
const short *type_list,///< [in] field of types
///< len, t1,t2,...
int report=0 /// ;in] report error?
);
BOOLEAN iiBranchTo(leftv r, leftv args);
lists rDecompose(const ring r);
lists rDecompose_list_cf(const ring r);
BOOLEAN rDecompose_CF(leftv res,const coeffs C);
ring rCompose(const lists L, const BOOLEAN check_comp=TRUE, const long bitmask=0x7fff, const int isLetterplace=FALSE);
void iiSetReturn(const leftv h);
#endif
BOOLEAN
int BOOLEAN
Definition auxiliary.h:88
TRUE
#define TRUE
Definition auxiliary.h:101
FALSE
#define FALSE
Definition auxiliary.h:97
l
int l
Definition cfEzgcd.cc:100
i
int i
Definition cfEzgcd.cc:132
p
int p
Definition cfModGcd.cc:4086
fp
CanonicalForm fp
Definition cfModGcd.cc:4110
cf
CanonicalForm cf
Definition cfModGcd.cc:4091
b
CanonicalForm b
Definition cfModGcd.cc:4111
map
CanonicalForm map(const CanonicalForm &primElem, const Variable &alpha, const CanonicalForm &F, const Variable &beta)
map from to such that is mapped onto
Definition cf_map_ext.cc:505
proc
unsigned char * proc[NUM_PROC]
Definition checklibs.c:16
intvec
Definition intvec.h:24
sleftv
Class used for (list of) interpreter objects.
Definition subexpr.h:83
s
const CanonicalForm int s
Definition facAbsFact.cc:51
res
CanonicalForm res
Definition facAbsFact.cc:60
w
const CanonicalForm & w
Definition facAbsFact.cc:51
v
const Variable & v
< [in] a sqrfree bivariate poly
Definition facBivar.h:39
name
char name(const Variable &v)
Definition factory.h:189
printlevel
VAR int printlevel
Definition febase.cc:36
si_echo
VAR int si_echo
Definition febase.cc:35
myynest
VAR int myynest
Definition febase.cc:41
fevoices.h
feBufferTypes
feBufferTypes
Definition fevoices.h:17
EXTERN_INST_VAR
#define EXTERN_INST_VAR
Definition globaldefs.h:9
EXTERN_VAR
#define EXTERN_VAR
Definition globaldefs.h:6
currid
const char * currid
Definition grammar.cc:171
yyInRingConstruction
BOOLEAN yyInRingConstruction
Definition grammar.cc:172
ideals.h
resolvente
ideal * resolvente
Definition ideals.h:18
length
static BOOLEAN length(leftv result, leftv arg)
Definition interval.cc:257
proc3
BOOLEAN(* proc3)(leftv, leftv, leftv, leftv)
Definition iparith.cc:161
proc2
BOOLEAN(* proc2)(leftv, leftv, leftv)
Definition iparith.cc:150
iiOp
VAR int iiOp
Definition iparith.cc:219
sConvertTypes
Definition gentable.cc:116
dConvertTypes
const struct sConvertTypes dConvertTypes[]
Definition table.h:1321
iiRETURNEXPR_len
VAR int iiRETURNEXPR_len
Definition iplib.cc:484
iiRETURNEXPR
INST_VAR sleftv iiRETURNEXPR
Definition iplib.cc:483
iiLocalRing
VAR ring * iiLocalRing
Definition iplib.cc:482
iiCurrProc
VAR idhdl iiCurrProc
Definition ipshell.cc:82
iiCurrArgs
VAR leftv iiCurrArgs
Definition ipshell.cc:81
lastreserved
const char * lastreserved
Definition ipshell.cc:83
iiProcName
char * iiProcName(char *buf, char &ct, char *&e)
Definition iplib.cc:100
rDecompose
lists rDecompose(const ring r)
Definition ipshell.cc:2153
dArith1
const struct sValCmd1 dArith1[]
Definition table.h:38
proci
BOOLEAN(* proci)(leftv, leftv, Subexpr)
Definition ipshell.h:177
iiMakeResolv
void iiMakeResolv(resolvente r, int length, int rlen, char *name, int typ0, intvec **weights=NULL)
Definition ipshell.cc:854
iiWRITE
BOOLEAN iiWRITE(leftv res, leftv exprlist)
Definition ipshell.cc:587
jjVARIABLES_P
BOOLEAN jjVARIABLES_P(leftv res, leftv u)
Definition ipshell.cc:6310
rDecompose_list_cf
lists rDecompose_list_cf(const ring r)
Definition ipshell.cc:2114
iiAddCproc
int iiAddCproc(const char *libname, const char *procname, BOOLEAN pstatic, BOOLEAN(*func)(leftv res, leftv v))
Definition iplib.cc:1073
iiOpsTwoChar
int iiOpsTwoChar(const char *s)
Definition ipshell.cc:122
jjMINRES
BOOLEAN jjMINRES(leftv res, leftv v)
Definition ipshell.cc:954
iiARROW
BOOLEAN iiARROW(leftv, char *, char *)
Definition ipshell.cc:6480
jjSYSTEM
BOOLEAN jjSYSTEM(leftv res, leftv v)
Definition extra.cc:227
iiParameter
BOOLEAN iiParameter(leftv p)
Definition ipshell.cc:1384
jjLOAD
BOOLEAN jjLOAD(const char *s, BOOLEAN autoexport=FALSE)
load lib/module given in v
Definition iparith.cc:5591
spaddProc
BOOLEAN spaddProc(leftv, leftv, leftv)
Definition ipshell.cc:4431
sValCmd1::arg
short arg
Definition gentable.cc:80
iiCheckPack
void iiCheckPack(package &p)
Definition ipshell.cc:1631
jjBETTI
BOOLEAN jjBETTI(leftv res, leftv v)
Definition ipshell.cc:975
sValAssign_sys::p
int p
Definition gentable.cc:103
iiApply
BOOLEAN iiApply(leftv res, leftv a, int op, leftv proc)
Definition ipshell.cc:6431
ii_CallProcId2Id
ideal ii_CallProcId2Id(const char *lib, const char *proc, ideal arg, const ring R)
Definition iplib.cc:670
sValAssign::p
int p
Definition gentable.cc:110
rInit
ring rInit(leftv pn, leftv rv, leftv ord)
Definition ipshell.cc:5628
iiPStart
BOOLEAN iiPStart(idhdl pn, leftv sl)
Definition iplib.cc:379
iiProcArgs
char * iiProcArgs(char *e, BOOLEAN withParenth)
Definition iplib.cc:114
sValCmd2::arg1
short arg1
Definition gentable.cc:71
iiMap
leftv iiMap(map theMap, const char *what)
Definition ipshell.cc:618
iiRegularity
int iiRegularity(lists L)
Definition ipshell.cc:1045
nuLagSolve
BOOLEAN nuLagSolve(leftv res, leftv arg1, leftv arg2, leftv arg3)
find the (complex) roots an univariate polynomial Determines the roots of an univariate polynomial us...
Definition ipshell.cc:4681
versionString
char * versionString()
Definition misc_ip.cc:769
rDecompose_CF
BOOLEAN rDecompose_CF(leftv res, const coeffs C)
Definition ipshell.cc:1943
iiLoadLIB
BOOLEAN iiLoadLIB(FILE *fp, const char *libnamebuf, const char *newlib, idhdl pl, BOOLEAN autoexport, BOOLEAN tellerror)
Definition iplib.cc:983
dArith2
const struct sValCmd2 dArith2[]
Definition table.h:325
syBetti1
BOOLEAN syBetti1(leftv res, leftv u)
Definition ipshell.cc:3166
killlocals
void killlocals(int v)
Definition ipshell.cc:387
sValCmdM::number_of_args
short number_of_args
Definition gentable.cc:98
iiGetLibName
static char * iiGetLibName(const procinfov pi)
find the library of an proc
Definition ipshell.h:66
iiEStart
BOOLEAN iiEStart(char *example, procinfo *pi)
Definition iplib.cc:763
rDefault
idhdl rDefault(const char *s)
Definition ipshell.cc:1645
siSetCpus
int siSetCpus(int cpu)
Definition ipshell.cc:6665
exprlist_length
int exprlist_length(leftv v)
Definition ipshell.cc:551
mpKoszul
BOOLEAN mpKoszul(leftv res, leftv c, leftv b, leftv id)
Definition ipshell.cc:3086
spectrumProc
BOOLEAN spectrumProc(leftv, leftv)
Definition ipshell.cc:4136
Tok2Cmdname
const char * Tok2Cmdname(int i)
Definition gentable.cc:137
scIndIndset
lists scIndIndset(ideal S, BOOLEAN all, ideal Q)
Definition ipshell.cc:1111
sValCmdM::valid_for
short valid_for
Definition gentable.cc:99
rKill
void rKill(idhdl h)
Definition ipshell.cc:6226
nuVanderSys
BOOLEAN nuVanderSys(leftv res, leftv arg1, leftv arg2, leftv arg3)
COMPUTE: polynomial p with values given by v at points p1,..,pN derived from p; more precisely: consi...
Definition ipshell.cc:4824
jjCHARSERIES
BOOLEAN jjCHARSERIES(leftv res, leftv u)
Definition ipshell.cc:3349
mpJacobi
BOOLEAN mpJacobi(leftv res, leftv a)
Definition ipshell.cc:3064
rCompose
ring rCompose(const lists L, const BOOLEAN check_comp=TRUE, const long bitmask=0x7fff, const int isLetterplace=FALSE)
Definition ipshell.cc:2782
iiExprArith3Tab
BOOLEAN iiExprArith3Tab(leftv res, leftv a, int op, const struct sValCmd3 *dA3, int at, const struct sConvertTypes *dConvertTypes)
apply an operation 'op' to arguments a, a->next and a->next->next return TRUE on failure
Definition iparith.cc:9627
iiConvName
char * iiConvName(const char *libname)
Definition iplib.cc:1439
iiTwoOps
const char * iiTwoOps(int t)
Definition gentable.cc:258
iiLibCmd
BOOLEAN iiLibCmd(const char *newlib, BOOLEAN autoexport, BOOLEAN tellerror, BOOLEAN force)
Definition iplib.cc:894
iiSetReturn
void iiSetReturn(const leftv h)
Definition ipshell.cc:6634
iiGetLibStatus
BOOLEAN iiGetLibStatus(const char *lib)
Definition iplib.cc:77
jjBETTI2_ID
BOOLEAN jjBETTI2_ID(leftv res, leftv u, leftv v)
Definition ipshell.cc:988
ii_CallLibProcM
leftv ii_CallLibProcM(const char *n, void **args, int *arg_types, const ring R, BOOLEAN &err)
args: NULL terminated array of arguments arg_types: 0 terminated array of corresponding types
Definition iplib.cc:710
setOption
BOOLEAN setOption(leftv res, leftv v)
Definition misc_ip.cc:570
sValAssign::arg
short arg
Definition gentable.cc:112
iiTestAssume
BOOLEAN iiTestAssume(leftv a, leftv b)
Definition ipshell.cc:6453
sValCmd3::cmd
short cmd
Definition gentable.cc:86
sValCmd2::cmd
short cmd
Definition gentable.cc:69
semicProc
BOOLEAN semicProc(leftv, leftv, leftv)
Definition ipshell.cc:4554
iiTryLoadLib
BOOLEAN iiTryLoadLib(leftv v, const char *id)
Definition iplib.cc:832
IsCmd
int IsCmd(const char *n, int &tok)
Definition iparith.cc:9773
iiGetLibProcBuffer
char * iiGetLibProcBuffer(procinfov pi, int part=1)
rFindHdl
idhdl rFindHdl(ring r, idhdl n)
Definition ipshell.cc:1701
iiAlias
BOOLEAN iiAlias(leftv p)
Definition ipid.cc:841
iiAssign
BOOLEAN iiAssign(leftv left, leftv right, BOOLEAN toplevel=TRUE)
Definition ipassign.cc:2099
iiDebug
void iiDebug()
Definition ipshell.cc:1073
singular_system
leftv singular_system(sleftv h)
syConvList
syStrategy syConvList(lists li)
Definition ipshell.cc:3250
sValCmd3::valid_for
short valid_for
Definition gentable.cc:91
ii_CallProcId2Int
int ii_CallProcId2Int(const char *lib, const char *proc, ideal arg, const ring R)
Definition iplib.cc:689
iiCheckTypes
BOOLEAN iiCheckTypes(leftv args, const short *type_list, int report=0)
check a list of arguemys against a given field of types return TRUE if the types match return FALSE (...
Definition ipshell.cc:6576
jjIMPORTFROM
BOOLEAN jjIMPORTFROM(leftv res, leftv u, leftv v)
Definition ipassign.cc:2512
iiCheckRing
BOOLEAN iiCheckRing(int i)
Definition ipshell.cc:1585
spmulProc
BOOLEAN spmulProc(leftv, leftv, leftv)
Definition ipshell.cc:4473
sValCmd1::cmd
short cmd
Definition gentable.cc:78
sValCmd2::valid_for
short valid_for
Definition gentable.cc:73
sValAssign_sys::res
short res
Definition gentable.cc:104
sValCmdM::res
short res
Definition gentable.cc:97
syBetti2
BOOLEAN syBetti2(leftv res, leftv u, leftv w)
Definition ipshell.cc:3142
iiExprArith1
BOOLEAN iiExprArith1(leftv res, sleftv *a, int op)
kWeight
BOOLEAN kWeight(leftv res, leftv id)
Definition ipshell.cc:3297
sValCmd3::arg1
short arg1
Definition gentable.cc:88
sValCmdM::p
int p
Definition gentable.cc:95
iiMake_proc
BOOLEAN iiMake_proc(idhdl pn, package pack, leftv sl)
Definition iplib.cc:513
jjLOAD_TRY
BOOLEAN jjLOAD_TRY(const char *s)
Definition iparith.cc:5667
test_cmd
void test_cmd(int i)
Definition ipshell.cc:513
sValCmd3::arg2
short arg2
Definition gentable.cc:89
jjRESULTANT
BOOLEAN jjRESULTANT(leftv res, leftv u, leftv v, leftv w)
Definition ipshell.cc:3342
proc1
BOOLEAN(* proc1)(leftv, leftv)
Definition ipshell.h:124
iiHighCorner
poly iiHighCorner(ideal i, int ak)
the largest monomial in R/I
Definition ipshell.cc:1606
iiLocateLib
BOOLEAN iiLocateLib(const char *lib, char *where)
Definition iplib.cc:880
dArithM
const struct sValCmdM dArithM[]
Definition table.h:937
sValCmd1::valid_for
short valid_for
Definition gentable.cc:81
singular_example
void singular_example(char *str)
Definition misc_ip.cc:431
nuMPResMat
BOOLEAN nuMPResMat(leftv res, leftv arg1, leftv arg2)
returns module representing the multipolynomial resultant matrix Arguments 2: ideal i,...
Definition ipshell.cc:4658
iiAllStart
BOOLEAN iiAllStart(procinfov pi, const char *p, feBufferTypes t, int l)
Definition iplib.cc:306
iiDeclCommand
int iiDeclCommand(leftv sy, leftv name, int lev, int t, idhdl *root, BOOLEAN isring=FALSE, BOOLEAN init_b=TRUE)
Definition ipshell.cc:1206
jjSetMinpoly
coeffs jjSetMinpoly(coeffs cf, number a)
Definition ipassign.cc:176
sValCmd3::arg3
short arg3
Definition gentable.cc:90
iiExprArith2Tab
BOOLEAN iiExprArith2Tab(leftv res, leftv a, int op, const struct sValCmd2 *dA2, int at, const struct sConvertTypes *dConvertTypes)
apply an operation 'op' to arguments a and a->next return TRUE on failure
Definition iparith.cc:9162
syConvRes
lists syConvRes(syStrategy syzstr, BOOLEAN toDel=FALSE, int add_row_shift=0)
Definition ipshell.cc:3178
iiExprArith3
BOOLEAN iiExprArith3(leftv res, int op, leftv a, leftv b, leftv c)
Definition iparith.cc:9575
iiCallLibProc1
void * iiCallLibProc1(const char *n, void *arg, int arg_type, BOOLEAN &err)
Definition iplib.cc:636
loSimplex
BOOLEAN loSimplex(leftv res, leftv args)
Implementation of the Simplex Algorithm.
Definition ipshell.cc:4572
loNewtonP
BOOLEAN loNewtonP(leftv res, leftv arg1)
compute Newton Polytopes of input polynomials
Definition ipshell.cc:4566
semicProc3
BOOLEAN semicProc3(leftv, leftv, leftv, leftv)
Definition ipshell.cc:4514
jjBETTI2
BOOLEAN jjBETTI2(leftv res, leftv u, leftv v)
Definition ipshell.cc:1009
iiExprArithM
BOOLEAN iiExprArithM(leftv res, sleftv *a, int op)
type_cmd
void type_cmd(leftv v)
Definition ipshell.cc:255
paPrint
void paPrint(const char *n, package p)
Definition ipshell.cc:6333
rSetHdl
void rSetHdl(idhdl h)
Definition ipshell.cc:5129
kQHWeight
BOOLEAN kQHWeight(leftv res, leftv v)
Definition ipshell.cc:3325
sValAssign::res
short res
Definition gentable.cc:111
sValCmd2::arg2
short arg2
Definition gentable.cc:72
showOption
char * showOption()
Definition misc_ip.cc:711
iiInternalExport
BOOLEAN iiInternalExport(leftv v, int toLev, package pack)
Definition ipshell.cc:1464
iiExprArith1Tab
BOOLEAN iiExprArith1Tab(leftv res, leftv a, int op, const struct sValCmd1 *dA1, int at, const struct sConvertTypes *dConvertTypes)
apply an operation 'op' to an argument a return TRUE on failure
Definition iparith.cc:9235
iiExport
BOOLEAN iiExport(leftv v, int toLev)
Definition ipshell.cc:1510
iiAssignCR
BOOLEAN iiAssignCR(leftv, leftv)
Definition ipshell.cc:6515
iiTokType
int iiTokType(int op)
Definition iparith.cc:230
nuUResSolve
BOOLEAN nuUResSolve(leftv res, leftv args)
solve a multipolynomial system using the u-resultant Input ideal must be 0-dimensional and (currRing-...
Definition ipshell.cc:4925
jjVARIABLES_ID
BOOLEAN jjVARIABLES_ID(leftv res, leftv u)
Definition ipshell.cc:6318
spectrumfProc
BOOLEAN spectrumfProc(leftv, leftv)
Definition ipshell.cc:4187
iiExprArith2
BOOLEAN iiExprArith2(leftv res, sleftv *a, int op, sleftv *b, BOOLEAN proccall=FALSE)
sValAssign_sys::arg
short arg
Definition gentable.cc:105
jjLIST_PL
BOOLEAN jjLIST_PL(leftv res, leftv v)
Definition iparith.cc:8250
iiBranchTo
BOOLEAN iiBranchTo(leftv r, leftv args)
Definition ipshell.cc:1281
dArith3
const struct sValCmd3 dArith3[]
Definition table.h:801
list_cmd
void list_cmd(int typ, const char *what, const char *prefix, BOOLEAN iterate, BOOLEAN fullname=FALSE)
Definition ipshell.cc:426
sValCmdM::cmd
short cmd
Definition gentable.cc:96
sValAssign
Definition gentable.cc:109
sValAssign_sys
Definition gentable.cc:102
sValCmd1
Definition gentable.cc:76
sValCmd2
Definition gentable.cc:67
sValCmd3
Definition gentable.cc:84
sValCmdM
Definition gentable.cc:94
h
STATIC_VAR Poly * h
Definition janet.cc:971
pi
#define pi
Definition libparse.cc:1145
libnamebuf
VAR char libnamebuf[1024]
Definition libparse.cc:1098
lists.h
lists
slists * lists
Definition mpr_numeric.h:146
coeffs
The main handler for Singular numbers which are suitable for Singular polynomials.
NULL
#define NULL
Definition omList.c:12
idhdl
idrec * idhdl
Definition ring.h:22
buf
int status int void * buf
Definition si_signals.h:69
R
#define R
Definition sirandom.c:27
Q
#define Q
Definition sirandom.c:26
package
ip_package * package
Definition structs.h:39
leftv
sleftv * leftv
Definition structs.h:53
procinfov
procinfo * procinfov
Definition structs.h:56
procinfo
Definition subexpr.h:54
_ssubexpr
Definition subexpr.h:69
syStrategy
ssyStrategy * syStrategy
Definition syz.h:36