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

Return to new_pd.rr CVS log

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

version 1.9, 2014/09/05 11:55:19

version 1.10, 2014/09/19 00:48:50

Line 1

/* $OpenXM: OpenXM/src/asir-contrib/testing/noro/new_pd.rr,v 1.8 2011/11/01 00:35:56 noro Exp $ */

/* $OpenXM: OpenXM/src/asir-contrib/testing/noro/new_pd.rr,v 1.9 2014/09/05 11:55:19 ohara Exp $ */

import("gr")$

module noro_pd$

static GBCheck,F4,EProcs,Procs,SatHomo,GBRat,SuccSat,RepColon$

Line 211 def extract_qd(QD,V,Ind)

def syc_dec(B,V)

{

if ( type(SI=getopt(si)) == -1 ) SI = 2;

SIFList=[find_ssi0, find_ssi1,find_ssi2];

SIFList=[noro_pd.find_ssi0, noro_pd.find_ssi1, noro_pd.find_ssi2];

if ( SI<0 || SI>2 ) error("sycb_dec : si should be 0,1,2");

SIF = SIFList[SI];

Line 512 def call_prime_dec(G,V,Indep,Lexdec,Mod)

def extract_qj(Q,V,QL,Rad,Mod,SI,Colon,Level)

{

SIFList=[find_ssi0, find_ssi1,find_ssi2];

SIFList=[noro_pd.find_ssi0, noro_pd.find_ssi1, noro_pd.find_ssi2];

SIF = SIFList[SI];

G = QL[0]; P = QL[1]; PV = QL[2];

if ( Q != [1] ) {

Line 531 def syca_dec(B,V)

{

T00 = time();

if ( type(SI=getopt(si)) == -1 ) SI = 2;

SIFList=[find_si0, find_si1,find_si2]; SIF = SIFList[SI];

SIFList=[noro_pd.find_si0, noro_pd.find_si1, noro_pd.find_si2];

SIF = SIFList[SI];

if ( !SIF ) error("syca_dec : si should be 0,1,2");

if ( type(Mod=getopt(mod)) == -1 ) Mod = 0;

Line 617 def syc0_dec(B,V)

Line 618 def syc0_dec(B,V)

{

T00 = time();

if ( type(SI=getopt(si)) == -1 ) SI = 1;

SIFList=[find_si0, find_si1,find_si2,find_ssi0,find_ssi1,find_ssi2]; SIF = SIFList[SI];

SIFList=[noro_pd.find_si0, noro_pd.find_si1, noro_pd.find_si2, noro_pd.find_ssi0, noro_pd.find_ssi1, noro_pd.find_ssi2];

SIF = SIFList[SI];

if ( !SIF ) error("syc0_dec : si should be 0,1,2");

if ( type(Mod=getopt(mod)) == -1 ) Mod = 0;

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