version 1.21, 2000/03/14 05:10:37 |
version 1.22, 2000/03/14 05:38:49 |
|
|
/** |
/** |
* $OpenXM: OpenXM/src/OpenMath/OM2OXM.java,v 1.20 2000/03/14 05:02:34 tam Exp $ |
* $OpenXM: OpenXM/src/OpenMath/OM2OXM.java,v 1.21 2000/03/14 05:10:37 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 83 final class OM2OXM implements Runnable{ |
|
Line 83 final class OM2OXM implements Runnable{ |
|
case CMO.INT32: |
case CMO.INT32: |
return "<OMI>"+ ((CMO_INT32)cmo).intValue() +"</OMI>"; |
return "<OMI>"+ ((CMO_INT32)cmo).intValue() +"</OMI>"; |
|
|
// case CMO.CMO_DATUM: |
// case CMO.DATUM: |
|
|
case CMO.STRING: |
case CMO.STRING: |
return "<OMSTR>"+ ((CMO_STRING)cmo).getString() +"</OMSTR>"; |
return "<OMSTR>"+ ((CMO_STRING)cmo).getString() +"</OMSTR>"; |
Line 100 final class OM2OXM implements Runnable{ |
|
Line 100 final class OM2OXM implements Runnable{ |
|
ret += "</OMA>"; |
ret += "</OMA>"; |
return ret; |
return ret; |
|
|
case CMO.CMO_MONOMIAL32: |
case 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()); |
for(int i=0;i<((CMO_MONOMIAL32)cmo).getDegree().length;i++){ |
for(int i=0;i<((CMO_MONOMIAL32)cmo).getDegree().length;i++){ |
Line 109 final class OM2OXM implements Runnable{ |
|
Line 109 final class OM2OXM implements Runnable{ |
|
ret += "</OMA>"; |
ret += "</OMA>"; |
return ret; |
return ret; |
|
|
case CMO.CMO_ZZ: |
case CMO.ZZ: |
return "<OMI>"+ ((CMO_ZZ)cmo).BigIntValue() +"</OMI>"; |
return "<OMI>"+ ((CMO_ZZ)cmo).BigIntValue() +"</OMI>"; |
|
|
case CMO.CMO_QQ: |
case CMO.QQ: |
return "<OMA><OMS name=\"over\" cd=\"basic\"/>"+ |
return "<OMA><OMS name=\"over\" cd=\"basic\"/>"+ |
CMO2OM_sub(((CMO_QQ)cmo).getBunshi())+ |
CMO2OM_sub(((CMO_QQ)cmo).getBunshi())+ |
CMO2OM_sub(((CMO_QQ)cmo).getBunbo())+ |
CMO2OM_sub(((CMO_QQ)cmo).getBunbo())+ |
"</OMA>"; |
"</OMA>"; |
|
|
case CMO.CMO_ZERO: |
case CMO.ZERO: |
return "<OMI> 0 </OMI>"; |
return "<OMI> 0 </OMI>"; |
|
|
// case CMO.CMO_DMS: |
// case CMO.DMS: |
|
|
case CMO.CMO_DMS_GENERIC: |
case CMO.DMS_GENERIC: |
ret += "<OMA><OMS name=\"PolyRing\" cd=\"poly\"/>"; |
ret += "<OMA><OMS name=\"PolyRing\" cd=\"poly\"/>"; |
ret += "<OMI>2</OMI></OMA>"; |
ret += "<OMI>2</OMI></OMA>"; |
return ret; |
return ret; |
|
|
case CMO.CMO_RECURSIVE_POLYNOMIAL: |
case CMO.RECURSIVE_POLYNOMIAL: |
return CMO2OM_CoefficientOfRecursivePOLYNOMIAL(((CMO_RECURSIVE_POLYNOMIAL)cmo).getPolynomial(),((CMO_RECURSIVE_POLYNOMIAL)cmo).getVariables()); |
return CMO2OM_CoefficientOfRecursivePOLYNOMIAL(((CMO_RECURSIVE_POLYNOMIAL)cmo).getPolynomial(),((CMO_RECURSIVE_POLYNOMIAL)cmo).getVariables()); |
|
|
case CMO.CMO_DISTRIBUTED_POLYNOMIAL: |
case 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()); |
ret += "<OMA><OMS name=\"SDMP\" cd=\"poly\"/>"; |
ret += "<OMA><OMS name=\"SDMP\" cd=\"poly\"/>"; |
Line 144 final class OM2OXM implements Runnable{ |
|
Line 144 final class OM2OXM implements Runnable{ |
|
|
|
//case CMO.POLYNOMIAL_IN_ONE_VARIABLE: |
//case CMO.POLYNOMIAL_IN_ONE_VARIABLE: |
|
|
case CMO.CMO_BIGFLOAT: |
case 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()); |
ret += "<OMA><OMS name=\"power\" cd=\"basic\"/>"; |
ret += "<OMA><OMS name=\"power\" cd=\"basic\"/>"; |
Line 153 final class OM2OXM implements Runnable{ |
|
Line 153 final class OM2OXM implements Runnable{ |
|
ret += "</OMA></OMA>"; |
ret += "</OMA></OMA>"; |
return ret; |
return ret; |
|
|
case CMO.CMO_INDETERMINATE: |
case CMO.INDETERMINATE: |
return "<OMV name=\""+ ((CMO_INDETERMINATE)cmo).getString() +"\"/>"; |
return "<OMV name=\""+ ((CMO_INDETERMINATE)cmo).getString() +"\"/>"; |
|
|
case CMO.CMO_TREE: |
case 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().getElements().length;i++){ |
for(int i=0;i<((CMO_TREE)cmo).getLeaves().getElements().length;i++){ |