![]() |
My Project
|
#include "kernel/mod2.h"
#include "factory/factory.h"
#include "misc/options.h"
#include "misc/mylimits.h"
#include "misc/intvec.h"
#include "misc/prime.h"
#include "coeffs/numbers.h"
#include "coeffs/coeffs.h"
#include "coeffs/rmodulon.h"
#include "coeffs/longrat.h"
#include "polys/monomials/p_polys.h"
#include "polys/monomials/ring.h"
#include "polys/monomials/maps.h"
#include "polys/prCopy.h"
#include "polys/matpol.h"
#include "polys/shiftop.h"
#include "polys/weight.h"
#include "polys/clapsing.h"
#include "polys/ext_fields/algext.h"
#include "polys/ext_fields/transext.h"
#include "kernel/polys.h"
#include "kernel/ideals.h"
#include "kernel/numeric/mpr_base.h"
#include "kernel/numeric/mpr_numeric.h"
#include "kernel/GBEngine/syz.h"
#include "kernel/GBEngine/kstd1.h"
#include "kernel/GBEngine/kutil.h"
#include "kernel/combinatorics/stairc.h"
#include "kernel/combinatorics/hutil.h"
#include "kernel/spectrum/semic.h"
#include "kernel/spectrum/splist.h"
#include "kernel/spectrum/spectrum.h"
#include "kernel/oswrapper/feread.h"
#include "Singular/lists.h"
#include "Singular/attrib.h"
#include "Singular/ipconv.h"
#include "Singular/links/silink.h"
#include "Singular/ipshell.h"
#include "Singular/maps_ip.h"
#include "Singular/tok.h"
#include "Singular/ipid.h"
#include "Singular/subexpr.h"
#include "Singular/fevoices.h"
#include "Singular/sdb.h"
#include <cmath>
#include <ctype.h>
#include "kernel/maps/gen_maps.h"
#include "libparse.h"
Go to the source code of this file.
Macros | |
#define | BREAK_LINE_LENGTH 80 |
Variables | |
VAR leftv | iiCurrArgs =NULL |
VAR idhdl | iiCurrProc =NULL |
const char * | lastreserved =NULL |
STATIC_VAR BOOLEAN | iiNoKeepRing =TRUE |
VAR BOOLEAN | iiDebugMarker =TRUE |
const short | MAX_SHORT = 32767 |
#define BREAK_LINE_LENGTH 80 |
Definition at line 1065 of file ipshell.cc.
Definition at line 3443 of file ipshell.cc.
Enumerator | |
---|---|
spectrumOK | |
spectrumZero | |
spectrumBadPoly | |
spectrumNoSingularity | |
spectrumNotIsolated | |
spectrumDegenerate | |
spectrumWrongRing | |
spectrumNoHC | |
spectrumUnspecErr |
Definition at line 3559 of file ipshell.cc.
Definition at line 3369 of file ipshell.cc.
Definition at line 552 of file ipshell.cc.
Definition at line 3405 of file ipshell.cc.
Definition at line 6440 of file ipshell.cc.
Definition at line 6391 of file ipshell.cc.
Definition at line 6396 of file ipshell.cc.
Definition at line 6359 of file ipshell.cc.
Definition at line 6489 of file ipshell.cc.
Definition at line 6524 of file ipshell.cc.
Definition at line 1274 of file ipshell.cc.
Definition at line 1631 of file ipshell.cc.
Definition at line 1587 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 6582 of file ipshell.cc.
|
static |
Definition at line 937 of file ipshell.cc.
void iiDebug | ( | ) |
Definition at line 1066 of file ipshell.cc.
int iiDeclCommand | ( | leftv | sy, |
leftv | name, | ||
int | lev, | ||
int | t, | ||
idhdl * | root, | ||
BOOLEAN | isring, | ||
BOOLEAN | init_b | ||
) |
Definition at line 1199 of file ipshell.cc.
Definition at line 1261 of file ipshell.cc.
Definition at line 1512 of file ipshell.cc.
Definition at line 1535 of file ipshell.cc.
Definition at line 1607 of file ipshell.cc.
Definition at line 1413 of file ipshell.cc.
Definition at line 1466 of file ipshell.cc.
Definition at line 847 of file ipshell.cc.
Definition at line 615 of file ipshell.cc.
Definition at line 121 of file ipshell.cc.
Definition at line 1377 of file ipshell.cc.
Definition at line 1038 of file ipshell.cc.
Definition at line 6564 of file ipshell.cc.
Definition at line 6640 of file ipshell.cc.
Definition at line 6462 of file ipshell.cc.
Definition at line 88 of file ipshell.cc.
Definition at line 588 of file ipshell.cc.
Definition at line 968 of file ipshell.cc.
Definition at line 1002 of file ipshell.cc.
Definition at line 3356 of file ipshell.cc.
Definition at line 6297 of file ipshell.cc.
Definition at line 947 of file ipshell.cc.
Definition at line 3349 of file ipshell.cc.
Definition at line 6327 of file ipshell.cc.
Definition at line 6319 of file ipshell.cc.
Definition at line 386 of file ipshell.cc.
Definition at line 295 of file ipshell.cc.
Definition at line 366 of file ipshell.cc.
Definition at line 330 of file ipshell.cc.
Definition at line 3332 of file ipshell.cc.
Definition at line 3310 of file ipshell.cc.
Definition at line 149 of file ipshell.cc.
void list_cmd | ( | int | typ, |
const char * | what, | ||
const char * | prefix, | ||
BOOLEAN | iterate, | ||
BOOLEAN | fullname | ||
) |
Definition at line 425 of file ipshell.cc.
void list_error | ( | semicState | state | ) |
Definition at line 3477 of file ipshell.cc.
semicState list_is_spectrum | ( | lists | l | ) |
Definition at line 4262 of file ipshell.cc.
lists listOfRoots | ( | rootArranger * | self, |
const unsigned int | oprec | ||
) |
Definition at line 5088 of file ipshell.cc.
compute Newton Polytopes of input polynomials
Definition at line 4572 of file ipshell.cc.
Implementation of the Simplex Algorithm.
For args, see class simplex.
Definition at line 4578 of file ipshell.cc.
Definition at line 3078 of file ipshell.cc.
Definition at line 3100 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 4687 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 4664 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 4931 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 4830 of file ipshell.cc.
Definition at line 6342 of file ipshell.cc.
ring rCompose | ( | const lists | L, |
const BOOLEAN | check_comp, | ||
const long | bitmask, | ||
const int | isLetterplace | ||
) |
Definition at line 2792 of file ipshell.cc.
Definition at line 2261 of file ipshell.cc.
Definition at line 2493 of file ipshell.cc.
Definition at line 2313 of file ipshell.cc.
Definition at line 2448 of file ipshell.cc.
Definition at line 2162 of file ipshell.cc.
Definition at line 2022 of file ipshell.cc.
Definition at line 1950 of file ipshell.cc.
Definition at line 2123 of file ipshell.cc.
Definition at line 1854 of file ipshell.cc.
Definition at line 1820 of file ipshell.cc.
Definition at line 1730 of file ipshell.cc.
Definition at line 1918 of file ipshell.cc.
Definition at line 1890 of file ipshell.cc.
Definition at line 1645 of file ipshell.cc.
Definition at line 1702 of file ipshell.cc.
Definition at line 5634 of file ipshell.cc.
Definition at line 6235 of file ipshell.cc.
Definition at line 6189 of file ipshell.cc.
Definition at line 5195 of file ipshell.cc.
Definition at line 2406 of file ipshell.cc.
Definition at line 5135 of file ipshell.cc.
Definition at line 5586 of file ipshell.cc.
Definition at line 5314 of file ipshell.cc.
Definition at line 6027 of file ipshell.cc.
Definition at line 1104 of file ipshell.cc.
Definition at line 4560 of file ipshell.cc.
Definition at line 4520 of file ipshell.cc.
Definition at line 4437 of file ipshell.cc.
spectrumState spectrumCompute | ( | poly | h, |
lists * | L, | ||
int | fast | ||
) |
Definition at line 3819 of file ipshell.cc.
Definition at line 4193 of file ipshell.cc.
Definition at line 3393 of file ipshell.cc.
void spectrumPrintError | ( | spectrumState | state | ) |
Definition at line 4111 of file ipshell.cc.
Definition at line 4142 of file ipshell.cc.
spectrumState spectrumStateFromList | ( | spectrumPolyList & | speclist, |
lists * | L, | ||
int | fast | ||
) |
Definition at line 3578 of file ipshell.cc.
Definition at line 4479 of file ipshell.cc.
Definition at line 3156 of file ipshell.cc.
syStrategy syConvList | ( | lists | li | ) |
Definition at line 3263 of file ipshell.cc.
lists syConvRes | ( | syStrategy | syzstr, |
BOOLEAN | toDel, | ||
int | add_row_shift | ||
) |
Definition at line 3191 of file ipshell.cc.
Definition at line 514 of file ipshell.cc.
Definition at line 254 of file ipshell.cc.
Definition at line 80 of file ipshell.cc.
Definition at line 81 of file ipshell.cc.
Definition at line 1064 of file ipshell.cc.
STATIC_VAR BOOLEAN iiNoKeepRing =TRUE |
Definition at line 84 of file ipshell.cc.
Definition at line 82 of file ipshell.cc.
Definition at line 5622 of file ipshell.cc.