version 1.2, 2000/08/21 08:31:24 |
version 1.6, 2001/05/02 09:03:53 |
|
|
* 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/E.c,v 1.1.1.1 1999/12/03 07:39:07 noro Exp $ |
* $OpenXM: OpenXM_contrib2/asir2000/engine/E.c,v 1.5 2001/04/20 03:10:36 noro Exp $ |
*/ |
*/ |
#include "ca.h" |
#include "ca.h" |
|
|
|
|
} |
} |
} |
} |
|
|
|
/* |
|
extract d-homogeneous part with respect to vl - {v} |
|
*/ |
|
|
|
void exthpc_generic(vl,p,d,v,pr) |
|
VL vl; |
|
P p; |
|
int d; |
|
V v; |
|
P *pr; |
|
{ |
|
P w,x,t,t1,a,xd; |
|
V v0; |
|
DCP dc; |
|
|
|
if ( d < 0 || !p ) |
|
*pr = 0; |
|
else if ( NUM(p) ) |
|
if ( d == 0 ) |
|
*pr = p; |
|
else |
|
*pr = 0; |
|
else if ( v == VR(p) ) |
|
exthpc(vl,v,p,d,pr); |
|
else { |
|
v0 = VR(p); |
|
for ( MKV(v0,x), dc = DC(p), w = 0; dc; dc = NEXT(dc) ) { |
|
exthpc_generic(vl,COEF(dc),d-QTOS(DEG(dc)),v,&t); |
|
pwrp(vl,x,DEG(dc),&xd); |
|
mulp(vl,xd,t,&t1); addp(vl,w,t1,&a); w = a; |
|
} |
|
*pr = w; |
|
} |
|
} |
|
|
void exthp(vl,p,d,pr) |
void exthp(vl,p,d,pr) |
VL vl; |
VL vl; |
P p; |
P p; |
|
|
V v; |
V v; |
P p; |
P p; |
{ |
{ |
int m; |
int m,t; |
DCP dc; |
DCP dc; |
|
|
if ( !p || NUM(p) ) |
if ( !p || NUM(p) ) |
|
|
else if ( v == VR(p) ) |
else if ( v == VR(p) ) |
return ( deg(v,p) ); |
return ( deg(v,p) ); |
else { |
else { |
for ( dc = DC(p), m = 0; dc; dc = NEXT(dc) ) |
for ( dc = DC(p), m = 0; dc; dc = NEXT(dc) ) { |
m = MAX(m,getdeg(v,COEF(dc))); |
t = getdeg(v,COEF(dc)); |
|
m = MAX(m,t); |
|
} |
return ( m ); |
return ( m ); |
} |
} |
} |
} |
|
|
V v; |
V v; |
P f; |
P f; |
{ |
{ |
int m; |
int m,t; |
DCP dc; |
DCP dc; |
|
|
if ( !f ) |
if ( !f ) |
|
|
else if ( v != VR(f) ) |
else if ( v != VR(f) ) |
return homdeg(f); |
return homdeg(f); |
else { |
else { |
for ( dc = DC(f), m = 0; dc; dc = NEXT(dc) ) |
for ( dc = DC(f), m = 0; dc; dc = NEXT(dc) ) { |
m = MAX(m,homdeg(COEF(dc))); |
t = homdeg(COEF(dc)); |
|
m = MAX(m,t); |
|
} |
return ( m ); |
return ( m ); |
} |
} |
} |
} |
|
|
int homdeg(f) |
int homdeg(f) |
P f; |
P f; |
{ |
{ |
int m; |
int m,t; |
DCP dc; |
DCP dc; |
|
|
if ( !f ) |
if ( !f ) |
|
|
else if ( NUM(f) ) |
else if ( NUM(f) ) |
return( 0 ); |
return( 0 ); |
else { |
else { |
for ( dc = DC(f), m = 0; dc; dc = NEXT(dc) ) |
for ( dc = DC(f), m = 0; dc; dc = NEXT(dc) ) { |
m = MAX(m,QTOS(DEG(dc))+homdeg(COEF(dc))); |
t = QTOS(DEG(dc))+homdeg(COEF(dc)); |
|
m = MAX(m,t); |
|
} |
return ( m ); |
return ( m ); |
} |
} |
} |
} |
|
|
int minhomdeg(f) |
int minhomdeg(f) |
P f; |
P f; |
{ |
{ |
int m; |
int m,t; |
DCP dc; |
DCP dc; |
|
|
if ( !f ) |
if ( !f ) |
|
|
else if ( NUM(f) ) |
else if ( NUM(f) ) |
return( 0 ); |
return( 0 ); |
else { |
else { |
for ( dc = DC(f), m = homdeg(f); dc; dc = NEXT(dc) ) |
for ( dc = DC(f), m = homdeg(f); dc; dc = NEXT(dc) ) { |
m = MIN(m,QTOS(DEG(dc))+minhomdeg(COEF(dc))); |
t = QTOS(DEG(dc))+minhomdeg(COEF(dc)); |
|
m = MIN(m,t); |
|
} |
return ( m ); |
return ( m ); |
} |
} |
} |
} |