OpenXM/src/OpenMath/OM2OXM.java - diff

Return to OM2OXM.java CVS log

Up to [local] / OpenXM / src / OpenMath

version 1.3, 1999/11/12 07:46:37

version 1.6, 1999/11/14 22:57:44

Line 1

/**

* $OpenXM: OpenXM/src/OpenMath/OM2OXM.java,v 1.2 1999/11/04 19:36:41 tam Exp $

* $OpenXM: OpenXM/src/OpenMath/OM2OXM.java,v 1.5 1999/11/12 11:36:09 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

* expr -> stag [expr | immediate]* etag

Line 117 final class OM2OXM implements Runnable{

case CMO.CMO_DMS_GENERIC:

ret += "<OMA><OMS name=\"PolyRing\" cd=\"poly\"/>";

ret += "<OMI>2</OMI>";

ret += "<OMI>2</OMI></OMA>";

return ret;

case CMO.CMO_DISTRIBUTED_POLYNOMIAL:

Line 223 final class OM2OXM implements Runnable{

while((ch = is.read()) != '<' && ch != -1){

debug("debug: "+ch);

if(isSpace(ch)){

String spaces = String.valueOf(ch);

String spaces = String.valueOf((char)ch);

while(isSpace(ch = is.read())){

spaces += (char)ch;

Line 304 final class OM2OXM implements Runnable{

if(name.equals("DMP")){

ret = parse_symb_DMP();

debug("poly: "+ret);

}else{

ret = new CMO_TREE(name,"Basic",parse_objects());

}

Line 423 final class OM2OXM implements Runnable{

Line 424 final class OM2OXM implements Runnable{

array[i] = ((CMO_ZZ)degree.elementAt(i+1)).intValue();

}

//debug("monom: "+ new CMO_MONOMIAL32(array,(CMO_ZZ)degree.elementAt(0)));

return new CMO_MONOMIAL32(array,(CMO_ZZ)degree.elementAt(0));

}