package cs362practice;

/** Complex numbers in rectangular coordinates.
 */
public /*@ pure @*/ class Rectangular implements Complex {
    // DECLARE ANY FIELDS YOU MAY NEED BELOW




    
    /** Initialize this Complex number to be 0+(0*i). */
    //@ ensures realPart() == 0.0 && imaginaryPart() == 0.0;
    public Rectangular() {


    }    

    /** Initialize this Complex number to be re+(0*i). */
    //@ ensures realPart() == re && imaginaryPart() == 0.0;
    public Rectangular(double re) {


    }
    
    /** Initialize this Complex number to be re+(img*i). */
    //@ ensures realPart() == re && imaginaryPart() == img;
    public Rectangular(double re, double img) {


    }

    /** @see cs362practice.Complex#realPart() */
    public double realPart() {


    }

    /** @see cs362practice.Complex#imaginaryPart() */
    public double imaginaryPart() {


    }

    /** @see cs362practice.Complex#magnitude() */
    public double magnitude() {


    }

    /** @see cs362practice.Complex#angle() */
    public double angle() {


    }

    /** @see cs362practice.Complex#add(Complex) */
    public Complex add(Complex b) {




    }

    /** @see cs362practice.Complex#sub(Complex) */
    public Complex sub(Complex b) {




    }

    /** @see cs362practice.Complex#mul(Complex) */
    public Complex mul(Complex b) {




    }

    /** @see cs362practice.Complex#div(Complex) */
    public Complex div(Complex b) {




    }
    
    /** @see cs362practice.Complex#equals(Object) */
    public boolean equals(Object o) {






    }
    
    /** @see java.lang.Object#hashCode() */
    public int hashCode() {


    }

    /** @see java.lang.Object#toString() */
    public String toString() {
        return realPart() + " + " + imaginaryPart() + "*i";
    }
}