OpenXM/src/kan96xx/Kan/switch.c - diff

Return to switch.c CVS log

Up to [local] / OpenXM / src / kan96xx / Kan

version 1.3, 2001/05/04 01:06:26

version 1.5, 2005/07/03 11:08:54

Line 1

/* $OpenXM: OpenXM/src/kan96xx/Kan/switch.c,v 1.2 2000/01/16 07:55:41 takayama Exp $ */

/* $OpenXM: OpenXM/src/kan96xx/Kan/switch.c,v 1.4 2003/07/17 09:10:54 takayama Exp $ */

#include <stdio.h>

#include <string.h>

#include "datatype.h"

#include "extern2.h"

#include "gradedset.h"

Line 20 void print_switch_status(void) {

Line 21 void print_switch_status(void) {

printf("mmLarger [matrix,lexicographic,tower] %s\n",F_mmLarger);

printf("mpMult [poly,diff,difference] %s\n",F_mpMult);

printf("monomialAdd [poly] %s\n",F_monomialAdd);

printf("red@ [standard,module1,module2,module1rev]\n");

printf("red@ [standard,module1,module2,module1rev,ecart]\n");

printf(" %s\n",F_red);

printf("isSameComponent [x,xd] %s\n",F_isSameComponent);

printf("sp [standard] %s\n",F_sp);

Line 202 void switch_red(arg)

Line 203 void switch_red(arg)

lcm = lcm_module;

switch_grade("standard");

F_red = "module2";

}else if (strcmp(arg,"ecart") == 0) {

switch_sp("standard");

isReducible = isReducible_module;

reduction1 = reduction1_gen;

reduction = reduction_ecart;

isCdrReducible = isCdrReducible_gen;

reduction1Cdr = reduction1Cdr_gen;

reductionCdr = reductionCdr_gen;

lcm = lcm_module;

switch_grade("module1");

F_red = "ecart";

}else if (strcmp(arg,"debug") == 0) {

reduction1 = reduction1_gen_debug;

F_red = "debug";