version 1.15, 2004/06/15 16:14:50 |
version 1.17, 2004/08/18 00:17:02 |
|
|
* 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.14 2004/05/14 06:02:54 noro Exp $ |
* $OpenXM: OpenXM_contrib2/asir2000/parse/arith.c,v 1.16 2004/06/27 03:15:57 noro Exp $ |
*/ |
*/ |
#include "ca.h" |
#include "ca.h" |
#include "parse.h" |
#include "parse.h" |
|
|
notdef(vl,a,b,r); |
notdef(vl,a,b,r); |
} |
} |
|
|
|
int allow_laurent; |
|
|
void arf_pwr(vl,a,e,r) |
void arf_pwr(vl,a,e,r) |
VL vl; |
VL vl; |
Obj a,e,*r; |
Obj a,e,*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 ) { |
if ( OID(a) == O_MAT ) |
if ( OID(a) == O_MAT ) |
|
|
*r = (pointer)ONE; |
*r = (pointer)ONE; |
} else if ( (OID(e) <= O_N) && INT(e) ) { |
} 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); |
if ( allow_laurent ) |
(*(afunc[O_R].pwr))(vl,t,e,r); |
(*(afunc[O_P].pwr))(vl,a,e,r); |
|
else { |
|
MKRAT((P)a,(P)ONE,1,t); |
|
(*(afunc[O_R].pwr))(vl,t,e,r); |
|
} |
} else |
} else |
(*(afunc[OID(a)].pwr))(vl,a,e,r); |
(*(afunc[OID(a)].pwr))(vl,a,e,r); |
|
} else if ( (OID(e) <= O_N) && RATN(e) ) { |
|
if ( (OID(a) == O_P) && allow_laurent ) |
|
(*(afunc[O_P].pwr))(vl,a,e,r); |
|
else if ( OID(a) <= O_R ) |
|
mkpow(vl,a,e,r); |
|
else |
|
notdef(vl,a,e,r); |
} else if ( OID(a) <= O_R ) |
} else if ( OID(a) <= O_R ) |
mkpow(vl,a,e,r); |
mkpow(vl,a,e,r); |
else |
else |