import progettino.*;

class TestNat {
  public static void main(String[] args) {
    Natural n0 = Natural.makeNatural(0);
    boolean res = true;
    /*************************************/
    /* isZero                            */
    /*************************************/
    if (!(n0.isZero())) {
      System.out.println("Errore isZero: 0 non e' zero"+n0);
      res=false;
    }
    Natural n1 = Natural.makeNatural(123);
    if (n1.isZero()) {
      System.out.println("Errore isZero: 123 e' zero"+n1);
      res=false;
    }
    /*************************************/
    /* makeNatural                       */
    /*************************************/
    if (!("0".equals(n0.toString()))) {
      System.out.println("Errore makeNatural: 0 non e' "+n1);
      res=false;
    }
    if (!("123".equals(n1.toString()))) {
      System.out.println("Errore makeNatural: 123 non e' "+n1);
      res=false;
    }
    Natural n2 = Natural.makeNatural(-123);
    if (!(n2.isZero())) {
      System.out.println("Errore makeNatural: -123 non e zero"+n2);
      res=false;
    }
    Natural n3 = Natural.makeNatural(898);
    /*************************************/
    /* less                              */
    /*************************************/
    if (n3.less(n3)) {
      System.out.println("Errore less: "+ n3+" < "+n3+" non e ugual a "+n3.less(n3));
      res=false;
    }
    if (n3.less(n1)) {
      System.out.println("Errore less: "+n3+" < "+n1+" non e ugual a "+n3.less(n1));
      res=false;
    }
    if (!n1.less(n3)) {
      System.out.println("Errore less: "+n1+" < "+n3+" non e ugual a "+n1.less(n3));
      res=false;
    }
    /*************************************/
    /* plus                              */
    /*************************************/
    if (!("1021".equals(n1.plus(n3).toString()))) {
      System.out.println(n1+" + "+n3+" e' ugual a 1021");
      res=false;
    }
    /*************************************/
    /* minus                             */
    /*************************************/
    if (!("775".equals(n3.minus(n1).toString()))) {
      System.out.println("Errore minus:"+n3+" - "+n1+" non e ugual a "+n3.minus(n1));
      res=false;
    }
    if (!(n1.minus(n3).isZero())) {
      System.out.println("Errore minus: "+n1+" - "+n3+" non e ugual a "+n1.minus(n3));
      res=false;
    }
    Natural n4 = Natural.makeNatural(1230);
    if (!("332".equals(n4.minus(n3).toString()))) {
      System.out.println("Errore minus: "+n4+" - "+n3+" non e ugual a "+n4.minus(n3));
      res=false;
    }
    /*************************************/
    /* mult                              */
    /*************************************/
    if (!("110454".equals(n1.mult(n3).toString()))) {
      System.out.println("Errore mult : "+n1+" * "+n3+" non e ugual a "+n1.mult(n3));
      res=false;
    }
    if (!("2288866410000".equals(n4.mult(n4).mult(n4.mult(n4)).toString()))) {
      System.out.println("Errore mult : "+n4+" * "+n4+" * "+n4+" * "+n4+" non e ugual a "+n4.mult(n4).mult(n4.mult(n4)));
      res=false;
    }
    if (!n1.mult(n0).isZero()) {
      System.out.println("Errore isZero : "+n1+" * "+n0+" non e ugual a zero");
      res=false;
    }
    if (!n0.mult(n1).isZero()) {
      System.out.println("Errore isZero : "+n0+" * "+n1+" non e ugual a zero");
      res=false;
    }
    if (res)
      System.out.println("progettino.Natural e' ok");
  }
}