OpenXM_contrib2/asir2000/builtin/gr.c - diff

Return to gr.c CVS log

Up to [local] / OpenXM_contrib2 / asir2000 / builtin

version 1.65, 2009/02/09 10:21:29

version 1.67, 2011/06/16 08:17:14

Line 45

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

* PERFORMANCE OR NON-PERFORMANCE OF THE SOFTWARE.

* $OpenXM: OpenXM_contrib2/asir2000/builtin/gr.c,v 1.64 2007/09/19 05:56:01 noro Exp $

* $OpenXM: OpenXM_contrib2/asir2000/builtin/gr.c,v 1.66 2010/01/31 03:25:54 noro Exp $

#include "ca.h"

#include "parse.h"

Line 97 int NoGCD = 0;

int GenTrace = 0;

int GenSyz = 0;

int OXCheck = -1;

int OneZeroHomo = 0;

int NoSugar = 0;

static int NoCriB = 0;

Line 1655 void reducebase_dehomo(NODE f,NODE *g)

Line 1656 void reducebase_dehomo(NODE f,NODE *g)

NODE node;

STOQ(r[i],q);

node = mknode(4,0,q,0,0);

node = mknode(4,NULLP,q,NULLP,NULLP);

MKLIST(hist,node);

MKNODE(TraceList,hist,0);

}

Line 2323 void dp_set_flag(Obj name,Obj value)

Line 2324 void dp_set_flag(Obj name,Obj value)

OXCheck = v;

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

GenSyz = v;

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

OneZeroHomo = v;

}

void dp_make_flaglist(LIST *list)

Line 2567 void _dp_nf_z(NODE b,DP g,DP *ps,int full,int multiple

Line 2570 void _dp_nf_z(NODE b,DP g,DP *ps,int full,int multiple

if ( GenTrace ) {

/* u = cr*rp + (-cred)*shift*red */

STOQ((int)BDY(l),cq);

node = mknode(4,cr,cq,0,0);

node = mknode(4,cr,cq,NULLP,NULLP);

mulq(cred,rc,&rcred);

chsgnnum((Num)rcred,(Num *)&mrcred);

muldc(CO,shift,(P)mrcred,(DP *)&ARG2(node));