version 1.8, 2002/08/02 05:34:03 |
version 1.16, 2004/06/27 03:15:57 |
|
|
* 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/parse/arith.c,v 1.7 2001/10/09 01:36:23 noro Exp $ |
* $OpenXM: OpenXM_contrib2/asir2000/parse/arith.c,v 1.15 2004/06/15 16:14:50 ohara Exp $ |
*/ |
*/ |
#include "ca.h" |
#include "ca.h" |
#include "parse.h" |
#include "parse.h" |
Line 84 struct oAFUNC afunc[] = { |
|
Line 84 struct oAFUNC afunc[] = { |
|
/* O_GFMMAT=15 */ {notdef,notdef,notdef,notdef,notdef,notdef,(int(*)())notdef}, |
/* O_GFMMAT=15 */ {notdef,notdef,notdef,notdef,notdef,notdef,(int(*)())notdef}, |
/* O_BYTEARRAY=16 */ {notdef,notdef,notdef,notdef,notdef,notdef,compbytearray}, |
/* O_BYTEARRAY=16 */ {notdef,notdef,notdef,notdef,notdef,notdef,compbytearray}, |
/* O_QUOTE=17 */ {addquote,subquote,mulquote,divquote,pwrquote,chsgnquote,(int(*)())notdef}, |
/* O_QUOTE=17 */ {addquote,subquote,mulquote,divquote,pwrquote,chsgnquote,(int(*)())notdef}, |
|
/* O_OPTLIST=18 */ {notdef,notdef,notdef,notdef,notdef,notdef,(int(*)())notdef}, |
|
/* O_SYMBOL=19 */ {notdef,notdef,notdef,notdef,notdef,notdef,(int(*)())notdef}, |
|
/* O_RANGE=20 */ {notdef,notdef,notdef,notdef,notdef,notdef,(int(*)())notdef}, |
|
/* O_TB=21 */ {notdef,notdef,notdef,notdef,notdef,notdef,(int(*)())notdef}, |
|
/* O_DPV=22 */ {adddv,subdv,muldv,notdef,notdef,chsgndv,compdv}, |
}; |
}; |
|
|
void arf_init() { |
void arf_init() { |
|
|
(*afunc[OID(a)].add)(vl,a,b,r); |
(*afunc[OID(a)].add)(vl,a,b,r); |
else if ( (mid = MAX(OID(a),OID(b))) <= O_R ) |
else if ( (mid = MAX(OID(a),OID(b))) <= O_R ) |
(*afunc[mid].add)(vl,a,b,r); |
(*afunc[mid].add)(vl,a,b,r); |
|
else if ( (mid = MAX(OID(a),OID(b))) == O_DP && MIN(OID(a),OID(b)) <= O_R ) |
|
(*afunc[mid].add)(vl,a,b,r); |
else |
else |
notdef(vl,a,b,r); |
notdef(vl,a,b,r); |
} |
} |
|
|
(*afunc[OID(a)].sub)(vl,a,b,r); |
(*afunc[OID(a)].sub)(vl,a,b,r); |
else if ( (mid = MAX(OID(a),OID(b))) <= O_R ) |
else if ( (mid = MAX(OID(a),OID(b))) <= O_R ) |
(*afunc[mid].sub)(vl,a,b,r); |
(*afunc[mid].sub)(vl,a,b,r); |
|
else if ( (mid = MAX(OID(a),OID(b))) == O_DP && MIN(OID(a),OID(b)) <= O_R ) |
|
(*afunc[mid].sub)(vl,a,b,r); |
else |
else |
notdef(vl,a,b,r); |
notdef(vl,a,b,r); |
} |
} |
Line 138 void arf_mul(vl,a,b,r) |
|
Line 147 void arf_mul(vl,a,b,r) |
|
VL vl; |
VL vl; |
Obj a,b,*r; |
Obj a,b,*r; |
{ |
{ |
int mid; |
int mid,aid,bid; |
|
|
if ( !a || !b ) |
if ( !a && !b ) |
*r = 0; |
*r = 0; |
else if ( OID(a) == OID(b) ) |
else if ( !a || !b ) { |
(*(afunc[OID(a)].mul))(vl,a,b,r); |
if ( !a ) |
else if ( (mid = MAX(OID(a),OID(b))) <= O_R || |
a = b; |
(mid == O_MAT) || (mid == O_VECT) || (mid == O_DP) ) |
/* compute a*0 */ |
|
if ( OID(a) == O_MAT || OID(a) == O_VECT ) |
|
(*(afunc[O_MAT].mul))(vl,a,0,r); |
|
else |
|
*r = 0; |
|
} else if ( (aid = OID(a)) == (bid = OID(b)) ) |
|
(*(afunc[aid].mul))(vl,a,b,r); |
|
else if ( (mid = MAX(aid,bid)) <= O_R ) |
(*afunc[mid].mul)(vl,a,b,r); |
(*afunc[mid].mul)(vl,a,b,r); |
else |
else { |
notdef(vl,a,b,r); |
switch ( aid ) { |
|
case O_N: case O_P: |
|
(*afunc[mid].mul)(vl,a,b,r); |
|
break; |
|
case O_R: |
|
/* rat * something; bid > O_R */ |
|
if ( bid == O_VECT || bid == O_MAT ) |
|
(*afunc[mid].mul)(vl,a,b,r); |
|
else |
|
notdef(vl,a,b,r); |
|
break; |
|
case O_MAT: |
|
if ( bid <= O_R || bid == O_VECT || bid == O_DP ) |
|
(*afunc[O_MAT].mul)(vl,a,b,r); |
|
else |
|
notdef(vl,a,b,r); |
|
break; |
|
case O_VECT: |
|
if ( bid <= O_R || bid == O_DP ) |
|
(*afunc[O_VECT].mul)(vl,a,b,r); |
|
else if ( bid == O_MAT ) |
|
(*afunc[O_MAT].mul)(vl,a,b,r); |
|
else |
|
notdef(vl,a,b,r); |
|
break; |
|
case O_DP: |
|
if ( bid <= O_P ) |
|
(*afunc[O_DP].mul)(vl,a,b,r); |
|
else if ( bid == O_MAT || bid == O_VECT || bid == O_DPV ) |
|
(*afunc[bid].mul)(vl,a,b,r); |
|
else |
|
notdef(vl,a,b,r); |
|
break; |
|
default: |
|
notdef(vl,a,b,r); |
|
break; |
|
} |
|
} |
} |
} |
|
|
void arf_div(vl,a,b,r) |
void arf_div(vl,a,b,r) |
|
|
{ |
{ |
R t; |
R t; |
|
|
if ( !a ) |
if ( !a ) { |
if ( !e ) |
if ( !e ) |
*r = (pointer)ONE; |
*r = (pointer)ONE; |
else |
else if ( RATN(e) && SGN((Q)e)>0 ) |
*r = 0; |
*r = 0; |
else if ( OID(a) == O_QUOTE ) |
else |
|
mkpow(vl,a,e,r); |
|
} else if ( OID(a) == O_QUOTE ) |
(*(afunc[O_QUOTE].pwr))(vl,a,e,r); |
(*(afunc[O_QUOTE].pwr))(vl,a,e,r); |
else if ( !e ) |
else if ( !e ) { |
*r = (pointer)ONE; |
if ( OID(a) == O_MAT ) |
else if ( (OID(e) <= O_N) && INT(e) ) { |
(*(afunc[O_MAT].pwr))(vl,a,e,r); |
|
else |
|
*r = (pointer)ONE; |
|
} else if ( (OID(e) <= O_N) && INT(e) ) { |
if ( (OID(a) == O_P) && (SGN((Q)e) < 0) ) { |
if ( (OID(a) == O_P) && (SGN((Q)e) < 0) ) { |
MKRAT((P)a,(P)ONE,1,t); |
MKRAT((P)a,(P)ONE,1,t); |
(*(afunc[O_R].pwr))(vl,t,e,r); |
(*(afunc[O_R].pwr))(vl,t,e,r); |