![]() |
#include <stdio.h>
#include <kernel/ideals.h>
#include <Singular/lists.h>
#include <Singular/fevoices.h>
Go to the source code of this file.
Data Structures | |
struct | sValCmd1 |
struct | sValCmd2 |
struct | sValCmd3 |
struct | sValCmdM |
struct | sValAssign_sys |
struct | sValAssign |
Typedefs | |
typedef BOOLEAN(* | proc1) (leftv, leftv) |
typedef char *(* | Proc1) (char *) |
typedef BOOLEAN(* | proc2) (leftv, leftv, leftv) |
typedef BOOLEAN(* | proc3) (leftv, leftv, leftv, leftv) |
typedef BOOLEAN(* | proci) (leftv, leftv, Subexpr) |
Functions | |
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 *) |
int | IsCmd (const char *n, int &tok) |
BOOLEAN | iiPStart (idhdl pn, sleftv *sl) |
BOOLEAN | iiEStart (char *example, procinfo *pi) |
BOOLEAN | iiAllStart (procinfov pi, 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) |
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) |
char * | iiGetLibName (procinfov v) |
char * | iiGetLibProcBuffer (procinfov pi, int part=1) |
char * | iiProcName (char *buf, char &ct, char *&e) |
char * | iiProcArgs (char *e, BOOLEAN withParenth) |
BOOLEAN | iiLibCmd (char *newlib, BOOLEAN autoexport, BOOLEAN tellerror, BOOLEAN force) |
BOOLEAN | jjLOAD (const char *s, BOOLEAN autoexport=FALSE) |
load lib/module given in v More... | |
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 | iiLoadLIB (FILE *fp, const char *libnamebuf, const char *newlib, idhdl pl, BOOLEAN autoexport, BOOLEAN tellerror) |
lists | syConvRes (syStrategy syzstr, BOOLEAN toDel=FALSE, int add_row_shift=0) |
syStrategy | syForceMin (lists li) |
syStrategy | syConvList (lists li, BOOLEAN toDel) |
BOOLEAN | syBetti1 (leftv res, leftv u) |
BOOLEAN | syBetti2 (leftv res, leftv u, leftv w) |
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) |
BOOLEAN | iiAssign (leftv left, leftv right, BOOLEAN toplevel=TRUE) |
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, sleftv *sl) |
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) |
void | checkall () |
void | rSetHdl (idhdl h) |
ring | rInit (sleftv *pn, sleftv *rv, sleftv *ord) |
idhdl | rDefault (const char *s) |
idhdl | rSimpleFindHdl (ring r, idhdl root, idhdl n=NULL) |
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, leftv b, 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) |
Implementation of the Simplex Algorithm. More... | |
BOOLEAN | loNewtonP (leftv res, leftv arg1) |
compute Newton Polytopes of input polynomials More... | |
BOOLEAN | nuMPResMat (leftv res, leftv arg1, leftv arg2) |
returns module representing the multipolynomial resultant matrix Arguments 2: ideal i, int k k=0: use sparse resultant matrix of Gelfand, Kapranov and Zelevinsky k=1: use resultant matrix of Macaulay (k=0 is default) More... | |
BOOLEAN | nuLagSolve (leftv res, leftv arg1, leftv arg2, leftv arg3) |
find the (complex) roots an univariate polynomial Determines the roots of an univariate polynomial using Laguerres' root-solver. More... | |
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: consider p as point in K^n and v as N elements in K, let p1,..,pN be the points in K^n obtained by evaluating all monomials of degree 0,1,...,N at p in lexicographical order, then the procedure computes the polynomial f satisfying f(pi) = v[i] RETURN: polynomial f of degree d. More... | |
BOOLEAN | nuUResSolve (leftv res, leftv args) |
solve a multipolynomial system using the u-resultant Input ideal must be 0-dimensional and (currRing->N) == IDELEMS(ideal). More... | |
BOOLEAN | jjCHARSERIES (leftv res, leftv u) |
void | paPrint (const char *n, package p) |
BOOLEAN | iiTestAssume (leftv a, leftv b) |
BOOLEAN | iiExprArith1Tab (leftv res, leftv a, int op, struct sValCmd1 *dA1, int at, struct sConvertTypes *dConvertTypes) |
apply an operation 'op' to an argument a return TRUE on failure More... | |
BOOLEAN | iiExprArith2Tab (leftv res, leftv a, int op, struct sValCmd2 *dA2, int at, struct sConvertTypes *dConvertTypes) |
apply an operation 'op' to arguments a and a->next return TRUE on failure More... | |
BOOLEAN | iiExprArith3Tab (leftv res, leftv a, int op, struct sValCmd3 *dA3, int at, struct sConvertTypes *dConvertTypes) |
apply an operation 'op' to arguments a, a->next and a->next->next return TRUE on failure More... | |
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 (and, if report) report an error via Werror otherwise More... | |
BOOLEAN | iiBranchTo (leftv r, leftv args) |
BOOLEAN | rDecompose_CF (leftv res, const coeffs C) |
Variables | |
leftv | iiCurrArgs |
idhdl | iiCurrProc |
int | iiOp |
const char * | currid |
int | iiRETURNEXPR_len |
sleftv | iiRETURNEXPR |
ring * | iiLocalRing |
const char * | lastreserved |
const char * | singular_date |
int | myynest |
int | printlevel |
int | si_echo |
BOOLEAN | yyInRingConstruction |
struct sValCmd2 | dArith2 [] |
struct sValCmd1 | dArith1 [] |
struct sValCmd3 | dArith3 [] |
struct sValCmdM | dArithM [] |
struct sValCmd1 |
Definition at line 66 of file gentable.cc.
Data Fields | ||
---|---|---|
short | arg | |
short | cmd | |
int | p | |
proc1 | p | |
short | res | |
short | valid_for |
struct sValCmd2 |
Definition at line 57 of file gentable.cc.
Data Fields | ||
---|---|---|
short | arg1 | |
short | arg2 | |
short | cmd | |
int | p | |
proc2 | p | |
short | res | |
short | valid_for |
struct sValCmd3 |
Definition at line 74 of file gentable.cc.
Data Fields | ||
---|---|---|
short | arg1 | |
short | arg2 | |
short | arg3 | |
short | cmd | |
int | p | |
proc3 | p | |
short | res | |
short | valid_for |
struct sValCmdM |
Definition at line 84 of file gentable.cc.
Data Fields | ||
---|---|---|
short | cmd | |
short | number_of_args | |
int | p | |
proc1 | p | |
short | res | |
short | valid_for |
struct sValAssign_sys |
Definition at line 92 of file gentable.cc.
Data Fields | ||
---|---|---|
short | arg | |
int | p | |
proc1 | p | |
short | res |
struct sValAssign |
Definition at line 99 of file gentable.cc.
Data Fields | ||
---|---|---|
short | arg | |
int | p | |
proci | p | |
short | res |
void checkall | ( | ) |
Definition at line 1017 of file misc_ip.cc.
int exprlist_length | ( | leftv | v | ) |
Definition at line 559 of file ipshell.cc.
int iiAddCproc | ( | const char * | libname, |
const char * | procname, | ||
BOOLEAN | pstatic, | ||
BOOLEAN(*)(leftv res, leftv v) | func | ||
) |
Definition at line 1003 of file iplib.cc.
Definition at line 745 of file ipid.cc.
BOOLEAN iiAllStart | ( | procinfov | pi, |
char * | p, | ||
feBufferTypes | t, | ||
int | l | ||
) |
Definition at line 322 of file iplib.cc.
Definition at line 6293 of file ipshell.cc.
Definition at line 6342 of file ipshell.cc.
Definition at line 1782 of file ipassign.cc.
Definition at line 6376 of file ipshell.cc.
Definition at line 1174 of file ipshell.cc.
void iiCheckPack | ( | package & | p | ) |
Definition at line 1512 of file ipshell.cc.
BOOLEAN iiCheckRing | ( | int | i | ) |
Definition at line 1468 of file ipshell.cc.
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
type_list | < [in] argument list (may be NULL) [in] field of types len, t1,t2,... |
report | ;in] report error? |
Definition at line 6434 of file ipshell.cc.
void iiDebug | ( | ) |
Definition at line 981 of file ipshell.cc.
int iiDeclCommand | ( | leftv | sy, |
leftv | name, | ||
int | lev, | ||
int | t, | ||
idhdl * | root, | ||
BOOLEAN | isring = FALSE , |
||
BOOLEAN | init_b = TRUE |
||
) |
Definition at line 1119 of file ipshell.cc.
Definition at line 665 of file iplib.cc.
Definition at line 1388 of file ipshell.cc.
Definition at line 1414 of file ipshell.cc.
BOOLEAN iiExprArith1Tab | ( | leftv | res, |
leftv | a, | ||
int | op, | ||
struct sValCmd1 * | dA1, | ||
int | at, | ||
struct sConvertTypes * | dConvertTypes | ||
) |
apply an operation 'op' to an argument a return TRUE on failure
[out] | res | pre-allocated result |
[in] | a | argument |
[in] | op | operation |
[in] | dA1 | table of possible proc assumes dArith1[0].cmd==op |
[in] | at | a->Typ() |
[in] | dConvertTypes | table of type conversions |
Definition at line 8202 of file iparith.cc.
BOOLEAN iiExprArith2Tab | ( | leftv | res, |
leftv | a, | ||
int | op, | ||
struct sValCmd2 * | dA2, | ||
int | at, | ||
struct sConvertTypes * | dConvertTypes | ||
) |
apply an operation 'op' to arguments a and a->next return TRUE on failure
[out] | res | pre-allocated result |
[in] | a | 2 arguments |
[in] | op | operation |
[in] | dA2 | table of possible proc assumes dA2[0].cmd==op |
[in] | at | a->Typ() |
[in] | dConvertTypes | table of type conversions |
Definition at line 8130 of file iparith.cc.
Definition at line 8542 of file iparith.cc.
BOOLEAN iiExprArith3Tab | ( | leftv | res, |
leftv | a, | ||
int | op, | ||
struct sValCmd3 * | dA3, | ||
int | at, | ||
struct sConvertTypes * | dConvertTypes | ||
) |
apply an operation 'op' to arguments a, a->next and a->next->next return TRUE on failure
[out] | res | pre-allocated result |
[in] | a | 3 arguments |
[in] | op | operation |
[in] | dA3 | table of possible proc assumes dA3[0].cmd==op |
[in] | at | a->Typ() |
[in] | dConvertTypes | table of type conversions |
Definition at line 8594 of file iparith.cc.
char* iiGetLibName | ( | procinfov | v | ) |
char* iiGetLibProcBuffer | ( | procinfov | pi, |
int | part = 1 |
||
) |
poly iiHighCorner | ( | ideal | i, |
int | ak | ||
) |
Definition at line 1488 of file ipshell.cc.
Definition at line 1342 of file ipshell.cc.
Definition at line 813 of file iplib.cc.
BOOLEAN iiLoadLIB | ( | FILE * | fp, |
const char * | libnamebuf, | ||
const char * | newlib, | ||
idhdl | pl, | ||
BOOLEAN | autoexport, | ||
BOOLEAN | tellerror | ||
) |
Definition at line 902 of file iplib.cc.
Definition at line 573 of file iplib.cc.
void iiMakeResolv | ( | resolvente | r, |
int | length, | ||
int | rlen, | ||
char * | name, | ||
int | typ0, | ||
intvec ** | weights = NULL |
||
) |
Definition at line 772 of file ipshell.cc.
Definition at line 622 of file ipshell.cc.
int iiOpsTwoChar | ( | const char * | s | ) |
Definition at line 125 of file ipshell.cc.
Definition at line 1244 of file ipshell.cc.
Definition at line 382 of file iplib.cc.
int iiRegularity | ( | lists | L | ) |
Definition at line 953 of file ipshell.cc.
Definition at line 6315 of file ipshell.cc.
int iiTokType | ( | int | op | ) |
Definition at line 255 of file iparith.cc.
Definition at line 751 of file iplib.cc.
const char* iiTwoOps | ( | int | t | ) |
Definition at line 252 of file gentable.cc.
Definition at line 595 of file ipshell.cc.
int IsCmd | ( | const char * | n, |
int & | tok | ||
) |
Definition at line 8739 of file iparith.cc.
Definition at line 892 of file ipshell.cc.
Definition at line 926 of file ipshell.cc.
Definition at line 905 of file ipshell.cc.
Definition at line 3211 of file ipshell.cc.
Definition at line 2174 of file ipassign.cc.
Definition at line 7411 of file iparith.cc.
load lib/module given in v
Definition at line 5286 of file iparith.cc.
Definition at line 5350 of file iparith.cc.
Definition at line 871 of file ipshell.cc.
Definition at line 3204 of file ipshell.cc.
Definition at line 245 of file extra.cc.
Definition at line 6188 of file ipshell.cc.
Definition at line 6180 of file ipshell.cc.
void killlocals | ( | int | v | ) |
Definition at line 385 of file ipshell.cc.
Definition at line 3187 of file ipshell.cc.
Definition at line 3165 of file ipshell.cc.
void list_cmd | ( | int | typ, |
const char * | what, | ||
const char * | prefix, | ||
BOOLEAN | iterate, | ||
BOOLEAN | fullname = FALSE |
||
) |
Definition at line 425 of file ipshell.cc.
Implementation of the Simplex Algorithm.
For args, see class simplex.
Definition at line 4433 of file ipshell.cc.
Definition at line 2934 of file ipshell.cc.
Definition at line 2956 of file ipshell.cc.
find the (complex) roots an univariate polynomial Determines the roots of an univariate polynomial using Laguerres' root-solver.
Good for polynomials with low and middle degree (<40). Arguments 3: poly arg1 , int arg2 , int arg3 arg2>0: defines precision of fractional part if ground field is Q arg3: number of iterations for approximation of roots (default=2) Returns a list of all (complex) roots of the polynomial arg1
Definition at line 4542 of file ipshell.cc.
returns module representing the multipolynomial resultant matrix Arguments 2: ideal i, int k k=0: use sparse resultant matrix of Gelfand, Kapranov and Zelevinsky k=1: use resultant matrix of Macaulay (k=0 is default)
Definition at line 4519 of file ipshell.cc.
solve a multipolynomial system using the u-resultant Input ideal must be 0-dimensional and (currRing->N) == IDELEMS(ideal).
Resultant method can be MPR_DENSE, which uses Macaulay Resultant (good for dense homogeneous polynoms) or MPR_SPARSE, which uses Sparse Resultant (Gelfand, Kapranov, Zelevinsky). Arguments 4: ideal i, int k, int l, int m k=0: use sparse resultant matrix of Gelfand, Kapranov and Zelevinsky k=1: use resultant matrix of Macaulay (k=0 is default) l>0: defines precision of fractional part if ground field is Q m=0,1,2: number of iterations for approximation of roots (default=2) Returns a list containing the roots of the system.
Definition at line 4775 of file ipshell.cc.
COMPUTE: polynomial p with values given by v at points p1,..,pN derived from p; more precisely: consider p as point in K^n and v as N elements in K, let p1,..,pN be the points in K^n obtained by evaluating all monomials of degree 0,1,...,N at p in lexicographical order, then the procedure computes the polynomial f satisfying f(pi) = v[i] RETURN: polynomial f of degree d.
Definition at line 4674 of file ipshell.cc.
Definition at line 6203 of file ipshell.cc.
Definition at line 1821 of file ipshell.cc.
Definition at line 1528 of file ipshell.cc.
Definition at line 1573 of file ipshell.cc.
Definition at line 5461 of file ipshell.cc.
void rKill | ( | idhdl | h | ) |
Definition at line 6068 of file ipshell.cc.
void rKill | ( | ring | r | ) |
Definition at line 5999 of file ipshell.cc.
void rSetHdl | ( | idhdl | h | ) |
Definition at line 4979 of file ipshell.cc.
Definition at line 6087 of file ipshell.cc.
Definition at line 1019 of file ipshell.cc.
Definition at line 4415 of file ipshell.cc.
Definition at line 4375 of file ipshell.cc.
Definition at line 581 of file misc_ip.cc.
char* showOption | ( | ) |
Definition at line 727 of file misc_ip.cc.
void singular_example | ( | char * | str | ) |
Definition at line 438 of file misc_ip.cc.
Definition at line 4292 of file ipshell.cc.
Definition at line 4048 of file ipshell.cc.
Definition at line 3997 of file ipshell.cc.
Definition at line 4334 of file ipshell.cc.
Definition at line 3034 of file ipshell.cc.
Definition at line 3011 of file ipshell.cc.
syStrategy syConvList | ( | lists | li, |
BOOLEAN | toDel | ||
) |
Definition at line 3119 of file ipshell.cc.
lists syConvRes | ( | syStrategy | syzstr, |
BOOLEAN | toDel = FALSE , |
||
int | add_row_shift = 0 |
||
) |
Definition at line 3046 of file ipshell.cc.
syStrategy syForceMin | ( | lists | li | ) |
Definition at line 3149 of file ipshell.cc.
void test_cmd | ( | int | i | ) |
Definition at line 521 of file ipshell.cc.
const char* Tok2Cmdname | ( | int | i | ) |
Definition at line 128 of file gentable.cc.
void type_cmd | ( | leftv | v | ) |
Definition at line 251 of file ipshell.cc.
char* versionString | ( | ) |
Definition at line 784 of file misc_ip.cc.
const char* currid |
Definition at line 172 of file grammar.cc.
leftv iiCurrArgs |
Definition at line 84 of file ipshell.cc.
idhdl iiCurrProc |
Definition at line 85 of file ipshell.cc.
int iiOp |
Definition at line 240 of file iparith.cc.
const char* lastreserved |
Definition at line 86 of file ipshell.cc.
const char* singular_date |
Definition at line 1164 of file misc_ip.cc.
BOOLEAN yyInRingConstruction |
Definition at line 173 of file grammar.cc.