 |
My Project
debian-1:4.1.2-p1+ds-2
|
Class used for (list of) interpreter objects.
More...
#include <subexpr.h>
Class used for (list of) interpreter objects.
Definition at line 81 of file subexpr.h.
◆ Attribute()
attr * sleftv::Attribute |
( |
| ) |
|
◆ CleanUp()
void sleftv::CleanUp |
( |
ring |
r = currRing | ) |
|
◆ Copy()
void sleftv::Copy |
( |
leftv |
e | ) |
|
Definition at line 713 of file subexpr.cc.
718 void *d=source->Data();
728 if ((source->attribute!=
NULL)||(source->e!=
NULL))
731 if (source->next!=
NULL)
◆ CopyA()
◆ CopyD() [1/2]
◆ CopyD() [2/2]
void * sleftv::CopyD |
( |
int |
t | ) |
|
◆ Data()
Definition at line 1175 of file subexpr.cc.
1187 return ((
idhdl)
h->data.ustring)->
data.ustring;
1208 return (
void *)
A->qideal->m[0];
1211 return (
void *)
nInit(0);
1251 r=(
char *)(
long)((*iv)[
index-1]);
1259 ||(
e->next->start<1)
1260 ||(
e->next->start>iv->
cols()))
1263 Werror(
"wrong range[%d,%d] in intmat %s(%dx%d)",
index,
e->next->start,
1264 this->Name(),iv->
rows(),iv->
cols());
1275 ||(
e->next->start<1)
1276 ||(
e->next->start>
m->cols()))
1279 Werror(
"wrong range[%d,%d] in bigintmat %s(%dx%d)",
index,
e->next->start,
1280 this->Name(),
m->rows(),
m->cols());
1292 ||(
e->next->start<1)
1293 ||(
e->next->start>
m->cols()))
1296 Werror(
"wrong range[%d,%d] in matrix %s(%dx%d)",
index,
e->next->start,
1297 this->Name(),
m->rows(),
m->cols());
1301 iiNumber2Data[iiCmatrix_index].cf=
m->basecoeffs();
1303 r=(
char*)&iiNumber2Data[iiCmatrix_index];
1304 iiCmatrix_index=(iiCmatrix_index+1) % 4;
1320 r=(
char *)I->m[
index-1];
1330 if ((
index>0)&& (index<=I->rank)
1332 && ((c=
e->next->start)>0) &&(c<=
IDELEMS(I)))
1346 memcpy(
this,&tmp,
sizeof(tmp));
1371 if ((
index>0)&& (
index<=(int)strlen((
char *)d)))
1373 r[0]=*(((
char *)d)+
index-1);
1388 memcpy(
this,&tmp,
sizeof(tmp));
1408 ||(
e->next->start<1)
1412 Werror(
"wrong range[%d,%d] in matrix %s(%dx%d)",
1437 char *dd=(
char *)
l->m[
index-1].data;
1438 int j=
e->next->start-1;
1440 if ((
j>=0) && (
j<(
int)strlen(dd)))
1452 Subexpr tmp=
l->m[
index-1].e;
1454 r=(
char *)
l->m[
index-1].Data();
◆ Eval()
Definition at line 1841 of file subexpr.cc.
1864 char *what=(
char *)(d->arg1.Data());
1882 else if (d->op==
'=')
1890 const char *n=d->arg1.name;
1891 nok=(n ==
NULL) || d->arg2.Eval();
1894 int save_typ=d->arg1.rtyp;
1896 if (d->arg1.rtyp!=
IDHDL)
1899 if (d->arg1.rtyp==
IDHDL)
1914 memcpy(&d->arg1,&t,
sizeof(
sleftv));
1916 nok=nok||
iiAssign(&d->arg1,&d->arg2);
1921 memset(&d->arg1,0,
sizeof(
sleftv));
1933 if ((toktype==
CMD_M)
1939 if (d->argc>=1) nok=d->arg1.Eval();
1940 if ((!nok) && (d->argc>=2))
1944 memcpy(d->arg1.next,&d->arg2,
sizeof(
sleftv));
1947 if ((!nok) && (d->argc==3))
1951 memcpy(d->arg1.next->next,&d->arg3,
sizeof(
sleftv));
1965 else if (d->argc==1)
1973 nok=nok||d->arg2.Eval();
1979 nok=nok||d->arg2.Eval();
1980 nok=nok||d->arg3.Eval();
1981 nok=nok||
iiExprArith3(&tmp,d->op,&d->arg1,&d->arg2,&d->arg3);
1993 memcpy(
this,&tmp,
sizeof(tmp));
2021 ideal
id=(ideal)
Data();
2023 int i=
id->ncols*
id->nrows-1;
◆ Fullname()
const char* sleftv::Fullname |
( |
| ) |
|
|
inline |
◆ Init()
Definition at line 106 of file subexpr.h.
107 { memset(
this,0,
sizeof(*
this)); }
◆ LData()
Definition at line 1483 of file subexpr.cc.
1508 if ((0>=
e->start)||(
e->start>
l->nr+1))
1512 l->m[
e->start-1].e=
e->next;
1513 leftv r=
l->m[
e->start-1].LData();
1517 return &(
l->m[
e->start-1]);
◆ listLength()
int sleftv::listLength |
( |
| ) |
|
◆ LTyp()
Definition at line 1139 of file subexpr.cc.
1154 if ((0<
e->start)&&(
e->start<=
l->nr+1))
1156 l->m[
e->start-1].e=
e->next;
1157 r=
l->m[
e->start-1].LTyp();
◆ Name()
const char* sleftv::Name |
( |
| ) |
|
|
inline |
◆ Next()
◆ Print()
void sleftv::Print |
( |
leftv |
store = NULL , |
|
|
int |
spaces = 0 |
|
) |
| |
Called by type_cmd (e.g. "r;") or as default in jPRINT.
Definition at line 62 of file subexpr.cc.
72 ch[0]=c->op;ch[1]=
'\0';
75 ::Print(
"##command %d(%s), %d args\n",
78 c->arg1.Print(
NULL,spaces+2);
82 c->arg2.Print(
NULL,spaces+2);
84 c->arg3.Print(
NULL,spaces+2);
145 ((
intvec *)d)->show(t,spaces);
150 const ring r = (
const ring)d;
293 l->m[
i].Print(
NULL,spaces+3);
305 if (bb!=
NULL) { bb->blackbox_Print(bb,d); }
306 else {
::Print(
"Print: blackbox %d(bb=NULL)",t); }
311 if ((store!=
NULL)&&(store!=
this))
◆ RingDependend()
◆ String()
Called for conversion to string (used by string(..), write(..),..)
Definition at line 782 of file subexpr.cc.
810 sprintf(
s,
"int(%d)",(
int)(
long)d);
815 sprintf(
s,
"%d",(
int)(
long)d);
827 s = (
char*)
omAlloc(strlen((
char*) d) + 3);
828 sprintf(
s,
"\"%s\"", (
char*) d);
841 s = (
char*)
omAlloc(strlen(ps) + 10);
842 sprintf(
s,
"%s(%s)", (t ==
POLY_CMD ?
"poly" :
"vector"), ps);
853 return n2String((number2)d,typed);
888 char* ns = (
char*)
omAlloc(strlen(
s) + 40);
889 sprintf(ns,
"matrix(ideal(%s),%d,%d)",
s,
906 char* ns = (
char*)
omAlloc(strlen(
s) + 10);
908 sprintf(ns,
"ideal(%s)",
s);
910 sprintf(ns,
"module(%s)",
s);
927 ns = (
char*)
omAlloc(strlen(
s) + 40);
928 sprintf(ns,
"intmat(intvec(%s),%d,%d)",
s,
v->rows(),
v->cols());
932 ns = (
char*)
omAlloc(strlen(
s) + 10);
933 sprintf(ns,
"intvec(%s)",
s);
948 char* ns = (
char*)
omAlloc0(strlen(
s) + 40);
949 sprintf(ns,
"bigintmat(bigintvec(%s),%d,%d)",
s, bim->
rows(), bim->
cols());
968 ns = (
char*)
omAlloc(strlen(
s) + strlen(
id) + 20);
969 sprintf(ns,
"\"%s\";%sideal(%s)",
s,(
dim == 2 ?
"\n" :
" "),
id);
973 ns = (
char*)
omAlloc(strlen(
s) + 4);
974 sprintf(ns,
"\"%s\"",
s);
993 s = (
pi->data.s.body);
998 char* ns = (
char*)
omAlloc(strlen(
s) + 4);
999 sprintf(ns,
"\"%s\"",
s);
1010 char* ns = (
char*)
omAlloc(strlen(
s) + 10);
1011 sprintf(ns,
"link(\"%s\")",
s);
1025 if (bb!=
NULL)
return bb->blackbox_String(bb,d);
◆ Typ()
Definition at line 1032 of file subexpr.cc.
1044 return ((
idhdl)
h->data.ustring)->typ;
1118 if ((0<
e->start)&&(
e->start<=
l->nr+1))
1120 Subexpr tmp=
l->m[
e->start-1].e;
1121 l->m[
e->start-1].e=
e->next;
1122 r=
l->m[
e->start-1].Typ();
1123 e->next=
l->m[
e->start-1].e;
1124 l->m[
e->start-1].e=tmp;
◆ attribute
◆ data
◆ flag
◆ name
◆ next
◆ req_packhdl
◆ rtyp
The documentation for this class was generated from the following files:
#define omCheckAddrSize(addr, size)
void killAll(const ring r)
void StringAppendS(const char *st)
char * String()
IO: String returns a singular string containing the matrix, needs freeing afterwards.
#define MATELEM(mat, i, j)
1-based access to matrix
void Print(leftv store=NULL, int spaces=0)
Called by type_cmd (e.g. "r;") or as default in jPRINT.
BOOLEAN iiExprArith1(leftv res, leftv a, int op)
BOOLEAN iiMake_proc(idhdl pn, package pack, leftv sl)
static FORCE_INLINE char * nCoeffString(const coeffs cf)
TODO: make it a virtual method of coeffs, together with: Decompose & Compose, rParameter & rPar.
char * sBucketString(sBucket_pt bucket)
void paPrint(const char *n, package p)
static char * slString(si_link l)
BOOLEAN iiExprArithM(leftv res, leftv a, int op)
int iiDeclCommand(leftv sy, leftv name, int lev, int t, idhdl *root, BOOLEAN isring, BOOLEAN init_b)
STATIC_VAR omBin size_two_bin
#define SMATELEM(A, i, j, R)
const char * slStatus(si_link l, const char *request)
static FORCE_INLINE BOOLEAN nCoeff_is_GF(const coeffs r)
Class used for (list of) interpreter objects.
void iiWriteMatrix(matrix im, const char *n, int dim, const ring r, int spaces)
set spaces to zero by default
static void * s_internalCopy(const int t, void *d)
const char * iiTwoOps(int t)
void * slInternalCopy(leftv source, const int t, void *d, Subexpr e)
static poly p_Copy(poly p, const ring r)
returns a copy of p
void id_Delete(ideal *h, ring r)
deletes an ideal/module/matrix
const char * piProcinfo(procinfov pi, const char *request)
static FORCE_INLINE void n_Write(number n, const coeffs r, const BOOLEAN bShortOut=TRUE)
poly sBucketPeek(sBucket_pt b)
void PrintS(const char *s)
static FORCE_INLINE BOOLEAN nCoeff_is_algExt(const coeffs r)
TRUE iff r represents an algebraic extension field.
void syMake(leftv v, const char *id, package pa)
#define omFreeBinAddr(addr)
matrix id_Module2Matrix(ideal mod, const ring R)
BOOLEAN lRingDependend(lists L)
void syPrint(syStrategy syzstr, const char *currRingName)
void killhdl(idhdl h, package proot)
void nfShowMipo(const coeffs r)
Show the mininimal polynom.... NOTE: this is used by char * sleftv::String(void *d,...
BOOLEAN iiExprArith3(leftv res, int op, leftv a, leftv b, leftv c)
void CleanUp(ring r=currRing)
void jjNormalizeQRingId(leftv I)
INST_VAR sleftv iiRETURNEXPR
#define IMATELEM(M, I, J)
static BOOLEAN rField_is_GF(const ring r)
char * String(void *d=NULL, BOOLEAN typed=FALSE, int dim=1)
Called for conversion to string (used by string(..), write(..),..)
BOOLEAN iiExprArith2(leftv res, leftv a, int op, leftv b, BOOLEAN proccall)
void rWrite(ring r, BOOLEAN details)
void StringSetS(const char *st)
void ipPrint_MA0(matrix m, const char *name)
void Werror(const char *fmt,...)
char * lString(lists l, BOOLEAN typed, int dim)
#define omCheckIf(cond, test)
#define BIMATELEM(M, I, J)
BOOLEAN iiCheckRing(int i)
void s_internalDelete(const int t, void *d, const ring r)
const Variable & v
< [in] a sqrfree bivariate poly
#define omCheckAddr(addr)
VAR ring currRing
Widely used global variable which specifies the current polynomial ring for Singular interpreter and ...
idhdl ggetid(const char *n)
const CanonicalForm int s
void sBucketPrint(sBucket_pt bucket)
const char * Tok2Cmdname(int tok)
void jjNormalizeQRingP(poly &p)
#define pCopy(p)
return a copy of the poly
ideal id_Copy(ideal h1, const ring r)
copy an ideal
lists syConvRes(syStrategy syzstr, BOOLEAN toDel, int add_row_shift)
#define n_Test(a, r)
BOOLEAN n_Test(number a, const coeffs r)
#define omFreeBin(addr, bin)
blackbox * getBlackboxStuff(const int t)
return the structure to the type given by t
void PrintNSpaces(const int n)
static int index(p_Length length, p_Ord ord)
BOOLEAN iiAssign(leftv l, leftv r, BOOLEAN toplevel)
char * iiStringMatrix(matrix im, int dim, const ring r, char ch)