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

Annotation of OpenXM_contrib2/asir2000/io/bsave.c, Revision 1.11

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.11    ! kondoh     47:  * $OpenXM: OpenXM_contrib2/asir2000/io/bsave.c,v 1.10 2001/10/09 01:36:20 noro Exp $
1.2       noro       48: */
1.1       noro       49: /* saveXXX must not use GC_malloc(), GC_malloc_atomic(). */
                     50:
                     51: #include "ca.h"
                     52: #include "parse.h"
                     53: #include "com.h"
                     54:
                     55: #if PARI
                     56: #include "genpari.h"
                     57: int get_lg(GEN);
                     58: #endif
                     59:
                     60: void (*savef[])() = { 0, savenum, savep, saver, savelist, savevect,
1.4       noro       61:        savemat, savestring, 0, savedp, saveui, saveerror,0,0,0,savegfmmat, savebytearray };
1.6       saito      62: #if defined(INTERVAL)
1.7       saito      63: void saveitv();
                     64: void saveitvd();
1.9       noro       65: void (*nsavef[])() = { saveq, savereal, 0, savebf, saveitv, saveitvd, 0, saveitv, savecplx ,savemi, savelm, savegf2n, savegfpn, savegfs, savegfsn};
1.6       saito      66: #else
1.9       noro       67: void (*nsavef[])() = { saveq, savereal, 0, savebf, savecplx ,savemi, savelm, savegf2n, savegfpn, savegfs, savegfsn};
1.6       saito      68: #endif
1.1       noro       69:
                     70: static short zeroval = 0;
                     71:
1.10      noro       72: void saveobj(FILE *s,Obj p)
1.1       noro       73: {
                     74:        if ( !p )
                     75:                write_short(s,&zeroval);
                     76:        else if ( !savef[OID(p)] )
                     77:                error("saveobj : not implemented");
                     78:        else
                     79:                (*savef[OID(p)])(s,p);
                     80: }
                     81:
1.10      noro       82: void savenum(FILE *s,Num p)
1.1       noro       83: {
                     84:        if ( !nsavef[NID(p)] )
                     85:                error("savenum : not implemented");
                     86:        else {
                     87:                write_short(s,&OID(p)); write_char(s,&NID(p));
                     88:                write_char(s,&(p->pad));
                     89:                (*nsavef[NID(p)])(s,p);
                     90:        }
                     91: }
                     92:
1.10      noro       93: void saveq(FILE *s,Q p)
1.1       noro       94: {
                     95:        int size[2];
                     96:        int len = 2;
                     97:
                     98:        size[0] = PL(NM(p)); size[1] = DN(p) ? PL(DN(p)) : 0;
                     99:        write_intarray(s,size,len);
                    100:        write_intarray(s,BD(NM(p)),size[0]);
                    101:        if ( size[1] )
                    102:                write_intarray(s,BD(DN(p)),size[1]);
                    103: }
                    104:
1.10      noro      105: void savereal(FILE *s,Real p)
1.1       noro      106: { write_double(s,&BDY(p)); }
                    107:
                    108: /*
                    109:  * BDY(p) = |  z[0]  |   z[1]  | z[2] | ... | z[lg(z)-1] |
                    110:  * -> | id(2) | nid(1) | sgn(1) | expo>>32 | expo&0xffffffff | len | ... |
                    111:  */
                    112:
1.10      noro      113: void savebf(FILE *s,BF p)
1.1       noro      114: {
                    115: #if PARI
                    116:        GEN z;
                    117:        int sign;
                    118:        unsigned long expo;
1.10      noro      119:        unsigned int len;
1.1       noro      120:
                    121:        z = (GEN)BDY(p);
                    122:        sign = signe(z);
                    123:        len = lg(z)-2;
                    124:        expo = expo(z);
                    125:
                    126:        write_int(s,&sign);
                    127:
                    128: #if defined(LONG_IS_32BIT)
                    129:        write_int(s,(int *)&zeroval); /* expo>>32 is always 0 */
                    130:        write_int(s,(int *)&expo);
                    131:        write_int(s,&len);
                    132:        write_intarray(s,(int *)&z[2],len);
                    133: #elif defined(LONG_IS_64BIT)
                    134:        t = expo>>32; write_int(s,(int *)&t);
                    135:        t = expo&0xffffffff; write_int(s,&t);
                    136:        t = 2*len; write_int(s,&t);
                    137:        write_longarray(s,&z[2],len);
                    138: #endif
                    139: #else
                    140:        error("savebf : PARI is not combined");
                    141: #endif
                    142: }
1.6       saito     143:
                    144: #if defined(INTERVAL)
1.10      noro      145: void saveitv(FILE *s,Itv p)
1.6       saito     146: {
                    147:        saveobj(s,(Obj)INF(p));
                    148:        saveobj(s,(Obj)SUP(p));
                    149: }
                    150:
1.11    ! kondoh    151: void saveitvd(FILE *s,IntervalDouble p)
1.6       saito     152: {
                    153:        write_double(s,&INF(p));
                    154:        write_double(s,&SUP(p));
                    155: }
                    156: #endif
1.1       noro      157:
1.10      noro      158: void savecplx(FILE *s,C p)
1.1       noro      159: { saveobj(s,(Obj)p->r); saveobj(s,(Obj)p->i); }
                    160:
1.10      noro      161: void savemi(FILE *s,MQ p)
1.1       noro      162: { write_int(s,&CONT(p)); }
                    163:
1.10      noro      164: void savelm(FILE *s,LM p)
1.1       noro      165: {
                    166:        int size;
                    167:
                    168:        size = PL(BDY(p));
                    169:        write_int(s,&size);
                    170:        write_intarray(s,BD(BDY(p)),size);
                    171: }
                    172:
1.10      noro      173: void savegf2n(FILE *s,GF2N p)
1.1       noro      174: {
                    175:        int len;
                    176:
                    177:        len = p->body->w;
                    178:        write_int(s,&len);
                    179:        write_intarray(s,p->body->b,len);
                    180: }
                    181:
1.10      noro      182: void savegfpn(FILE *s,GFPN p)
1.1       noro      183: {
                    184:        int d,i;
                    185:
                    186:        d = p->body->d;
                    187:        write_int(s,&d);
                    188:        for ( i = 0; i <= d; i++ )
                    189:                saveobj(s,(Obj)p->body->c[i]);
                    190: }
1.8       noro      191:
1.10      noro      192: void savegfs(FILE *s,GFS p)
1.8       noro      193: { write_int(s,&CONT(p)); }
1.9       noro      194:
1.10      noro      195: void savegfsn(FILE *s,GFSN p)
1.9       noro      196: {
                    197:        int d;
                    198:
                    199:        d = DEG(BDY(p));
                    200:        write_int(s,&d);
                    201:        write_intarray(s,COEF(BDY(p)),d+1);
                    202: }
1.1       noro      203:
1.10      noro      204: void savep(FILE *s,P p)
1.1       noro      205: {
                    206:        DCP dc;
                    207:        int n;
                    208:        int vindex;
                    209:
                    210:        if ( NUM(p) )
                    211:                savenum(s,(Num)p);
                    212:        else {
                    213:                vindex = save_convv(VR(p));
                    214:                for ( dc = DC(p), n = 0; dc; dc = NEXT(dc), n++ );
                    215:                write_short(s,&OID(p));
                    216:                write_int(s,&vindex);
                    217:                if ( vindex < 0 )
                    218:                        savepfins(s,VR(p));
                    219:                write_int(s,&n);
                    220:                for ( dc = DC(p); dc; dc = NEXT(dc) ) {
                    221:                        saveobj(s,(Obj)DEG(dc)); saveobj(s,(Obj)COEF(dc));
                    222:                }
                    223:        }
                    224: }
                    225:
                    226: /* save a pure function (v->attr = V_PF) */
                    227: /* |name(str)|argc(int)|darray(intarray)|args| */
                    228:
1.10      noro      229: void savepfins(FILE *s,V v)
1.1       noro      230: {
                    231:        PFINS ins;
                    232:        PF pf;
                    233:        int argc,i;
                    234:        int *darray;
                    235:
                    236:        ins = (PFINS)v->priv;
                    237:        pf = ins->pf;
                    238:        savestr(s,NAME(pf));
                    239:        argc = pf->argc;
                    240:        write_int(s,&argc);
                    241:        darray = (int *)ALLOCA(argc*sizeof(int));
                    242:        for ( i = 0; i < argc; i++ )
                    243:                darray[i] = ins->ad[i].d;
                    244:        write_intarray(s,darray,argc);
                    245:        for ( i = 0; i < argc; i++ )
                    246:                saveobj(s,ins->ad[i].arg);
                    247: }
                    248:
1.10      noro      249: void saver(FILE *s,R p)
1.1       noro      250: {
                    251:        if ( !RAT(p) )
                    252:                savep(s,(P)p);
                    253:        else {
                    254:                write_short(s,&OID(p)); write_short(s,&p->reduced);
                    255:                savep(s,NM(p)); savep(s,DN(p));
                    256:        }
                    257: }
                    258:
1.10      noro      259: void savelist(FILE *s,LIST p)
1.1       noro      260: {
                    261:        int n;
                    262:        NODE tn;
                    263:
                    264:        for ( tn = BDY(p), n = 0; tn; tn = NEXT(tn), n++ );
                    265:        write_short(s,&OID(p)); write_int(s,&n);
                    266:        for ( tn = BDY(p); tn; tn = NEXT(tn) )
                    267:                saveobj(s,(Obj)BDY(tn));
                    268: }
                    269:
1.10      noro      270: void savevect(FILE *s,VECT p)
1.1       noro      271: {
                    272:        int i,len = 2;
                    273:
                    274:        write_short(s,&OID(p)); write_int(s,&p->len);
                    275:        for ( i = 0, len = p->len; i < len; i++ )
                    276:                saveobj(s,(Obj)BDY(p)[i]);
                    277: }
                    278:
1.10      noro      279: void savemat(FILE *s,MAT p)
1.1       noro      280: {
                    281:        int i,j,row,col;
                    282:        int len = 3;
                    283:
                    284:        write_short(s,&OID(p)); write_int(s,&p->row); write_int(s,&p->col);
                    285:        for ( i = 0, row = p->row, col = p->col; i < row; i++ )
                    286:                for ( j = 0; j < col; j++ )
                    287:                        saveobj(s,(Obj)BDY(p)[i][j]);
                    288: }
                    289:
1.10      noro      290: void savestring(FILE *s,STRING p)
1.1       noro      291: {
                    292:        write_short(s,&OID(p)); savestr(s,BDY(p));
                    293: }
                    294:
1.10      noro      295: void savestr(FILE *s,char *p)
1.1       noro      296: {
                    297:        int size;
                    298:
                    299:        size = p ? strlen(p) : 0; write_int(s,&size);
                    300:        if ( size )
                    301:                write_string(s,p,size);
                    302: }
                    303:
1.10      noro      304: void savedp(FILE *s,DP p)
1.1       noro      305: {
                    306:        int nv,n,i,sugar;
                    307:        MP m,t;
                    308:
                    309:        nv = p->nv; m = p->body; sugar = p->sugar;
                    310:        for ( n = 0, t = m; t; t = NEXT(t), n++ );
                    311:        write_short(s,&OID(p)); write_int(s,&nv); write_int(s,&sugar); write_int(s,&n);
                    312:        for ( i = 0, t = m; i < n; i++, t = NEXT(t) ) {
                    313:                saveobj(s,(Obj)t->c);
                    314:                write_int(s,&t->dl->td); write_intarray(s,&(t->dl->d[0]),nv);
                    315:        }
                    316: }
                    317:
1.10      noro      318: void saveui(FILE *s,USINT u)
1.1       noro      319: {
                    320:        write_short(s,&OID(u)); write_int(s,&BDY(u));
                    321: }
                    322:
1.10      noro      323: void saveerror(FILE *s,ERR e)
1.1       noro      324: {
                    325:        write_short(s,&OID(e)); saveobj(s,(Obj)BDY(e));
                    326: }
                    327:
1.10      noro      328: void savegfmmat(FILE *s,GFMMAT p)
1.1       noro      329: {
1.10      noro      330:        int i,row,col;
1.1       noro      331:
                    332:        write_short(s,&OID(p)); write_int(s,&p->row); write_int(s,&p->col);
                    333:        for ( i = 0, row = p->row, col = p->col; i < row; i++ )
                    334:                write_intarray(s,p->body[i],col);
1.4       noro      335: }
                    336:
1.10      noro      337: void savebytearray(FILE *s,BYTEARRAY p)
1.4       noro      338: {
                    339:        write_short(s,&OID(p)); write_int(s,&p->len);
                    340:        write_string(s,p->body,p->len);
1.1       noro      341: }

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