[BACK]Return to switch.c CVS log [TXT][DIR] Up to [local] / OpenXM / src / kan96xx / Kan

Diff for /OpenXM/src/kan96xx/Kan/switch.c between version 1.2 and 1.4

version 1.2, 2000/01/16 07:55:41 version 1.4, 2003/07/17 09:10:54
Line 1 
Line 1 
 /* $OpenXM$ */  /* $OpenXM: OpenXM/src/kan96xx/Kan/switch.c,v 1.3 2001/05/04 01:06:26 takayama Exp $ */
 #include <stdio.h>  #include <stdio.h>
 #include "datatype.h"  #include "datatype.h"
 #include "extern2.h"  #include "extern2.h"
Line 20  void print_switch_status(void) {
Line 20  void print_switch_status(void) {
   printf("mmLarger [matrix,lexicographic,tower]          %s\n",F_mmLarger);    printf("mmLarger [matrix,lexicographic,tower]          %s\n",F_mmLarger);
   printf("mpMult   [poly,diff,difference]                %s\n",F_mpMult);    printf("mpMult   [poly,diff,difference]                %s\n",F_mpMult);
   printf("monomialAdd [poly]                             %s\n",F_monomialAdd);    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("                                               %s\n",F_red);
   printf("isSameComponent [x,xd]                         %s\n",F_isSameComponent);    printf("isSameComponent [x,xd]                         %s\n",F_isSameComponent);
   printf("sp        [standard]                           %s\n",F_sp);    printf("sp        [standard]                           %s\n",F_sp);
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;
Line 119  char *arg;
Line 119  char *arg;
 */  */
   
 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;
Line 139  char *arg;
Line 139  char *arg;
 */  */
   
 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;
Line 148  char *arg;
Line 148  char *arg;
 }  }
   
 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");
Line 202  char *arg;
Line 202  char *arg;
     lcm = lcm_module;      lcm = lcm_module;
     switch_grade("standard");      switch_grade("standard");
     F_red = "module2";      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) {    }else if (strcmp(arg,"debug") == 0) {
     reduction1 = reduction1_gen_debug;      reduction1 = reduction1_gen_debug;
     F_red = "debug";      F_red = "debug";
Line 209  char *arg;
Line 222  char *arg;
 }  }
   
 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;
Line 222  char *arg;
Line 235  char *arg;
   
 /* 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;
Line 234  char *arg;
Line 247  char *arg;
 }  }
   
 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;
Line 244  char *arg;
Line 257  char *arg;
   
   
 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;
Legend:
Removed from v.1.2  
changed lines
  Added in v.1.4
FreeBSD-CVSweb <freebsd-cvsweb@FreeBSD.org>