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

Annotation of OpenXM_contrib2/asir2000/io/bload.c, Revision 1.21

1.2       noro        1: /*
                      2:  * Copyright (c) 1994-2000 FUJITSU LABORATORIES LIMITED
                      3:  * All rights reserved.
                      4:  *
                      5:  * FUJITSU LABORATORIES LIMITED ("FLL") hereby grants you a limited,
                      6:  * non-exclusive and royalty-free license to use, copy, modify and
                      7:  * redistribute, solely for non-commercial and non-profit purposes, the
                      8:  * computer program, "Risa/Asir" ("SOFTWARE"), subject to the terms and
                      9:  * conditions of this Agreement. For the avoidance of doubt, you acquire
                     10:  * only a limited right to use the SOFTWARE hereunder, and FLL or any
                     11:  * third party developer retains all rights, including but not limited to
                     12:  * copyrights, in and to the SOFTWARE.
                     13:  *
                     14:  * (1) FLL does not grant you a license in any way for commercial
                     15:  * purposes. You may use the SOFTWARE only for non-commercial and
                     16:  * non-profit purposes only, such as academic, research and internal
                     17:  * business use.
                     18:  * (2) The SOFTWARE is protected by the Copyright Law of Japan and
                     19:  * international copyright treaties. If you make copies of the SOFTWARE,
                     20:  * with or without modification, as permitted hereunder, you shall affix
                     21:  * to all such copies of the SOFTWARE the above copyright notice.
                     22:  * (3) An explicit reference to this SOFTWARE and its copyright owner
                     23:  * shall be made on your publication or presentation in any form of the
                     24:  * results obtained by use of the SOFTWARE.
                     25:  * (4) In the event that you modify the SOFTWARE, you shall notify FLL by
1.3       noro       26:  * e-mail at risa-admin@sec.flab.fujitsu.co.jp of the detailed specification
1.2       noro       27:  * for such modification or the source code of the modified part of the
                     28:  * SOFTWARE.
                     29:  *
                     30:  * THE SOFTWARE IS PROVIDED AS IS WITHOUT ANY WARRANTY OF ANY KIND. FLL
                     31:  * MAKES ABSOLUTELY NO WARRANTIES, EXPRESSED, IMPLIED OR STATUTORY, AND
                     32:  * EXPRESSLY DISCLAIMS ANY IMPLIED WARRANTY OF MERCHANTABILITY, FITNESS
                     33:  * FOR A PARTICULAR PURPOSE OR NONINFRINGEMENT OF THIRD PARTIES'
                     34:  * RIGHTS. NO FLL DEALER, AGENT, EMPLOYEES IS AUTHORIZED TO MAKE ANY
                     35:  * MODIFICATIONS, EXTENSIONS, OR ADDITIONS TO THIS WARRANTY.
                     36:  * UNDER NO CIRCUMSTANCES AND UNDER NO LEGAL THEORY, TORT, CONTRACT,
                     37:  * OR OTHERWISE, SHALL FLL BE LIABLE TO YOU OR ANY OTHER PERSON FOR ANY
                     38:  * DIRECT, INDIRECT, SPECIAL, INCIDENTAL, PUNITIVE OR CONSEQUENTIAL
                     39:  * DAMAGES OF ANY CHARACTER, INCLUDING, WITHOUT LIMITATION, DAMAGES
                     40:  * ARISING OUT OF OR RELATING TO THE SOFTWARE OR THIS AGREEMENT, DAMAGES
                     41:  * FOR LOSS OF GOODWILL, WORK STOPPAGE, OR LOSS OF DATA, OR FOR ANY
                     42:  * DAMAGES, EVEN IF FLL SHALL HAVE BEEN INFORMED OF THE POSSIBILITY OF
                     43:  * SUCH DAMAGES, OR FOR ANY CLAIM BY ANY OTHER PARTY. EVEN IF A PART
                     44:  * OF THE SOFTWARE HAS BEEN DEVELOPED BY A THIRD PARTY, THE THIRD PARTY
                     45:  * DEVELOPER SHALL HAVE NO LIABILITY IN CONNECTION WITH THE USE,
                     46:  * PERFORMANCE OR NON-PERFORMANCE OF THE SOFTWARE.
1.21    ! noro       47:  * $OpenXM: OpenXM_contrib2/asir2000/io/bload.c,v 1.20 2019/11/12 10:52:04 kondoh Exp $
1.2       noro       48: */
1.1       noro       49: #include "ca.h"
                     50: #include "parse.h"
                     51: #include "com.h"
1.21    ! noro       52: #include "ox.h"
1.1       noro       53:
                     54: extern VL file_vl;
                     55:
1.15      noro       56: void loadnbp(FILE *s,NBP *p);
                     57:
1.1       noro       58: void (*loadf[])() = { 0, loadnum, loadp, loadr, loadlist, loadvect, loadmat,
1.19      noro       59:   loadstring, 0, loaddp, loadui, loaderror,0,0,0,loadgfmmat,
                     60:   loadbytearray, 0, 0, 0, 0, 0, 0, 0, 0,  loadnbp };
1.15      noro       61:
1.6       saito      62: #if defined(INTERVAL)
1.7       saito      63: void loaditv();
                     64: void loaditvd();
1.14      noro       65: void (*nloadf[])() = { loadq, loadreal, 0, loadbf, loaditv, loaditvd, 0, loaditv, loadcplx, loadmi, loadlm, loadgf2n, loadgfpn, loadgfs, loadgfsn, loaddalg };
1.6       saito      66: #else
1.14      noro       67: void (*nloadf[])() = { loadq, loadreal, 0, loadbf, loadcplx, loadmi, loadlm, loadgf2n, loadgfpn, loadgfs, loadgfsn, loaddalg };
1.6       saito      68: #endif
1.1       noro       69:
1.10      noro       70: void loadobj(FILE *s,Obj *p)
1.1       noro       71: {
1.19      noro       72:   short id;
1.1       noro       73:
1.19      noro       74:   read_short(s,&id);
                     75:   if ( !id )
                     76:     *p = 0;
                     77:   else if ( !loadf[id] )
                     78:     error("loadobj : not implemented");
                     79:   else
                     80:     (*loadf[id])(s,p);
1.1       noro       81: }
                     82:
1.10      noro       83: void loadnum(FILE *s,Num *p)
1.1       noro       84: {
1.19      noro       85:   char nid;
1.1       noro       86:
1.19      noro       87:   read_char(s,&nid);
                     88:   if ( !nloadf[nid] )
                     89:     error("loadnum : not implemented");
                     90:   else
                     91:     (*nloadf[nid])(s,p);
1.1       noro       92: }
                     93:
1.10      noro       94: void loadq(FILE *s,Q *p)
1.1       noro       95: {
1.19      noro       96:   int size[2];
                     97:   char sgn;
                     98:   int len = 2;
                     99:   N nm,dn;
                    100:
                    101:   read_char(s,&sgn); read_intarray(s,size,len);
                    102:   nm = NALLOC(size[0]); PL(nm) = size[0];
                    103:   read_intarray(s,BD(nm),size[0]);
                    104:   if ( size[1] ) {
                    105:     dn = NALLOC(size[1]); PL(dn) = size[1];
                    106:     read_intarray(s,BD(dn),size[1]);
                    107:   } else
                    108:     dn = 0;
                    109:   NDTOQ(nm,dn,sgn,*p);
1.1       noro      110: }
                    111:
1.10      noro      112: void loadreal(FILE *s,Real *p)
1.1       noro      113: {
1.19      noro      114:   Real q;
                    115:   char dmy;
1.1       noro      116:
1.19      noro      117:   read_char(s,&dmy);
                    118:   NEWReal(q); read_double(s,&BDY(q));
                    119:   *p = q;
1.1       noro      120: }
                    121:
1.10      noro      122: void loadbf(FILE *s,BF *p)
1.1       noro      123: {
1.19      noro      124:   BF r;
1.17      noro      125:   char dmy;
1.19      noro      126:   int sgn,prec;
1.17      noro      127:   UL exp;
1.1       noro      128:
1.19      noro      129:   int len;
                    130:   read_char(s,&dmy);
                    131:   NEWBF(r);
                    132:   read_int(s,&sgn);
                    133:   read_int(s,&prec);
                    134:   read_int64(s,&exp);
                    135:   read_int(s,&len);
1.17      noro      136:   mpfr_init2(r->body,prec);
                    137:   MPFR_SIGN(r->body) = sgn;
1.19      noro      138:   MPFR_EXP(r->body) = (int)exp;
1.18      noro      139: #if defined(VISUAL)
                    140: #if !defined(_WIN64)
1.19      noro      141:   read_intarray(s,(int *)r->body->_mpfr_d,len);
1.18      noro      142: #else
1.19      noro      143:   read_longarray(s,(long long*)r->body->_mpfr_d,len);
1.18      noro      144: #endif
                    145: #else
1.16      ohara     146: #if SIZEOF_LONG == 4
1.19      noro      147:   read_intarray(s,(int *)r->body->_mpfr_d,len);
1.17      noro      148: #else /* SIZEOF_LONG == 8 */
1.19      noro      149:   read_longarray(s,(long *)r->body->_mpfr_d,len);
1.1       noro      150: #endif
1.18      noro      151: #endif
1.19      noro      152:   *p = r;
1.1       noro      153: }
1.6       saito     154:
                    155: #if defined(INTERVAL)
1.10      noro      156: void loaditv(FILE *s,Itv *p)
1.6       saito     157: {
1.19      noro      158:   Itv q;
                    159:   char dmy;
1.6       saito     160:
1.19      noro      161:   read_char(s,&dmy);
                    162:   NEWItvP(q); loadobj(s,(Obj *)&INF(q)); loadobj(s,(Obj *)&SUP(q));
                    163:   *p = q;
1.6       saito     164: }
                    165:
1.11      kondoh    166: void loaditvd(FILE *s,IntervalDouble *p)
1.6       saito     167: {
1.19      noro      168:   IntervalDouble q;
                    169:   char dmy;
1.6       saito     170:
1.19      noro      171:   read_char(s,&dmy);
                    172:   NEWIntervalDouble(q);
                    173:   read_double(s,&INF(q));
                    174:   read_double(s,&SUP(q));
                    175:   *p = q;
1.6       saito     176: }
                    177: #endif
1.1       noro      178:
1.10      noro      179: void loadcplx(FILE *s,C *p)
1.1       noro      180: {
1.19      noro      181:   C q;
                    182:   char dmy;
1.1       noro      183:
1.19      noro      184:   read_char(s,&dmy);
                    185:   NEWC(q); loadobj(s,(Obj *)&q->r); loadobj(s,(Obj *)&q->i);
                    186:   *p = q;
1.1       noro      187: }
                    188:
1.10      noro      189: void loadmi(FILE *s,MQ *p)
1.1       noro      190: {
1.19      noro      191:   MQ q;
                    192:   char dmy;
1.1       noro      193:
1.19      noro      194:   read_char(s,&dmy);
                    195:   NEWMQ(q); read_int(s,(int *)&CONT(q));
                    196:   *p = q;
1.1       noro      197: }
                    198:
1.10      noro      199: void loadlm(FILE *s,LM *p)
1.1       noro      200: {
1.19      noro      201:   int size;
                    202:   char dmy;
                    203:   N body;
                    204:
                    205:   read_char(s,&dmy); read_int(s,&size);
                    206:   body = NALLOC(size); PL(body) = size;
                    207:   read_intarray(s,BD(body),size);
                    208:   MKLM(body,*p);
1.1       noro      209: }
                    210:
1.10      noro      211: void loadgf2n(FILE *s,GF2N *p)
1.1       noro      212: {
1.19      noro      213:   char dmy;
                    214:   int len;
                    215:   UP2 body;
                    216:
                    217:   read_char(s,&dmy); read_int(s,&len);
                    218:   NEWUP2(body,len); body->w = len;
                    219:   read_intarray(s,body->b,len);
                    220:   MKGF2N(body,*p);
1.1       noro      221: }
                    222:
1.10      noro      223: void loadgfpn(FILE *s,GFPN *p)
1.1       noro      224: {
1.19      noro      225:   char dmy;
                    226:   int d,i;
                    227:   UP body;
                    228:
                    229:   read_char(s,&dmy); read_int(s,&d);
                    230:   body = UPALLOC(d);
                    231:   body->d = d;
                    232:   for ( i = 0; i <= d; i++ )
                    233:     loadobj(s,(Obj *)&body->c[i]);
                    234:   MKGFPN(body,*p);
1.8       noro      235: }
                    236:
1.10      noro      237: void loadgfs(FILE *s,GFS *p)
1.8       noro      238: {
1.19      noro      239:   GFS q;
                    240:   char dmy;
1.8       noro      241:
1.19      noro      242:   read_char(s,&dmy);
                    243:   NEWGFS(q); read_int(s,(int *)&CONT(q));
                    244:   *p = q;
1.9       noro      245: }
                    246:
1.10      noro      247: void loadgfsn(FILE *s,GFSN *p)
1.9       noro      248: {
1.19      noro      249:   char dmy;
                    250:   int d;
                    251:   UM body;
                    252:
                    253:   read_char(s,&dmy); read_int(s,&d);
                    254:   body = UMALLOC(d); DEG(body) = d;
                    255:   read_intarray(s,COEF(body),d+1);
                    256:   MKGFSN(body,*p);
1.14      noro      257: }
                    258:
                    259: void loaddalg(FILE *s,DAlg *p)
                    260: {
1.19      noro      261:   char dmy;
                    262:   Obj nm,dn;
1.14      noro      263:
1.19      noro      264:   read_char(s,&dmy);
                    265:   loadobj(s,&nm);
                    266:   loadobj(s,&dn);
                    267:   MKDAlg((DP)nm,(Q)dn,*p);
1.1       noro      268: }
                    269:
1.10      noro      270: void loadp(FILE *s,P *p)
1.1       noro      271: {
1.19      noro      272:   V v;
                    273:   int n,vindex;
                    274:   DCP dc,dc0;
                    275:   P t;
                    276:
                    277:   read_int(s,&vindex);
                    278:   if ( vindex < 0 )
                    279:   /* v is a pure function */
                    280:     v = loadpfins(s);
                    281:   else
                    282:     v = (V)load_convv(vindex);
                    283:   read_int(s,&n);
                    284:   for ( dc0 = 0; n; n-- ) {
                    285:     NEXTDC(dc0,dc); loadobj(s,(Obj *)&DEG(dc)); loadobj(s,(Obj *)&COEF(dc));
                    286:   }
                    287:   NEXT(dc) = 0;
                    288:   MKP(v,dc0,t);
                    289:   if ( vindex < 0 || file_vl )
                    290:     reorderp(CO,file_vl,t,p);
                    291:   else
                    292:     *p = t;
1.1       noro      293: }
                    294:
                    295: /* |name(str)|argc(int)|darray(intarray)|args| */
                    296:
1.10      noro      297: V loadpfins(FILE *s)
1.1       noro      298: {
1.19      noro      299:   char *name;
                    300:   FUNC fp;
                    301:   int argc,i;
                    302:   V v;
                    303:   int *darray;
                    304:   Obj *args;
                    305:   PF pf;
                    306:   char *buf;
                    307:   V *a;
                    308:   P u;
                    309:
                    310:   loadstr(s,&name);
                    311:   read_int(s,&argc);
                    312:   searchpf(name,&fp);
                    313:   if ( fp ) {
                    314:     pf = fp->f.puref;
                    315:     if ( pf->argc != argc )
                    316:       error("loadpfins : argument mismatch");
                    317:   } else {
                    318:     a = (V *)MALLOC(argc*sizeof(V));
                    319:     buf = (char *)ALLOCA(BUFSIZ);
                    320:     for ( i = 0; i < argc; i++ ) {
                    321:       sprintf(buf,"_%c",'a'+i);
                    322:       makevar(buf,&u); a[i] = VR(u);
                    323:     }
1.20      kondoh    324: #if defined(INTERVAL)
                    325:     mkpf(name,0,argc,a,0,0,0,0,&pf);
                    326: #else
1.19      noro      327:     mkpf(name,0,argc,a,0,0,0,&pf);
1.20      kondoh    328: #endif
1.19      noro      329:   }
                    330:   darray = (int *)ALLOCA(argc*sizeof(int));
                    331:   args = (Obj *)ALLOCA(argc*sizeof(int));
                    332:   read_intarray(s,darray,argc);
                    333:   for ( i = 0; i < argc; i++ )
                    334:     loadobj(s,&args[i]);
                    335:   _mkpfins_with_darray(pf,args,darray,&v);
                    336:   return v;
1.1       noro      337: }
                    338:
1.10      noro      339: void loadr(FILE *s,R *p)
1.1       noro      340: {
1.19      noro      341:   R r;
1.1       noro      342:
1.19      noro      343:   NEWR(r); read_short(s,&r->reduced);
                    344:   loadobj(s,(Obj *)&NM(r)); loadobj(s,(Obj *)&DN(r)); *p = r;
1.1       noro      345: }
                    346:
1.10      noro      347: void loadlist(FILE *s,LIST *p)
1.1       noro      348: {
1.19      noro      349:   int n;
                    350:   NODE tn,tn0;
1.1       noro      351:
1.19      noro      352:   read_int(s,&n);
                    353:   for ( tn0 = 0; n; n-- ) {
                    354:     NEXTNODE(tn0,tn); loadobj(s,(Obj *)&BDY(tn));
                    355:   }
                    356:   if ( tn0 )
                    357:     NEXT(tn) = 0;
                    358:   MKLIST(*p,tn0);
1.1       noro      359: }
                    360:
1.10      noro      361: void loadvect(FILE *s,VECT *p)
1.1       noro      362: {
1.19      noro      363:   int i,len;
                    364:   VECT vect;
1.1       noro      365:
1.19      noro      366:   read_int(s,&len); MKVECT(vect,len);
                    367:   for ( i = 0; i < len; i++ )
                    368:     loadobj(s,(Obj *)&BDY(vect)[i]);
                    369:   *p = vect;
1.1       noro      370: }
                    371:
1.10      noro      372: void loadmat(FILE *s,MAT *p)
1.1       noro      373: {
1.19      noro      374:   int row,col,i,j;
                    375:   MAT mat;
1.1       noro      376:
1.19      noro      377:   read_int(s,&row); read_int(s,&col); MKMAT(mat,row,col);
                    378:   for ( i = 0; i < row; i++ )
                    379:     for ( j = 0; j < col; j++ )
                    380:       loadobj(s,(Obj *)&BDY(mat)[i][j]);
                    381:   *p = mat;
1.1       noro      382: }
                    383:
1.10      noro      384: void loadstring(FILE *s,STRING *p)
1.1       noro      385: {
1.19      noro      386:   char *t;
1.1       noro      387:
1.19      noro      388:   loadstr(s,&t); MKSTR(*p,t);
1.1       noro      389: }
                    390:
1.10      noro      391: void loadstr(FILE *s,char **p)
1.1       noro      392: {
1.19      noro      393:   int len;
                    394:   char *t;
1.1       noro      395:
1.19      noro      396:   read_int(s,&len);
                    397:   if ( len ) {
                    398:     t = (char *)MALLOC(len+1); read_string(s,t,len); t[len] = 0;
                    399:   } else
                    400:     t = "";
                    401:   *p = t;
1.4       noro      402: }
                    403:
1.10      noro      404: void loadbytearray(FILE *s,BYTEARRAY *p)
1.4       noro      405: {
1.19      noro      406:   int len;
                    407:   BYTEARRAY array;
1.4       noro      408:
1.19      noro      409:   read_int(s,&len);
                    410:   MKBYTEARRAY(array,len);
                    411:   if ( len ) {
                    412:     read_string(s,array->body,len);
                    413:   }
                    414:   *p = array;
1.1       noro      415: }
                    416:
1.10      noro      417: void loaddp(FILE *s,DP *p)
1.1       noro      418: {
1.19      noro      419:   int nv,n,i,sugar;
                    420:   DP dp;
                    421:   MP m,m0;
                    422:   DL dl;
                    423:
                    424:   read_int(s,&nv); read_int(s,&sugar); read_int(s,&n);
                    425:   for ( i = 0, m0 = 0; i < n; i++ ) {
                    426:     NEXTMP(m0,m);
                    427:     loadobj(s,(Obj *)&(m->c));
                    428:     NEWDL(dl,nv); m->dl = dl;
                    429:     read_int(s,&dl->td); read_intarray(s,&(dl->d[0]),nv);
                    430:   }
                    431:   NEXT(m) = 0; MKDP(nv,m0,dp); dp->sugar = sugar; *p = dp;
1.1       noro      432: }
                    433:
1.10      noro      434: void loadui(FILE *s,USINT *u)
1.1       noro      435: {
1.19      noro      436:   unsigned int b;
1.1       noro      437:
1.19      noro      438:   read_int(s,&b); MKUSINT(*u,b);
1.1       noro      439: }
                    440:
1.10      noro      441: void loaderror(FILE *s,ERR *e)
1.1       noro      442: {
1.19      noro      443:   Obj b;
1.1       noro      444:
1.19      noro      445:   loadobj(s,&b); MKERR(*e,b);
1.1       noro      446: }
                    447:
                    448:
1.10      noro      449: void loadgfmmat(FILE *s,GFMMAT *p)
1.1       noro      450: {
1.19      noro      451:   int i,row,col;
                    452:   unsigned int **a;
                    453:   GFMMAT mat;
                    454:
                    455:   read_int(s,&row); read_int(s,&col);
                    456:   a = (unsigned int **)almat(row,col);
                    457:   TOGFMMAT(row,col,a,mat);
                    458:   for ( i = 0; i < row; i++ )
                    459:     read_intarray(s,a[i],col);
                    460:   *p = mat;
1.15      noro      461: }
                    462:
                    463: void loadnbp(FILE *s,NBP *p)
                    464: {
1.19      noro      465:   int n,i;
                    466:   NBM m;
                    467:   NODE r0,r;
                    468:
                    469:   read_int(s,&n);
                    470:   for ( i = 0, r0 = 0; i < n; i++ ) {
                    471:     NEWNBM(m);
                    472:     loadobj(s,(Obj *)&m->c);
                    473:     read_int(s,&m->d);
                    474:     NEWNBMBDY(m,m->d); read_intarray(s,m->b,(m->d+31)/32);
                    475:     NEXTNODE(r0,r); BDY(r) = (pointer)m;
                    476:   }
                    477:   if ( r0 ) NEXT(r) = 0;
                    478:   MKNBP(*p,r0);
1.1       noro      479: }

FreeBSD-CVSweb <freebsd-cvsweb@FreeBSD.org>