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 procinfo *	procinfov
typedef sleftv *	leftv
typedef libstack *	libstackv

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)
void	syMakeMonom (leftv v, const char *name)
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
EXTERN_VAR BOOLEAN	siq
EXTERN_INST_VAR sleftv	sLastPrinted
EXTERN_VAR omBin	sSubexpr_bin
EXTERN_VAR omBin	procinfo_bin
EXTERN_VAR 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 159 of file subexpr.h.

procinfov

typedef procinfo* procinfov

Definition at line 66 of file subexpr.h.

Enumeration Type Documentation

language_defs

enum language_defs

Enumerator
LANG_NONE
LANG_TOP
LANG_SINGULAR
LANG_C
LANG_MIX
LANG_MAX

Definition at line 22 of file subexpr.h.

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

Function Documentation

assumeStdFlag()

BOOLEAN assumeStdFlag

(

leftv

h

)

Definition at line 1544 of file subexpr.cc.

{
  if (h->e!=NULL)
  {
    leftv hh=h->LData();
    if (h!=hh) return assumeStdFlag(h->LData());
  }
  if (!hasFlag(h,FLAG_STD))
  {
    if (!TEST_VERB_NSB)
    {
      if (TEST_V_ALLWARN)
        Warn("%s is no standard basis in >>%s<<",h->Name(),my_yylinebuf);
      else
        Warn("%s is no standard basis",h->Name());
    }
    return FALSE;
  }
  return TRUE;
}

piCopy()

procinfov piCopy ( procinfov  pi )

inline

Definition at line 149 of file subexpr.h.

{
  pi->ref++;
  return pi;
}

piKill()

BOOLEAN piKill

(

procinfov

l

)

Definition at line 747 of file ipid.cc.

{
  (pi->ref)--;
  if (pi->ref == 0)
  {
    if (pi->language==LANG_SINGULAR)
    {
      Voice *p=currentVoice;
      while (p!=NULL)
      {
        if (p->pi==pi && pi->ref <= 1)
        {
          Warn("`%s` in use, can not be killed",pi->procname);
          return TRUE;
        }
        p=p->next;
      }
    }
    if (pi->libname != NULL) // OB: ????
      omFreeBinAddr((ADDRESS)pi->libname);
    if (pi->procname != NULL) // OB: ????
      omFreeBinAddr((ADDRESS)pi->procname);
 
    if( pi->language == LANG_SINGULAR)
    {
      if (pi->data.s.body != NULL) // OB: ????
        omFree((ADDRESS)pi->data.s.body);
    }
    if( pi->language == LANG_C)
    {
    }
    memset((void *) pi, 0, sizeof(procinfo));
    //pi->language=LANG_NONE;
    omFreeBin((ADDRESS)pi,  procinfo_bin);
  }
  return FALSE;
}

piProcinfo()

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

Definition at line 723 of file ipid.cc.

{
  if((pi == NULL)||(pi->language==LANG_NONE)) return "empty proc";
  else if (strcmp(request, "libname")  == 0) return pi->libname;
  else if (strcmp(request, "procname") == 0) return pi->procname;
  else if (strcmp(request, "type")     == 0)
  {
    switch (pi->language)
    {
      case LANG_SINGULAR: return "singular"; break;
      case LANG_C:        return "object";   break;
      case LANG_NONE:     return "none";     break;
      default:            return "unknown language";
    }
  }
  else if (strcmp(request, "ref")      == 0)
  {
    char p[8];
    sprintf(p, "%d", pi->ref);
    return omStrDup(p);  // MEMORY-LEAK
  }
  return "??";
}

piShowProcinfo()

void piShowProcinfo	(	procinfov	pi,
		char *	txt
	)

RingDependend()

BOOLEAN RingDependend ( int  t )

inline

Definition at line 142 of file subexpr.h.

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

s_internalDelete()

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

Definition at line 514 of file subexpr.cc.

{
  assume(d!=NULL);
  switch (t)
  {
    case CRING_CMD:
      {
        coeffs cf=(coeffs)d;
        if ((cf->ref<1)&&
        ((cf->type <=n_GF)
          ||((cf->type >=n_long_C)&&(cf->type <=n_CF))))
        {
          Warn("cannot kill `%s`",nCoeffName(cf));
        }
        else // allow nKillChar for n_long_R, extensions, and user defined:
          nKillChar((coeffs)d);
        break;
      }
#ifdef SINGULAR_4_2
    case CNUMBER_CMD:
      {
        number2 n=(number2)d;
        n2Delete(n);
        break;
      }
    case CPOLY_CMD:
      {
        poly2 n=(poly2)d;
        p2Delete(n);
        break;
      }
    case CMATRIX_CMD: //like BIGINTMAT
#endif
    case BIGINTMAT_CMD:
    {
      bigintmat *v=(bigintmat*)d;
      delete v;
      break;
    }
    case BUCKET_CMD:
    {
      sBucket_pt b=(sBucket_pt)d;
      sBucketDeleteAndDestroy(&b);
      break;
    }
    case INTVEC_CMD:
    case INTMAT_CMD:
    {
      intvec *v=(intvec*)d;
      delete v;
      break;
    }
    case MAP_CMD:
    {
      map m=(map)d;
      omFreeBinAddr((ADDRESS)m->preimage);
      m->preimage=NULL;
      /* no break: continue as IDEAL*/
    }
    case SMATRIX_CMD:
    case MATRIX_CMD:
    case IDEAL_CMD:
    case MODUL_CMD:
    {
      ideal i=(ideal)d;
      id_Delete(&i,r);
      break;
    }
    case STRING_CMD:
      omFree(d);
      break;
    //case PACKAGE_CMD:
    //  return  (void *)paCopy((package) d);
    case PROC_CMD:
      piKill((procinfo*)d);
      break;
    case POLY_CMD:
    case VECTOR_CMD:
    {
      poly p=(poly)d;
      p_Delete(&p,r);
      break;
    }
    case NUMBER_CMD:
    {
      number n=(number)d;
      n_Delete(&n,r->cf);
      break;
    }
    case BIGINT_CMD:
    {
      number n=(number)d;
      n_Delete(&n,coeffs_BIGINT);
      break;
    }
    case LIST_CMD:
    {
      lists l=(lists)d;
      l->Clean(r);
      break;
    }
    case LINK_CMD:
    {
      si_link l=(si_link)d;
      slKill(l);
      break;
    }
    case RING_CMD:
    {
      ring R=(ring)d;
      if ((R!=currRing)||(R->ref>=0))
        rKill(R);
      #ifdef TEST
      else
        Print("currRing? ref=%d\n",R->ref);
      #endif
      break;
    }
    case RESOLUTION_CMD:
    {
      syStrategy s=(syStrategy)d;
      if (s!=NULL) syKillComputation(s,r);
      break;
    }
    case COMMAND:
    {
     command cmd=(command)d;
     if (cmd->arg1.rtyp!=0) cmd->arg1.CleanUp(r);
     if (cmd->arg2.rtyp!=0) cmd->arg2.CleanUp(r);
     if (cmd->arg3.rtyp!=0) cmd->arg3.CleanUp(r);
     omFreeBin((ADDRESS)d, sip_command_bin);
     break;
    }
    case INT_CMD:
    case DEF_CMD:
    case ALIAS_CMD:
    case PACKAGE_CMD:
    case IDHDL:
    case NONE:
    case ANY_TYPE:
    case VECHO:
    case VPRINTLEVEL:
    case VCOLMAX:
    case VTIMER:
    case VRTIMER:
    case VOICE:
    case VMAXDEG:
    case VMAXMULT:
    case TRACE:
    case VSHORTOUT:
    case VNOETHER:
    case VMINPOLY:
    case 0: /* type in error case */
      break; /* error recovery: do nothing */
    //case COMMAND:
    //case COMMAND:
    default:
    {
      if (t>MAX_TOK)
      {
        blackbox *b=getBlackboxStuff(t);
        if (b!=NULL) b->blackbox_destroy(b,d);
        break;
      }
      else
      Warn("s_internalDelete: cannot delete type %s(%d)",
            Tok2Cmdname(t),t);
    }
  }
}

syMake()

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

Definition at line 1570 of file subexpr.cc.

{
  /* resolv an identifier: (to DEF_CMD, if siq>0)
  * 1) reserved id: done by scanner
  * 2) `basering` / 'Current`
  * 3) existing identifier, local
  * 4) ringvar, ringpar, local ring
  * 5) existing identifier, global
  * 6a) int/bigint
  * 6b) monom (resp. number), local ring: consisting of:
  * 6') ringvar,  ringpar,global ring
  * 6'') monom (resp. number), local ring
  * 7) monom (resp. number), non-local ring
  * 8) basering
  * 9) `_`
  * 10) everything else is of type 0
  */
#ifdef TEST
  if ((*id<' ')||(*id>(char)126))
  {
    Print("wrong id :%s:\n",id);
  }
#endif
  idhdl save_ring=currRingHdl;
  v->Init();
  if(pa != NULL)
  {
    v->req_packhdl = pa;
  }
  else v->req_packhdl = currPack;
//  if (v->req_packhdl!=basePack)
//    Print("search %s in %s\n",id,v->req_packhdl->libname);
  idhdl h=NULL;
#ifdef SIQ
  if (siq<=0)
#endif
  {
    if (strcmp(id,"basering")==0)
    {
      if (currRingHdl!=NULL)
      {
        if (id!=IDID(currRingHdl)) omFreeBinAddr((ADDRESS)id);
        h=currRingHdl;
        goto id_found;
      }
      else
      {
        v->name = id;
        return; /* undefined */
      }
    }
    else if (strcmp(id,"Current")==0)
    {
      if (currPackHdl!=NULL)
      {
        omFreeBinAddr((ADDRESS)id);
        h=currPackHdl;
        goto id_found;
      }
      else
      {
        v->name = id;
        return; /* undefined */
      }
    }
    if(v->req_packhdl!=currPack)
    {
      h=v->req_packhdl->idroot->get(id,myynest);
    }
    else
    {
      h=ggetid(id);
    }
    /* 3) existing identifier, local */
    if ((h!=NULL) && (IDLEV(h)==myynest))
    {
      if (id!=IDID(h)) omFreeBinAddr((ADDRESS)id); /*assume strlen(id) <1000 */
      goto id_found;
    }
    if (yyInRingConstruction)
    {
      currRingHdl=NULL;
    }
    /* 4. local ring: ringvar */
    if ((currRingHdl!=NULL) && (IDLEV(currRingHdl)==myynest)
    /*&& (!yyInRingConstruction)*/)
    {
      int vnr;
      if ((vnr=r_IsRingVar(id, currRing->names,currRing->N))>=0)
      {
        poly p=pOne();
        pSetExp(p,vnr+1,1);
        pSetm(p);
        v->data = (void *)p;
        v->name = id;
        v->rtyp = POLY_CMD;
        return;
      }
      if((n_NumberOfParameters(currRing->cf)>0)
      &&((vnr=r_IsRingVar(id, (char**)n_ParameterNames(currRing->cf),
                              n_NumberOfParameters(currRing->cf))>=0)))
      {
        BOOLEAN ok=FALSE;
        poly p = pmInit(id,ok);
        if (ok && (p!=NULL))
        {
          v->data = pGetCoeff(p);
          pGetCoeff(p)=NULL;
          pLmFree(p);
          v->rtyp = NUMBER_CMD;
          v->name = id;
          return;
        }
      }
    }
    /* 5. existing identifier, global */
    if (h!=NULL)
    {
      if (id!=IDID(h)) omFreeBinAddr((ADDRESS)id);  /*assume strlen(id) <1000 */
      goto id_found;
    }
    /* 6a: int/bigint */
    if (strlen(id)<=MAX_INT_LEN)
    {
      int i;
      i=0;
      if (id[0]=='-') { i=1; }
      while(isdigit(id[i])) i++;
      if (id[i]=='\0')
      {
        int j=atoi(id);
        char tmp[MAX_INT_LEN+5];
        sprintf(tmp,"%d",j);
        if ((j>MAX_INT_LEN) || (strcmp(tmp,id)!=0))
        {
          number n;
          n_Read(id,&n,coeffs_BIGINT);
          v->rtyp=BIGINT_CMD;
          v->data = n;
        }
        else
        {
          v->data=(void*)(long)j;
          v->rtyp=INT_CMD;
        }
        omFreeBinAddr((ADDRESS)id);
        return;
      }
    }
    /* 6b local ring: number/poly */
    if ((currRingHdl!=NULL) && (IDLEV(currRingHdl)==myynest))
    {
      BOOLEAN ok=FALSE;
      /*poly p = (!yyInRingConstruction) ? pmInit(id,ok) : (poly)NULL;*/
      poly p = pmInit(id,ok);
      if (ok)
      {
        if (p==NULL)
        {
          v->data = (void *)nInit(0);
          v->rtyp = NUMBER_CMD;
          #ifdef HAVE_PLURAL
          // in this case we may have monomials equal to 0 in p_Read
          v->name = id;
          #else
          omFreeBinAddr((ADDRESS)id);
          #endif
        }
        else if (pIsConstant(p))
        {
          v->data = pGetCoeff(p);
          pGetCoeff(p)=NULL;
          pLmFree(p);
          v->rtyp = NUMBER_CMD;
          v->name = id;
        }
        else
        {
          v->name = id;
        #ifdef HAVE_SHIFTBBA
          if ((currRing->isLPring!=0)
          && (p_Totaldegree(p,currRing)>1))
          {
            p_LmDelete(&p,currRing);
            /* v->rtyp = UNKNOWN; - already set */
            return; /* error, report "unknown id" */
          }
        #endif
          v->data = p;
          v->rtyp = POLY_CMD;
        }
        return;
      }
    }
    /* 7. non-local ring: number/poly */
    {
      BOOLEAN ok=FALSE;
      poly p = ((currRing!=NULL)     /* ring required */
               && (currRingHdl!=NULL)
               /*&& (!yyInRingConstruction) - not in decl */
               && (IDLEV(currRingHdl)!=myynest)) /* already in case 4/6 */
                     ? pmInit(id,ok) : (poly)NULL;
      if (ok)
      {
        if (p==NULL)
        {
          v->data = (void *)nInit(0);
          v->rtyp = NUMBER_CMD;
          omFreeBinAddr((ADDRESS)id);
        }
        else
        if (pIsConstant(p))
        {
          v->data = pGetCoeff(p);
          pGetCoeff(p)=NULL;
          pLmFree(p);
          v->rtyp = NUMBER_CMD;
          v->name = id;
        }
        else
        {
          v->data = p;
          v->rtyp = POLY_CMD;
          v->name = id;
        }
        //if (TEST_V_ALLWARN /*&& (myynest>0)*/
        //&& ((r_IsRingVar(id, currRing->names,currRing->N)>=0)
        //  || ((n_NumberOfParameters(currRing->cf)>0)
        //     &&(r_IsRingVar(id, (char**)n_ParameterNames(currRing->cf),
        //                        n_NumberOfParameters(currRing->cf))>=0))))
        //{
        //// WARNING: do not use ring variable names in procedures
        //  Warn("use of variable >>%s<< in a procedure in line %s",id,my_yylinebuf);
        //}
        return;
      }
    }
    /* 8. basering ? */
    if ((myynest>1)&&(currRingHdl!=NULL))
    {
      if (strcmp(id,IDID(currRingHdl))==0)
      {
        if (IDID(currRingHdl)!=id) omFreeBinAddr((ADDRESS)id); /*assume strlen (id) <1000 */
        h=currRingHdl;
        goto id_found;
      }
    }
    if((v->req_packhdl!=basePack) && (v->req_packhdl==currPack))
    {
      h=basePack->idroot->get(id,myynest);
      if (h!=NULL)
      {
        if (id!=IDID(h)) omFreeBinAddr((ADDRESS)id); /*assume strlen(id) <1000 */
        v->req_packhdl=basePack;
        goto id_found;
      }
    }
  }
#ifdef SIQ
  else
    v->rtyp=DEF_CMD;
#endif
  /* 9: _ */
  if (strcmp(id,"_")==0)
  {
    omFreeBinAddr((ADDRESS)id);
    v->Copy(&sLastPrinted);
  }
  else
  {
    /* 10: everything else */
    /* v->rtyp = UNKNOWN;*/
    v->name = id;
  }
  currRingHdl=save_ring;
  return;
id_found: // we have an id (in h) found, to set the data in from h
  if (IDTYP(h)!=ALIAS_CMD)
  {
    v->rtyp = IDHDL;
    v->flag = IDFLAG(h);
    v->attribute=IDATTR(h);
  }
  else
  {
    v->rtyp = ALIAS_CMD;
  }
  v->name = IDID(h);
  v->data = (char *)h;
  currRingHdl=save_ring;
}

syMakeMonom()

void syMakeMonom	(	leftv	v,
		const char *	name
	)

Definition at line 1862 of file subexpr.cc.

{
  if (!isdigit(id[0]))
  {
    Print("non-digit:%s\n",id);
  }
  /* resolv an identifier: (to DEF_CMD, if siq>0)
  * 6) monom (resp. number), local ring
  * 7) monom (resp. number), non-local ring
  * 10) everything else is of type 0
  */
#ifdef TEST
  if ((*id<' ')||(*id>(char)126))
  {
    Print("wrong id :%s:\n",id);
  }
#endif
  idhdl save_ring=currRingHdl;
  v->Init();
  v->req_packhdl = currPack;
#ifdef SIQ
  if (siq<=0)
#endif
  {
    /* 6. local ring: number/poly */
    BOOLEAN ok=FALSE;
    poly p = pmInit(id,ok);
    if (ok)
    {
      if (p==NULL)
      {
        v->data = (void *)nInit(0);
        v->rtyp = NUMBER_CMD;
        #ifdef HAVE_PLURAL
        // in this case we may have monomials equal to 0 in p_Read
        if (rIsPluralRing(currRing)) v->name = omStrDup(id);
        #endif
      }
      else if (pIsConstant(p))
      {
        v->data = pGetCoeff(p);
        pGetCoeff(p)=NULL;
        pLmFree(p);
        v->rtyp = NUMBER_CMD;
      }
      else
      {
        v->name = omStrDup(id);
        #ifdef HAVE_SHIFTBBA
        if ((currRing->isLPring!=0)
        && (p_Totaldegree(p,currRing)>1))
        {
          p_LmDelete(&p,currRing);
          /* v->rtyp = UNKNOWN; - already set */
          return; /* error, report "unknown id" */
        }
        #endif
        v->data = p;
        v->rtyp = POLY_CMD;
      }
      return;
    }
  }
#ifdef SIQ
  else
  {
    v->rtyp=DEF_CMD;
  }
#endif
  /* 9: _ */
  if (strcmp(id,"_")==0)
  {
    v->Copy(&sLastPrinted);
  }
  else
  {
    /* 10: everything else */
    /* v->rtyp = UNKNOWN;*/
    v->name = omStrDup(id);
  }
  currRingHdl=save_ring;
}

Variable Documentation

libstack_bin

EXTERN_VAR omBin libstack_bin

Definition at line 176 of file subexpr.h.

procinfo_bin

EXTERN_VAR omBin procinfo_bin

Definition at line 175 of file subexpr.h.

siq

EXTERN_VAR BOOLEAN siq

Definition at line 76 of file subexpr.h.

sLastPrinted

EXTERN_INST_VAR sleftv sLastPrinted

Definition at line 143 of file subexpr.h.

sSubexpr_bin

EXTERN_VAR omBin sSubexpr_bin

Definition at line 174 of file subexpr.h.