[BACK]Return to OM2OXM.java CVS log [TXT][DIR] Up to [local] / OpenXM / src / OpenMath

Diff for /OpenXM/src/OpenMath/OM2OXM.java between version 1.11 and 1.16

version 1.11, 1999/11/17 08:37:29 version 1.16, 2000/01/20 18:14:32
Line 1 
Line 1 
 /**  /**
  * $OpenXM: OpenXM/src/OpenMath/OM2OXM.java,v 1.10 1999/11/17 07:04:25 tam Exp $   * $OpenXM: OpenXM/src/OpenMath/OM2OXM.java,v 1.15 2000/01/20 13:58:48 tam Exp $
  *   *
  * $B$3$N%/%i%9$G$O0J2<$N(B BNF $B$GI=$5$l$k9=J82r@O$r<BAu$7$F$$$k(B   * $B$3$N%/%i%9$G$O0J2<$N(B BNF $B$GI=$5$l$k9=J82r@O$r<BAu$7$F$$$k(B
  * expr -> stag [expr | immediate]* etag   * expr -> stag [expr | immediate]* etag
Line 39  final class OM2OXM implements Runnable{
Line 39  final class OM2OXM implements Runnable{
   private int token = TT_NULL;    private int token = TT_NULL;
   private boolean lexPushbackFlag = false;    private boolean lexPushbackFlag = false;
   private OpenXM asir; // for debug    private OpenXM asir; // for debug
   private boolean debug = false;    protected boolean debug = false; // for debug message
   
   // Token Type for lexical analyzer    // Token Type for lexical analyzer
   final static int TT_NULL      = 0;    final static int TT_NULL      = 0;
Line 88  final class OM2OXM implements Runnable{
Line 88  final class OM2OXM implements Runnable{
     case CMO.CMO_STRING:      case CMO.CMO_STRING:
       return "<OMSTR>"+ ((CMO_STRING)cmo).getString() +"</OMSTR>";        return "<OMSTR>"+ ((CMO_STRING)cmo).getString() +"</OMSTR>";
   
       // case CMO.CMO_LIST:      case CMO.CMO_LIST:
         ret += "<OMA><OMS name=\"list\" cd=\"basic\"/>";
         {
           CMO ob[] = ((CMO_LIST)cmo).getElements();
   
           for(int i=0;i<ob.length;i++){
             ret += CMO2OM_sub(ob[i]);
           }
         }
         ret += "</OMA>";
         return ret;
   
     case CMO.CMO_MONOMIAL32:      case CMO.CMO_MONOMIAL32:
       ret += "<OMA><OMS name=\"Monom\" cd=\"poly\"/>";        ret += "<OMA><OMS name=\"Monom\" cd=\"poly\"/>";
       ret += CMO2OM_sub(((CMO_MONOMIAL32)cmo).getCoefficient());        ret += CMO2OM_sub(((CMO_MONOMIAL32)cmo).getCoefficient());
Line 118  final class OM2OXM implements Runnable{
Line 128  final class OM2OXM implements Runnable{
       ret += "<OMI>2</OMI></OMA>";        ret += "<OMI>2</OMI></OMA>";
       return ret;        return ret;
   
       case CMO.CMO_RECURSIVE_POLYNOMIAL:
         return CMO2OM_CoefficientOfRecursivePOLYNOMIAL(((CMO_RECURSIVE_POLYNOMIAL)cmo).getPolynomial(),((CMO_RECURSIVE_POLYNOMIAL)cmo).getVariables());
   
     case CMO.CMO_DISTRIBUTED_POLYNOMIAL:      case CMO.CMO_DISTRIBUTED_POLYNOMIAL:
       ret += "<OMA><OMS name=\"DMP\" cd=\"poly\"/>";        ret += "<OMA><OMS name=\"DMP\" cd=\"poly\"/>";
       ret += CMO2OM_sub(((CMO_DISTRIBUTED_POLYNOMIAL)cmo).getRing());        ret += CMO2OM_sub(((CMO_DISTRIBUTED_POLYNOMIAL)cmo).getRing());
Line 129  final class OM2OXM implements Runnable{
Line 142  final class OM2OXM implements Runnable{
       ret += "</OMA></OMA>";        ret += "</OMA></OMA>";
       return ret;        return ret;
   
         //case CMO.CMO_POLYNOMIAL_IN_ONE_VARIABLE:
   
     case CMO.CMO_BIGFLOAT:      case CMO.CMO_BIGFLOAT:
       ret += "<OMA><OMS name=\"times\" cd=\"basic\"/>";        ret += "<OMA><OMS name=\"times\" cd=\"basic\"/>";
       ret += CMO2OM_sub(((CMO_BIGFLOAT)cmo).getSyosubu());        ret += CMO2OM_sub(((CMO_BIGFLOAT)cmo).getSyosubu());
Line 144  final class OM2OXM implements Runnable{
Line 159  final class OM2OXM implements Runnable{
     case CMO.CMO_TREE:      case CMO.CMO_TREE:
       ret += "<OMA><OMS name=\""+ ((CMO_TREE)cmo).getName() +"\" cd=\""+        ret += "<OMA><OMS name=\""+ ((CMO_TREE)cmo).getName() +"\" cd=\""+
         ((CMO_TREE)cmo).getCDName() +"\"/>";          ((CMO_TREE)cmo).getCDName() +"\"/>";
       for(int i=0;i<((CMO_TREE)cmo).getLeaves().getElement().length;i++){        for(int i=0;i<((CMO_TREE)cmo).getLeaves().getElements().length;i++){
         ret += CMO2OM_sub(((CMO_TREE)cmo).getLeaves().getElement()[i]);          ret += CMO2OM_sub(((CMO_TREE)cmo).getLeaves().getElements()[i]);
       }        }
       ret += "</OMA>";        ret += "</OMA>";
       return ret;        return ret;
Line 158  final class OM2OXM implements Runnable{
Line 173  final class OM2OXM implements Runnable{
                                     cmo.toCMOexpression());                                      cmo.toCMOexpression());
   }    }
   
     private static String CMO2OM_CoefficientOfRecursivePOLYNOMIAL(CMO cmo,CMO_LIST variables){
       CMO_POLYNOMIAL_IN_ONE_VARIABLE poly;
       String ret = "",variable;
   
       if(!(cmo instanceof CMO_POLYNOMIAL_IN_ONE_VARIABLE)){
         return CMO2OM_sub(cmo);
       }
   
       poly = (CMO_POLYNOMIAL_IN_ONE_VARIABLE)cmo;
       variable = CMO2OM_sub(variables.getElements()[poly.getVariable()]);
   
      for(int i=0;i<poly.getDegrees().length;i++){
         String mono;
   
         mono = "<OMA><OMS name=\"times\" cd=\"basic\"/>"+
           "<OMA><OMS name=\"power\" cd=\"basic\"/>"+
           variable +"<OMI>"+ poly.getDegrees()[i] +"</OMI></OMA>"+
           CMO2OM_CoefficientOfRecursivePOLYNOMIAL(poly.getCoefficients()[i],
                                                   variables)
           +"</OMA>";
         if(i==0){
           ret = mono;
         }else{
           ret = "<OMA><OMS name=\"plus\" cd=\"basic\"/>"+ ret + mono +"</OMA>";
         }
       }
   
      return ret;
     }
   
   private boolean isSpace(int ch){ // use from lex    private boolean isSpace(int ch){ // use from lex
     return (ch==' ' || ch=='\t' || ch=='\n' || ch=='\r');      return (ch==' ' || ch=='\t' || ch=='\n' || ch=='\r');
   }    }
Line 318  final class OM2OXM implements Runnable{
Line 363  final class OM2OXM implements Runnable{
       if(name.equals("DMP")){        if(name.equals("DMP")){
         ret = parse_symb_DMP();          ret = parse_symb_DMP();
         debug("poly: "+ret);          debug("poly: "+ret);
         }else if(name.equals("list")){
           ret = parse_objects();
       }else{        }else{
         ret = new CMO_TREE(name,"Basic",parse_objects());          ret = new CMO_TREE(name,"Basic",parse_objects());
       }        }
Line 572  final class OM2OXM implements Runnable{
Line 619  final class OM2OXM implements Runnable{
       parse_error("We expect integer.");        parse_error("We expect integer.");
     }      }
   
       debug("ZZ: "+ str);
     return new CMO_ZZ(str);      return new CMO_ZZ(str);
   }    }
   
Line 735  final class OM2OXM implements Runnable{
Line 783  final class OM2OXM implements Runnable{
           asir.send(obj);            asir.send(obj);
           asir.sendSM(new SM(SM.SM_popCMO));            asir.sendSM(new SM(SM.SM_popCMO));
         }catch(NumberFormatException e){          }catch(NumberFormatException e){
             System.err.println(e.getMessage());
           }catch(MathcapViolation e){
           System.err.println(e.getMessage());            System.err.println(e.getMessage());
         }          }
       }        }
Legend:
Removed from v.1.11  
changed lines
  Added in v.1.16
FreeBSD-CVSweb <freebsd-cvsweb@FreeBSD.org>