![]() |
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 1064 of file ipshell.cc.
Definition at line 3426 of file ipshell.cc.
Enumerator | |
---|---|
spectrumOK | |
spectrumZero | |
spectrumBadPoly | |
spectrumNoSingularity | |
spectrumNotIsolated | |
spectrumDegenerate | |
spectrumWrongRing | |
spectrumNoHC | |
spectrumUnspecErr |
Definition at line 3542 of file ipshell.cc.
Definition at line 3352 of file ipshell.cc.
Definition at line 550 of file ipshell.cc.
Definition at line 3388 of file ipshell.cc.
Definition at line 6420 of file ipshell.cc.
Definition at line 6371 of file ipshell.cc.
Definition at line 6376 of file ipshell.cc.
Definition at line 6339 of file ipshell.cc.
Definition at line 6469 of file ipshell.cc.
Definition at line 6504 of file ipshell.cc.
Definition at line 1273 of file ipshell.cc.
Definition at line 1621 of file ipshell.cc.
Definition at line 1577 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 936 of file ipshell.cc.
void iiDebug | ( | ) |
Definition at line 1065 of file ipshell.cc.
int iiDeclCommand | ( | leftv | sy, |
leftv | name, | ||
int | lev, | ||
int | t, | ||
idhdl * | root, | ||
BOOLEAN | isring, | ||
BOOLEAN | init_b | ||
) |
Definition at line 1198 of file ipshell.cc.
Definition at line 1260 of file ipshell.cc.
Definition at line 1502 of file ipshell.cc.
Definition at line 1525 of file ipshell.cc.
Definition at line 1597 of file ipshell.cc.
Definition at line 1403 of file ipshell.cc.
Definition at line 1456 of file ipshell.cc.
Definition at line 846 of file ipshell.cc.
Definition at line 613 of file ipshell.cc.
Definition at line 121 of file ipshell.cc.
Definition at line 1376 of file ipshell.cc.
Definition at line 1037 of file ipshell.cc.
Definition at line 6545 of file ipshell.cc.
Definition at line 6623 of file ipshell.cc.
Definition at line 6442 of file ipshell.cc.
Definition at line 88 of file ipshell.cc.
Definition at line 586 of file ipshell.cc.
Definition at line 967 of file ipshell.cc.
Definition at line 1001 of file ipshell.cc.
Definition at line 3339 of file ipshell.cc.
Definition at line 6277 of file ipshell.cc.
Definition at line 946 of file ipshell.cc.
Definition at line 3332 of file ipshell.cc.
Definition at line 6307 of file ipshell.cc.
Definition at line 6299 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 3315 of file ipshell.cc.
Definition at line 3287 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 3460 of file ipshell.cc.
semicState list_is_spectrum | ( | lists | l | ) |
Definition at line 4245 of file ipshell.cc.
lists listOfRoots | ( | rootArranger * | self, |
const unsigned int | oprec | ||
) |
Definition at line 5071 of file ipshell.cc.
compute Newton Polytopes of input polynomials
Definition at line 4555 of file ipshell.cc.
Implementation of the Simplex Algorithm.
For args, see class simplex.
Definition at line 4561 of file ipshell.cc.
Definition at line 3054 of file ipshell.cc.
Definition at line 3076 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 4670 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 4647 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 4914 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 4813 of file ipshell.cc.
Definition at line 6322 of file ipshell.cc.
ring rCompose | ( | const lists | L, |
const BOOLEAN | check_comp, | ||
const long | bitmask, | ||
const int | isLetterplace | ||
) |
Definition at line 2772 of file ipshell.cc.
Definition at line 2242 of file ipshell.cc.
Definition at line 2472 of file ipshell.cc.
Definition at line 2293 of file ipshell.cc.
Definition at line 2427 of file ipshell.cc.
Definition at line 2143 of file ipshell.cc.
Definition at line 2003 of file ipshell.cc.
Definition at line 1933 of file ipshell.cc.
Definition at line 2104 of file ipshell.cc.
Definition at line 1843 of file ipshell.cc.
Definition at line 1809 of file ipshell.cc.
Definition at line 1719 of file ipshell.cc.
Definition at line 1905 of file ipshell.cc.
Definition at line 1878 of file ipshell.cc.
Definition at line 1635 of file ipshell.cc.
Definition at line 1691 of file ipshell.cc.
Definition at line 5617 of file ipshell.cc.
Definition at line 6215 of file ipshell.cc.
Definition at line 6170 of file ipshell.cc.
Definition at line 5178 of file ipshell.cc.
Definition at line 2385 of file ipshell.cc.
Definition at line 5118 of file ipshell.cc.
Definition at line 5569 of file ipshell.cc.
Definition at line 5297 of file ipshell.cc.
Definition at line 6008 of file ipshell.cc.
Definition at line 1103 of file ipshell.cc.
Definition at line 4543 of file ipshell.cc.
Definition at line 4503 of file ipshell.cc.
Definition at line 4420 of file ipshell.cc.
spectrumState spectrumCompute | ( | poly | h, |
lists * | L, | ||
int | fast | ||
) |
Definition at line 3802 of file ipshell.cc.
Definition at line 4176 of file ipshell.cc.
Definition at line 3376 of file ipshell.cc.
void spectrumPrintError | ( | spectrumState | state | ) |
Definition at line 4094 of file ipshell.cc.
Definition at line 4125 of file ipshell.cc.
spectrumState spectrumStateFromList | ( | spectrumPolyList & | speclist, |
lists * | L, | ||
int | fast | ||
) |
Definition at line 3561 of file ipshell.cc.
Definition at line 4462 of file ipshell.cc.
Definition at line 3132 of file ipshell.cc.
syStrategy syConvList | ( | lists | li | ) |
Definition at line 3240 of file ipshell.cc.
lists syConvRes | ( | syStrategy | syzstr, |
BOOLEAN | toDel, | ||
int | add_row_shift | ||
) |
Definition at line 3168 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 1063 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 5605 of file ipshell.cc.