![]() |
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 3436 of file ipshell.cc.
Enumerator | |
---|---|
spectrumOK | |
spectrumZero | |
spectrumBadPoly | |
spectrumNoSingularity | |
spectrumNotIsolated | |
spectrumDegenerate | |
spectrumWrongRing | |
spectrumNoHC | |
spectrumUnspecErr |
Definition at line 3552 of file ipshell.cc.
Definition at line 3362 of file ipshell.cc.
Definition at line 552 of file ipshell.cc.
Definition at line 3398 of file ipshell.cc.
Definition at line 6433 of file ipshell.cc.
Definition at line 6384 of file ipshell.cc.
Definition at line 6389 of file ipshell.cc.
Definition at line 6352 of file ipshell.cc.
Definition at line 6482 of file ipshell.cc.
Definition at line 6517 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 6575 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 6557 of file ipshell.cc.
Definition at line 6604 of file ipshell.cc.
Definition at line 6455 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 3349 of file ipshell.cc.
Definition at line 6290 of file ipshell.cc.
Definition at line 947 of file ipshell.cc.
Definition at line 3342 of file ipshell.cc.
Definition at line 6320 of file ipshell.cc.
Definition at line 6312 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 3325 of file ipshell.cc.
Definition at line 3303 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 3470 of file ipshell.cc.
semicState list_is_spectrum | ( | lists | l | ) |
Definition at line 4255 of file ipshell.cc.
lists listOfRoots | ( | rootArranger * | self, |
const unsigned int | oprec | ||
) |
Definition at line 5081 of file ipshell.cc.
compute Newton Polytopes of input polynomials
Definition at line 4565 of file ipshell.cc.
Implementation of the Simplex Algorithm.
For args, see class simplex.
Definition at line 4571 of file ipshell.cc.
Definition at line 3071 of file ipshell.cc.
Definition at line 3093 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 4680 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 4657 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 4924 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 4823 of file ipshell.cc.
Definition at line 6335 of file ipshell.cc.
ring rCompose | ( | const lists | L, |
const BOOLEAN | check_comp, | ||
const long | bitmask, | ||
const int | isLetterplace | ||
) |
Definition at line 2785 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 5627 of file ipshell.cc.
Definition at line 6228 of file ipshell.cc.
Definition at line 6182 of file ipshell.cc.
Definition at line 5188 of file ipshell.cc.
Definition at line 2406 of file ipshell.cc.
Definition at line 5128 of file ipshell.cc.
Definition at line 5579 of file ipshell.cc.
Definition at line 5307 of file ipshell.cc.
Definition at line 6020 of file ipshell.cc.
Definition at line 1104 of file ipshell.cc.
Definition at line 4553 of file ipshell.cc.
Definition at line 4513 of file ipshell.cc.
Definition at line 4430 of file ipshell.cc.
spectrumState spectrumCompute | ( | poly | h, |
lists * | L, | ||
int | fast | ||
) |
Definition at line 3812 of file ipshell.cc.
Definition at line 4186 of file ipshell.cc.
Definition at line 3386 of file ipshell.cc.
void spectrumPrintError | ( | spectrumState | state | ) |
Definition at line 4104 of file ipshell.cc.
Definition at line 4135 of file ipshell.cc.
spectrumState spectrumStateFromList | ( | spectrumPolyList & | speclist, |
lists * | L, | ||
int | fast | ||
) |
Definition at line 3571 of file ipshell.cc.
Definition at line 4472 of file ipshell.cc.
Definition at line 3149 of file ipshell.cc.
syStrategy syConvList | ( | lists | li | ) |
Definition at line 3256 of file ipshell.cc.
lists syConvRes | ( | syStrategy | syzstr, |
BOOLEAN | toDel, | ||
int | add_row_shift | ||
) |
Definition at line 3184 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 5615 of file ipshell.cc.