![]() |
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 1063 of file ipshell.cc.
Definition at line 3429 of file ipshell.cc.
Enumerator | |
---|---|
spectrumOK | |
spectrumZero | |
spectrumBadPoly | |
spectrumNoSingularity | |
spectrumNotIsolated | |
spectrumDegenerate | |
spectrumWrongRing | |
spectrumNoHC | |
spectrumUnspecErr |
Definition at line 3545 of file ipshell.cc.
Definition at line 3355 of file ipshell.cc.
Definition at line 550 of file ipshell.cc.
Definition at line 3391 of file ipshell.cc.
Definition at line 6423 of file ipshell.cc.
Definition at line 6374 of file ipshell.cc.
Definition at line 6379 of file ipshell.cc.
Definition at line 6342 of file ipshell.cc.
Definition at line 6472 of file ipshell.cc.
Definition at line 6507 of file ipshell.cc.
Definition at line 1272 of file ipshell.cc.
Definition at line 1629 of file ipshell.cc.
Definition at line 1585 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 6565 of file ipshell.cc.
|
static |
Definition at line 935 of file ipshell.cc.
void iiDebug | ( | ) |
Definition at line 1064 of file ipshell.cc.
int iiDeclCommand | ( | leftv | sy, |
leftv | name, | ||
int | lev, | ||
int | t, | ||
idhdl * | root, | ||
BOOLEAN | isring, | ||
BOOLEAN | init_b | ||
) |
Definition at line 1197 of file ipshell.cc.
Definition at line 1259 of file ipshell.cc.
Definition at line 1510 of file ipshell.cc.
Definition at line 1533 of file ipshell.cc.
Definition at line 1605 of file ipshell.cc.
Definition at line 1411 of file ipshell.cc.
Definition at line 1464 of file ipshell.cc.
Definition at line 845 of file ipshell.cc.
Definition at line 613 of file ipshell.cc.
Definition at line 121 of file ipshell.cc.
Definition at line 1375 of file ipshell.cc.
Definition at line 1036 of file ipshell.cc.
Definition at line 6547 of file ipshell.cc.
Definition at line 6623 of file ipshell.cc.
Definition at line 6445 of file ipshell.cc.
Definition at line 88 of file ipshell.cc.
Definition at line 586 of file ipshell.cc.
Definition at line 966 of file ipshell.cc.
Definition at line 1000 of file ipshell.cc.
Definition at line 3342 of file ipshell.cc.
Definition at line 6280 of file ipshell.cc.
Definition at line 945 of file ipshell.cc.
Definition at line 3335 of file ipshell.cc.
Definition at line 6310 of file ipshell.cc.
Definition at line 6302 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 3318 of file ipshell.cc.
Definition at line 3296 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 3463 of file ipshell.cc.
semicState list_is_spectrum | ( | lists | l | ) |
Definition at line 4248 of file ipshell.cc.
lists listOfRoots | ( | rootArranger * | self, |
const unsigned int | oprec | ||
) |
Definition at line 5074 of file ipshell.cc.
compute Newton Polytopes of input polynomials
Definition at line 4558 of file ipshell.cc.
Implementation of the Simplex Algorithm.
For args, see class simplex.
Definition at line 4564 of file ipshell.cc.
Definition at line 3064 of file ipshell.cc.
Definition at line 3086 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 4673 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 4650 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 4917 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 4816 of file ipshell.cc.
Definition at line 6325 of file ipshell.cc.
ring rCompose | ( | const lists | L, |
const BOOLEAN | check_comp, | ||
const long | bitmask, | ||
const int | isLetterplace | ||
) |
Definition at line 2780 of file ipshell.cc.
Definition at line 2250 of file ipshell.cc.
Definition at line 2480 of file ipshell.cc.
Definition at line 2301 of file ipshell.cc.
Definition at line 2435 of file ipshell.cc.
Definition at line 2151 of file ipshell.cc.
Definition at line 2011 of file ipshell.cc.
Definition at line 1941 of file ipshell.cc.
Definition at line 2112 of file ipshell.cc.
Definition at line 1851 of file ipshell.cc.
Definition at line 1817 of file ipshell.cc.
Definition at line 1727 of file ipshell.cc.
Definition at line 1913 of file ipshell.cc.
Definition at line 1886 of file ipshell.cc.
Definition at line 1643 of file ipshell.cc.
Definition at line 1699 of file ipshell.cc.
Definition at line 5620 of file ipshell.cc.
Definition at line 6218 of file ipshell.cc.
Definition at line 6173 of file ipshell.cc.
Definition at line 5181 of file ipshell.cc.
Definition at line 2393 of file ipshell.cc.
Definition at line 5121 of file ipshell.cc.
Definition at line 5572 of file ipshell.cc.
Definition at line 5300 of file ipshell.cc.
Definition at line 6011 of file ipshell.cc.
Definition at line 1102 of file ipshell.cc.
Definition at line 4546 of file ipshell.cc.
Definition at line 4506 of file ipshell.cc.
Definition at line 4423 of file ipshell.cc.
spectrumState spectrumCompute | ( | poly | h, |
lists * | L, | ||
int | fast | ||
) |
Definition at line 3805 of file ipshell.cc.
Definition at line 4179 of file ipshell.cc.
Definition at line 3379 of file ipshell.cc.
void spectrumPrintError | ( | spectrumState | state | ) |
Definition at line 4097 of file ipshell.cc.
Definition at line 4128 of file ipshell.cc.
spectrumState spectrumStateFromList | ( | spectrumPolyList & | speclist, |
lists * | L, | ||
int | fast | ||
) |
Definition at line 3564 of file ipshell.cc.
Definition at line 4465 of file ipshell.cc.
Definition at line 3142 of file ipshell.cc.
syStrategy syConvList | ( | lists | li | ) |
Definition at line 3249 of file ipshell.cc.
lists syConvRes | ( | syStrategy | syzstr, |
BOOLEAN | toDel, | ||
int | add_row_shift | ||
) |
Definition at line 3177 of file ipshell.cc.
Definition at line 512 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 1062 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 5608 of file ipshell.cc.