/*
 * $Id$
 */

package edu.jas.root;


import java.io.Reader;
import java.util.ArrayList;
import java.util.List;
import java.util.Random;

import edu.jas.arith.Rational;
import edu.jas.arith.BigRational;
import edu.jas.arith.BigDecimal;
import edu.jas.poly.AlgebraicNumber;
import edu.jas.poly.AlgebraicNumberRing;
import edu.jas.poly.Complex;
import edu.jas.poly.ComplexRing;
import edu.jas.poly.GenPolynomial;
import edu.jas.structure.GcdRingElem;
import edu.jas.structure.Power;
import edu.jas.structure.RingFactory;


/**
 * Complex algebraic number factory class based on AlgebraicNumberRing with RingElem
 * interface. Objects of this class are immutable with the exception of the
 * isolating intervals.
 * @author Heinz Kredel
 */

public class ComplexAlgebraicRing & Rational>
/*extends AlgebraicNumberRing*/
implements RingFactory> {


    /**
     * Representing AlgebraicNumberRing.
     */
    public final AlgebraicNumberRing> algebraic;


    /**
     * Isolating rectangle for a complex root. Note:  interval may shrink
     * eventually.
     */
    /*package*/Rectangle root;


    /**
     * Epsilon of the isolating rectangle for a complex root.
     */
    protected C eps;


    /**
     * Precision of the isolating rectangle for a complex root.
     */
    public static final int PRECISION = 9; //BigDecimal.DEFAULT_PRECISION;


    /**
     * Complex root computation engine.
     */
    public final ComplexRootsSturm engine;


    /**
     * The constructor creates a ComplexAlgebraicNumber factory object from a
     * GenPolynomial objects module.
     * @param m module GenPolynomial<C>.
     * @param root isolating rectangle for a complex root.
     */
    public ComplexAlgebraicRing(GenPolynomial> m, Rectangle root) {
        algebraic = new AlgebraicNumberRing>(m);
        this.root = root;
        engine = new ComplexRootsSturm(m.ring.coFac);
        if (m.ring.characteristic().signum() > 0) {
            throw new IllegalArgumentException("characteristic not zero");
        }
        C e = m.ring.coFac.fromInteger(10L).getRe();
        e = e.inverse();
        e = Power.positivePower(e, PRECISION);
        eps = e;
    }


    /**
     * The constructor creates a ComplexAlgebraicNumber factory object from a
     * GenPolynomial objects module.
     * @param m module GenPolynomial<C>.
     * @param root isolating rectangle for a complex root.
     * @param isField indicator if m is prime.
     */
    public ComplexAlgebraicRing(GenPolynomial> m, Rectangle root, boolean isField) {
        algebraic = new AlgebraicNumberRing>(m, isField);
        this.root = root;
        engine = new ComplexRootsSturm(m.ring.coFac);
        if (m.ring.characteristic().signum() > 0) {
            throw new IllegalArgumentException("characteristic not zero");
        }
        C e = m.ring.coFac.fromInteger(10L).getRe();
        e = e.inverse();
        e = Power.positivePower(e, PRECISION);
        eps = e;
    }


    /*
     * Get the module part.
     * @return modul. public GenPolynomial getModul() { return
     *         algebraic.modul; }
     */


    /**
     * Set a refined rectangle for the complex root. Note:  rectangle may
     * shrink eventually.
     * @param v rectangle.
     */
    public synchronized void setRoot(Rectangle v) {
        // assert v is contained in root
        this.root = v;
    }


    /**
     * Get rectangle for the complex root.
     * @return v rectangle.
     */
    public synchronized Rectangle getRoot() {
        return this.root;
    }


    /**
     * Get epsilon. 
     * @return epsilon.
     */
    public synchronized C getEps() {
        return this.eps;
    }


    /**
     * Set a new epsilon. 
     * @param e epsilon.
     */
    public synchronized void setEps(C e) {
        this.eps = e;
    }


    /**
     * Set a new epsilon. 
     * @param e epsilon.
     */
    public synchronized void setEps(BigRational e) {
        this.eps = algebraic.ring.coFac.parse(e.toString()).getRe();
    }


    /**
     * Is this structure finite or infinite.
     * @return true if this structure is finite, else false.
     * @see edu.jas.structure.ElemFactory#isFinite()
     */
    public boolean isFinite() {
        return algebraic.isFinite();
    }


    /**
     * Copy ComplexAlgebraicNumber element c.
     * @param c
     * @return a copy of c.
     */
    public ComplexAlgebraicNumber copy(ComplexAlgebraicNumber c) {
        return new ComplexAlgebraicNumber(this, c.number);
    }


    /**
     * Get the zero element.
     * @return 0 as ComplexAlgebraicNumber.
     */
    public ComplexAlgebraicNumber getZERO() {
        return new ComplexAlgebraicNumber(this, algebraic.getZERO());
    }


    /**
     * Get the one element.
     * @return 1 as ComplexAlgebraicNumber.
     */
    public ComplexAlgebraicNumber getONE() {
        return new ComplexAlgebraicNumber(this, algebraic.getONE());
    }


    /**
     * Get the i element.
     * @return i as ComplexAlgebraicNumber.
     */
    public ComplexAlgebraicNumber getIMAG() {
        ComplexRing cr = (ComplexRing) algebraic.ring.coFac;
        Complex I = cr.getIMAG(); 
        return new ComplexAlgebraicNumber(this, algebraic.getZERO().sum(I));
    }


    /**
     * Get the generating element.
     * @return alpha as ComplexAlgebraicNumber.
     */
    public ComplexAlgebraicNumber getGenerator() {
        return new ComplexAlgebraicNumber(this, algebraic.getGenerator());
    }


    /**
     * Get a list of the generating elements.
     * @return list of generators for the algebraic structure.
     * @see edu.jas.structure.ElemFactory#generators()
     */
    public List> generators() {
        List>> agens = algebraic.generators();
        List> gens = new ArrayList>(agens.size());
        for (AlgebraicNumber> a : agens) {
            gens.add(getZERO().sum(a.getVal()));
        }
        return gens;
    }


    /**
     * Query if this ring is commutative.
     * @return true if this ring is commutative, else false.
     */
    public boolean isCommutative() {
        return algebraic.isCommutative();
    }


    /**
     * Query if this ring is associative.
     * @return true if this ring is associative, else false.
     */
    public boolean isAssociative() {
        return algebraic.isAssociative();
    }


    /**
     * Query if this ring is a field.
     * @return true if algebraic is prime, else false.
     */
    public boolean isField() {
        return algebraic.isField();
    }


    /**
     * Characteristic of this ring.
     * @return characteristic of this ring.
     */
    public java.math.BigInteger characteristic() {
        return algebraic.characteristic();
    }


    /**
     * Get a ComplexAlgebraicNumber element from a BigInteger value.
     * @param a BigInteger.
     * @return a ComplexAlgebraicNumber.
     */
    public ComplexAlgebraicNumber fromInteger(java.math.BigInteger a) {
        return new ComplexAlgebraicNumber(this, algebraic.fromInteger(a));
    }


    /**
     * Get a ComplexAlgebraicNumber element from a long value.
     * @param a long.
     * @return a ComplexAlgebraicNumber.
     */
    public ComplexAlgebraicNumber fromInteger(long a) {
        return new ComplexAlgebraicNumber(this, algebraic.fromInteger(a));
    }


    /**
     * Get the String representation as RingFactory.
     * @see java.lang.Object#toString()
     */
    @Override
    public String toString() {
        return "ComplexAlgebraicRing[ " + algebraic.modul.toString() + " in " + root + " | isField="
                + algebraic.isField() + " :: " + algebraic.ring.toString() + " ]";
    }


    /**
     * Get a scripting compatible string representation.
     * @return script compatible representation for this ElemFactory.
     * @see edu.jas.structure.ElemFactory#toScript()
     */
    @Override
    public String toScript() {
        // Python case
        return "ComplexN( " + algebraic.modul.toScript() + ", " + root.toScript()
        //+ ", " + algebraic.isField() 
                //+ ", " + algebraic.ring.toScript() 
                + " )";
    }


    /**
     * Comparison with any other object.
     * @see java.lang.Object#equals(java.lang.Object)
     */
    @Override
    @SuppressWarnings("unchecked")
    public boolean equals(Object b) {
        if (!(b instanceof ComplexAlgebraicRing)) {
            return false;
        }
        ComplexAlgebraicRing a = null;
        try {
            a = (ComplexAlgebraicRing) b;
        } catch (ClassCastException e) {
        }
        if (a == null) {
            return false;
        }
        return algebraic.equals(a.algebraic) && root.equals(a.root);
    }


    /**
     * Hash code for this ComplexAlgebraicNumber.
     * @see java.lang.Object#hashCode()
     */
    @Override
    public int hashCode() {
        return 37 * algebraic.hashCode() + root.hashCode();
    }


    /**
     * ComplexAlgebraicNumber random.
     * @param n such that 0 ≤ v ≤ (2n-1).
     * @return a random integer mod modul.
     */
    public ComplexAlgebraicNumber random(int n) {
        return new ComplexAlgebraicNumber(this, algebraic.random(n));
    }


    /**
     * ComplexAlgebraicNumber random.
     * @param n such that 0 ≤ v ≤ (2n-1).
     * @param rnd is a source for random bits.
     * @return a random integer mod modul.
     */
    public ComplexAlgebraicNumber random(int n, Random rnd) {
        return new ComplexAlgebraicNumber(this, algebraic.random(n, rnd));
    }


    /**
     * Parse ComplexAlgebraicNumber from String.
     * @param s String.
     * @return ComplexAlgebraicNumber from s.
     */
    public ComplexAlgebraicNumber parse(String s) {
        return new ComplexAlgebraicNumber(this, algebraic.parse(s));
    }


    /**
     * Parse ComplexAlgebraicNumber from Reader.
     * @param r Reader.
     * @return next ComplexAlgebraicNumber from r.
     */
    public ComplexAlgebraicNumber parse(Reader r) {
        return new ComplexAlgebraicNumber(this, algebraic.parse(r));
    }

}