| version 1.1, 1999/10/08 02:12:01 |
version 1.3, 2001/05/04 01:06:26 |
|
|
| |
/* $OpenXM: OpenXM/src/kan96xx/Kan/switch.c,v 1.2 2000/01/16 07:55:41 takayama Exp $ */ |
| #include <stdio.h> |
#include <stdio.h> |
| #include "datatype.h" |
#include "datatype.h" |
| #include "extern2.h" |
#include "extern2.h" |
| Line 32 void print_switch_status(void) { |
|
| Line 33 void print_switch_status(void) { |
|
| or (report) (function) switch_function value(string) |
or (report) (function) switch_function value(string) |
| */ |
*/ |
| char *switch_function(fun,arg) |
char *switch_function(fun,arg) |
| char *fun; |
char *fun; |
| char *arg; |
char *arg; |
| { |
{ |
| char *ans = NULL; |
char *ans = NULL; |
| if (strcmp(fun,"mmLarger")==0) { |
if (strcmp(fun,"mmLarger")==0) { |
| Line 99 void switch_init(void) { |
|
| Line 100 void switch_init(void) { |
|
| */ |
*/ |
| |
|
| void switch_mmLarger(arg) |
void switch_mmLarger(arg) |
| char *arg; |
char *arg; |
| { |
{ |
| if (strcmp(arg,"matrix") == 0) { |
if (strcmp(arg,"matrix") == 0) { |
| mmLarger = mmLarger_matrix; |
mmLarger = mmLarger_matrix; |
|
|
| */ |
*/ |
| |
|
| void switch_mpMult(arg) |
void switch_mpMult(arg) |
| char *arg; |
char *arg; |
| { |
{ |
| if (strcmp(arg,"poly") == 0) { |
if (strcmp(arg,"poly") == 0) { |
| mpMult = mpMult_poly; |
mpMult = mpMult_poly; |
|
|
| */ |
*/ |
| |
|
| void switch_monomialAdd(arg) |
void switch_monomialAdd(arg) |
| char *arg; |
char *arg; |
| { |
{ |
| if (strcmp(arg,"poly") == 0) { |
if (strcmp(arg,"poly") == 0) { |
| monomialAdd = monomialAdd_poly; |
monomialAdd = monomialAdd_poly; |
|
|
| } |
} |
| |
|
| void switch_red(arg) |
void switch_red(arg) |
| char *arg; |
char *arg; |
| { |
{ |
| if (strcmp(arg,"standard") == 0) { |
if (strcmp(arg,"standard") == 0) { |
| switch_sp("standard"); |
switch_sp("standard"); |
|
|
| } |
} |
| |
|
| void switch_groebner(arg) |
void switch_groebner(arg) |
| char *arg; |
char *arg; |
| { |
{ |
| if (strcmp(arg,"standard") == 0) { |
if (strcmp(arg,"standard") == 0) { |
| groebner = groebner_gen; |
groebner = groebner_gen; |
|
|
| |
|
| /* called from switch_init */ |
/* called from switch_init */ |
| void switch_isSameComponent(arg) |
void switch_isSameComponent(arg) |
| char *arg; |
char *arg; |
| { |
{ |
| if (strcmp(arg,"x") == 0) { |
if (strcmp(arg,"x") == 0) { |
| isSameComponent = isSameComponent_x; |
isSameComponent = isSameComponent_x; |
|
|
| } |
} |
| |
|
| void switch_sp(arg) |
void switch_sp(arg) |
| char *arg; |
char *arg; |
| { |
{ |
| if (strcmp(arg,"standard") == 0) { |
if (strcmp(arg,"standard") == 0) { |
| sp = sp_gen; |
sp = sp_gen; |
|
|
| |
|
| |
|
| void switch_grade(arg) |
void switch_grade(arg) |
| char *arg; |
char *arg; |
| { |
{ |
| if (strcmp(arg,"standard")==0) { |
if (strcmp(arg,"standard")==0) { |
| grade = grade_gen; |
grade = grade_gen; |