/*
 * $Id$
 */

package edu.jas.poly;


import java.util.List;

import edu.jas.structure.RingElem;


/**
 * Container for optimization results.
 * @author Heinz Kredel
 */

public class OptimizedPolynomialList> extends PolynomialList {


    /**
     * Permutation vector used to optimize term order.
     */
    public final List perm;


    /**
     * Constructor.
     */
    public OptimizedPolynomialList(List P, GenPolynomialRing R, List> L) {
        super(R, L);
        perm = P;
    }


    /**
     * String representation.
     */
    @Override
    public String toString() {
        return "permutation = " + perm + "\n" + super.toString();
    }


    /**
     * Comparison with any other object.
     * @see java.lang.Object#equals(java.lang.Object)
     */
    @Override
    public boolean equals(Object B) {
        if (!(B instanceof OptimizedPolynomialList)) {
            return false;
        }
        return super.equals(B);
    }

}