version 1.5, 2001/04/19 04:52:41 |
version 1.7, 2001/04/20 02:46:55 |
|
|
* 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/F.c,v 1.4 2000/08/22 05:04:04 noro Exp $ |
* $OpenXM: OpenXM_contrib2/asir2000/engine/F.c,v 1.6 2001/04/20 02:34:21 noro Exp $ |
*/ |
*/ |
#include "ca.h" |
#include "ca.h" |
#include <math.h> |
#include <math.h> |
|
|
} |
} |
} |
} |
|
|
|
/* determine the position of variables which is not allowed to |
|
be set to 0 */ |
for ( i = 0; vn1[i].v; i++ ) { |
for ( i = 0; vn1[i].v; i++ ) { |
x = vn1[i].n; vn1[i].n = 0; |
x = vn1[i].n; vn1[i].n = 0; |
substvp(nvl,LC(p),vn1,&p0); |
substvp(nvl,LC(p),vn1,&p0); |
|
|
*dcp = dc; |
*dcp = dc; |
return; |
return; |
} else { |
} else { |
d = d1; |
d = d1+1; /* XXX : try searching better evaluation */ |
|
found = 0; |
break; |
break; |
} |
} |
} |
} |
} |
} |
|
|
for ( dcr0 = 0, g = p, d = deg(VR(g),g), found = 0; ; ) { |
for ( dcr0 = 0, g = p; ; ) { |
while ( 1 ) { |
while ( 1 ) { |
for ( i = 0, j = 0; vn[i].v; i++ ) |
for ( i = 0, j = 0; vn[i].v; i++ ) |
if ( vn[i].n ) vnt[j++].v = (V)i; |
if ( vn[i].n ) vnt[j++].v = (V)i; |