version 1.2, 2000/01/16 07:55:41 |
version 1.3, 2001/05/04 01:06:26 |
|
|
/* $OpenXM$ */ |
/* $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 33 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 100 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; |