Return to CMO_ZZ.java CVS log

Up to [local] / OpenXM / src / OpenMath / ORG / openxm / tam

Annotation of OpenXM/src/OpenMath/ORG/openxm/tam/CMO_ZZ.java, Revision 1.2

1.1       tam         1: /**
1.2     ! tam         2:  * $OpenXM: OpenXM/src/OpenMath/ORG/openxm/tam/CMO_ZZ.java,v 1.1 2000/09/12 07:05:07 tam Exp $
1.1       tam         3:  */
                      4: package ORG.openxm.tam;
                      5:
                      6: import java.io.*;
                      7: import java.math.BigInteger;
                      8:
                      9: /**
                     10:  * CMO $B7A<0$N(B ZZ $B7?$rI=$7$^$9(B.
                     11:  */
                     12: final public class CMO_ZZ extends CMO{
                     13:   private BigInteger num;
                     14:
                     15:   /**
                     16:    * num $B$rCM$H$9$k(B ZZ $B$r:n@.$7$^$9(B.
                     17:    */
                     18:   public CMO_ZZ(BigInteger num){
                     19:     this.num = num;
                     20:   }
                     21:
                     22:   public CMO_ZZ(String str) throws NumberFormatException{
                     23:     if(str.startsWith("+")){
                     24:       this.num = new BigInteger(str.substring(1));
                     25:     }else{
                     26:       this.num = new BigInteger(str);
                     27:     }
                     28:   }
                     29:
                     30:   /**
                     31:    * $BCM$r(B int $B7?$GF@$^$9(B.
                     32:    */
                     33:   public int intValue(){
                     34:     return num.intValue();
                     35:   }
                     36:
                     37:   /**
                     38:    * $BCM$r(B BigInteger $B7?$GF@$^$9(B.
                     39:    */
                     40:   public BigInteger BigIntValue(){
                     41:     return num;
                     42:   }
                     43:
                     44:   public int DISCRIMINATOR(){
                     45:     return CMO.ZZ;
                     46:   }
                     47:
                     48:   static private int sign(int a){
                     49:     if(a>0){
                     50:       return 1;
                     51:     }else if(a<0){
                     52:       return -1;
                     53:     }
                     54:     return 0;
                     55:   }
                     56:
1.2     ! tam        57:   public void sendByObject(OpenXMstream os) throws IOException{
1.1       tam        58:     if(this.num.signum()==0){
                     59:       os.writeInt(0);
                     60:     }else{
                     61:       int len = (this.num.abs().bitLength()+31)/32;
                     62:       //System.out.println("sing0: "+this.num.bitLength());
                     63:       //System.out.println("sing1: "+this.num.abs().bitLength());
                     64:
                     65:       os.writeInt(this.num.signum()*len);
                     66:       //System.out.println("sing: "+this.num.signum()*len);
                     67:
                     68:       for(BigInteger a = this.num.abs();a.compareTo(new BigInteger("0"))>0;
                     69:          a = a.divide(new BigInteger("4294967296"))){
                     70:        os.writeInt(a.remainder(new BigInteger("4294967296")).intValue());
                     71:        //System.out.println("remaind: "+a.remainder(new BigInteger("4294967296")).intValue());
                     72:       }
                     73:     }
                     74:   }
                     75:
1.2     ! tam        76:   static protected CMO receive(OpenXMstream is) throws IOException{
1.1       tam        77:     int len;
                     78:     BigInteger a = new BigInteger("0");
                     79:
                     80:     len = is.readInt();
                     81:     for(int i=0;i<Math.abs(len);i++){
                     82:       BigInteger b = new BigInteger(""+is.readInt());
                     83:
                     84:       b = b.add(new BigInteger("4294967296")).remainder(new BigInteger("4294967296"));
                     85:       b = new BigInteger("4294967296").pow(i).multiply(b);
                     86:       a = a.add(b);
                     87:     }
                     88:
                     89:     if(len<0){
                     90:       a = a.negate();
                     91:     }
                     92:
                     93:     return new CMO_ZZ(a);
                     94:   }
                     95:
                     96:   public String toCMOexpressionByObject() throws NumberFormatException{
                     97:     return "CMO_ZZ,"+ this.num;
                     98:   }
                     99: }