version 1.1, 2018/09/19 05:45:08 |
version 1.3, 2019/08/28 23:27:34 |
|
|
* 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: OpenXM_contrib2/asir2018/io/bload.c,v 1.2 2019/03/03 05:21:17 noro Exp $ |
*/ |
*/ |
#include "ca.h" |
#include "ca.h" |
#include "parse.h" |
#include "parse.h" |
Line 57 void loadnbp(FILE *s,NBP *p); |
|
Line 57 void loadnbp(FILE *s,NBP *p); |
|
|
|
void (*loadf[])() = { 0, loadnum, loadp, loadr, loadlist, loadvect, loadmat, |
void (*loadf[])() = { 0, loadnum, loadp, loadr, loadlist, loadvect, loadmat, |
loadstring, 0, loaddp, loadui, loaderror,0,0,0,loadgfmmat, |
loadstring, 0, loaddp, loadui, loaderror,0,0,0,loadgfmmat, |
loadbytearray, 0, 0, 0, 0, 0, 0, 0, 0, loadnbp }; |
loadbytearray, 0, 0, 0, 0, 0, 0, 0, 0, loadnbp, loaddpm }; |
|
|
#if defined(INTERVAL) |
#if defined(INTERVAL) |
void loaditv(); |
void loaditv(); |
Line 216 void loadlm(FILE *s,LM *p) |
|
Line 216 void loadlm(FILE *s,LM *p) |
|
b = (int *)MALLOC(size*sizeof(int)); |
b = (int *)MALLOC(size*sizeof(int)); |
read_intarray(s,b,size); |
read_intarray(s,b,size); |
mpz_init(z); |
mpz_init(z); |
mpz_import(z,len,-1,sizeof(int),0,0,b); |
mpz_import(z,size,-1,sizeof(int),0,0,b); |
MKLM(z,*p); |
MKLM(z,*p); |
} |
} |
|
|
Line 437 void loaddp(FILE *s,DP *p) |
|
Line 437 void loaddp(FILE *s,DP *p) |
|
read_int(s,&dl->td); read_intarray(s,&(dl->d[0]),nv); |
read_int(s,&dl->td); read_intarray(s,&(dl->d[0]),nv); |
} |
} |
NEXT(m) = 0; MKDP(nv,m0,dp); dp->sugar = sugar; *p = dp; |
NEXT(m) = 0; MKDP(nv,m0,dp); dp->sugar = sugar; *p = dp; |
|
} |
|
|
|
void loaddpm(FILE *s,DPM *p) |
|
{ |
|
int nv,n,i,sugar; |
|
DPM dp; |
|
DMM m,m0; |
|
DL dl; |
|
|
|
read_int(s,&nv); read_int(s,&sugar); read_int(s,&n); |
|
for ( i = 0, m0 = 0; i < n; i++ ) { |
|
NEXTDMM(m0,m); |
|
loadobj(s,(Obj *)&(m->c)); |
|
read_int(s,&m->pos); |
|
NEWDL(dl,nv); m->dl = dl; |
|
read_int(s,&dl->td); read_intarray(s,&(dl->d[0]),nv); |
|
} |
|
NEXT(m) = 0; MKDPM(nv,m0,dp); dp->sugar = sugar; *p = dp; |
} |
} |
|
|
void loadui(FILE *s,USINT *u) |
void loadui(FILE *s,USINT *u) |