![]() |
My Project
|
#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, 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) |
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 | |
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) |
BOOLEAN | jjLOAD (const char *s, BOOLEAN autoexport=FALSE) |
load lib/module given in v | |
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) |
lists | syConvRes (syStrategy syzstr, BOOLEAN toDel=FALSE, int add_row_shift=0) |
syStrategy | syConvList (lists li) |
BOOLEAN | syBetti1 (leftv res, leftv u) |
BOOLEAN | syBetti2 (leftv res, leftv u, leftv w) |
int | siSetCpus (int cpu) |
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) |
coeffs | jjSetMinpoly (coeffs cf, number a) |
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) |
args: NULL terminated array of arguments arg_types: 0 terminated array of corresponding types | |
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) |
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 | 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. | |
BOOLEAN | loNewtonP (leftv res, leftv arg1) |
compute Newton Polytopes of input polynomials | |
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) | |
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. | |
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. | |
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). | |
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 | |
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 | |
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 | |
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 | |
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) |
Variables | |
EXTERN_VAR leftv | iiCurrArgs |
EXTERN_VAR idhdl | iiCurrProc |
EXTERN_VAR int | iiOp |
const char * | currid |
EXTERN_VAR int | iiRETURNEXPR_len |
EXTERN_INST_VAR sleftv | iiRETURNEXPR |
EXTERN_VAR ring * | iiLocalRing |
const char * | lastreserved |
EXTERN_VAR int | myynest |
EXTERN_VAR int | printlevel |
EXTERN_VAR int | si_echo |
EXTERN_VAR BOOLEAN | yyInRingConstruction |
const struct sValCmd2 | dArith2 [] |
const struct sValCmd1 | dArith1 [] |
const struct sValCmd3 | dArith3 [] |
const struct sValCmdM | dArithM [] |
struct sValCmd1 |
Definition at line 75 of file gentable.cc.
Data Fields | ||
---|---|---|
short | arg | |
short | cmd | |
int | p | |
proc1 | p | |
short | res | |
short | valid_for |
struct sValCmd2 |
Definition at line 66 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 83 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 93 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 101 of file gentable.cc.
Data Fields | ||
---|---|---|
short | arg | |
int | p | |
proc1 | p | |
short | res |
struct sValAssign |
Definition at line 108 of file gentable.cc.
Data Fields | ||
---|---|---|
short | arg | |
int | p | |
proci | p | |
short | res |
int exprlist_length | ( | leftv | v | ) |
Definition at line 551 of file ipshell.cc.
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 at line 710 of file iplib.cc.
Definition at line 670 of file iplib.cc.
Definition at line 689 of file iplib.cc.
int iiAddCproc | ( | const char * | libname, |
const char * | procname, | ||
BOOLEAN | pstatic, | ||
BOOLEAN(* | func )(leftv res, leftv v) ) |
Definition at line 1073 of file iplib.cc.
Definition at line 821 of file ipid.cc.
BOOLEAN iiAllStart | ( | procinfov | pi, |
const char * | p, | ||
feBufferTypes | t, | ||
int | l ) |
Definition at line 306 of file iplib.cc.
Definition at line 6424 of file ipshell.cc.
Definition at line 6473 of file ipshell.cc.
Definition at line 2097 of file ipassign.cc.
Definition at line 6508 of file ipshell.cc.
Definition at line 1277 of file ipshell.cc.
Definition at line 636 of file iplib.cc.
void iiCheckPack | ( | package & | p | ) |
Definition at line 1625 of file ipshell.cc.
BOOLEAN iiCheckRing | ( | int | i | ) |
Definition at line 1581 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 6569 of file ipshell.cc.
char * iiConvName | ( | const char * | libname | ) |
Definition at line 1439 of file iplib.cc.
void iiDebug | ( | ) |
Definition at line 1069 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 1202 of file ipshell.cc.
Definition at line 763 of file iplib.cc.
Definition at line 1506 of file ipshell.cc.
Definition at line 1529 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 9200 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 9127 of file iparith.cc.
Definition at line 9540 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 9592 of file iparith.cc.
char * iiGetLibProcBuffer | ( | procinfov | pi, |
int | part = 1 ) |
poly iiHighCorner | ( | ideal | i, |
int | ak ) |
Definition at line 1601 of file ipshell.cc.
Definition at line 1460 of file ipshell.cc.
Definition at line 894 of file iplib.cc.
BOOLEAN iiLoadLIB | ( | FILE * | fp, |
const char * | libnamebuf, | ||
const char * | newlib, | ||
idhdl | pl, | ||
BOOLEAN | autoexport, | ||
BOOLEAN | tellerror ) |
Definition at line 983 of file iplib.cc.
Definition at line 513 of file iplib.cc.
void iiMakeResolv | ( | resolvente | r, |
int | length, | ||
int | rlen, | ||
char * | name, | ||
int | typ0, | ||
intvec ** | weights = NULL ) |
Definition at line 850 of file ipshell.cc.
Definition at line 614 of file ipshell.cc.
int iiOpsTwoChar | ( | const char * | s | ) |
Definition at line 122 of file ipshell.cc.
Definition at line 1380 of file ipshell.cc.
char * iiProcArgs | ( | char * | e, |
BOOLEAN | withParenth ) |
Definition at line 114 of file iplib.cc.
char * iiProcName | ( | char * | buf, |
char & | ct, | ||
char *& | e ) |
Definition at line 379 of file iplib.cc.
int iiRegularity | ( | lists | L | ) |
Definition at line 1041 of file ipshell.cc.
Definition at line 6627 of file ipshell.cc.
Definition at line 6446 of file ipshell.cc.
int iiTokType | ( | int | op | ) |
Definition at line 229 of file iparith.cc.
Definition at line 832 of file iplib.cc.
const char * iiTwoOps | ( | int | t | ) |
Definition at line 258 of file gentable.cc.
Definition at line 587 of file ipshell.cc.
int IsCmd | ( | const char * | n, |
int & | tok ) |
Definition at line 9738 of file iparith.cc.
Definition at line 971 of file ipshell.cc.
Definition at line 1005 of file ipshell.cc.
Definition at line 3343 of file ipshell.cc.
Definition at line 2510 of file ipassign.cc.
Definition at line 8216 of file iparith.cc.
load lib/module given in v
Definition at line 5567 of file iparith.cc.
Definition at line 5643 of file iparith.cc.
Definition at line 950 of file ipshell.cc.
Definition at line 3336 of file ipshell.cc.
Definition at line 176 of file ipassign.cc.
Definition at line 231 of file extra.cc.
Definition at line 6311 of file ipshell.cc.
Definition at line 6303 of file ipshell.cc.
void killlocals | ( | int | v | ) |
Definition at line 387 of file ipshell.cc.
Definition at line 3319 of file ipshell.cc.
Definition at line 3291 of file ipshell.cc.
void list_cmd | ( | int | typ, |
const char * | what, | ||
const char * | prefix, | ||
BOOLEAN | iterate, | ||
BOOLEAN | fullname = FALSE ) |
Definition at line 426 of file ipshell.cc.
compute Newton Polytopes of input polynomials
Definition at line 4559 of file ipshell.cc.
Implementation of the Simplex Algorithm.
For args, see class simplex.
Definition at line 4565 of file ipshell.cc.
Definition at line 3058 of file ipshell.cc.
Definition at line 3080 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 4674 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 4651 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 4918 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 4817 of file ipshell.cc.
Definition at line 6326 of file ipshell.cc.
ring rCompose | ( | const lists | L, |
const BOOLEAN | check_comp = TRUE, | ||
const long | bitmask = 0x7fff, | ||
const int | isLetterplace = FALSE ) |
Definition at line 2776 of file ipshell.cc.
Definition at line 2147 of file ipshell.cc.
Definition at line 1937 of file ipshell.cc.
Definition at line 2108 of file ipshell.cc.
Definition at line 1639 of file ipshell.cc.
Definition at line 1695 of file ipshell.cc.
Definition at line 5621 of file ipshell.cc.
void rKill | ( | idhdl | h | ) |
Definition at line 6219 of file ipshell.cc.
void rKill | ( | ring | r | ) |
Definition at line 6174 of file ipshell.cc.
void rSetHdl | ( | idhdl | h | ) |
Definition at line 5122 of file ipshell.cc.
Definition at line 1107 of file ipshell.cc.
Definition at line 4547 of file ipshell.cc.
Definition at line 4507 of file ipshell.cc.
Definition at line 570 of file misc_ip.cc.
char * showOption | ( | ) |
Definition at line 711 of file misc_ip.cc.
void singular_example | ( | char * | str | ) |
Definition at line 431 of file misc_ip.cc.
int siSetCpus | ( | int | cpu | ) |
Definition at line 6658 of file ipshell.cc.
Definition at line 4424 of file ipshell.cc.
Definition at line 4180 of file ipshell.cc.
Definition at line 4129 of file ipshell.cc.
Definition at line 4466 of file ipshell.cc.
Definition at line 3136 of file ipshell.cc.
syStrategy syConvList | ( | lists | li | ) |
Definition at line 3244 of file ipshell.cc.
lists syConvRes | ( | syStrategy | syzstr, |
BOOLEAN | toDel = FALSE, | ||
int | add_row_shift = 0 ) |
Definition at line 3172 of file ipshell.cc.
void test_cmd | ( | int | i | ) |
Definition at line 513 of file ipshell.cc.
const char * Tok2Cmdname | ( | int | i | ) |
Definition at line 137 of file gentable.cc.
void type_cmd | ( | leftv | v | ) |
Definition at line 255 of file ipshell.cc.
char * versionString | ( | ) |
Definition at line 772 of file misc_ip.cc.
|
extern |
Definition at line 171 of file grammar.cc.
Definition at line 38 of file table.h.
Definition at line 325 of file table.h.
Definition at line 801 of file table.h.
Definition at line 937 of file table.h.
EXTERN_VAR leftv iiCurrArgs |
EXTERN_VAR idhdl iiCurrProc |
EXTERN_VAR ring* iiLocalRing |
EXTERN_VAR int iiOp |
EXTERN_INST_VAR sleftv iiRETURNEXPR |
EXTERN_VAR int iiRETURNEXPR_len |
|
extern |
Definition at line 83 of file ipshell.cc.
EXTERN_VAR int myynest |
EXTERN_VAR int printlevel |
EXTERN_VAR int si_echo |
EXTERN_VAR BOOLEAN yyInRingConstruction |