[BACK]Return to ctrl.c CVS log [TXT][DIR] Up to [local] / OpenXM_contrib2 / asir2000 / builtin

Diff for /OpenXM_contrib2/asir2000/builtin/ctrl.c between version 1.48 and 1.60

version 1.48, 2015/08/14 13:51:54 version 1.60, 2018/09/13 19:20:47
Line 45 
Line 45 
  * DEVELOPER SHALL HAVE NO LIABILITY IN CONNECTION WITH THE USE,   * DEVELOPER SHALL HAVE NO LIABILITY IN CONNECTION WITH THE USE,
  * PERFORMANCE OR NON-PERFORMANCE OF THE SOFTWARE.   * PERFORMANCE OR NON-PERFORMANCE OF THE SOFTWARE.
  *   *
  * $OpenXM: OpenXM_contrib2/asir2000/builtin/ctrl.c,v 1.47 2015/08/06 10:01:51 fujimoto Exp $   * $OpenXM: OpenXM_contrib2/asir2000/builtin/ctrl.c,v 1.59 2018/03/29 01:32:50 noro Exp $
 */  */
 #include "ca.h"  #include "ca.h"
 #include "parse.h"  #include "parse.h"
Line 63 
Line 63 
 #endif  #endif
   
 static struct {  static struct {
         char *type;    char *type;
         char *kernel;    char *kernel;
         char *name;    char *name;
         char *arch;    char *arch;
         char *release;    char *release;
         char *full;    char *full;
         char *lang;    char *lang;
   #if defined(VISUAL)
     int ver_major;
     int ver_minor;
     int ver_build;
   #endif
 } sysinfo;  } sysinfo;
   
 void Pctrl();  void Pctrl();
Line 77  void Psysinfo(LIST *rp);
Line 82  void Psysinfo(LIST *rp);
 static void get_sysinfo();  static void get_sysinfo();
   
 struct ftab ctrl_tab[] = {  struct ftab ctrl_tab[] = {
         {"ctrl",Pctrl,-2},    {"ctrl",Pctrl,-2},
         {"asir_env",Pctrl,-2},    {"asir_env",Pctrl,-2},
         {"sysinfo", Psysinfo, 0},    {"sysinfo", Psysinfo, 0},
         {0,0,0},    {0,0,0},
 };  };
   
 extern int error_in_timer;  extern int error_in_timer;
Line 112  extern int diag_period;
Line 117  extern int diag_period;
 extern int weight_check;  extern int weight_check;
 extern char **ASIRLOADPATH;  extern char **ASIRLOADPATH;
 extern int ASIRLOADPATH_LEN;  extern int ASIRLOADPATH_LEN;
   extern int No_ox_reset;
   extern int plot_by_bigfloat;
   extern int debug_plot;
   
 static struct {  static struct keyval {
         char *key;    char *key;
         int *val;    int *val;
     char *desc;
 } ctrls[] = {  } ctrls[] = {
         {"error_in_timer",&error_in_timer},    {"StrassenSize",&StrassenSize,"Determines the parameter in Strassen-Winograd matrix multiplication algorithm."},
         {"cputime",&prtime},    {"allow_laurent",&allow_laurent,"If set to 1, negative exponents are allowed in monomials."},
         {"nez",&nez},    {"asir_setenv",&asir_setenv,"Not used."},
         {"echo",&echoback},    {"bigfloat",&bigfloat,"If set to 1, MPFR bigfloat functions are used for floating point evaluation." },
         {"bigfloat",&bigfloat},    {"cputime",&prtime,"If set to 1, the CPU time at the toplevel is shown." },
         {"evalef",&evalef},    {"debug_up",&debug_up,"If set to 1, some debug messages are printed in special functions for univariate polynomials."},
         {"verbose",&Verbose},    {"debug_window",&do_server_in_X11,"If set to 1, an input window for debugging remote server are shown."},
         {"quiet_mode",&do_quiet},    {"diag_period",&diag_period,"Determines the frequency of the intermediate inter-reduction in nd_gr()."},
         {"hideargs",&hideargs},    {"double_output",&double_output,"If set to 1, floating point numbers are printed in the style ddd.ddd."},
         {"hex",&hex_output},    {"echo",&echoback,"If set to 1, characters read by the input function are printed."  },
         {"debug_window",&do_server_in_X11},    {"error_in_timer",&error_in_timer,"If set to 1, the usual error handler is executed when the timer is expired."},
         {"message",&do_message},    {"evalef",&evalef,"If set to 1, elementary functions are evaluated immediately."},
         {"terse",&do_terse},    {"f4_nocheck",&f4_nocheck,"If set to 1, correctness check of the result of modular computation are omitted in nd_f4()."},
         {"debug_up",&debug_up},    {"fake_ox_reset",&No_ox_reset,"Determines the treatment of OX reset request for a server which does not implement the reset protocol."},
         {"no_prompt",&do_quiet},    {"fortran_output",&fortran_output,"If set to 1, ** is used instead of ^ for representing the power."},
         {"asir_setenv",&asir_setenv},    {"hex",&hex_output,"If set to 1, integers are printed by the hexadecimal notation."},
         {"ox_batch",&ox_batch},    {"hideargs",&hideargs,"If set to 1, the arguments of a function call are not printed."},
         {"ox_check",&ox_check},    {"message",&do_message,"If set to 1, an opening message is printed in ox_asir and ox_plot."},
         {"ox_exchange_mathcap",&ox_exchange_mathcap},    {"new_hensel",&use_new_hensel,"If set to 1, a function hensel2() is used in the univariate factorizer over Q."},
         {"f4_nocheck",&f4_nocheck},    {"nez",&nez,"If set to 1, a new version of EZGCD implementation is used."  },
         {"StrassenSize",&StrassenSize},    {"no_debug_on_error",&no_debug_on_error,"If set to 1, the debug mode is not used."},
         {"outputstyle",&outputstyle},    {"no_ox_reset",&No_ox_reset,"Determines the treatment of OX reset request for a server which does not implement the reset protocol."},
         {"double_output",&double_output},    {"no_prompt",&do_quiet,"If set to 1, prompts are not shown."},
         {"real_digit",&real_digit},    {"outputstyle",&outputstyle,"If set to 1, structured data such as matrices and vectors are printed in the style mat(...), vect(...)."},
         {"real_binary",&real_binary},    {"ox_batch",&ox_batch,"If set to 1, the OX stream are not flushed at each sending of an OX data."},
         {"fortran_output",&fortran_output},    {"ox_check",&ox_check,"If set to 1, mathcap check is done for OpenXM date communication."},
         {"new_hensel",&use_new_hensel},    {"ox_exchange_mathcap",&ox_exchange_mathcap,"If set to 1, mathcaps are exchanged."},
         {"print_quote",&print_quote},    {"print_quote",&print_quote,"Determines the behavior of the printed form of a quote."},
         {"show_crossref",&show_crossref},    {"quiet_mode",&do_quiet,"If set to 1, the copyright notices are not printed at the beginning of the session."},
         {"allow_laurent",&allow_laurent},    {"real_binary",&real_binary,"If set to 1, a floating point number is printed by the binary notation."},
         {"show_orderspec",&show_orderspec},    {"real_digit",&real_digit,"Determines the number of digits to appear after the decimal point."},
         {"no_debug_on_error",&no_debug_on_error},    {"show_crossref",&show_crossref,"If set to 1, cross-references are shown when a program file is loaded."},
         {"diag_period",&diag_period},    {"show_orderspec",&show_orderspec,"If set to 1, the specification of a composite term order is printed upon its creation."},
         {"weight_check",&weight_check},    {"terse",&do_terse,"If set to 1, messages are not printed when user-defined callbacks are executed."},
     {"verbose",&Verbose,"If set to 1, a warning is printed if a function is redefined."},
     {"weight_check",&weight_check,"If set to 1, an overflow check for the given weight vector is done before starting the Groebner basis computation."},
   #if defined(DO_PLOT)
     {"plot_by_bigfloat",&plot_by_bigfloat,"If set to 1, computation is done by using MPFR bigfloat functions in ox_plot."},
     {"debug_plot",&debug_plot,"If set to 1, ox_plot is executed with the message window."},
   #endif
 #if defined(INTERVAL)  #if defined(INTERVAL)
         {"zerorewrite",&zerorewrite},    {"zerorewrite",&zerorewrite,""},
         {"itvplotsize",&Itvplot},    {"itvplotsize",&Itvplot,""},
 #endif  #endif
         {0,0},    {0,0},
 };  };
   
 void Pctrl(arg,rp)  LIST create_control_value(char *keystr,Obj value,char *descstr,int withdesc)
 NODE arg;  
 Q *rp;  
 {  {
         int t,i,n;    STRING key,desc;
         int nm,dv;    NODE nd;
         N num,den;    LIST list;
         Q c;  
         char *key;  
         char buf[BUFSIZ];  
         char *str;  
         STRING s;  
         NODE node,p;  
         LIST list;  
   
         if ( !arg ) {    MKSTR(key,keystr);
                 *rp = 0;    if ( withdesc ) {
                 return;      MKSTR(desc,descstr);
         }      nd = mknode(3,key,value,desc);
         key = BDY((STRING)ARG0(arg));    } else nd = mknode(2,key,value);
         if ( !strcmp(key,"adj") ) {    MKLIST(list,nd);
                 /* special treatment is necessary for "adj" */    return list;
                 if ( argc(arg) == 1 ) {  }
                         Risa_GC_get_adj(&nm,&dv);  
                         UTON(dv,num);  extern Q ox_pari_stream;
                         UTON(nm,den);  extern int ox_pari_stream_initialized;
                 } else {  extern P ox_pari_starting_function;
                         c = (Q)ARG1(arg);  
                         if ( !c )  LIST create_control_values(int withdesc)
                                 error("ctrl : adj : invalid argument");  {
                         num = NM(c);    int n,i;
                         den = !DN(c)?ONEN:DN(c);    NODE top,top1,nd,node,p;
                         dv = BD(num)[0];    LIST list,l;
                         nm = BD(den)[0];    STRING s;
                         Risa_GC_set_adj(nm,dv);    char *descstr;
                 }    Q val,adj;
                 NDTOQ(num,den,1,*rp);    int nm,dv;
                 return;    N num,den;
         } else if ( !strcmp(key,"prompt") ) {  
                 /* special treatment is necessary for "prompt" */    n = sizeof(ctrls)/sizeof(struct keyval)-1;
                 if ( argc(arg) == 1 ) {    top = 0;
                   if ((!do_quiet) && (user_defined_prompt == (Obj)0)) *rp=ONE;    for ( i = n-1; i >= 0; i-- ) {
       STOQ(*(ctrls[i].val),val);
       list = create_control_value(ctrls[i].key,val,ctrls[i].desc,withdesc);
       MKNODE(top1,list,top); top = top1;
     }
   /* adj */
     Risa_GC_get_adj(&nm,&dv); UTON(nm,num); UTON(dv,den); NDTOQ(num,den,1,adj);
     descstr = "Determines the parameter for Boehm's GC.";
     list = create_control_value("adj",adj,descstr,withdesc);
     MKNODE(top1,list,top); top = top1;
   
   /* prompt */
     descstr = "Determines the user-defined prompt.";
     list = create_control_value("prompt",user_defined_prompt,descstr,withdesc);
     MKNODE(top1,list,top); top = top1;
   
   /* loadpath */
     node = 0;
     if( ASIRLOADPATH[0] ) {
       for(i=0; ASIRLOADPATH[i]; i++);
       for(i--,p=NULL; i>=0; i--,p=node) {
         MKSTR(s,ASIRLOADPATH[i]);
         MKNODE(node,s,p);
       }
     }
     MKLIST(l,node);
     descstr = "List of paths in ASIRLOADPATHt.";
     list = create_control_value("loadpath",l,descstr,withdesc);
     MKNODE(top1,list,top); top = top1;
   
   /* oxpari_id */
     if(!ox_pari_stream_initialized) {
       STOQ(-1,val);
     } else val = ox_pari_stream;
     descstr = "Id of ox_pari.";
     list = create_control_value("oxpari_id",val,descstr,withdesc);
     MKNODE(top1,list,top); top = top1;
   
   /* oxpari_start */
     val = (Q)ox_pari_starting_function;
     descstr = "oxpari starting function.";
     list = create_control_value("oxpari_start",val,descstr,withdesc);
     MKNODE(top1,list,top); top = top1;
   
     MKLIST(list,top);
     return list;
   }
   
   void Pctrl(NODE arg,Q *rp)
   {
     int t,i,n,desc=0;
     int nm,dv;
     N num,den;
     Q c;
     char *key;
     char buf[BUFSIZ];
     char *str;
     STRING s;
     NODE node,p,opt;
     LIST list;
     P f;
     Obj value;
   
     if ( !arg ) {
       if ( current_option ) {
         for ( opt = current_option; opt; opt = NEXT(opt) ) {
           p = BDY((LIST)BDY(opt));
           key = BDY((STRING)BDY(p));
           value = (Obj)BDY(NEXT(p));
           if ( !strcmp(key,"desc") && value ) {
             desc = value ? 1 : 0;
             break;
           }
         }
       }
       *rp = create_control_values(desc);
       return;
     }
     key = BDY((STRING)ARG0(arg));
     if ( !strcmp(key,"adj") ) {
       /* special treatment is necessary for "adj" */
       if ( argc(arg) == 1 ) {
         Risa_GC_get_adj(&nm,&dv);
         UTON(dv,num);
         UTON(nm,den);
       } else {
         c = (Q)ARG1(arg);
         if ( !c )
           error("ctrl : adj : invalid argument");
         num = NM(c);
         den = !DN(c)?ONEN:DN(c);
         dv = BD(num)[0];
         nm = BD(den)[0];
         Risa_GC_set_adj(nm,dv);
       }
       NDTOQ(num,den,1,*rp);
       return;
     } else if ( !strcmp(key,"prompt") ) {
       /* special treatment is necessary for "prompt" */
       if ( argc(arg) == 1 ) {
         if ((!do_quiet) && (user_defined_prompt == (Obj)0)) *rp=ONE;
           else *rp = (Q)user_defined_prompt;            else *rp = (Q)user_defined_prompt;
                 } else {      } else {
                         c = (Q)ARG1(arg);        c = (Q)ARG1(arg);
                         if ( !c ) {        if ( !c ) {
                                 do_quiet = 1;          do_quiet = 1;
                                 user_defined_prompt = 0;          user_defined_prompt = 0;
                                 *rp = 0;          *rp = 0;
                         } else if ( OID(c) == O_STR ) {        } else if ( OID(c) == O_STR ) {
                                 str = BDY((STRING)c);          str = BDY((STRING)c);
                                 for ( i = 0, n = 0; str[i]; i++ )           for ( i = 0, n = 0; str[i]; i++ )
                                         if ( str[i] == '%' )            if ( str[i] == '%' )
                                                 n++;              n++;
                                 if ( n >= 2 )          if ( n >= 2 )
                                         error("ctrl : prompt : invalid prompt specification");            error("ctrl : prompt : invalid prompt specification");
                                 do_quiet = 1;          do_quiet = 1;
                                 user_defined_prompt = (Obj)c;          user_defined_prompt = (Obj)c;
                                 *rp = c;          *rp = c;
                         } else if ( NUM(c) && RATN(c) && UNIQ(c) ) {        } else if ( NUM(c) && RATN(c) && UNIQ(c) ) {
                                 user_defined_prompt = 0;          user_defined_prompt = 0;
                                 do_quiet = 0;          do_quiet = 0;
                         } else {        } else {
                                 error("ctrl : prompt : invalid argument");          error("ctrl : prompt : invalid argument");
                         }        }
                 }      }
                 return;      return;
         } else if ( !strcmp(key,"loadpath") ) {    } else if ( !strcmp(key,"loadpath") ) {
                 *rp = 0;      *rp = 0;
                 if ( argc(arg) == 1 ) {      if ( argc(arg) == 1 ) {
                         if( ASIRLOADPATH[0] ) {        if( ASIRLOADPATH[0] ) {
                                 for(i=0; ASIRLOADPATH[i]; i++) {          for(i=0; ASIRLOADPATH[i]; i++) {
                                 }          }
                                 for(i--,p=NULL; i>=0; i--,p=node) {          for(i--,p=NULL; i>=0; i--,p=node) {
                                         MKSTR(s,ASIRLOADPATH[i]);            MKSTR(s,ASIRLOADPATH[i]);
                                         MKNODE(node,s,p);            MKNODE(node,s,p);
                                 }          }
                                 MKLIST(list,node);          MKLIST(list,node);
                                 *rp = list;          *rp = (Q)list;
                         }        }
                 } else {      } else {
                         list = (LIST)ARG1(arg);        list = (LIST)ARG1(arg);
                         if ( OID(list) == O_LIST ) {        if ( OID(list) == O_LIST ) {
                                 for(i=0,p=BDY(list); p; i++,p=NEXT(p)) {          for(i=0,p=BDY(list); p; i++,p=NEXT(p)) {
                                         s=(STRING)BDY(p);            s=(STRING)BDY(p);
                                         if(!s || OID(s)!=O_STR) {            if(!s || OID(s)!=O_STR) {
                                                 error("ctrl : loadpath : invalid argument");              error("ctrl : loadpath : invalid argument");
                                         }            }
                                 }          }
                                 if(i >= ASIRLOADPATH_LEN) {          if(i >= ASIRLOADPATH_LEN) {
                                         ASIRLOADPATH_LEN = i+1;            ASIRLOADPATH_LEN = i+1;
                                         ASIRLOADPATH = (char **)MALLOC(sizeof(char *)*ASIRLOADPATH_LEN);            ASIRLOADPATH = (char **)MALLOC(sizeof(char *)*ASIRLOADPATH_LEN);
                                 }          }
                                 for(i=0,p=BDY(list); p; i++,p=NEXT(p)) {          for(i=0,p=BDY(list); p; i++,p=NEXT(p)) {
                                         ASIRLOADPATH[i] = (char *)BDY((STRING)BDY(p));            ASIRLOADPATH[i] = (char *)BDY((STRING)BDY(p));
                                 }          }
                                 ASIRLOADPATH[i] = NULL;          ASIRLOADPATH[i] = NULL;
                         }else {        }else {
                                 error("ctrl : loadpath : invalid argument");          error("ctrl : loadpath : invalid argument");
                         }        }
                 }      }
                 return;      return;
         }    } else if ( !strcmp(key,"oxpari_id") ) {
         for ( i = 0; ctrls[i].key; i++ )          if ( argc(arg) == 1 ) {
                 if ( !strcmp(key,ctrls[i].key) )              if(!ox_pari_stream_initialized) {
                         break;                  t=-1;
         if ( ctrls[i].key ) {                  STOQ(t,*rp);
                 if ( argc(arg) == 1 )              }else {
                         t = *ctrls[i].val;                  *rp = ox_pari_stream;
                 else              }
                         *ctrls[i].val = t = QTOS((Q)ARG1(arg));          }else {
                 STOQ(t,*rp);        c = (Q)ARG1(arg);
         } else {        if ( !c || ( NUM(c) && INT(c) && SGN(c)>0 ) ) {
                 sprintf(buf,"ctrl : %s : no such key",key);          ox_pari_stream_initialized = 1;
                 error(buf);          ox_pari_stream = c;
         }          *rp = c;
         }else {
                   t=-1;
                   STOQ(t,*rp);
         }
       }
       return;
     } else if ( !strcmp(key,"oxpari_start") ) {
           if ( argc(arg) == 1 ) {
         *rp = (Q)ox_pari_starting_function;
       } else {
         f = (P)ARG1(arg);
         if ( !f || OID(f) == O_P) {
           ox_pari_starting_function = f;
           *rp = (Q)f;
         }else {
           *rp = 0;
         }
       }
       return;
     }
     for ( i = 0; ctrls[i].key; i++ )
       if ( !strcmp(key,ctrls[i].key) )
         break;
     if ( ctrls[i].key ) {
       if ( argc(arg) == 1 )
         t = *ctrls[i].val;
       else
         *ctrls[i].val = t = QTOS((Q)ARG1(arg));
       STOQ(t,*rp);
     } else {
       sprintf(buf,"ctrl : %s : no such key",key);
       error(buf);
     }
 }  }
   
 void Psysinfo(LIST *rp)  void Psysinfo(LIST *rp)
Line 384  static char *osnameNT(int major, int minor)
Line 523  static char *osnameNT(int major, int minor)
         return "Windows8";          return "Windows8";
     }else if (major == 6 && minor == 3) {      }else if (major == 6 && minor == 3) {
         return "Windows8.1";          return "Windows8.1";
       }else if (major == 10 && minor == 0) {
           return "Windows10";
     }      }
     return "unknown";      return "unknown";
 }  }
Line 412  static char *get_lang()
Line 553  static char *get_lang()
     return "en"; // English      return "en"; // English
 }  }
   
   void get_version_win8(int *major,int *minor,int *build)
   {
       char *res;
       char fname[4096]; /* fullpath of kernel32.dll (_MAX_PATH==260)*/
       char cmd[4096];
       int size;
       char *version_string;
       struct LANGANDCODEPAGE {
           WORD language;
           WORD codepage;
       }* lang;
       sprintf(fname,"%s\\system32\\kernel32.dll", getenv("SYSTEMROOT"));
       size=GetFileVersionInfoSize(fname,0);
       res = (char *)MALLOC(size+1);
       if(GetFileVersionInfo(fname,0,size+1,res)) {
           VerQueryValue(res,"\\VarFileInfo\\Translation",&lang,&size);
           sprintf(cmd,"\\StringFileInfo\\%04x%04x\\ProductVersion",lang->language,lang->codepage);
           VerQueryValue(res,cmd,&version_string,&size);
           sscanf(version_string,"%d.%d.%d.",major,minor,build);
       }
   }
   
 static void get_sysinfo()  static void get_sysinfo()
 {  {
     int arch64 = 0;      int arch64 = 0;
Line 427  static void get_sysinfo()
Line 590  static void get_sysinfo()
   
     v.dwOSVersionInfoSize = sizeof(OSVERSIONINFO);      v.dwOSVersionInfoSize = sizeof(OSVERSIONINFO);
     GetVersionEx(&v);      GetVersionEx(&v);
       /* Windows8 == version 6.2 */
       if (v.dwPlatformId == VER_PLATFORM_WIN32_NT
           && v.dwMajorVersion == 6 && v.dwMinorVersion >= 2) {
           get_version_win8(&v.dwMajorVersion, &v.dwMinorVersion, &v.dwBuildNumber);
       }
       sysinfo.ver_major=v.dwMajorVersion;
       sysinfo.ver_minor=v.dwMinorVersion;
       sysinfo.ver_build=v.dwBuildNumber;
   
     sysinfo.type = "windows";      sysinfo.type = "windows";
     sysinfo.arch = "x86";      sysinfo.arch = "x86";
Legend:
Removed from v.1.48  
changed lines
  Added in v.1.60
FreeBSD-CVSweb <freebsd-cvsweb@FreeBSD.org>