OpenXM/src/asir-contrib/testing/noro/ndbf.rr - diff

Return to ndbf.rr CVS log

Up to [local] / OpenXM / src / asir-contrib / testing / noro

version 1.16, 2010/07/12 07:01:04

version 1.18, 2011/01/16 08:46:10

Line 1

/* $OpenXM: OpenXM/src/asir-contrib/testing/noro/ndbf.rr,v 1.15 2010/06/19 08:32:37 noro Exp $ */

/* $OpenXM: OpenXM/src/asir-contrib/testing/noro/ndbf.rr,v 1.17 2010/07/12 07:20:03 noro Exp $ */

/* requires 'primdec' */

#define TMP_H hhhhhhhh

Line 299 def ann(F)

{

if ( member(s,vars(F)) )

error("ann : the variable 's' is reserved.");

if ( type(Vord=getopt(vord)) == -1 ) Vord = 0;

F = ptozp(F);

V = vars(F);

if ( Vord ) {

Param = setminus(V,Vord);

V = Vord;

}

N = length(V);

D = newvect(N);

if ( type(Wt=getopt(weight)) == -1 )

Line 1419 def bf_strat(F)

Line 1424 def bf_strat(F)

if ( type(Heu=getopt(heuristic)) == -1 ) Heu = 0;

if ( type(Vord=getopt(vord)) == -1 || type(Vord) != 4 ) Vord = 0;

if ( type(Wt=getopt(weight)) == -1 ) Wt = 0;

if ( type(ElimIdeal=getopt(elimideal)) == -1 ) ElimIdeal = 0;

L = in_ww(F|weight=Wt,heuristic=Heu,vord=Vord);

T1 = time();

print(["in_ww",(T1[0]+T1[1])-(T0[0]+T0[1])]);

Line 1457 def bf_strat(F)

Line 1463 def bf_strat(F)

}

L2 = bf_strat_stage2(L);

if ( ElimIdeal ) return L2;

S = bf_strat_stage3(L2);

R = [];

for ( T = S; T != []; T = cdr(T) ) {