![]() |
My Project
debian-1:4.1.1-p2+ds-4build4
|
#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 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, leftv 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) |
static char * | iiGetLibName (const procinfov pi) |
find the library of an proc More... | |
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 | 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, leftv sl) |
void * | iiCallLibProc1 (const char *n, void *arg, int arg_type, BOOLEAN &err) |
void * | iiCallLibProcM (const char *n, void **args, int *arg_types, BOOLEAN &err) |
args: NULL terminated arry of arguments arg_types: 0 terminated array of corresponding types More... | |
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 | rSetHdl (idhdl h) |
ring | rInit (leftv pn, leftv rv, leftv 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, const struct sValCmd1 *dA1, int at, const struct sConvertTypes *dConvertTypes) |
apply an operation 'op' to an argument a return TRUE on failure More... | |
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 More... | |
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 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) |
lists | rDecompose (const ring r) |
lists | rDecompose_list_cf (const ring r) |
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 |
int | myynest |
int | printlevel |
int | si_echo |
BOOLEAN | yyInRingConstruction |
const struct sValCmd2 | dArith2 [] |
const struct sValCmd1 | dArith1 [] |
const struct sValCmd3 | dArith3 [] |
const struct sValCmdM | dArithM [] |
struct sValCmd1 |
Definition at line 76 of file gentable.cc.
Data Fields | ||
---|---|---|
short | arg | |
short | cmd | |
int | p | |
proc1 | p | |
short | res | |
short | valid_for |
struct sValCmd2 |
Definition at line 67 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 84 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 94 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 102 of file gentable.cc.
Data Fields | ||
---|---|---|
short | arg | |
int | p | |
proc1 | p | |
short | res |
struct sValAssign |
Definition at line 109 of file gentable.cc.
Data Fields | ||
---|---|---|
short | arg | |
int | p | |
proci | p | |
short | res |
int exprlist_length | ( | leftv | v | ) |
Definition at line 544 of file ipshell.cc.
int iiAddCproc | ( | const char * | libname, |
const char * | procname, | ||
BOOLEAN | pstatic, | ||
BOOLEAN(*)(leftv res, leftv v) | func | ||
) |
Definition at line 1005 of file iplib.cc.
Definition at line 755 of file ipid.cc.
BOOLEAN iiAllStart | ( | procinfov | pi, |
char * | p, | ||
feBufferTypes | t, | ||
int | l | ||
) |
Definition at line 293 of file iplib.cc.
Definition at line 6364 of file ipshell.cc.
Definition at line 6413 of file ipshell.cc.
Definition at line 1792 of file ipassign.cc.
Definition at line 6447 of file ipshell.cc.
Definition at line 1179 of file ipshell.cc.
Definition at line 613 of file iplib.cc.
void iiCheckPack | ( | package & | p | ) |
Definition at line 1536 of file ipshell.cc.
BOOLEAN iiCheckRing | ( | int | i | ) |
Definition at line 1492 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 6503 of file ipshell.cc.
void iiDebug | ( | ) |
Definition at line 984 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 1122 of file ipshell.cc.
Definition at line 1414 of file ipshell.cc.
Definition at line 1440 of file ipshell.cc.
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
[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 8137 of file iparith.cc.
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
[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 8065 of file iparith.cc.
Definition at line 8480 of file iparith.cc.
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
[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 8532 of file iparith.cc.
char* iiGetLibProcBuffer | ( | procinfov | pi, |
int | part = 1 |
||
) |
poly iiHighCorner | ( | ideal | i, |
int | ak | ||
) |
Definition at line 1512 of file ipshell.cc.
Definition at line 1368 of file ipshell.cc.
Definition at line 826 of file iplib.cc.
BOOLEAN iiLoadLIB | ( | FILE * | fp, |
const char * | libnamebuf, | ||
const char * | newlib, | ||
idhdl | pl, | ||
BOOLEAN | autoexport, | ||
BOOLEAN | tellerror | ||
) |
Definition at line 915 of file iplib.cc.
void iiMakeResolv | ( | resolvente | r, |
int | length, | ||
int | rlen, | ||
char * | name, | ||
int | typ0, | ||
intvec ** | weights = NULL |
||
) |
Definition at line 766 of file ipshell.cc.
Definition at line 607 of file ipshell.cc.
int iiOpsTwoChar | ( | const char * | s | ) |
Definition at line 119 of file ipshell.cc.
Definition at line 1280 of file ipshell.cc.
char* iiProcName | ( | char * | buf, |
char & | ct, | ||
char *& | e | ||
) |
int iiRegularity | ( | lists | L | ) |
Definition at line 956 of file ipshell.cc.
Definition at line 6386 of file ipshell.cc.
int iiTokType | ( | int | op | ) |
Definition at line 233 of file iparith.cc.
Definition at line 764 of file iplib.cc.
const char* iiTwoOps | ( | int | t | ) |
Definition at line 259 of file gentable.cc.
Definition at line 580 of file ipshell.cc.
int IsCmd | ( | const char * | n, |
int & | tok | ||
) |
Definition at line 8679 of file iparith.cc.
Definition at line 886 of file ipshell.cc.
Definition at line 920 of file ipshell.cc.
Definition at line 899 of file ipshell.cc.
Definition at line 3285 of file ipshell.cc.
Definition at line 2187 of file ipassign.cc.
Definition at line 7307 of file iparith.cc.
load lib/module given in v
Definition at line 5096 of file iparith.cc.
Definition at line 5172 of file iparith.cc.
Definition at line 865 of file ipshell.cc.
Definition at line 3278 of file ipshell.cc.
Definition at line 228 of file extra.cc.
Definition at line 6258 of file ipshell.cc.
Definition at line 6250 of file ipshell.cc.
void killlocals | ( | int | v | ) |
Definition at line 378 of file ipshell.cc.
Definition at line 3261 of file ipshell.cc.
Definition at line 3239 of file ipshell.cc.
void list_cmd | ( | int | typ, |
const char * | what, | ||
const char * | prefix, | ||
BOOLEAN | iterate, | ||
BOOLEAN | fullname = FALSE |
||
) |
Definition at line 417 of file ipshell.cc.
Implementation of the Simplex Algorithm.
For args, see class simplex.
Definition at line 4507 of file ipshell.cc.
Definition at line 3009 of file ipshell.cc.
Definition at line 3031 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 4616 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 4593 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 4846 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 4745 of file ipshell.cc.
Definition at line 6273 of file ipshell.cc.
Definition at line 2041 of file ipshell.cc.
Definition at line 1839 of file ipshell.cc.
Definition at line 1910 of file ipshell.cc.
Definition at line 1550 of file ipshell.cc.
Definition at line 1595 of file ipshell.cc.
Definition at line 5543 of file ipshell.cc.
void rKill | ( | idhdl | h | ) |
Definition at line 6122 of file ipshell.cc.
void rKill | ( | ring | r | ) |
Definition at line 6076 of file ipshell.cc.
void rSetHdl | ( | idhdl | h | ) |
Definition at line 5050 of file ipshell.cc.
Definition at line 1022 of file ipshell.cc.
Definition at line 4489 of file ipshell.cc.
Definition at line 4449 of file ipshell.cc.
Definition at line 585 of file misc_ip.cc.
char* showOption | ( | ) |
Definition at line 727 of file misc_ip.cc.
void singular_example | ( | char * | str | ) |
Definition at line 448 of file misc_ip.cc.
Definition at line 4366 of file ipshell.cc.
Definition at line 4122 of file ipshell.cc.
Definition at line 4071 of file ipshell.cc.
Definition at line 4408 of file ipshell.cc.
Definition at line 3110 of file ipshell.cc.
Definition at line 3087 of file ipshell.cc.
syStrategy syConvList | ( | lists | li | ) |
Definition at line 3194 of file ipshell.cc.
lists syConvRes | ( | syStrategy | syzstr, |
BOOLEAN | toDel = FALSE , |
||
int | add_row_shift = 0 |
||
) |
Definition at line 3122 of file ipshell.cc.
syStrategy syForceMin | ( | lists | li | ) |
Definition at line 3223 of file ipshell.cc.
void test_cmd | ( | int | i | ) |
Definition at line 506 of file ipshell.cc.
const char* Tok2Cmdname | ( | int | i | ) |
Definition at line 138 of file gentable.cc.
void type_cmd | ( | leftv | v | ) |
Definition at line 246 of file ipshell.cc.
char* versionString | ( | ) |
Definition at line 788 of file misc_ip.cc.
|
extern |
Definition at line 171 of file grammar.cc.
|
extern |
Definition at line 78 of file ipshell.cc.
|
extern |
Definition at line 79 of file ipshell.cc.
|
extern |
Definition at line 218 of file iparith.cc.
|
extern |
Definition at line 80 of file ipshell.cc.
|
extern |
Definition at line 172 of file grammar.cc.