edu.jas.application.IdealWithUniv Maven / Gradle / Ivy

Go to download
Show more of this group Show more artifacts with this name
Show all versions of ext.bundle.math.symja_jas Show documentation
The newest version!
/*
 * $Id: IdealWithUniv.java 4058 2012-07-26 21:03:53Z kredel $
 */

package edu.jas.application;


import java.io.Serializable;
import java.util.List;

import edu.jas.poly.GenPolynomial;
import edu.jas.structure.GcdRingElem;


/**
 * Container for Ideals together with univariate polynomials.
 * @author Heinz Kredel
 */
public class IdealWithUniv> implements Serializable {


    /**
     * The ideal.
     */
    public final Ideal ideal;


    /**
     * The list of univariate polynomials. Contains polynomials from serveral
     * rings, depending on the stage of the decomposition. 1) polynomials in a
     * ring of one variable, 2) polynomials depending on only one variable but
     * in a ring with multiple variables, 3) after contraction to a non-zero
     * dimensional ring multivariate polynomials depending on one significant
     * variable and multiple variables from the quotient coefficients.
     */
    public final List> upolys;


    /**
     * A list of other useful polynomials. 1) field extension polynomials, 2)
     * generators for infinite quotients.
     */
    public final List> others;


    /**
     * Constructor not for use.
     */
    protected IdealWithUniv() {
        throw new IllegalArgumentException("do not use this constructor");
    }


    /**
     * Constructor.
     * @param id the ideal
     * @param up the list of univariate polynomials
     */
    protected IdealWithUniv(Ideal id, List> up) {
        this(id, up, null);
    }


    /**
     * Constructor.
     * @param id the ideal
     * @param up the list of univariate polynomials
     * @param og the list of other polynomials
     */
    protected IdealWithUniv(Ideal id, List> up, List> og) {
        ideal = id;
        upolys = up;
        others = og;
    }


    /**
     * String representation of the ideal.
     * @see java.lang.Object#toString()
     */
    @Override
    public String toString() {
        String s = ideal.toString();
        if (upolys != null) {
            s += "\nunivariate polynomials:\n" + upolys.toString();
        }
        if (others == null) {
            return s;
        }
        return s + "\nother polynomials:\n" + others.toString();
    }


    /**
     * Get a scripting compatible string representation.
     * @return script compatible representation for this Element.
     * @see edu.jas.structure.Element#toScript()
     */
    public String toScript() {
        // Python case
        String s = ideal.toScript();
        if (upolys != null) {
            s += ", upolys=" + upolys.toString();
        }
        if (others == null) {
            return s;
        }
        return s + ", others=" + others.toString();
    }

}