[BACK]Return to pexpr.c CVS log [TXT][DIR] Up to [local] / OpenXM_contrib2 / asir2000 / io

Diff for /OpenXM_contrib2/asir2000/io/pexpr.c between version 1.16 and 1.42

version 1.16, 2001/09/03 07:01:08 version 1.42, 2017/08/31 02:36:21
Line 44 
Line 44 
  * OF THE SOFTWARE HAS BEEN DEVELOPED BY A THIRD PARTY, THE THIRD PARTY   * OF THE SOFTWARE HAS BEEN DEVELOPED BY A THIRD PARTY, THE THIRD PARTY
  * DEVELOPER SHALL HAVE NO LIABILITY IN CONNECTION WITH THE USE,   * DEVELOPER SHALL HAVE NO LIABILITY IN CONNECTION WITH THE USE,
  * PERFORMANCE OR NON-PERFORMANCE OF THE SOFTWARE.   * PERFORMANCE OR NON-PERFORMANCE OF THE SOFTWARE.
  * $OpenXM: OpenXM_contrib2/asir2000/io/pexpr.c,v 1.15 2001/08/28 05:46:26 noro Exp $   * $OpenXM: OpenXM_contrib2/asir2000/io/pexpr.c,v 1.41 2015/08/20 08:53:05 ohara Exp $
 */  */
 #include "ca.h"  #include "ca.h"
 #include "al.h"  #include "al.h"
Line 56 
Line 56 
 #define FPRINT  #define FPRINT
 #endif  #endif
   
 #define PRINTHAT (fortran_output?PUTS("**"):PUTS("^"))  extern int outputstyle;
   
 #ifdef FPRINT  
 FILE *asir_out;  FILE *asir_out;
 #define OUT asir_out  #define OUT asir_out
 char DFORMAT[BUFSIZ];  char DFORMAT[BUFSIZ];
Line 66  int hex_output;
Line 65  int hex_output;
 int fortran_output;  int fortran_output;
 int double_output;  int double_output;
 int real_digit;  int real_digit;
   int real_binary;
 int print_quote;  int print_quote;
   int hideargs;
   extern FUNC user_print_function;
   #if 0
   int printmode = PRINTF_E;
   #else
   int printmode = PRINTF_G;
   #endif
   
   #define DATA_BEGIN 2
   #define DATA_END 5
   
 #define TAIL  #define TAIL
 #define PUTS(s) fputs(s,OUT)  #define PUTS(s) fputs(s,OUT)
 #define PRINTF fprintf  #define PRINTF fprintf
Line 79  int print_quote;
Line 89  int print_quote;
 #define PRINTV printv  #define PRINTV printv
 #define PRINTEXPR printexpr  #define PRINTEXPR printexpr
 #define PRINTNUM printnum  #define PRINTNUM printnum
 #define PRINTP printp  #define PRINTP asir_printp
 #define PRINTR printr  #define PRINTR printr
 #define PRINTLIST printlist  #define PRINTLIST printlist
 #define PRINTVECT printvect  #define PRINTVECT printvect
Line 87  int print_quote;
Line 97  int print_quote;
 #define PRINTSTR printstr  #define PRINTSTR printstr
 #define PRINTCOMP printcomp  #define PRINTCOMP printcomp
 #define PRINTDP printdp  #define PRINTDP printdp
   #define PRINTDPM printdpm
 #define PRINTUI printui  #define PRINTUI printui
 #define PRINTGF2MAT printgf2mat  #define PRINTGF2MAT printgf2mat
 #define PRINTGFMMAT printgfmmat  #define PRINTGFMMAT printgfmmat
 #define PRINTBYTEARRAY printbytearray  #define PRINTBYTEARRAY printbytearray
 #define PRINTQUOTE printquote  #define PRINTQUOTE printquote
   #define PRINTQUOTEARG printquotearg
   #define PRINTNBP printnbp
 #define PRINTERR printerr  #define PRINTERR printerr
 #define PRINTLF printlf  #define PRINTLF printlf
 #define PRINTLOP printlop  #define PRINTLOP printlop
Line 101  int print_quote;
Line 114  int print_quote;
 #define PRINTUP printup  #define PRINTUP printup
 #define PRINTUM printum  #define PRINTUM printum
 #define PRINTSF printsf  #define PRINTSF printsf
 #endif  #define PRINTSYMBOL printsymbol
   #define PRINTRANGE printrange
   #define PRINTTB printtb
   #define PRINTDPV printdpv
   #define PRINTFNODE printfnode
   #define PRINTFNODENODE printfnodenode
   #define PRINTFARGS printfargs
   
 #ifdef SPRINT  #include "pexpr_body.c"
 static char *buf;  
 #define OUT buf  
 extern char DFORMAT[BUFSIZ];  
 extern int hex_output;  
 extern int fortran_output;  
 extern int double_output;  
 extern int real_digit;  
 extern int print_quote;  
   
 #define TAIL while ( *OUT ) OUT++;  /* spetial functions for file output */
 #define PUTS(s) strcat(OUT,s)  
 #define PRINTF sprintf  
 #define PRINTN sprintn  
 #define PRINTBF sprintbf  
 #define PRINTCPLX sprintcplx  
 #define PRINTLM sprintlm  
 #define PRINTUP2 sprintup2  
 #define PRINTV sprintv  
 #define PRINTEXPR sprintexpr  
 #define PRINTNUM sprintnum  
 #define PRINTP sprintp  
 #define PRINTR sprintr  
 #define PRINTLIST sprintlist  
 #define PRINTVECT sprintvect  
 #define PRINTMAT sprintmat  
 #define PRINTSTR sprintstr  
 #define PRINTCOMP sprintcomp  
 #define PRINTDP sprintdp  
 #define PRINTUI sprintui  
 #define PRINTGF2MAT sprintgf2mat  
 #define PRINTGFMMAT sprintgfmmat  
 #define PRINTBYTEARRAY sprintbytearray  
 #define PRINTQUOTE sprintquote  
 #define PRINTERR sprinterr  
 #define PRINTLF sprintlf  
 #define PRINTLOP sprintlop  
 #define PRINTFOP sprintfop  
 #define PRINTEOP sprinteop  
 #define PRINTQOP sprintqop  
 #define PRINTUP sprintup  
 #define PRINTUM sprintum  
 #define PRINTSF sprintsf  
 #endif  
   
 void PRINTEXPR();  
 void PRINTNUM();  
 void PRINTN();  
 void PRINTV();  
 void PRINTP();  
 void PRINTR();  
 void PRINTLIST();  
 void PRINTVECT();  
 void PRINTMAT();  
 void PRINTSTR();  
 void PRINTCOMP();  
 void PRINTDP();  
 void PRINTUI();  
 void PRINTGF2MAT();  
 void PRINTGFMMAT();  
 void PRINTBYTEARRAY();  
 void PRINTQUOTE();  
 void PRINTERR();  
 void PRINTCPLX();  
 void PRINTLM();  
 void PRINTLF();  
 void PRINTUP2();  
   
 #ifdef FPRINT  
 void output_init() {  void output_init() {
         OUT = stdout;          OUT = stdout;
         sprintf(DFORMAT,"%%0%dd",DLENGTH);          sprintf(DFORMAT,"%%0%dd",DLENGTH);
Line 182  P p;
Line 136  P p;
 {  {
         if ( NUM(p) )          if ( NUM(p) )
 #if defined(INTERVAL)  #if defined(INTERVAL)
                 if ( NID(p) != N_IP && NID(p) != N_ID && NID(p) != N_IT && NID(p) != N_IF                  if ( NID(p) != N_IP && NID(p) != N_IntervalDouble && NID(p) != N_IntervalQuad && NID(p) != N_IntervalBigFloat
                         && compnum(CO,(Num)p,0) < 0 )                          && compnum(CO,(Num)p,0) < 0 )
 #else  #else
                 if ( compnum(CO,(Num)p,0) < 0 )                  if ( compnum(CO,(Num)p,0) < 0 )
Line 196  P p;
Line 150  P p;
                 return (mmono(COEF(DC(p))));                  return (mmono(COEF(DC(p))));
 }  }
   
 #if PARI  void printbf(BF a)
 void printbf(a)  
 BF a;  
 {  {
         sor(a->body,double_output ? 'f' : 'g',-1,0);          int dprec;
           char fbuf[BUFSIZ];
           char *s;
           dprec = (a->body->_mpfr_prec)*0.30103;
     if ( !dprec ) dprec = 1;
           sprintf(fbuf,"%%.%dR%c",dprec,double_output?'f':'g');
           mpfr_asprintf(&s,fbuf,a->body);
           TAIL PUTS(s);
           mpfr_free_str(s);
 }  }
 #endif  
 #endif  
   
 #ifdef SPRINT  
 void soutput_init(s)  
 char *s;  
 {  
         s[0] = 0; buf = s;  
 }  
   
 #if PARI  
 #include "genpari.h"  
   
 void myoutbrute(g)  
 GEN g;  
 {  
         bruteall(g,'f',-1,1);  
 }  
   
 void sprintbf(a)  
 BF a;  
 {  
         char *str;  
         char *GENtostr();  
         char *GENtostr0();  
   
         if ( double_output ) {  
                 str = GENtostr0(a->body,myoutbrute);  
         } else {  
                 str = GENtostr(a->body);  
         }  
         TAIL PRINTF(OUT,"%s",str);  
         free(str);  
 }  
 #endif  
 #endif  
   
 void PRINTEXPR(vl,p)  
 VL vl;  
 Obj p;  
 {  
         if ( !p ) {  
                 PRINTR(vl,(R)p);  
                 return;  
         }  
   
         switch ( OID(p) ) {  
                 case O_N:  
                         PRINTNUM((Num)p); break;  
                 case O_P:  
                         PRINTP(vl,(P)p); break;  
                 case O_R:  
                         PRINTR(vl,(R)p); break;  
                 case O_LIST:  
                         PRINTLIST(vl,(LIST)p); break;  
                 case O_VECT:  
                         PRINTVECT(vl,(VECT)p); break;  
                 case O_MAT:  
                         PRINTMAT(vl,(MAT)p); break;  
                 case O_STR:  
                         PRINTSTR((STRING)p); break;  
                 case O_COMP:  
                         PRINTCOMP(vl,(COMP)p); break;  
                 case O_DP:  
                         PRINTDP(vl,(DP)p); break;  
                 case O_USINT:  
                         PRINTUI(vl,(USINT)p); break;  
                 case O_GF2MAT:  
                         PRINTGF2MAT(vl,(GF2MAT)p); break;  
                 case O_ERR:  
                         PRINTERR(vl,(ERR)p); break;  
                 case O_MATHCAP:  
                         PRINTLIST(vl,((MATHCAP)p)->body); break;  
                 case O_F:  
                         PRINTLF(vl,(F)p); break;  
                 case O_GFMMAT:  
                         PRINTGFMMAT(vl,(GFMMAT)p); break;  
                 case O_BYTEARRAY:  
                         PRINTBYTEARRAY(vl,(BYTEARRAY)p); break;  
                 case O_QUOTE:  
                         PRINTQUOTE(vl,(QUOTE)p); break;  
                 default:  
                         break;  
         }  
 }  
   
 void PRINTN(n)  
 N n;  
 {  
         register int i,*ptr;  
         N tn;  
   
         if ( !n ) {  
                 PUTS("0");  
                 return;  
         }  
         if ( hex_output ) {  
                 ptr = BD(n);  
                 TAIL PRINTF(OUT,"0x%x",ptr[PL(n)-1]);  
                 if ( hex_output < 0 )  
                         for ( i = PL(n) - 2; i >= 0; i-- ) {  
                                 TAIL PRINTF(OUT,"|%08x",ptr[i]);  
                         }  
                 else  
                         for ( i = PL(n) - 2; i >= 0; i-- ) {  
                                 TAIL PRINTF(OUT,"%08x",ptr[i]);  
                         }  
         } else {  
                 ntobn(DBASE,n,&tn);  
                 ptr = BD(tn);  
                 TAIL PRINTF(OUT,"%d",ptr[PL(tn) - 1]);  
                 for ( i = PL(tn) - 2; i >= 0; i-- ) {  
                         TAIL PRINTF(OUT,DFORMAT,ptr[i]);  
                 }  
         }  
 }  
   
 #if defined(FPRINT)  
 #if defined(ITVDEBUG)  
 void printbin(double z)  
 {  
         int     i, j, mask;  
         union {  
                 double  x;  
                 char    c[8];  
         } a;  
   
         a.x = z;  
         for(i=7;i>=0;i--) {  
                 mask = 0x80;  
                 for(j=0;j<8;j++) {  
                         if (a.c[i] & mask) fprintf(stderr,"1");  
                         else fprintf(stderr,"0");  
                         mask >>= 1;  
                 }  
         }  
         fprintf(stderr,"\n");  
 }  
 #endif  
 #endif  
   
 #if defined(FPRINT)  
 #if 0  
 int     printmode = PRINTF_E;  
 #else  
 int     printmode = PRINTF_G;  
 #endif  
 #else  
 extern int printmode;  
 #endif  
   
 void PRINTNUM(q)  
 Num q;  
 {  
         char real_format[20];  
   
         if ( !q ) {  
                 PUTS("0");  
                 return;  
         }  
         switch ( NID(q) ) {  
                 case N_Q:  
                         if ( SGN((Q)q) == -1 )  
                                 PUTS("-");  
                         PRINTN(NM((Q)q));  
                         if ( !INT((Q)q) ) {  
                                 PUTS("/"); PRINTN(DN((Q)q));  
                         }  
                         break;  
                 case N_R:  
                         switch (printmode) {  
                                 case PRINTF_E:  
 #if defined(INTERVAL)  
                                 case MID_PRINTF_E:  
 #endif  
                                         TAIL PRINTF(OUT,"%.16e",BDY((Real)q));  
                                         break;  
                                 case PRINTF_G:  
 #if defined(INTERVAL)  
                                 case MID_PRINTF_G:  
 #endif  
                                 default:  
                                         if ( real_digit ) {  
                                                 sprintf(real_format,  
                                                         double_output?"%%.%df":"%%.%dg",real_digit);  
                                                 TAIL PRINTF(OUT,real_format,BDY((Real)q));  
                                         } else {  
                                                 TAIL PRINTF(OUT,double_output?"%f":"%g",BDY((Real)q));  
                                         }  
                                         break;  
                         }  
                         break;  
                 case N_A:  
                         PUTS("("); PRINTR(ALG,(R)BDY((Alg)q)); PUTS(")");  
                         break;  
 #if PARI  
                 case N_B:  
                         PRINTBF((BF)q); break;  
 #endif  
 #if defined(INTERVAL)  
                 case N_IP:  
                 case N_IF:  
                         PUTS("[");  
                         PRINTNUM(INF((Itv)q));  
                         PUTS(",");  
                         PRINTNUM(SUP((Itv)q));  
                         PUTS("]");  
                         break;  
                 case N_ID:  
                         switch (printmode) {  
                                 case PRINTF_E:  
                                         TAIL PRINTF(OUT, "[%.16e,%.16e]",INF((ItvD)q),SUP((ItvD)q));  
 #if defined(ITVDEBUG)  
                                         printbin(INF((ItvD)q));  
                                         printbin(SUP((ItvD)q));  
 #endif  
                                         break;  
                                 case MID_PRINTF_G:  
                                         TAIL PRINTF(OUT, "<%g,%g>", (SUP((ItvD)q)+INF((ItvD)q))*0.5,(SUP((ItvD)q)-INF((ItvD)q))*0.5);  
                                         break;  
                                 case MID_PRINTF_E:  
                                         TAIL PRINTF(OUT, "<%.16e,%.16e>", (SUP((ItvD)q)+INF((ItvD)q))*0.5,(SUP((ItvD)q)-INF((ItvD)q))*0.5);  
                                         break;  
                                 case PRINTF_G:  
                                 default:  
                                         TAIL PRINTF(OUT, "[%g,%g]",INF((ItvD)q),SUP((ItvD)q));  
                                 break;  
                         }  
                         break;  
 #endif  
                 case N_C:  
                         PRINTCPLX((C)q); break;  
                 case N_M:  
                         TAIL PRINTF(OUT,"%d",CONT((MQ)q)); break;  
                 case N_LM:  
                         PRINTN(((LM)q)->body); break;  
                 case N_GF2N:  
                         if ( hex_output )  
                                 PRINTN((N)(((GF2N)q)->body));  
                         else  
                                 PRINTUP2(((GF2N)q)->body);  
                         break;  
                 case N_GFPN:  
                         PRINTUP((UP)(((GFPN)q)->body));  
                         break;  
                 case N_GFS:  
                         TAIL PRINTF(OUT,"@_%d",CONT((GFS)q));  
                         break;  
                 case N_GFSN:  
                         PRINTUM(BDY((GFSN)q));  
                         break;  
         }  
 }  
   
 void PRINTCPLX(a)  
 C a;  
 {  
         PUTS("(");  
         if ( a->r )  
                 PRINTNUM(a->r);  
         if ( a->i ) {  
 #if defined(INTERVAL)  
                 if ( a->r && ((compnum(0,a->i,0) > 0)  
                         || NID(a->i) == N_IP || NID(a->i) == N_ID  
                         || NID(a->i) == N_IT || NID(a->i) == N_IF) )  
 #else  
                 if ( a->r && (compnum(0,a->i,0) > 0) )  
 #endif  
                         PUTS("+");  
                 PRINTNUM(a->i); PUTS("*@i");  
         }  
         PUTS(")");  
 }  
   
 void PRINTP(vl,p)  
 VL vl;  
 P p;  
 {  
         V v;  
         DCP dc;  
   
         if ( !p )  
                 PUTS("0");  
         else if ( NUM(p) )  
                 PRINTNUM((Num)p);  
         else  
                 for ( dc = DC(p), v = VR(p); dc; dc = NEXT(dc) ) {  
                         if ( !DEG(dc) )  
                                 PRINTP(vl,COEF(dc));  
                         else {  
                                 if ( NUM(COEF(dc)) && UNIQ((Q)COEF(dc)) ) {  
                                         ;  
                                 } else if ( NUM(COEF(dc)) && MUNIQ((Q)COEF(dc)) )  
                                         PUTS("-");  
                                 else if ( NUM(COEF(dc)) || !NEXT(DC(COEF(dc)))) {  
                                         PRINTP(vl,COEF(dc)); PUTS("*");  
                                 } else {  
                                         PUTS("("); PRINTP(vl,COEF(dc)); PUTS(")*");  
                                 }  
                                 PRINTV(vl,v);  
                                 if ( cmpq(DEG(dc),ONE) ) {  
                                         PRINTHAT;  
                                         if ( INT(DEG(dc)) && SGN(DEG(dc))>0 )  
                                                 PRINTNUM((Num)DEG(dc));  
                                         else {  
                                                 PUTS("("); PRINTNUM((Num)DEG(dc)); PUTS(")");  
                                         }  
                                 }  
                         }  
                         if ( NEXT(dc) ) {  
                                 P t;  
   
                                 t = COEF(NEXT(dc));  
                                 if (!DEG(NEXT(dc))) {  
                                         if ( NUM(t) ) {  
                                                 if ( !mmono(t) )  
                                                         PUTS("+");  
                                         } else {  
                                                 if (!mmono(COEF(DC(t))))  
                                                         PUTS("+");  
                                         }  
                                 } else {  
                                         if ( !mmono(t) )  
                                                 PUTS("+");  
                                 }  
                         }  
                 }  
 }  
   
 int hideargs;  
   
 void PRINTV(vl,v)  
 VL vl;  
 V v;  
 {  
         PF pf;  
         PFAD ad;  
         int i;  
   
         if ( NAME(v) )  
                 PUTS(NAME(v));  
         else if ( (vid)v->attr == V_PF ) {  
                 pf = ((PFINS)v->priv)->pf; ad = ((PFINS)v->priv)->ad;  
                 if ( !strcmp(NAME(pf),"pow") ) {  
                         PUTS("("); PRINTR(vl,(R)ad[0].arg); PUTS(")"); PRINTHAT; PUTS("(");  
                         PRINTR(vl,(R)ad[1].arg); PUTS(")");  
                 } else if ( !pf->argc ) {  
                         TAIL PRINTF(OUT,"%s",NAME(pf));  
                 } else {  
                         if ( hideargs ) {  
                                 for ( i = 0; i < pf->argc; i++ )  
                                         if ( ad[i].d )  
                                                 break;  
                                 if ( i < pf->argc ) {  
                                         TAIL PRINTF(OUT,"%s{%d",NAME(pf),ad[0].d);  
                                         for ( i = 1; i < pf->argc; i++ ) {  
                                                 TAIL PRINTF(OUT,",%d",ad[i].d);  
                                         }  
                                         PUTS("}");  
                                 } else {  
                                         TAIL PRINTF(OUT,"%s",NAME(pf));  
                                 }  
                         } else {  
                                 for ( i = 0; i < pf->argc; i++ )  
                                         if ( ad[i].d )  
                                                 break;  
                                 if ( i < pf->argc ) {  
                                         TAIL PRINTF(OUT,"%s{%d",NAME(pf),ad[0].d);  
                                         for ( i = 1; i < pf->argc; i++ ) {  
                                                 TAIL PRINTF(OUT,",%d",ad[i].d);  
                                         }  
                                         PUTS("}(");  
                                 } else {  
                                         TAIL PRINTF(OUT,"%s(",NAME(pf));  
                                 }  
                                 PRINTR(vl,(R)ad[0].arg);  
                                 for ( i = 1; i < pf->argc; i++ ) {  
                                         PUTS(","); PRINTR(vl,(R)ad[i].arg);  
                                 }  
                                 PUTS(")");  
                         }  
                 }  
         }  
 }  
   
 void PRINTR(vl,a)  
 VL vl;  
 R a;  
 {  
         if ( !a )  
                 PUTS("0");  
         else  
                 switch (OID(a)) {  
                         case O_N: case O_P:  
                                 PRINTP(vl,(P)a); break;  
                         default:  
                                 PUTS("("); PRINTP(vl,NM((R)a)); PUTS(")/("); PRINTP(vl,DN((R)a)); PUTS(")");  
                                 break;  
                 }  
 }  
   
 void PRINTVECT(vl,vect)  
 VL vl;  
 VECT vect;  
 {  
         int i;  
         pointer *ptr;  
   
         PUTS("[ ");  
         for ( i = 0, ptr = BDY(vect); i < vect->len; i++ ) {  
                 PRINTEXPR(vl,ptr[i]); PUTS(" ");  
         }  
         PUTS("]");  
 }  
   
 void PRINTMAT(vl,mat)  
 VL vl;  
 MAT mat;  
 {  
         int i,j,r,c;  
         pointer *ptr;  
   
         for ( i = 0, r = mat->row, c = mat->col; i < r; i++ ) {  
                 PUTS("[ ");  
                 for ( j = 0, ptr = BDY(mat)[i]; j < c; j++ ) {  
                         PRINTEXPR(vl,ptr[j]); PUTS(" ");  
                 }  
                 PUTS("]");  
                 if ( i < r - 1 )  
                         PUTS("\n");  
         }  
 }  
   
 void PRINTLIST(vl,list)  
 VL vl;  
 LIST list;  
 {  
         NODE tnode;  
   
         PUTS("[");  
         for ( tnode = (NODE)list->body; tnode; tnode = NEXT(tnode) ) {  
                 PRINTEXPR(vl,tnode->body);  
                 if ( NEXT(tnode) )  
                         PUTS(",");  
         }  
         PUTS("]");  
 }  
   
 void PRINTSTR(str)  
 STRING str;  
 {  
         char *p;  
   
         for ( p = BDY(str); *p; p++ )  
                 if ( *p == '"' )  
                         PUTS("\"");  
                 else {  
                         TAIL PRINTF(OUT,"%c",*p);  
                 }  
 }  
   
 void PRINTCOMP(vl,c)  
 VL vl;  
 COMP c;  
 {  
         int n,i;  
   
         n = getcompsize((int)c->type);  
         PUTS("{");  
         for ( i = 0; i < n; i++ ) {  
                 PRINTEXPR(vl,(pointer)c->member[i]);  
                 if ( i < n-1 )  
                         PUTS(",");  
         }  
         PUTS("}");  
 }  
   
 void PRINTDP(vl,d)  
 VL vl;  
 DP d;  
 {  
         int n,i;  
         MP m;  
         DL dl;  
   
         for ( n = d->nv, m = BDY(d); m; m = NEXT(m) ) {  
                 PUTS("("); PRINTEXPR(vl,(pointer)m->c); PUTS(")*<<");  
                 for ( i = 0, dl = m->dl; i < n-1; i++ ) {  
                         TAIL PRINTF(OUT,"%d,",dl->d[i]);  
                 }  
                 TAIL PRINTF(OUT,"%d",dl->d[i]);  
                 PUTS(">>");  
                 if ( NEXT(m) )  
                         PUTS("+");  
         }  
 }  
   
 void PRINTUI(vl,u)  
 VL vl;  
 USINT u;  
 {  
         TAIL PRINTF(OUT,"%u",BDY(u));  
 }  
   
 void PRINTGF2MAT(vl,mat)  
 VL vl;  
 GF2MAT mat;  
 {  
         int row,col,w,i,j,k,m;  
         unsigned int t;  
         unsigned int **b;  
   
         row = mat->row;  
         col = mat->col;  
         w = (col+BSH-1)/BSH;  
         b = mat->body;  
         for ( i = 0; i < row; i++ ) {  
                 for ( j = 0, m = 0; j < w; j++ ) {  
                         t = b[i][j];  
                         for ( k = 0; m < col && k < BSH; k++, m++ )  
                                 if ( t & (1<<k) )  
                                         PUTS("1");  
                                 else  
                                         PUTS("0");  
                 }  
                 PUTS("\n");  
         }  
 }  
   
 void PRINTGFMMAT(vl,mat)  
 VL vl;  
 GFMMAT mat;  
 {  
         int row,col,i,j;  
         unsigned int t;  
         unsigned int **b;  
   
         row = mat->row;  
         col = mat->col;  
         b = mat->body;  
         for ( i = 0; i < row; i++ ) {  
                 PUTS("[");  
                 for ( j = 0; j < col; j++ ) {  
                         TAIL PRINTF(OUT,"%8d",b[i][j]);  
                 }  
                 PUTS("]\n");  
         }  
 }  
   
 void PRINTBYTEARRAY(vl,array)  
 VL vl;  
 BYTEARRAY array;  
 {  
         int len,i;  
         unsigned int t;  
         unsigned char *b;  
   
         len = array->len;  
         b = array->body;  
         PUTS("|");  
         for ( i = 0; i < len-1; i++ ) {  
                 TAIL PRINTF(OUT,"%02x ",(unsigned int)b[i]);  
         }  
         TAIL PRINTF(OUT,"%02x",(unsigned int)b[i]);  
         PUTS("|");  
 }  
   
 void PRINTQUOTE(vl,quote)  
 VL vl;  
 QUOTE quote;  
 {  
         LIST list;  
   
         if ( print_quote ) {  
                 fnodetotree(BDY(quote),&list);  
                 PRINTEXPR(vl,(Obj)list);  
         } else {  
                 PUTS("<...quoted...>");  
         }  
 }  
   
 void PRINTERR(vl,e)  
 VL vl;  
 ERR e;  
 {  
         PUTS("error("); PRINTEXPR(vl,e->body); PUTS(")");  
 }  
   
 void PRINTUP2(p)  
 UP2 p;  
 {  
         int d,i;  
   
         if ( !p ) {  
                 TAIL PRINTF(OUT,"0");  
         } else {  
                 d = degup2(p);  
                 TAIL PRINTF(OUT,"(");  
                 if ( !d ) {  
                         TAIL PRINTF(OUT,"1");  
                 } else if ( d == 1 ) {  
                         TAIL PRINTF(OUT,"@");  
                 } else {  
                         PUTS("@"); PRINTHAT; TAIL PRINTF(OUT,"%d",d);  
                 }  
                 for ( i = d-1; i >= 0; i-- ) {  
                         if ( p->b[i/BSH] & (1<<(i%BSH)) )  
                                 if ( !i ) {  
                                         TAIL PRINTF(OUT,"+1");  
                                 } else if ( i == 1 ) {  
                                         TAIL PRINTF(OUT,"+@");  
                                 } else {  
                                         PUTS("+@"); PRINTHAT; TAIL PRINTF(OUT,"%d",i);  
                                 }  
                 }  
                 TAIL PRINTF(OUT,")");  
         }  
 }  
   
 void PRINTLF(vl,f)  
 VL vl;  
 F f;  
 {  
         switch ( FOP(f) ) {  
                 case AL_TRUE:  
                         TAIL PRINTF(OUT,"@true");  
                         break;  
                 case AL_FALSE:  
                         TAIL PRINTF(OUT,"@false");  
                         break;  
   
                 case AL_OR: case AL_AND:  
                         PRINTFOP(vl,f); break;  
                 case AL_NOT: case AL_IMPL: case AL_REPL: case AL_EQUIV:  
                         PRINTEOP(vl,f); break;  
   
                 case AL_EQUAL: case AL_NEQ: case AL_LESSP:  
                 case AL_GREATERP: case AL_LEQ: case AL_GEQ:  
                         PRINTLOP(vl,f); break;  
   
                 case AL_EX: case AL_ALL:  
                         PRINTQOP(vl,f); break;  
                 default:  
                         break;  
         }  
 }  
   
 PRINTFOP(vl,f)  
 VL vl;  
 F f;  
 {  
         char *op;  
         NODE n;  
   
         op = FOP(f)==AL_OR?" @|| ":" @&& ";  
         n = FJARG(f);  
         PUTS("("); PRINTEXPR(vl,BDY(n)); PUTS(")");  
         for ( n = NEXT(n); n; n = NEXT(n) ) {  
                 PUTS(op); PUTS("("); PRINTEXPR(vl,BDY(n)); PUTS(")");  
         }  
 }  
   
 PRINTEOP(vl,f)  
 VL vl;  
 F f;  
 {  
         oFOP op;  
         char *sop;  
   
         if ( (op = FOP(f)) == AL_NOT ) {  
                 PUTS("(@! "); PRINTEXPR(vl,(Obj)FARG(f)); PUTS(")"); return;  
         }  
         switch ( op ) {  
                 case AL_IMPL:  
                         sop = " @impl "; break;  
                 case AL_REPL:  
                         sop = " @repl "; break;  
                 case AL_EQUIV:  
                         sop = " @equiv "; break;  
                 default:  
                         break;  
         }  
         PUTS("(");  
         PRINTEXPR(vl,(Obj)FLHS(f));  
         PUTS(sop);  
         PRINTEXPR(vl,(Obj)FRHS(f));  
         PUTS(")");  
 }  
   
 PRINTLOP(vl,f)  
 VL vl;  
 F f;  
 {  
         char *op;  
   
         switch ( FOP(f) ) {  
                 case AL_EQUAL:  
                         op = " @== "; break;  
                 case AL_NEQ:  
                         op = " @!= "; break;  
                 case AL_LESSP:  
                         op = " @< "; break;  
                 case AL_GREATERP:  
                         op = " @> "; break;  
                 case AL_LEQ:  
                         op = " @<= "; break;  
                 case AL_GEQ:  
                         op = " @>= "; break;  
                 default:  
                         error("PRINTLOP : invalid operator");  
                         break;  
         }  
         PRINTEXPR(vl,(Obj)FPL(f)); PUTS(op); PUTS("0");  
 }  
   
 PRINTQOP(vl,f)  
 VL vl;  
 F f;  
 {  
         char *op;  
   
         op = FOP(f)==AL_EX?"ex":"all";  
         TAIL PRINTF(OUT,"%s(%s,",op,NAME(FQVR(f)));  
         PRINTEXPR(vl,(Obj)FQMAT(f)); PUTS(")");  
 }  
   
 PRINTUP(n)  
 UP n;  
 {  
         int i,d;  
   
         if ( !n )  
                 PUTS("0");  
         else if ( !n->d )  
                 PRINTNUM(n->c[0]);  
         else {  
                 d = n->d;  
                 PUTS("(");  
                 if ( !d ) {  
                         PRINTNUM(n->c[d]);  
                 } else if ( d == 1 ) {  
                         PRINTNUM(n->c[d]);  
                         PUTS("*@p");  
                 } else {  
                         PRINTNUM(n->c[d]);  
                         PUTS("*@p"); PRINTHAT; TAIL PRINTF(OUT,"%d",d);  
                 }  
                 for ( i = d-1; i >= 0; i-- ) {  
                         if ( n->c[i] ) {  
                                 PUTS("+("); PRINTNUM(n->c[i]); PUTS(")");  
                                 if ( i >= 2 ) {  
                                         PUTS("*@p"); PRINTHAT; TAIL PRINTF(OUT,"%d",i);  
                                 } else if ( i == 1 )  
                                         PUTS("*@p");  
                         }  
                 }  
                 PUTS(")");  
         }  
 }  
   
 PRINTUM(n)  
 UM n;  
 {  
         int i,d;  
   
         if ( !n )  
                 PUTS("0");  
         else if ( !n->d )  
                 PRINTSF(n->c[0]);  
         else {  
                 d = n->d;  
                 PUTS("(");  
                 if ( !d ) {  
                         PRINTSF(n->c[d]);  
                 } else if ( d == 1 ) {  
                         PRINTSF(n->c[d]);  
                         PUTS("*@s");  
                 } else {  
                         PRINTSF(n->c[d]);  
                         PUTS("*@s"); PRINTHAT; TAIL PRINTF(OUT,"%d",d);  
                 }  
                 for ( i = d-1; i >= 0; i-- ) {  
                         if ( n->c[i] ) {  
                                 PUTS("+("); PRINTSF(n->c[i]); PUTS(")");  
                                 if ( i >= 2 ) {  
                                         PUTS("*@s"); PRINTHAT; TAIL PRINTF(OUT,"%d",i);  
                                 } else if ( i == 1 )  
                                         PUTS("*@s");  
                         }  
                 }  
                 PUTS(")");  
         }  
 }  
   
 PRINTSF(i)  
 unsigned int i;  
 {  
         if ( !i ) {  
                 PUTS("0");  
         } else {  
                 TAIL PRINTF(OUT,"@_%d",IFTOF(i));  
         }  
 }  
Legend:
Removed from v.1.16  
changed lines
  Added in v.1.42
FreeBSD-CVSweb <freebsd-cvsweb@FreeBSD.org>