My Project  debian-1:4.1.1-p2+ds-4build3
Data Structures | Typedefs | Enumerations | Functions | Variables
subexpr.h File Reference
#include <string.h>
#include "polys/monomials/ring.h"
#include "kernel/mod2.h"
#include "Singular/grammar.h"
#include "Singular/tok.h"
#include "Singular/attrib.h"
#include "Singular/fevoices.h"

Go to the source code of this file.

Data Structures

class  proc_singular
 
struct  proc_object
 
union  procinfodata
 
class  procinfo
 
struct  Subexpr
 
class  sleftv
 Class used for (list of) interpreter objects. More...
 
class  libstack
 

Typedefs

typedef procinfoprocinfov
 
typedef sleftvleftv
 
typedef libstacklibstackv
 

Enumerations

enum  language_defs {
  LANG_NONE, LANG_TOP, LANG_SINGULAR, LANG_C,
  LANG_MIX, LANG_MAX
}
 

Functions

BOOLEAN RingDependend (int t)
 
void syMake (leftv v, const char *name, package pa=NULL)
 
BOOLEAN assumeStdFlag (leftv h)
 
procinfov piCopy (procinfov pi)
 
BOOLEAN piKill (procinfov l)
 
const char * piProcinfo (procinfov pi, const char *request)
 
void piShowProcinfo (procinfov pi, char *txt)
 
void s_internalDelete (const int t, void *d, const ring r)
 

Variables

BOOLEAN siq
 
sleftv sLastPrinted
 
omBin sSubexpr_bin
 
omBin procinfo_bin
 
omBin libstack_bin
 

Data Structure Documentation

◆ proc_singular

class proc_singular

Definition at line 23 of file subexpr.h.

Data Fields
char * body
long body_end
int body_lineno
long body_start
long def_end
int example_lineno
long example_start
long help_chksum
long help_end
long help_start
long proc_end
long proc_start

◆ uprocinfodata

union uprocinfodata

Definition at line 45 of file subexpr.h.

Data Fields
struct proc_object o
proc_singular s

◆ procinfo

class procinfo

Definition at line 53 of file subexpr.h.

Data Fields
procinfodata data
char is_static
language_defs language
char * libname
package pack
char * procname
short ref
char trace_flag

◆ _ssubexpr

struct _ssubexpr

Definition at line 68 of file subexpr.h.

Data Fields
struct _ssubexpr * next
int start

Typedef Documentation

◆ leftv

typedef sleftv* leftv

Definition at line 79 of file subexpr.h.

◆ libstackv

typedef libstack* libstackv

Definition at line 158 of file subexpr.h.

◆ procinfov

typedef procinfo* procinfov

Definition at line 66 of file subexpr.h.

Enumeration Type Documentation

◆ language_defs

Enumerator
LANG_NONE 
LANG_TOP 
LANG_SINGULAR 
LANG_C 
LANG_MIX 
LANG_MAX 

Definition at line 22 of file subexpr.h.

Function Documentation

◆ assumeStdFlag()

BOOLEAN assumeStdFlag ( leftv  h)

Definition at line 1471 of file subexpr.cc.

1472 {
1473  if (h->e!=NULL)
1474  {
1475  leftv hh=h->LData();
1476  if (h!=hh) return assumeStdFlag(h->LData());
1477  }
1478  if (!hasFlag(h,FLAG_STD))
1479  {
1480  if (!TEST_VERB_NSB)
1481  {
1482  if (TEST_V_ALLWARN)
1483  Warn("%s is no standard basis in >>%s<<",h->Name(),my_yylinebuf);
1484  else
1485  Warn("%s is no standard basis",h->Name());
1486  }
1487  return FALSE;
1488  }
1489  return TRUE;
1490 }

◆ piCopy()

procinfov piCopy ( procinfov  pi)
inline

Definition at line 148 of file subexpr.h.

149 {
150  pi->ref++;
151  return pi;
152 }

◆ piKill()

BOOLEAN piKill ( procinfov  l)

Definition at line 656 of file ipid.cc.

657 {
658  (pi->ref)--;
659  if (pi->ref == 0)
660  {
661  if (pi->language==LANG_SINGULAR)
662  {
664  while (p!=NULL)
665  {
666  if (p->pi==pi && pi->ref <= 1)
667  {
668  Warn("`%s` in use, can not be killed",pi->procname);
669  return TRUE;
670  }
671  p=p->next;
672  }
673  }
674  if (pi->libname != NULL) // OB: ????
675  omFree((ADDRESS)pi->libname);
676  if (pi->procname != NULL) // OB: ????
677  omFree((ADDRESS)pi->procname);
678 
679  if( pi->language == LANG_SINGULAR)
680  {
681  if (pi->data.s.body != NULL) // OB: ????
682  omFree((ADDRESS)pi->data.s.body);
683  }
684  if( pi->language == LANG_C)
685  {
686  }
687  memset((void *) pi, 0, sizeof(procinfo));
688  //pi->language=LANG_NONE;
690  }
691  return FALSE;
692 }

◆ piProcinfo()

const char* piProcinfo ( procinfov  pi,
const char *  request 
)

Definition at line 632 of file ipid.cc.

633 {
634  if((pi == NULL)||(pi->language==LANG_NONE)) return "empty proc";
635  else if (strcmp(request, "libname") == 0) return pi->libname;
636  else if (strcmp(request, "procname") == 0) return pi->procname;
637  else if (strcmp(request, "type") == 0)
638  {
639  switch (pi->language)
640  {
641  case LANG_SINGULAR: return "singular"; break;
642  case LANG_C: return "object"; break;
643  case LANG_NONE: return "none"; break;
644  default: return "unknown language";
645  }
646  }
647  else if (strcmp(request, "ref") == 0)
648  {
649  char p[8];
650  sprintf(p, "%d", pi->ref);
651  return omStrDup(p); // MEMORY-LEAK
652  }
653  return "??";
654 }

◆ piShowProcinfo()

void piShowProcinfo ( procinfov  pi,
char *  txt 
)

◆ RingDependend()

BOOLEAN RingDependend ( int  t)
inline

Definition at line 142 of file subexpr.h.

142 { return (BEGIN_RING<t)&&(t<END_RING); }

◆ s_internalDelete()

void s_internalDelete ( const int  t,
void *  d,
const ring  r 
)

Definition at line 491 of file subexpr.cc.

492 {
493  assume(d!=NULL);
494  switch (t)
495  {
496  case CRING_CMD:
497  {
498  coeffs cf=(coeffs)d;
499  if ((cf->ref<1)&&
500  ((cf->type <=n_GF)
501  ||((cf->type >=n_long_C)&&(cf->type <=n_CF))))
502  {
503  Warn("cannot kill `%s`",nCoeffName(cf));
504  }
505  else // allow nKillChar for n_long_R, extensions, and user defined:
506  nKillChar((coeffs)d);
507  break;
508  }
509 #ifdef SINGULAR_4_2
510  case CNUMBER_CMD:
511  {
512  number2 n=(number2)d;
513  n2Delete(n);
514  break;
515  }
516  case CPOLY_CMD:
517  {
518  poly2 n=(poly2)d;
519  p2Delete(n);
520  break;
521  }
522  case CMATRIX_CMD: //like BIGINTMAT
523 #endif
524  case BIGINTMAT_CMD:
525  {
526  bigintmat *v=(bigintmat*)d;
527  delete v;
528  break;
529  }
530  case INTVEC_CMD:
531  case INTMAT_CMD:
532  {
533  intvec *v=(intvec*)d;
534  delete v;
535  break;
536  }
537  case MAP_CMD:
538  {
539  map m=(map)d;
540  omFreeBinAddr((ADDRESS)m->preimage);
541  m->preimage=NULL;
542  /* no break: continue as IDEAL*/
543  }
544  case MATRIX_CMD:
545  case IDEAL_CMD:
546  case MODUL_CMD:
547  {
548  ideal i=(ideal)d;
549  id_Delete(&i,r);
550  break;
551  }
552  case STRING_CMD:
553  omFree(d);
554  break;
555  //case PACKAGE_CMD:
556  // return (void *)paCopy((package) d);
557  case PROC_CMD:
558  piKill((procinfo*)d);
559  break;
560  case POLY_CMD:
561  case VECTOR_CMD:
562  {
563  poly p=(poly)d;
564  p_Delete(&p,r);
565  break;
566  }
567  case NUMBER_CMD:
568  {
569  number n=(number)d;
570  n_Delete(&n,r->cf);
571  break;
572  }
573  case BIGINT_CMD:
574  {
575  number n=(number)d;
577  break;
578  }
579  case LIST_CMD:
580  {
581  lists l=(lists)d;
582  l->Clean(r);
583  break;
584  }
585  case LINK_CMD:
586  {
587  si_link l=(si_link)d;
588  slKill(l);
589  break;
590  }
591  case RING_CMD:
592  {
593  ring R=(ring)d;
594  if ((R!=currRing)||(R->ref>=0))
595  rKill(R);
596  #ifdef TEST
597  else
598  Print("currRing? ref=%d\n",R->ref);
599  #endif
600  break;
601  }
602  case RESOLUTION_CMD:
603  {
605  if (s!=NULL) syKillComputation(s,r);
606  break;
607  }
608  case COMMAND:
609  {
610  command cmd=(command)d;
611  if (cmd->arg1.rtyp!=0) cmd->arg1.CleanUp(r);
612  if (cmd->arg2.rtyp!=0) cmd->arg2.CleanUp(r);
613  if (cmd->arg3.rtyp!=0) cmd->arg3.CleanUp(r);
615  break;
616  }
617  case INT_CMD:
618  case DEF_CMD:
619  case ALIAS_CMD:
620  case PACKAGE_CMD:
621  case IDHDL:
622  case NONE:
623  case ANY_TYPE:
624  case VECHO:
625  case VPRINTLEVEL:
626  case VCOLMAX:
627  case VTIMER:
628  case VRTIMER:
629  case VOICE:
630  case VMAXDEG:
631  case VMAXMULT:
632  case TRACE:
633  case VSHORTOUT:
634  case VNOETHER:
635  case VMINPOLY:
636  case 0: /* type in error case */
637  break; /* error recovery: do nothing */
638  //case COMMAND:
639  //case COMMAND:
640  default:
641  {
642  if (t>MAX_TOK)
643  {
644  blackbox *b=getBlackboxStuff(t);
645  if (b!=NULL) b->blackbox_destroy(b,d);
646  break;
647  }
648  else
649  Warn("s_internalDelete: cannot delete type %s(%d)",
650  Tok2Cmdname(t),t);
651  }
652  }
653 }

◆ syMake()

void syMake ( leftv  v,
const char *  name,
package  pa = NULL 
)

Definition at line 1497 of file subexpr.cc.

1498 {
1499  /* resolv an identifier: (to DEF_CMD, if siq>0)
1500  * 1) reserved id: done by scanner
1501  * 2) `basering` / 'Current`
1502  * 3) existing identifier, local
1503  * 4) ringvar, ringpar, local ring
1504  * 5) existing identifier, global
1505  * 6) monom (resp. number), local ring: consisting of:
1506  * 6') ringvar, ringpar,global ring
1507  * 6'') monom (resp. number), local ring
1508  * 7) monom (resp. number), non-local ring
1509  * 8) basering
1510  * 9) `_`
1511  * 10) everything else is of type 0
1512  */
1513 #ifdef TEST
1514  if ((*id<' ')||(*id>(char)126))
1515  {
1516  Print("wrong id :%s:\n",id);
1517  }
1518 #endif
1519  idhdl save_ring=currRingHdl;
1520  v->Init();
1521  if(pa != NULL)
1522  {
1523  v->req_packhdl = pa;
1524  }
1525  else v->req_packhdl = currPack;
1526 // if (v->req_packhdl!=basePack)
1527 // Print("search %s in %s\n",id,v->req_packhdl->libname);
1528  idhdl h=NULL;
1529 #ifdef SIQ
1530  if (siq<=0)
1531 #endif
1532  {
1533  if (!isdigit(id[0]))
1534  {
1535  if (strcmp(id,"basering")==0)
1536  {
1537  if (currRingHdl!=NULL)
1538  {
1539  if (id!=IDID(currRingHdl)) omFreeBinAddr((ADDRESS)id);
1540  h=currRingHdl;
1541  goto id_found;
1542  }
1543  else
1544  {
1545  v->name = id;
1546  return; /* undefined */
1547  }
1548  }
1549  else if (strcmp(id,"Current")==0)
1550  {
1551  if (currPackHdl!=NULL)
1552  {
1553  omFreeBinAddr((ADDRESS)id);
1554  h=currPackHdl;
1555  goto id_found;
1556  }
1557  else
1558  {
1559  v->name = id;
1560  return; /* undefined */
1561  }
1562  }
1563  if(v->req_packhdl!=currPack)
1564  {
1565  h=v->req_packhdl->idroot->get(id,myynest);
1566  }
1567  else
1568  h=ggetid(id);
1569  /* 3) existing identifier, local */
1570  if ((h!=NULL) && (IDLEV(h)==myynest))
1571  {
1572  if (id!=IDID(h)) omFreeBinAddr((ADDRESS)id); /*assume strlen(id) <1000 */
1573  goto id_found;
1574  }
1575  }
1577  {
1578  currRingHdl=NULL;
1579  }
1580  /* 4. local ring: ringvar */
1581  if ((currRingHdl!=NULL) && (IDLEV(currRingHdl)==myynest)
1582  /*&& (!yyInRingConstruction)*/)
1583  {
1584  int vnr;
1585  if ((vnr=r_IsRingVar(id, currRing->names,currRing->N))>=0)
1586  {
1587  poly p=pOne();
1588  pSetExp(p,vnr+1,1);
1589  pSetm(p);
1590  v->data = (void *)p;
1591  v->name = id;
1592  v->rtyp = POLY_CMD;
1593  return;
1594  }
1595  if((n_NumberOfParameters(currRing->cf)>0)
1596  &&((vnr=r_IsRingVar(id, (char**)n_ParameterNames(currRing->cf),
1597  n_NumberOfParameters(currRing->cf))>=0)))
1598  {
1599  BOOLEAN ok=FALSE;
1600  poly p = pmInit(id,ok);
1601  if (ok && (p!=NULL))
1602  {
1603  v->data = pGetCoeff(p);
1604  pGetCoeff(p)=NULL;
1605  pLmFree(p);
1606  v->rtyp = NUMBER_CMD;
1607  v->name = id;
1608  return;
1609  }
1610  }
1611  }
1612  /* 5. existing identifier, global */
1613  if (h!=NULL)
1614  {
1615  if (id!=IDID(h)) omFreeBinAddr((ADDRESS)id); /*assume strlen(id) <1000 */
1616  goto id_found;
1617  }
1618  /* 6. local ring: number/poly */
1619  if ((currRingHdl!=NULL) && (IDLEV(currRingHdl)==myynest))
1620  {
1621  BOOLEAN ok=FALSE;
1622  /*poly p = (!yyInRingConstruction) ? pmInit(id,ok) : (poly)NULL;*/
1623  poly p = pmInit(id,ok);
1624  if (ok)
1625  {
1626  if (p==NULL)
1627  {
1628  v->data = (void *)nInit(0);
1629  v->rtyp = NUMBER_CMD;
1630  #ifdef HAVE_PLURAL
1631  // in this case we may have monomials equal to 0 in p_Read
1632  v->name = id;
1633  #else
1634  omFreeBinAddr((ADDRESS)id);
1635  #endif
1636  }
1637  else if (pIsConstant(p))
1638  {
1639  v->data = pGetCoeff(p);
1640  pGetCoeff(p)=NULL;
1641  pLmFree(p);
1642  v->rtyp = NUMBER_CMD;
1643  v->name = id;
1644  }
1645  else
1646  {
1647  v->data = p;
1648  v->rtyp = POLY_CMD;
1649  v->name = id;
1650  }
1651  return;
1652  }
1653  }
1654  /* 7. non-local ring: number/poly */
1655  {
1656  BOOLEAN ok=FALSE;
1657  poly p = ((currRing!=NULL) /* ring required */
1658  && (currRingHdl!=NULL)
1659  /*&& (!yyInRingConstruction) - not in decl */
1660  && (IDLEV(currRingHdl)!=myynest)) /* already in case 4/6 */
1661  ? pmInit(id,ok) : (poly)NULL;
1662  if (ok)
1663  {
1664  if (p==NULL)
1665  {
1666  v->data = (void *)nInit(0);
1667  v->rtyp = NUMBER_CMD;
1668  omFreeBinAddr((ADDRESS)id);
1669  }
1670  else
1671  if (pIsConstant(p))
1672  {
1673  v->data = pGetCoeff(p);
1674  pGetCoeff(p)=NULL;
1675  pLmFree(p);
1676  v->rtyp = NUMBER_CMD;
1677  v->name = id;
1678  }
1679  else
1680  {
1681  v->data = p;
1682  v->rtyp = POLY_CMD;
1683  v->name = id;
1684  }
1685  //if (TEST_V_ALLWARN /*&& (myynest>0)*/
1686  //&& ((r_IsRingVar(id, currRing->names,currRing->N)>=0)
1687  // || ((n_NumberOfParameters(currRing->cf)>0)
1688  // &&(r_IsRingVar(id, (char**)n_ParameterNames(currRing->cf),
1689  // n_NumberOfParameters(currRing->cf))>=0))))
1690  //{
1691  //// WARNING: do not use ring variable names in procedures
1692  // Warn("use of variable >>%s<< in a procedure in line %s",id,my_yylinebuf);
1693  //}
1694  return;
1695  }
1696  }
1697  /* 8. basering ? */
1698  if ((myynest>1)&&(currRingHdl!=NULL))
1699  {
1700  if (strcmp(id,IDID(currRingHdl))==0)
1701  {
1702  if (IDID(currRingHdl)!=id) omFreeBinAddr((ADDRESS)id); /*assume strlen (id) <1000 */
1703  h=currRingHdl;
1704  goto id_found;
1705  }
1706  }
1707  if((v->req_packhdl!=basePack) && (v->req_packhdl==currPack))
1708  {
1709  h=basePack->idroot->get(id,myynest);
1710  if (h!=NULL)
1711  {
1712  if (id!=IDID(h)) omFreeBinAddr((ADDRESS)id); /*assume strlen(id) <1000 */
1713  v->req_packhdl=basePack;
1714  goto id_found;
1715  }
1716  }
1717  }
1718 #ifdef SIQ
1719  else
1720  v->rtyp=DEF_CMD;
1721 #endif
1722  /* 9: _ */
1723  if (strcmp(id,"_")==0)
1724  {
1725  omFreeBinAddr((ADDRESS)id);
1726  v->Copy(&sLastPrinted);
1727  }
1728  else
1729  {
1730  /* 10: everything else */
1731  /* v->rtyp = UNKNOWN;*/
1732  v->name = id;
1733  }
1734  currRingHdl=save_ring;
1735  return;
1736 id_found: // we have an id (in h) found, to set the data in from h
1737  if (IDTYP(h)!=ALIAS_CMD)
1738  {
1739  v->rtyp = IDHDL;
1740  v->flag = IDFLAG(h);
1741  v->attribute=IDATTR(h);
1742  }
1743  else
1744  {
1745  v->rtyp = ALIAS_CMD;
1746  }
1747  v->name = IDID(h);
1748  v->data = (char *)h;
1749  currRingHdl=save_ring;
1750 }

Variable Documentation

◆ libstack_bin

omBin libstack_bin

Definition at line 48 of file subexpr.cc.

◆ procinfo_bin

omBin procinfo_bin

Definition at line 47 of file subexpr.cc.

◆ siq

BOOLEAN siq

Definition at line 53 of file subexpr.cc.

◆ sLastPrinted

sleftv sLastPrinted

Definition at line 51 of file subexpr.cc.

◆ sSubexpr_bin

omBin sSubexpr_bin

Definition at line 45 of file subexpr.cc.

VNOETHER
@ VNOETHER
Definition: grammar.cc:306
FALSE
#define FALSE
Definition: auxiliary.h:94
pIsConstant
#define pIsConstant(p)
like above, except that Comp might be != 0
Definition: polys.h:225
TRACE
@ TRACE
Definition: tok.h:209
omFree
#define omFree(addr)
Definition: omAllocDecl.h:261
pLmFree
static void pLmFree(poly p)
frees the space of the monomial m, assumes m != NULL coef is not freed, m is not advanced
Definition: polys.h:70
CRING_CMD
@ CRING_CMD
Definition: tok.h:56
NUMBER_CMD
@ NUMBER_CMD
Definition: grammar.cc:287
bigintmat
Definition: bigintmat.h:52
LANG_TOP
@ LANG_TOP
Definition: subexpr.h:24
LANG_SINGULAR
@ LANG_SINGULAR
Definition: subexpr.h:24
BIGINT_CMD
@ BIGINT_CMD
Definition: tok.h:38
n_long_C
@ n_long_C
complex floating point (GMP) numbers
Definition: coeffs.h:42
LIST_CMD
@ LIST_CMD
Definition: tok.h:118
syStrategy
ssyStrategy * syStrategy
Definition: syz.h:35
ADDRESS
void * ADDRESS
Definition: auxiliary.h:133
MODUL_CMD
@ MODUL_CMD
Definition: grammar.cc:286
n_ParameterNames
static FORCE_INLINE char const ** n_ParameterNames(const coeffs r)
Returns a (const!) pointer to (const char*) names of parameters.
Definition: coeffs.h:809
STRING_CMD
@ STRING_CMD
Definition: tok.h:183
CNUMBER_CMD
@ CNUMBER_CMD
Definition: tok.h:47
LANG_MAX
@ LANG_MAX
Definition: subexpr.h:24
map
CanonicalForm map(const CanonicalForm &primElem, const Variable &alpha, const CanonicalForm &F, const Variable &beta)
map from to such that is mapped onto
Definition: cf_map_ext.cc:400
yyInRingConstruction
BOOLEAN yyInRingConstruction
Definition: grammar.cc:172
NONE
#define NONE
Definition: tok.h:218
cf
CanonicalForm cf
Definition: cfModGcd.cc:4024
MAX_TOK
@ MAX_TOK
Definition: tok.h:215
rKill
void rKill(ring r)
Definition: ipshell.cc:6076
procinfo
Definition: subexpr.h:54
omStrDup
#define omStrDup(s)
Definition: omAllocDecl.h:263
n_Delete
static FORCE_INLINE void n_Delete(number *p, const coeffs r)
delete 'p'
Definition: coeffs.h:456
VMAXMULT
@ VMAXMULT
Definition: grammar.cc:305
DEF_CMD
@ DEF_CMD
Definition: tok.h:58
n_GF
@ n_GF
\GF{p^n < 2^16}
Definition: coeffs.h:33
BIGINTMAT_CMD
@ BIGINTMAT_CMD
Definition: grammar.cc:278
currPack
package currPack
Definition: ipid.cc:59
n_NumberOfParameters
static FORCE_INLINE int n_NumberOfParameters(const coeffs r)
Returns the number of parameters.
Definition: coeffs.h:805
sleftv
Class used for (list of) interpreter objects.
Definition: subexpr.h:83
sip_command_bin
omBin sip_command_bin
Definition: ipid.cc:47
RING_CMD
@ RING_CMD
Definition: grammar.cc:281
b
CanonicalForm b
Definition: cfModGcd.cc:4044
currRingHdl
idhdl currRingHdl
Definition: ipid.cc:61
VTIMER
@ VTIMER
Definition: tok.h:207
MATRIX_CMD
@ MATRIX_CMD
Definition: grammar.cc:285
ANY_TYPE
#define ANY_TYPE
Definition: tok.h:30
VOICE
@ VOICE
Definition: tok.h:210
IDLEV
#define IDLEV(a)
Definition: ipid.h:116
r_IsRingVar
int r_IsRingVar(const char *n, char **names, int N)
Definition: ring.cc:213
pi
#define pi
Definition: libparse.cc:1143
VMINPOLY
@ VMINPOLY
Definition: grammar.cc:307
VRTIMER
@ VRTIMER
Definition: tok.h:208
currRing
ring currRing
Widely used global variable which specifies the current polynomial ring for Singular interpreter and ...
Definition: polys.cc:13
BEGIN_RING
@ BEGIN_RING
Definition: grammar.cc:282
TRUE
#define TRUE
Definition: auxiliary.h:98
i
int i
Definition: cfEzgcd.cc:125
hasFlag
#define hasFlag(A, F)
Definition: ipid.h:107
id_Delete
void id_Delete(ideal *h, ring r)
deletes an ideal/module/matrix
Definition: simpleideals.cc:114
INT_CMD
@ INT_CMD
Definition: tok.h:96
COMMAND
#define COMMAND
Definition: tok.h:29
n_CF
@ n_CF
?
Definition: coeffs.h:48
IDFLAG
#define IDFLAG(a)
Definition: ipid.h:115
CPOLY_CMD
@ CPOLY_CMD
Definition: tok.h:48
BOOLEAN
int BOOLEAN
Definition: auxiliary.h:85
VPRINTLEVEL
@ VPRINTLEVEL
Definition: tok.h:212
PROC_CMD
@ PROC_CMD
Definition: grammar.cc:280
procinfo_bin
omBin procinfo_bin
Definition: subexpr.cc:47
omFreeBinAddr
#define omFreeBinAddr(addr)
Definition: omAllocDecl.h:258
currentVoice
Voice * currentVoice
Definition: fevoices.cc:48
IDEAL_CMD
@ IDEAL_CMD
Definition: grammar.cc:283
h
static Poly * h
Definition: janet.cc:972
coeffs
pOne
#define pOne()
Definition: polys.h:301
piKill
BOOLEAN piKill(procinfov pi)
Definition: ipid.cc:656
IDATTR
#define IDATTR(a)
Definition: ipid.h:118
intvec
Definition: intvec.h:21
LANG_C
@ LANG_C
Definition: subexpr.h:24
END_RING
@ END_RING
Definition: grammar.cc:308
VECTOR_CMD
@ VECTOR_CMD
Definition: grammar.cc:290
myynest
int myynest
Definition: febase.cc:41
IDTYP
#define IDTYP(a)
Definition: ipid.h:114
my_yylinebuf
char my_yylinebuf[80]
Definition: febase.cc:43
LANG_NONE
@ LANG_NONE
Definition: subexpr.h:24
siq
BOOLEAN siq
Definition: subexpr.cc:53
slists
Definition: lists.h:23
INTVEC_CMD
@ INTVEC_CMD
Definition: tok.h:101
INTMAT_CMD
@ INTMAT_CMD
Definition: grammar.cc:279
coeffs_BIGINT
coeffs coeffs_BIGINT
Definition: ipid.cc:52
idrec
Definition: idrec.h:35
p_Delete
static void p_Delete(poly *p, const ring r)
Definition: p_polys.h:857
ALIAS_CMD
@ ALIAS_CMD
Definition: tok.h:34
VMAXDEG
@ VMAXDEG
Definition: grammar.cc:304
VECHO
@ VECHO
Definition: tok.h:205
pmInit
#define pmInit(a, b)
Definition: polys.h:275
LANG_MIX
@ LANG_MIX
Definition: subexpr.h:24
Print
#define Print
Definition: emacs.cc:80
language_defs
language_defs
Definition: subexpr.h:22
PACKAGE_CMD
@ PACKAGE_CMD
Definition: tok.h:149
assumeStdFlag
BOOLEAN assumeStdFlag(leftv h)
Definition: subexpr.cc:1471
command
ip_command * command
Definition: ipid.h:22
IDHDL
#define IDHDL
Definition: tok.h:31
Voice
Definition: fevoices.h:59
m
int m
Definition: cfEzgcd.cc:121
Variable::name
char name() const
Definition: variable.cc:122
basePack
package basePack
Definition: ipid.cc:60
assume
#define assume(x)
Definition: mod2.h:390
sLastPrinted
sleftv sLastPrinted
Definition: subexpr.cc:51
NULL
#define NULL
Definition: omList.c:10
MAP_CMD
@ MAP_CMD
Definition: grammar.cc:284
VCOLMAX
@ VCOLMAX
Definition: tok.h:206
nCoeffName
static FORCE_INLINE char * nCoeffName(const coeffs cf)
Definition: coeffs.h:977
lists
slists * lists
Definition: mpr_numeric.h:146
pSetm
#define pSetm(p)
Definition: polys.h:257
currPackHdl
idhdl currPackHdl
Definition: ipid.cc:57
l
int l
Definition: cfEzgcd.cc:93
R
#define R
Definition: sirandom.c:26
Warn
#define Warn
Definition: emacs.cc:77
pSetExp
#define pSetExp(p, i, v)
Definition: polys.h:42
v
const Variable & v
< [in] a sqrfree bivariate poly
Definition: facBivar.h:37
p
int p
Definition: cfModGcd.cc:4019
ggetid
idhdl ggetid(const char *n)
Definition: ipid.cc:513
s
const CanonicalForm int s
Definition: facAbsFact.cc:55
RESOLUTION_CMD
@ RESOLUTION_CMD
Definition: grammar.cc:289
nInit
#define nInit(i)
Definition: numbers.h:25
POLY_CMD
@ POLY_CMD
Definition: grammar.cc:288
Tok2Cmdname
const char * Tok2Cmdname(int tok)
Definition: gentable.cc:138
IDID
#define IDID(a)
Definition: ipid.h:117
FLAG_STD
#define FLAG_STD
Definition: ipid.h:104
pGetCoeff
static number & pGetCoeff(poly p)
return an alias to the leading coefficient of p assumes that p != NULL NOTE: not copy
Definition: monomials.h:51
omFreeBin
#define omFreeBin(addr, bin)
Definition: omAllocDecl.h:259
TEST_V_ALLWARN
#define TEST_V_ALLWARN
Definition: options.h:140
getBlackboxStuff
blackbox * getBlackboxStuff(const int t)
return the structure to the type given by t
Definition: blackbox.cc:16
LINK_CMD
@ LINK_CMD
Definition: tok.h:117
CMATRIX_CMD
@ CMATRIX_CMD
Definition: tok.h:46
syKillComputation
void syKillComputation(syStrategy syzstr, ring r=currRing)
Definition: syz1.cc:1496
nKillChar
void nKillChar(coeffs r)
undo all initialisations
Definition: numbers.cc:510
ssyStrategy
Definition: syz.h:37
VSHORTOUT
@ VSHORTOUT
Definition: tok.h:211
TEST_VERB_NSB
#define TEST_VERB_NSB
Definition: options.h:134