Annotation of OpenXM_contrib2/asir2000/engine/RU.c, Revision 1.3
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.3 ! noro 48: * $OpenXM: OpenXM_contrib2/asir2000/engine/RU.c,v 1.2 2000/08/21 08:31:27 noro Exp $
1.2 noro 49: */
1.1 noro 50: #include "ca.h"
51:
52: int qcoefr(r)
53: Obj r;
54: {
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: }
66: }
67:
68: int qcoefp(p)
69: Obj p;
70: {
71: DCP dc;
72:
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: }
85: }
86:
87: void reductr(vl,p,r)
88: VL vl;
89: Obj p,*r;
90: {
91: P t,s,u,cnm,cdn,pnm,pdn;
92: R a;
93:
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: MKRAT(pnm,pdn,1,a); *r = (Obj)a;
111: }
112: } else {
113: MKRAT(NM((R)p),DN((R)p),1,a); *r = (Obj)a;
114: }
115: }
116:
117: void pderivr(vl,a,v,b)
118: VL vl;
119: V v;
120: Obj a,*b;
121: {
122: P t,s,u;
123: R r;
124:
125: if ( !a )
126: *b = 0;
127: else if ( OID(a) <= O_P )
128: diffp(vl,(P)a,v,(P *)b);
129: else {
130: diffp(vl,NM((R)a),v,&t); mulp(vl,t,DN((R)a),&s);
131: diffp(vl,DN((R)a),v,&t); mulp(vl,t,NM((R)a),&u);
132: subp(vl,s,u,&t);
133: if ( t ) {
134: mulp(vl,DN((R)a),DN((R)a),&u); MKRAT(t,u,0,r); *b = (Obj)r;
135: } else
136: *b = 0;
137: }
138: }
139:
140: void clctvr(vl,p,nvl)
141: VL vl,*nvl;
142: Obj p;
143: {
144: VL vl1,vl2;
145:
146: if ( !p )
147: *nvl = 0;
148: else if ( OID(p) <= O_P )
149: clctv(vl,(P)p,nvl);
150: else {
151: clctv(vl,NM((R)p),&vl1); clctv(vl,DN((R)p),&vl2); mergev(vl,vl1,vl2,nvl);
152: }
153: }
FreeBSD-CVSweb <freebsd-cvsweb@FreeBSD.org>