![]() |
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 "Singular/feOpt.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 1068 of file ipshell.cc.
Definition at line 3430 of file ipshell.cc.
Enumerator | |
---|---|
spectrumOK | |
spectrumZero | |
spectrumBadPoly | |
spectrumNoSingularity | |
spectrumNotIsolated | |
spectrumDegenerate | |
spectrumWrongRing | |
spectrumNoHC | |
spectrumUnspecErr |
Definition at line 3546 of file ipshell.cc.
Definition at line 3356 of file ipshell.cc.
Definition at line 551 of file ipshell.cc.
Definition at line 3392 of file ipshell.cc.
Definition at line 6424 of file ipshell.cc.
Definition at line 6375 of file ipshell.cc.
Definition at line 6380 of file ipshell.cc.
Definition at line 6343 of file ipshell.cc.
Definition at line 6473 of file ipshell.cc.
Definition at line 6508 of file ipshell.cc.
Definition at line 1277 of file ipshell.cc.
Definition at line 1625 of file ipshell.cc.
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.
|
static |
Definition at line 940 of file ipshell.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, | ||
BOOLEAN | init_b | ||
) |
Definition at line 1202 of file ipshell.cc.
Definition at line 1264 of file ipshell.cc.
Definition at line 1506 of file ipshell.cc.
Definition at line 1529 of file ipshell.cc.
Definition at line 1601 of file ipshell.cc.
Definition at line 1407 of file ipshell.cc.
Definition at line 1460 of file ipshell.cc.
Definition at line 850 of file ipshell.cc.
Definition at line 614 of file ipshell.cc.
Definition at line 122 of file ipshell.cc.
Definition at line 1380 of file ipshell.cc.
Definition at line 1041 of file ipshell.cc.
Definition at line 6549 of file ipshell.cc.
Definition at line 6627 of file ipshell.cc.
Definition at line 6446 of file ipshell.cc.
Definition at line 89 of file ipshell.cc.
Definition at line 587 of file ipshell.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 6281 of file ipshell.cc.
Definition at line 950 of file ipshell.cc.
Definition at line 3336 of file ipshell.cc.
Definition at line 6311 of file ipshell.cc.
Definition at line 6303 of file ipshell.cc.
Definition at line 387 of file ipshell.cc.
Definition at line 296 of file ipshell.cc.
Definition at line 367 of file ipshell.cc.
Definition at line 331 of file ipshell.cc.
Definition at line 3319 of file ipshell.cc.
Definition at line 3291 of file ipshell.cc.
Definition at line 150 of file ipshell.cc.
void list_cmd | ( | int | typ, |
const char * | what, | ||
const char * | prefix, | ||
BOOLEAN | iterate, | ||
BOOLEAN | fullname | ||
) |
Definition at line 426 of file ipshell.cc.
void list_error | ( | semicState | state | ) |
Definition at line 3464 of file ipshell.cc.
semicState list_is_spectrum | ( | lists | l | ) |
Definition at line 4249 of file ipshell.cc.
lists listOfRoots | ( | rootArranger * | self, |
const unsigned int | oprec | ||
) |
Definition at line 5075 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, | ||
const long | bitmask, | ||
const int | isLetterplace | ||
) |
Definition at line 2776 of file ipshell.cc.
Definition at line 2246 of file ipshell.cc.
Definition at line 2476 of file ipshell.cc.
Definition at line 2297 of file ipshell.cc.
Definition at line 2431 of file ipshell.cc.
Definition at line 2147 of file ipshell.cc.
Definition at line 2007 of file ipshell.cc.
Definition at line 1937 of file ipshell.cc.
Definition at line 2108 of file ipshell.cc.
Definition at line 1847 of file ipshell.cc.
Definition at line 1813 of file ipshell.cc.
Definition at line 1723 of file ipshell.cc.
Definition at line 1909 of file ipshell.cc.
Definition at line 1882 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.
Definition at line 6219 of file ipshell.cc.
Definition at line 6174 of file ipshell.cc.
Definition at line 5182 of file ipshell.cc.
Definition at line 2389 of file ipshell.cc.
Definition at line 5122 of file ipshell.cc.
Definition at line 5573 of file ipshell.cc.
Definition at line 5301 of file ipshell.cc.
Definition at line 6012 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 6658 of file ipshell.cc.
Definition at line 4424 of file ipshell.cc.
spectrumState spectrumCompute | ( | poly | h, |
lists * | L, | ||
int | fast | ||
) |
Definition at line 3806 of file ipshell.cc.
Definition at line 4180 of file ipshell.cc.
Definition at line 3380 of file ipshell.cc.
void spectrumPrintError | ( | spectrumState | state | ) |
Definition at line 4098 of file ipshell.cc.
Definition at line 4129 of file ipshell.cc.
spectrumState spectrumStateFromList | ( | spectrumPolyList & | speclist, |
lists * | L, | ||
int | fast | ||
) |
Definition at line 3565 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, | ||
int | add_row_shift | ||
) |
Definition at line 3172 of file ipshell.cc.
Definition at line 513 of file ipshell.cc.
Definition at line 255 of file ipshell.cc.
Definition at line 81 of file ipshell.cc.
Definition at line 82 of file ipshell.cc.
Definition at line 1067 of file ipshell.cc.
STATIC_VAR BOOLEAN iiNoKeepRing =TRUE |
Definition at line 85 of file ipshell.cc.
Definition at line 83 of file ipshell.cc.
Definition at line 5609 of file ipshell.cc.