45int IsCmd(
const char *n,
int & tok);
52void list_cmd(
int typ,
const char* what,
const char * prefix,
290 const short *type_list,
CanonicalForm map(const CanonicalForm &primElem, const Variable &alpha, const CanonicalForm &F, const Variable &beta)
map from to such that is mapped onto
unsigned char * proc[NUM_PROC]
Class used for (list of) interpreter objects.
const CanonicalForm int s
const Variable & v
< [in] a sqrfree bivariate poly
static BOOLEAN length(leftv result, leftv arg)
const struct sConvertTypes dConvertTypes[]
char * iiProcName(char *buf, char &ct, char *&e)
lists rDecompose(const ring r)
const struct sValCmd1 dArith1[]
BOOLEAN(* proci)(leftv, leftv, Subexpr)
void iiMakeResolv(resolvente r, int length, int rlen, char *name, int typ0, intvec **weights=NULL)
BOOLEAN iiWRITE(leftv res, leftv exprlist)
BOOLEAN jjVARIABLES_P(leftv res, leftv u)
lists rDecompose_list_cf(const ring r)
int iiAddCproc(const char *libname, const char *procname, BOOLEAN pstatic, BOOLEAN(*func)(leftv res, leftv v))
EXTERN_VAR leftv iiCurrArgs
int iiOpsTwoChar(const char *s)
EXTERN_VAR BOOLEAN yyInRingConstruction
BOOLEAN jjMINRES(leftv res, leftv v)
BOOLEAN iiARROW(leftv, char *, char *)
BOOLEAN jjSYSTEM(leftv res, leftv v)
EXTERN_INST_VAR sleftv iiRETURNEXPR
BOOLEAN iiParameter(leftv p)
BOOLEAN jjLOAD(const char *s, BOOLEAN autoexport=FALSE)
load lib/module given in v
BOOLEAN spaddProc(leftv, leftv, leftv)
void iiCheckPack(package &p)
BOOLEAN jjBETTI(leftv res, leftv v)
BOOLEAN iiApply(leftv res, leftv a, int op, leftv proc)
BOOLEAN(* proc3)(leftv, leftv, leftv, leftv)
ideal ii_CallProcId2Id(const char *lib, const char *proc, ideal arg, const ring R)
ring rInit(leftv pn, leftv rv, leftv ord)
BOOLEAN iiPStart(idhdl pn, leftv sl)
char * iiProcArgs(char *e, BOOLEAN withParenth)
leftv iiMap(map theMap, const char *what)
int iiRegularity(lists L)
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...
BOOLEAN rDecompose_CF(leftv res, const coeffs C)
BOOLEAN iiLoadLIB(FILE *fp, const char *libnamebuf, const char *newlib, idhdl pl, BOOLEAN autoexport, BOOLEAN tellerror)
const struct sValCmd2 dArith2[]
BOOLEAN syBetti1(leftv res, leftv u)
static char * iiGetLibName(const procinfov pi)
find the library of an proc
BOOLEAN iiEStart(char *example, procinfo *pi)
idhdl rDefault(const char *s)
int exprlist_length(leftv v)
BOOLEAN mpKoszul(leftv res, leftv c, leftv b, leftv id)
EXTERN_VAR idhdl iiCurrProc
BOOLEAN spectrumProc(leftv, leftv)
const char * Tok2Cmdname(int i)
lists scIndIndset(ideal S, BOOLEAN all, ideal Q)
BOOLEAN(* proc2)(leftv, leftv, leftv)
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...
BOOLEAN jjCHARSERIES(leftv res, leftv u)
BOOLEAN mpJacobi(leftv res, leftv a)
ring rCompose(const lists L, const BOOLEAN check_comp=TRUE, const long bitmask=0x7fff, const int isLetterplace=FALSE)
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
char * iiConvName(const char *libname)
const char * iiTwoOps(int t)
BOOLEAN iiLibCmd(const char *newlib, BOOLEAN autoexport, BOOLEAN tellerror, BOOLEAN force)
void iiSetReturn(const leftv h)
BOOLEAN iiGetLibStatus(const char *lib)
BOOLEAN jjBETTI2_ID(leftv res, leftv u, leftv v)
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
BOOLEAN setOption(leftv res, leftv v)
BOOLEAN iiTestAssume(leftv a, leftv b)
BOOLEAN semicProc(leftv, leftv, leftv)
BOOLEAN iiTryLoadLib(leftv v, const char *id)
int IsCmd(const char *n, int &tok)
char * iiGetLibProcBuffer(procinfov pi, int part=1)
idhdl rFindHdl(ring r, idhdl n)
BOOLEAN iiAssign(leftv left, leftv right, BOOLEAN toplevel=TRUE)
leftv singular_system(sleftv h)
syStrategy syConvList(lists li)
int ii_CallProcId2Int(const char *lib, const char *proc, ideal arg, const ring R)
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 (...
BOOLEAN jjIMPORTFROM(leftv res, leftv u, leftv v)
BOOLEAN iiCheckRing(int i)
BOOLEAN spmulProc(leftv, leftv, leftv)
BOOLEAN syBetti2(leftv res, leftv u, leftv w)
BOOLEAN iiExprArith1(leftv res, sleftv *a, int op)
BOOLEAN kWeight(leftv res, leftv id)
BOOLEAN iiMake_proc(idhdl pn, package pack, leftv sl)
BOOLEAN jjLOAD_TRY(const char *s)
EXTERN_VAR int printlevel
BOOLEAN jjRESULTANT(leftv res, leftv u, leftv v, leftv w)
BOOLEAN(* proc1)(leftv, leftv)
poly iiHighCorner(ideal i, int ak)
BOOLEAN iiLocateLib(const char *lib, char *where)
const struct sValCmdM dArithM[]
void singular_example(char *str)
BOOLEAN nuMPResMat(leftv res, leftv arg1, leftv arg2)
returns module representing the multipolynomial resultant matrix Arguments 2: ideal i,...
BOOLEAN iiAllStart(procinfov pi, const char *p, feBufferTypes t, int l)
int iiDeclCommand(leftv sy, leftv name, int lev, int t, idhdl *root, BOOLEAN isring=FALSE, BOOLEAN init_b=TRUE)
coeffs jjSetMinpoly(coeffs cf, number a)
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
lists syConvRes(syStrategy syzstr, BOOLEAN toDel=FALSE, int add_row_shift=0)
BOOLEAN iiExprArith3(leftv res, int op, leftv a, leftv b, leftv c)
void * iiCallLibProc1(const char *n, void *arg, int arg_type, BOOLEAN &err)
BOOLEAN loSimplex(leftv res, leftv args)
Implementation of the Simplex Algorithm.
BOOLEAN loNewtonP(leftv res, leftv arg1)
compute Newton Polytopes of input polynomials
BOOLEAN semicProc3(leftv, leftv, leftv, leftv)
BOOLEAN jjBETTI2(leftv res, leftv u, leftv v)
const char * lastreserved
BOOLEAN iiExprArithM(leftv res, sleftv *a, int op)
EXTERN_VAR int iiRETURNEXPR_len
EXTERN_VAR ring * iiLocalRing
void paPrint(const char *n, package p)
BOOLEAN kQHWeight(leftv res, leftv v)
BOOLEAN iiInternalExport(leftv v, int toLev, package pack)
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
BOOLEAN iiExport(leftv v, int toLev)
BOOLEAN iiAssignCR(leftv, leftv)
BOOLEAN nuUResSolve(leftv res, leftv args)
solve a multipolynomial system using the u-resultant Input ideal must be 0-dimensional and (currRing-...
BOOLEAN jjVARIABLES_ID(leftv res, leftv u)
BOOLEAN spectrumfProc(leftv, leftv)
BOOLEAN iiExprArith2(leftv res, sleftv *a, int op, sleftv *b, BOOLEAN proccall=FALSE)
BOOLEAN jjLIST_PL(leftv res, leftv v)
BOOLEAN iiBranchTo(leftv r, leftv args)
const struct sValCmd3 dArith3[]
void list_cmd(int typ, const char *what, const char *prefix, BOOLEAN iterate, BOOLEAN fullname=FALSE)
VAR char libnamebuf[1024]
The main handler for Singular numbers which are suitable for Singular polynomials.
int status int void * buf
int name
New type name for int.