OpenXM_contrib2/asir2018/builtin/gr.c - diff

Return to gr.c CVS log

Up to [local] / OpenXM_contrib2 / asir2018 / builtin

version 1.5, 2020/10/06 06:31:19

version 1.6, 2020/12/15 07:40:09

Line 45

* DEVELOPER SHALL HAVE NO LIABILITY IN CONNECTION WITH THE USE,

* PERFORMANCE OR NON-PERFORMANCE OF THE SOFTWARE.

* $OpenXM: OpenXM_contrib2/asir2018/builtin/gr.c,v 1.4 2020/02/22 06:23:35 noro Exp $

* $OpenXM: OpenXM_contrib2/asir2018/builtin/gr.c,v 1.5 2020/10/06 06:31:19 noro Exp $

#include "ca.h"

#include "parse.h"

Line 115 static int Max_mag = 0;

static int Max_coef = 0;

char *Demand = 0;

static int PtozpRA = 0;

int ReversePOT = 0;

int doing_f4;

NODE TraceList;

Line 2346 void dp_set_flag(Obj name,Obj value)

Line 2347 void dp_set_flag(Obj name,Obj value)

MaxDeg = v;

else if ( !strcmp(n,"NaiveSchreyer") )

NaiveSchreyer = v;

else if ( !strcmp(n,"ReversePOT") )

ReversePOT = v;

}

void dp_make_flaglist(LIST *list)

Line 2386 void dp_make_flaglist(LIST *list)

Line 2389 void dp_make_flaglist(LIST *list)

STOZ(NoGC,v); MKNODE(n1,v,n); n = n1; MKSTR(name,"NoGC"); MKNODE(n1,name,n); n = n1;

STOZ(NoCriB,v); MKNODE(n1,v,n); n = n1; MKSTR(name,"NoCriB"); MKNODE(n1,name,n); n = n1;

STOZ(NoSugar,v); MKNODE(n1,v,n); n = n1; MKSTR(name,"NoSugar"); MKNODE(n1,name,n); n = n1;

STOZ(ReversePOT,v); MKNODE(n1,v,n); n = n1; MKSTR(name,"ReversePOT"); MKNODE(n1,name,n); n = n1;

if ( Demand )

MKSTR(path,Demand);

else