Annotation of OpenXM_contrib2/asir2000/engine/RU.c, Revision 1.5
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.
47: *
1.5 ! noro 48: * $OpenXM: OpenXM_contrib2/asir2000/engine/RU.c,v 1.4 2002/07/26 00:33:02 noro Exp $
1.2 noro 49: */
1.1 noro 50: #include "ca.h"
51:
52: int qcoefr(r)
53: Obj r;
54: {
1.5 ! noro 55: if ( !r )
! 56: return 1;
! 57: else
! 58: switch ( OID(r) ) {
! 59: case O_N:
! 60: return RATN(r)?1:0; break;
! 61: case O_P:
! 62: return qcoefp(r); break;
! 63: default:
! 64: return qcoefp((Obj)NM((R)r))&&qcoefp((Obj)DN((R)r)); break;
! 65: }
1.1 noro 66: }
67:
68: int qcoefp(p)
69: Obj p;
70: {
1.5 ! noro 71: DCP dc;
1.1 noro 72:
1.5 ! noro 73: if ( !p )
! 74: return 1;
! 75: else
! 76: switch ( OID(p) ) {
! 77: case O_N:
! 78: return RATN(p)?1:0; break;
! 79: default:
! 80: for ( dc = DC((P)p); dc; dc = NEXT(dc) )
! 81: if ( !qcoefp((Obj)COEF(dc)) )
! 82: return 0;
! 83: return 1; break;
! 84: }
1.1 noro 85: }
86:
87: void reductr(vl,p,r)
88: VL vl;
89: Obj p,*r;
90: {
1.5 ! noro 91: P t,s,u,cnm,cdn,pnm,pdn;
! 92: R a;
1.1 noro 93:
1.5 ! noro 94: if ( !p )
! 95: *r = 0;
! 96: else if ( OID(p) <= O_P )
! 97: *r = p;
! 98: else if ( ((R)p)->reduced )
! 99: *r = p;
! 100: else if ( NUM(DN((R)p)) )
! 101: divsp(vl,NM((R)p),DN((R)p),(P *)r);
! 102: else if ( qcoefp((Obj)NM((R)p)) && qcoefp((Obj)DN((R)p)) ) {
! 103: ptozp(NM((R)p),1,(Q *)&cnm,&pnm); ptozp(DN((R)p),1,(Q *)&cdn,&pdn);
! 104: ezgcdpz(vl,pnm,pdn,&t);
! 105: divsp(vl,NM((R)p),t,&u); divsp(vl,DN((R)p),t,&s);
! 106: if ( NUM(s) )
! 107: divsp(vl,u,s,(P *)r);
! 108: else {
! 109: divsp(vl,u,cdn,&pnm); divsp(vl,s,cdn,&pdn);
! 110: if ( headsgn(pdn) < 0 ) {
! 111: chsgnp(pnm,&t); pnm = t;
! 112: chsgnp(pdn,&t); pdn = t;
! 113: }
! 114: MKRAT(pnm,pdn,1,a); *r = (Obj)a;
! 115: }
! 116: } else {
! 117: MKRAT(NM((R)p),DN((R)p),1,a); *r = (Obj)a;
! 118: }
1.1 noro 119: }
120:
121: void pderivr(vl,a,v,b)
122: VL vl;
123: V v;
124: Obj a,*b;
125: {
1.5 ! noro 126: P t,s,u;
! 127: R r;
1.1 noro 128:
1.5 ! noro 129: if ( !a )
! 130: *b = 0;
! 131: else if ( OID(a) <= O_P )
! 132: diffp(vl,(P)a,v,(P *)b);
! 133: else {
! 134: diffp(vl,NM((R)a),v,&t); mulp(vl,t,DN((R)a),&s);
! 135: diffp(vl,DN((R)a),v,&t); mulp(vl,t,NM((R)a),&u);
! 136: subp(vl,s,u,&t);
! 137: if ( t ) {
! 138: mulp(vl,DN((R)a),DN((R)a),&u); MKRAT(t,u,0,r); *b = (Obj)r;
! 139: } else
! 140: *b = 0;
! 141: }
1.1 noro 142: }
143:
144: void clctvr(vl,p,nvl)
145: VL vl,*nvl;
146: Obj p;
147: {
1.5 ! noro 148: VL vl1,vl2;
1.1 noro 149:
1.5 ! noro 150: if ( !p )
! 151: *nvl = 0;
! 152: else if ( OID(p) <= O_P )
! 153: clctv(vl,(P)p,nvl);
! 154: else {
! 155: clctv(vl,NM((R)p),&vl1); clctv(vl,DN((R)p),&vl2); mergev(vl,vl1,vl2,nvl);
! 156: }
1.1 noro 157: }
FreeBSD-CVSweb <freebsd-cvsweb@FreeBSD.org>