 |
My Project
UNKNOWN_GIT_VERSION
|
Class used for (list of) interpreter objects.
More...
#include <subexpr.h>
Class used for (list of) interpreter objects.
Definition at line 82 of file subexpr.h.
◆ Attribute()
attr * sleftv::Attribute |
( |
| ) |
|
◆ CleanUp()
void sleftv::CleanUp |
( |
ring |
r = currRing | ) |
|
◆ Copy()
void sleftv::Copy |
( |
leftv |
e | ) |
|
Definition at line 720 of file subexpr.cc.
724 void *d=source->Data();
734 if ((source->attribute!=
NULL)||(source->e!=
NULL))
737 if (source->next!=
NULL)
◆ CopyA()
◆ CopyD() [1/2]
◆ CopyD() [2/2]
void * sleftv::CopyD |
( |
int |
t | ) |
|
◆ Data()
Definition at line 1182 of file subexpr.cc.
1193 return ((
idhdl)
h->data.ustring)->
data.ustring;
1214 return (
void *)
A->qideal->m[0];
1217 return (
void *)
nInit(0);
1257 r=(
char *)(
long)((*iv)[
index-1]);
1265 ||(
e->next->start<1)
1266 ||(
e->next->start>iv->
cols()))
1269 Werror(
"wrong range[%d,%d] in intmat %s(%dx%d)",
index,
e->next->start,
1270 this->Name(),iv->
rows(),iv->
cols());
1281 ||(
e->next->start<1)
1282 ||(
e->next->start>
m->cols()))
1285 Werror(
"wrong range[%d,%d] in bigintmat %s(%dx%d)",
index,
e->next->start,
1286 this->Name(),
m->rows(),
m->cols());
1298 ||(
e->next->start<1)
1299 ||(
e->next->start>
m->cols()))
1302 Werror(
"wrong range[%d,%d] in matrix %s(%dx%d)",
index,
e->next->start,
1303 this->Name(),
m->rows(),
m->cols());
1307 iiNumber2Data[iiCmatrix_index].cf=
m->basecoeffs();
1309 r=(
char*)&iiNumber2Data[iiCmatrix_index];
1310 iiCmatrix_index=(iiCmatrix_index+1) % 4;
1326 r=(
char *)I->m[
index-1];
1338 && ((c=
e->next->start)>0) &&(c<=
IDELEMS(I)))
1352 memcpy(
this,&tmp,
sizeof(tmp));
1377 if ((
index>0)&& (
index<=(int)strlen((
char *)d)))
1379 r[0]=*(((
char *)d)+
index-1);
1394 memcpy(
this,&tmp,
sizeof(tmp));
1414 ||(
e->next->start<1)
1418 Werror(
"wrong range[%d,%d] in matrix %s(%dx%d)",
1443 char *dd=(
char *)
l->m[
index-1].data;
1444 int j=
e->next->start-1;
1446 if ((
j>=0) && (
j<(
int)strlen(dd)))
1458 Subexpr tmp=
l->m[
index-1].e;
1460 r=(
char *)
l->m[
index-1].Data();
◆ Eval()
Definition at line 1839 of file subexpr.cc.
1861 char *what=(
char *)(d->arg1.Data());
1879 else if (d->op==
'=')
1887 const char *n=d->arg1.name;
1888 nok=(n ==
NULL) || d->arg2.Eval();
1891 int save_typ=d->arg1.rtyp;
1893 if (d->arg1.rtyp!=
IDHDL)
1896 if (d->arg1.rtyp==
IDHDL)
1911 memcpy(&d->arg1,&t,
sizeof(
sleftv));
1913 nok=nok||
iiAssign(&d->arg1,&d->arg2);
1918 memset(&d->arg1,0,
sizeof(
sleftv));
1930 if ((toktype==
CMD_M)
1936 if (d->argc>=1) nok=d->arg1.Eval();
1937 if ((!nok) && (d->argc>=2))
1941 memcpy(d->arg1.next,&d->arg2,
sizeof(
sleftv));
1944 if ((!nok) && (d->argc==3))
1948 memcpy(d->arg1.next->next,&d->arg3,
sizeof(
sleftv));
1962 else if (d->argc==1)
1970 nok=nok||d->arg2.Eval();
1976 nok=nok||d->arg2.Eval();
1977 nok=nok||d->arg3.Eval();
1978 nok=nok||
iiExprArith3(&tmp,d->op,&d->arg1,&d->arg2,&d->arg3);
1990 memcpy(
this,&tmp,
sizeof(tmp));
2018 ideal
id=(ideal)
Data();
2020 int i=
id->ncols*
id->nrows-1;
◆ Fullname()
const char* sleftv::Fullname |
( |
| ) |
|
|
inline |
◆ Init()
Definition at line 107 of file subexpr.h.
107 { memset(
this,0,
sizeof(*
this)); }
◆ LData()
Definition at line 1490 of file subexpr.cc.
1514 if ((0>=
e->start)||(
e->start>
l->nr+1))
1518 l->m[
e->start-1].e=
e->next;
1519 leftv r=
l->m[
e->start-1].LData();
1523 return &(
l->m[
e->start-1]);
◆ listLength()
int sleftv::listLength |
( |
| ) |
|
◆ LTyp()
Definition at line 1146 of file subexpr.cc.
1160 if ((0<
e->start)&&(
e->start<=
l->nr+1))
1162 l->m[
e->start-1].e=
e->next;
1163 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 69 of file subexpr.cc.
78 ch[0]=c->op;ch[1]=
'\0';
81 ::Print(
"##command %d(%s), %d args\n",
84 c->arg1.Print(
NULL,spaces+2);
88 c->arg2.Print(
NULL,spaces+2);
90 c->arg3.Print(
NULL,spaces+2);
151 ((
intvec *)d)->show(t,spaces);
156 const ring r = (
const ring)d;
299 l->m[
i].Print(
NULL,spaces+3);
311 if (bb!=
NULL) { bb->blackbox_Print(bb,d); }
312 else {
::Print(
"Print: blackbox %d(bb=NULL)",t); }
317 if ((store!=
NULL)&&(store!=
this))
◆ RingDependend()
◆ String()
Called for conversion to string (used by string(..), write(..),..)
Definition at line 789 of file subexpr.cc.
816 sprintf(
s,
"int(%d)",(
int)(
long)d);
821 sprintf(
s,
"%d",(
int)(
long)d);
833 s = (
char*)
omAlloc(strlen((
char*) d) + 3);
834 sprintf(
s,
"\"%s\"", (
char*) d);
847 s = (
char*)
omAlloc(strlen(ps) + 10);
848 sprintf(
s,
"%s(%s)", (t ==
POLY_CMD ?
"poly" :
"vector"), ps);
859 return n2String((number2)d,typed);
894 char* ns = (
char*)
omAlloc(strlen(
s) + 40);
895 sprintf(ns,
"matrix(ideal(%s),%d,%d)",
s,
912 char* ns = (
char*)
omAlloc(strlen(
s) + 10);
914 sprintf(ns,
"ideal(%s)",
s);
916 sprintf(ns,
"module(%s)",
s);
933 ns = (
char*)
omAlloc(strlen(
s) + 40);
934 sprintf(ns,
"intmat(intvec(%s),%d,%d)",
s,
v->rows(),
v->cols());
938 ns = (
char*)
omAlloc(strlen(
s) + 10);
939 sprintf(ns,
"intvec(%s)",
s);
954 char* ns = (
char*)
omAlloc0(strlen(
s) + 40);
955 sprintf(ns,
"bigintmat(bigintvec(%s),%d,%d)",
s, bim->
rows(), bim->
cols());
974 ns = (
char*)
omAlloc(strlen(
s) + strlen(
id) + 20);
975 sprintf(ns,
"\"%s\";%sideal(%s)",
s,(
dim == 2 ?
"\n" :
" "),
id);
979 ns = (
char*)
omAlloc(strlen(
s) + 4);
980 sprintf(ns,
"\"%s\"",
s);
999 s = (
pi->data.s.body);
1004 char* ns = (
char*)
omAlloc(strlen(
s) + 4);
1005 sprintf(ns,
"\"%s\"",
s);
1016 char* ns = (
char*)
omAlloc(strlen(
s) + 10);
1017 sprintf(ns,
"link(\"%s\")",
s);
1031 if (bb!=
NULL)
return bb->blackbox_String(bb,d);
◆ Typ()
Definition at line 1039 of file subexpr.cc.
1050 return ((
idhdl)
h->data.ustring)->typ;
1124 if ((0<
e->start)&&(
e->start<=
l->nr+1))
1126 Subexpr tmp=
l->m[
e->start-1].e;
1127 l->m[
e->start-1].e=
e->next;
1128 r=
l->m[
e->start-1].Typ();
1129 e->next=
l->m[
e->start-1].e;
1130 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)
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)
#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 omBin size_two_bin
static poly p_Copy(poly p, const ring r)
returns a copy of p
ring currRing
Widely used global variable which specifies the current polynomial ring for Singular interpreter and ...
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)
#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)
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)