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
Value:
void at_Kill(idhdl root, const char *name, const ring r)
VAR ring currRing
Widely used global variable which specifies the current polynomial ring for Singular interpreter and ...
Definition at line 49 of file attrib.h.
◆ atKillAll
Value:
void at_KillAll(idhdl root, const ring r)
Definition at line 47 of file attrib.h.
◆ attr
◆ at_Kill()
Definition at line 202 of file attrib.cc.
203{
206 {
209 if (temp1==temp)
210 {
212 }
213 else
214 {
215 while (temp1->
next!=temp) temp1 = temp1->
next;
217 }
219 }
220}
const CanonicalForm CFMap CFMap & N
int name
New type name for int.
◆ at_KillAll() [1/2]
Definition at line 222 of file attrib.cc.
223{
226}
void killAll(const ring r)
◆ at_KillAll() [2/2]
◆ atATTRIB1()
Definition at line 234 of file attrib.cc.
235{
236 attr *aa=(
v->Attribute());
238 {
239 WerrorS(
"this object cannot have attributes");
241 }
245 {
247 {
248 PrintS(
"attr:isSB, type int\n");
249 haveNoAttribute=
FALSE;
250 }
252 {
253 PrintS(
"attr:qringNF, type int\n");
254 haveNoAttribute=
FALSE;
255 }
257 {
258 PrintS(
"attr:cf_class, type int\n");
259 PrintS(
"attr:cf_class_Zp, type int\n");
260 PrintS(
"attr:cf_class_QQ, type int\n");
261 PrintS(
"attr:global, type int\n");
262 PrintS(
"attr:maxExp, type int\n");
263 PrintS(
"attr:ring_cf, type int\n");
264 #ifdef HAVE_SHIFTBBA
265 PrintS(
"attr:isLetterplaceRing, type int\n");
267 PrintS(
"attr:ncgenCount, type int\n");
268 #endif
269
270 haveNoAttribute=
FALSE;
271 }
272 }
273 else
274 {
277 }
279 else if(haveNoAttribute)
PrintS(
"no attributes\n");
281}
BOOLEAN atATTRIB1(leftv res, leftv v)
const Variable & v
< [in] a sqrfree bivariate poly
void WerrorS(const char *s)
void PrintS(const char *s)
static BOOLEAN rIsLPRing(const ring r)
◆ atATTRIB2()
Definition at line 282 of file attrib.cc.
283{
284 char *
name=(
char *)
b->Data();
289 if (strcmp(
name,
"isSB")==0)
290 {
294 }
296 {
298 res->data=(
void *)(((ideal)
v->Data())->rank);
299 }
300 else if ((strcmp(
name,
"global")==0)
302 {
304 res->data=(
void *)(((ring)
v->Data())->OrdSgn==1);
305 }
306 else if ((strcmp(
name,
"maxExp")==0)
308 {
310 res->data=(
void *)(
long)(((ring)
v->Data())->bitmask);
311 }
312 else if ((strcmp(
name,
"ring_cf")==0)
314 {
317 }
318 else if ((strncmp(
name,
"cf_class",strlen(
"cf_class"))==0)
320 {
323 cf=((ring)
v->Data())->cf;
324 if (strcmp(
name,
"cf_class_Zp")==0)
325 res->data=(
void *)(
long)(int)(
cf->type==
n_Zp);
326 else if (strcmp(
name,
"cf_class_QQ")==0)
327 res->data=(
void *)(
long)(int)(
cf->type==
n_Q);
328 else
329 res->data=(
void *)(
long)(int)
cf->type;
330 }
331 else if (strcmp(
name,
"qringNF")==0)
332 {
336 }
337#ifdef HAVE_SHIFTBBA
338 else if ((strcmp(
name,
"isLetterplaceRing")==0)
340 {
342 res->data=(
void *)(
long)(((ring)
v->Data())->isLPring);
343 }
344 else if ((strcmp(
name,
"ncgenCount")==0)
346 {
348 res->data=(
void *)(
long)(((ring)
v->Data())->LPncGenCount);
349 }
350#endif
351 else
352 {
353 attr *aa=
v->Attribute();
355 {
356 WerrorS(
"this object cannot have attributes");
358 }
362 {
365 }
366 else
367 {
370 }
371 }
373}
@ n_Q
rational (GMP) numbers
The main handler for Singular numbers which are suitable for Singular polynomials.
#define rField_is_Ring(R)
◆ atATTRIB3()
Definition at line 374 of file attrib.cc.
375{
378 {
382 }
385
386 char *
name=(
char *)
b->Data();
387 if (strcmp(
name,
"isSB")==0)
388 {
390 {
391 WerrorS(
"attribute isSB must be int");
393 }
394 if (((
long)c->
Data())!=0L)
395 {
398 }
399 else
400 {
403 }
404 }
405 else if (strcmp(
name,
"qringNF")==0)
406 {
408 {
409 WerrorS(
"attribute qringNF must be int");
411 }
412 if (((
long)c->
Data())!=0L)
413 {
416 }
417 else
418 {
421 }
422 }
424 {
426 {
427 WerrorS(
"attribute `rank` must be int");
429 }
430 ideal I=(ideal)
v->Data();
433 }
434 else if (((strcmp(
name,
"global")==0)
435 || (strncmp(
name,
"cf_class",strlen(
"cf_class"))==0)
436 || (strcmp(
name,
"ring_cf")==0)
437 || (strcmp(
name,
"maxExp")==0))
439 {
442 }
443#ifdef HAVE_SHIFTBBA
444 else if ((strcmp(
name,
"isLetterplaceRing")==0)
446 {
448 ((ring)
v->Data())->isLPring=(int)(
long)c->
Data();
449 else
450 {
451 WerrorS(
"attribute `isLetterplaceRing` must be int");
453 }
454 }
455 else if ((strcmp(
name,
"ncgenCount")==0)
457 {
459 ((ring)
v->Data())->LPncGenCount=(int)(
long)c->
Data();
460 else
461 {
462 WerrorS(
"attribute `ncgenCount` must be int");
464 }
465 }
466#endif
467 else
468 {
472 }
474}
void atSet(idhdl root, char *name, void *data, int typ)
static int si_max(const int a, const int b)
void Werror(const char *fmt,...)
long id_RankFreeModule(ideal s, ring lmRing, ring tailRing)
return the maximal component number found in any polynomial in s
◆ atGet() [1/2]
void * atGet |
( |
idhdl | root, |
|
|
const char * | name, |
|
|
int | t, |
|
|
void * | defaultReturnValue = NULL ) |
Definition at line 132 of file attrib.cc.
133{
135 if ((temp!=
NULL) && (temp->
atyp==t))
137 else
138 return defaultReturnValue;
139}
◆ atGet() [2/2]
void * atGet |
( |
leftv | root, |
|
|
const char * | name, |
|
|
int | t ) |
Definition at line 141 of file attrib.cc.
142{
145 {
147 if ((temp!=
NULL) && (temp->
atyp==t))
149 }
151}
◆ atKILLATTR1()
Definition at line 476 of file attrib.cc.
477{
480 {
483 }
485 if (
h->attribute!=
NULL)
486 {
489 }
492}
◆ atKILLATTR2()
Definition at line 493 of file attrib.cc.
494{
496 {
497 WerrorS(
"object must have a name");
499 }
500 char *
name=(
char *)
b->Data();
501 if (strcmp(
name,
"isSB")==0)
502 {
505 }
506 else if (strcmp(
name,
"global")==0)
507 {
508 WerrorS(
"can not set attribut `global`");
510 }
511 else
512 {
514 }
516}
◆ atSet() [1/2]
void atSet |
( |
idhdl | root, |
|
|
char * | name, |
|
|
void * | data, |
|
|
int | typ ) |
Definition at line 153 of file attrib.cc.
154{
156 {
159 WerrorS(
"cannot set ring-dependend objects at this type");
160 else
162 }
163}
attr set(char *s, void *data, int t)
static int RingDependend(int t)
◆ atSet() [2/2]
void atSet |
( |
leftv | root, |
|
|
char * | name, |
|
|
void * | data, |
|
|
int | typ ) |
Definition at line 165 of file attrib.cc.
166{
168 {
172 WerrorS(
"cannot set attributes of this object");
175 WerrorS(
"cannot set ring-dependend objects at this type");
176 else
177 {
179 }
180 }
181}