Go to the source code of this file.
|
void * | atGet (idhdl root, const char *name, int t, void *defaultReturnValue=NULL) |
|
void * | atGet (leftv root, const char *name, int t) |
|
void | atSet (idhdl root, char *name, void *data, int typ) |
|
void | atSet (leftv root, char *name, void *data, int typ) |
|
void | at_KillAll (idhdl root, const ring r) |
|
void | at_KillAll (leftv root, const ring r) |
|
void | at_Kill (idhdl root, const char *name, const ring r) |
|
BOOLEAN | atATTRIB1 (leftv res, leftv a) |
|
BOOLEAN | atATTRIB2 (leftv res, leftv a, leftv b) |
|
BOOLEAN | atATTRIB3 (leftv res, leftv a, leftv b, leftv c) |
|
BOOLEAN | atKILLATTR1 (leftv res, leftv a) |
|
BOOLEAN | atKILLATTR2 (leftv res, leftv a, leftv b) |
|
◆ atKill
◆ atKillAll
◆ attr
◆ at_Kill()
◆ at_KillAll() [1/2]
◆ at_KillAll() [2/2]
◆ atATTRIB1()
Definition at line 232 of file attrib.cc.
235 attr *aa=(
v->Attribute());
238 WerrorS(
"this object cannot have attributes");
247 PrintS(
"attr:isSB, type int\n");
248 haveNoAttribute=
FALSE;
252 PrintS(
"attr:qringNF, type int\n");
253 haveNoAttribute=
FALSE;
257 PrintS(
"attr:cf_class, type int\n");
258 PrintS(
"attr:global, type int\n");
259 PrintS(
"attr:maxExp, type int\n");
260 PrintS(
"attr:ring_cf, type int\n");
262 PrintS(
"attr:isLetterplaceRing, type int\n");
265 haveNoAttribute=
FALSE;
274 else if(haveNoAttribute)
PrintS(
"no attributes\n");
◆ atATTRIB2()
Definition at line 276 of file attrib.cc.
279 char *
name=(
char *)
b->Data();
284 if (strcmp(
name,
"isSB")==0)
293 res->data=(
void *)(((ideal)
v->Data())->rank);
295 else if ((strcmp(
name,
"global")==0)
299 res->data=(
void *)(((ring)
v->Data())->OrdSgn==1);
301 else if ((strcmp(
name,
"maxExp")==0)
305 res->data=(
void *)(
long)(((ring)
v->Data())->bitmask/2);
307 else if ((strcmp(
name,
"ring_cf")==0)
313 else if ((strcmp(
name,
"cf_class")==0)
320 res->data=(
void *)(
long)(
cf->type);
322 else if (strcmp(
name,
"qringNF")==0)
329 else if ((strcmp(
name,
"isLetterplaceRing")==0)
333 res->data=(
void *)(
long)(((ring)
v->Data())->isLPring);
338 attr *aa=
v->Attribute();
341 WerrorS(
"this object cannot have attributes");
◆ atATTRIB3()
Definition at line 358 of file attrib.cc.
371 char *
name=(
char *)
b->Data();
372 if (strcmp(
name,
"isSB")==0)
376 WerrorS(
"attribute isSB must be int");
379 if (((
long)c->
Data())!=0L)
390 else if (strcmp(
name,
"qringNF")==0)
394 WerrorS(
"attribute qringNF must be int");
397 if (((
long)c->
Data())!=0L)
412 WerrorS(
"attribute `rank` must be int");
415 ideal I=(ideal)
v->Data();
419 else if (((strcmp(
name,
"global")==0)
420 || (strcmp(
name,
"cf_class")==0)
421 || (strcmp(
name,
"ring_cf")==0)
422 || (strcmp(
name,
"maxExp")==0))
429 else if ((strcmp(
name,
"isLetterplaceRing")==0)
433 ((ring)
v->Data())->isLPring=(
int)(long)c->
Data();
436 WerrorS(
"attribute `isLetterplaceRing` must be int");
◆ atGet() [1/2]
void* atGet |
( |
idhdl |
root, |
|
|
const char * |
name, |
|
|
int |
t, |
|
|
void * |
defaultReturnValue = NULL |
|
) |
| |
Definition at line 130 of file attrib.cc.
134 if ((temp!=
NULL) && (temp->
atyp==t))
137 return defaultReturnValue;
◆ atGet() [2/2]
void* atGet |
( |
leftv |
root, |
|
|
const char * |
name, |
|
|
int |
t |
|
) |
| |
◆ atKILLATTR1()
◆ atKILLATTR2()
Definition at line 466 of file attrib.cc.
471 WerrorS(
"object must have a name");
474 char *
name=(
char *)
b->Data();
475 if (strcmp(
name,
"isSB")==0)
480 else if (strcmp(
name,
"global")==0)
482 WerrorS(
"can not set attribut `global`");
◆ atSet() [1/2]
void atSet |
( |
idhdl |
root, |
|
|
char * |
name, |
|
|
void * |
data, |
|
|
int |
typ |
|
) |
| |
Definition at line 151 of file attrib.cc.
158 WerrorS(
"cannot set ring-dependend objects at this type");
◆ atSet() [2/2]
void atSet |
( |
leftv |
root, |
|
|
char * |
name, |
|
|
void * |
data, |
|
|
int |
typ |
|
) |
| |
Definition at line 163 of file attrib.cc.
171 WerrorS(
"cannot set attributes of this object");
174 WerrorS(
"cannot set ring-dependend objects at this type");