OpenXM/src/asir-contrib/packages/src/noro_pd.rr - diff

Return to noro_pd.rr CVS log

Up to [local] / OpenXM / src / asir-contrib / packages / src

version 1.8, 2018/12/24 06:33:41

version 1.9, 2020/11/16 00:07:35

Line 1

/* $OpenXM: OpenXM/src/asir-contrib/packages/src/noro_pd.rr,v 1.7 2018/06/08 07:26:55 noro Exp $ */

/* $OpenXM: OpenXM/src/asir-contrib/packages/src/noro_pd.rr,v 1.8 2018/12/24 06:33:41 noro Exp $ */

import("gr")$

module noro_pd$

static GBF4,GBTrace,GBCheck,Chrem,Procs,IntGB,UsualInt,ContAlg,Competitive$

Line 222 def syci_dec(B,V)

if ( type(Lexdec=getopt(lexdec)) == -1 ) Lexdec = 0;

if ( type(Time=getopt(time)) == -1 ) Time = 0;

if ( type(Iso=getopt(iso)) == -1 ) Iso = 0;

if ( type(IsoOnly=getopt(isoonly)) == -1 ) IsoOnly = 0;

if ( type(Ass=getopt(ass)) == -1 ) Ass = 0;

if ( type(Colon=getopt(colon)) == -1 ) Colon = 0;

if ( type(Para=getopt(para)) == -1 ) Para = 0;

Line 331 ACCUM_TIME(Tint,RTint)

Line 332 ACCUM_TIME(Tint,RTint)

}

QL = append(QL,[IntQ]);

if ( gen_gb_comp(IntQ,G,Mod) ) break;

if ( IsoOnly ) return RL;

}

T0 = time();

if ( Iso != 3 && !Ass )