| version 1.2, 2000/08/21 08:31:28 |
version 1.11, 2011/12/21 19:38:19 |
|
|
| * shall be made on your publication or presentation in any form of the |
* shall be made on your publication or presentation in any form of the |
| * results obtained by use of the SOFTWARE. |
* results obtained by use of the SOFTWARE. |
| * (4) In the event that you modify the SOFTWARE, you shall notify FLL by |
* (4) In the event that you modify the SOFTWARE, you shall notify FLL by |
| * e-mail at risa-admin@flab.fujitsu.co.jp of the detailed specification |
* e-mail at risa-admin@sec.flab.fujitsu.co.jp of the detailed specification |
| * for such modification or the source code of the modified part of the |
* for such modification or the source code of the modified part of the |
| * SOFTWARE. |
* SOFTWARE. |
| * |
* |
|
|
| * 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/engine/pari.c,v 1.1.1.1 1999/12/03 07:39:08 noro Exp $ |
* $OpenXM: OpenXM_contrib2/asir2000/engine/pari.c,v 1.10 2009/09/10 01:51:54 noro Exp $ |
| */ |
*/ |
| #include "ca.h" |
#include "ca.h" |
| #if PARI |
|
| |
#if defined(PARI) |
| #include "base.h" |
#include "base.h" |
| #include <math.h> |
#include <math.h> |
| #include "genpari.h" |
#include "genpari.h" |
| |
|
| #if defined(THINK_C) |
|
| void patori(GEN,Obj *); |
void patori(GEN,Obj *); |
| void patori_i(GEN,N *); |
void patori_i(GEN,N *); |
| void ritopa(Obj,GEN *); |
void ritopa(Obj,GEN *); |
| void ritopa_i(N,int,GEN *); |
void ritopa_i(N,int,GEN *); |
| #else |
|
| void patori(); |
|
| void patori_i(); |
|
| void ritopa(); |
|
| void ritopa_i(); |
|
| #endif |
|
| |
|
| |
// PARI_VERSION(2,2,12) == 131596 |
| |
#if PARI_VERSION_CODE >= 131596 |
| |
#define prec precreal |
| |
#endif |
| extern long prec; |
extern long prec; |
| extern int paristack; |
extern int paristack; |
| |
|
| void risa_pari_init() { |
long get_pariprec() { |
| char buf[BUFSIZ]; |
return prec; |
| int i; |
} |
| |
void set_pariprec(long p) { |
| |
prec = p; |
| |
} |
| |
|
| |
void risa_pari_init() { |
| pari_init(paristack,2); |
pari_init(paristack,2); |
| prec = 4; |
set_pariprec(4); |
| } |
} |
| |
|
| void create_pari_variable(index) |
void create_pari_variable(index) |
|
|
| if ( index > max_varn ) { |
if ( index > max_varn ) { |
| for ( i = max_varn+1; i <= index; i++ ) { |
for ( i = max_varn+1; i <= index; i++ ) { |
| sprintf(name,"x%d",i); |
sprintf(name,"x%d",i); |
| |
#if (PARI_VERSION_CODE < 131594) |
| fetch_named_var(name,0); |
fetch_named_var(name,0); |
| |
#else |
| |
fetch_named_var(name); |
| |
#endif |
| } |
} |
| max_varn = index; |
max_varn = index; |
| } |
} |
|
|
| return lg(a); |
return lg(a); |
| } |
} |
| |
|
| |
void gpui_ri(Obj a, Obj e, Obj *c) |
| |
{ |
| |
GEN pa,pe,z; |
| |
long ltop,lbot; |
| |
|
| |
ltop = avma; ritopa(a,&pa); ritopa(e,&pe); lbot = avma; |
| |
z = gerepile(ltop,lbot,gpui(pa,pe,get_pariprec())); |
| |
patori(z,c); cgiv(z); |
| |
} |
| |
|
| void ritopa(a,rp) |
void ritopa(a,rp) |
| Obj a; |
Obj a; |
| GEN *rp; |
GEN *rp; |
| { |
{ |
| long ltop; |
long ltop; |
| GEN pnm,z,w; |
GEN pnm,z,w,u; |
| DCP dc; |
DCP dc; |
| int i,j,l,row,col; |
int i,j,l,row,col; |
| VL vl; |
VL vl; |
|
|
| *rp = pnm; |
*rp = pnm; |
| else { |
else { |
| *rp = z = cgetg(3,4); z[1] = (long)pnm; |
*rp = z = cgetg(3,4); z[1] = (long)pnm; |
| ritopa_i(DN((Q)a),1,(GEN *)&z[2]); |
ritopa_i(DN((Q)a),1,&u); z[2] = u; |
| } |
} |
| break; |
break; |
| case N_R: |
case N_R: |
|
|
| *rp = gcopy((GEN)BDY(((BF)a))); break; |
*rp = gcopy((GEN)BDY(((BF)a))); break; |
| case N_C: |
case N_C: |
| z = cgetg(3,6); |
z = cgetg(3,6); |
| ritopa((Obj)((C)a)->r,(GEN *)&z[1]); ritopa((Obj)((C)a)->i,(GEN *)&z[2]); |
ritopa((Obj)((C)a)->r,&u); z[1] = u; |
| |
ritopa((Obj)((C)a)->i,&u); z[2] = u; |
| *rp = z; |
*rp = z; |
| break; |
break; |
| default: |
default: |
|
|
| setlgef(z,l+3); |
setlgef(z,l+3); |
| for ( i = l+2; i >= 2; i-- ) |
for ( i = l+2; i >= 2; i-- ) |
| z[i] = (long)gzero; |
z[i] = (long)gzero; |
| for ( dc = DC((P)a); dc; dc = NEXT(dc) ) |
for ( dc = DC((P)a); dc; dc = NEXT(dc) ) { |
| ritopa((Obj)COEF(dc),(GEN *)&z[QTOS(DEG(dc))+2]); |
ritopa((Obj)COEF(dc),&u); z[QTOS(DEG(dc))+2] = u; |
| |
} |
| break; |
break; |
| case O_VECT: |
case O_VECT: |
| l = ((VECT)a)->len; z = cgetg(l+1,17); |
l = ((VECT)a)->len; z = cgetg(l+1,17); |
| for ( i = 0; i < l; i++ ) |
for ( i = 0; i < l; i++ ) { |
| ritopa((Obj)BDY((VECT)a)[i],(GEN *)&z[i+1]); |
ritopa((Obj)BDY((VECT)a)[i],&u); z[i+1] = u; |
| |
} |
| *rp = z; |
*rp = z; |
| break; |
break; |
| case O_MAT: |
case O_MAT: |
| row = ((MAT)a)->row; col = ((MAT)a)->col; z = cgetg(col+1,19); |
row = ((MAT)a)->row; col = ((MAT)a)->col; z = cgetg(col+1,19); |
| for ( j = 0; j < col; j++ ) { |
for ( j = 0; j < col; j++ ) { |
| w = cgetg(row+1,18); |
w = cgetg(row+1,18); |
| for ( i = 0; i < row; i++ ) |
for ( i = 0; i < row; i++ ) { |
| ritopa((Obj)BDY((MAT)a)[i][j],(GEN *)&w[i+1]); |
ritopa((Obj)BDY((MAT)a)[i][j],&u); w[i+1] = u; |
| |
} |
| z[j+1] = (long)w; |
z[j+1] = (long)w; |
| } |
} |
| *rp = z; |
*rp = z; |
|
|
| } |
} |
| } |
} |
| |
|
| #if defined(LONG_IS_32BIT) |
#if SIZEOF_LONG == 4 |
| void ritopa_i(a,s,rp) |
void ritopa_i(a,s,rp) |
| N a; |
N a; |
| int s; |
int s; |
|
|
| for ( j = 0, b = (unsigned int *)BD(z); j < l; j++ ) |
for ( j = 0, b = (unsigned int *)BD(z); j < l; j++ ) |
| b[l-j-1] = ((unsigned int *)g)[j+2]; |
b[l-j-1] = ((unsigned int *)g)[j+2]; |
| } |
} |
| #endif |
|
| |
|
| #if defined(LONG_IS_64BIT) |
#elif SIZEOF_LONG == 8 |
| void ritopa_i(a,s,rp) |
void ritopa_i(a,s,rp) |
| N a; |
N a; |
| int s; |
int s; |