/*
* $Id$
*/
package edu.jas.application;
import java.util.Map;
import java.util.Set;
import java.util.SortedMap;
import org.apache.log4j.Logger;
import edu.jas.poly.ExpVector;
import edu.jas.poly.GenPolynomial;
import edu.jas.poly.GenSolvablePolynomial;
import edu.jas.poly.RecSolvablePolynomial;
import edu.jas.poly.TableRelation;
import edu.jas.structure.GcdRingElem;
/**
* ResidueSolvablePolynomial generic solvable polynomials with solvable residue
* coefficients implementing RingElem. n-variate ordered solvable polynomials
* over solvable residue coefficients. Objects of this class are intended to be
* immutable. The implementation is based on TreeMap respectively SortedMap from
* exponents to coefficients by extension of GenPolynomial.
* @param coefficient type
* @author Heinz Kredel
*/
public class ResidueSolvablePolynomial> extends
GenSolvablePolynomial> {
/**
* The factory for the recursive solvable polynomial ring. Hides super.ring.
*/
public final ResidueSolvablePolynomialRing ring;
private static final Logger logger = Logger.getLogger(ResidueSolvablePolynomial.class);
private final boolean debug = logger.isDebugEnabled();
/**
* Constructor for zero ResidueSolvablePolynomial.
* @param r solvable polynomial ring factory.
*/
public ResidueSolvablePolynomial(ResidueSolvablePolynomialRing r) {
super(r);
ring = r;
}
/**
* Constructor for ResidueSolvablePolynomial.
* @param r solvable polynomial ring factory.
* @param e exponent.
*/
public ResidueSolvablePolynomial(ResidueSolvablePolynomialRing r, ExpVector e) {
this(r);
val.put(e, ring.getONECoefficient());
}
/**
* Constructor for ResidueSolvablePolynomial.
* @param r solvable polynomial ring factory.
* @param c coefficient polynomial.
* @param e exponent.
*/
public ResidueSolvablePolynomial(ResidueSolvablePolynomialRing r, SolvableResidue c, ExpVector e) {
this(r);
if (c != null && !c.isZERO()) {
val.put(e, c);
}
}
/**
* Constructor for ResidueSolvablePolynomial.
* @param r solvable polynomial ring factory.
* @param c coefficient polynomial.
*/
public ResidueSolvablePolynomial(ResidueSolvablePolynomialRing r, SolvableResidue c) {
this(r, c, r.evzero);
}
/**
* Constructor for ResidueSolvablePolynomial.
* @param r solvable polynomial ring factory.
* @param S solvable polynomial.
*/
public ResidueSolvablePolynomial(ResidueSolvablePolynomialRing r,
GenSolvablePolynomial> S) {
this(r, S.getMap());
}
/**
* Constructor for ResidueSolvablePolynomial.
* @param r solvable polynomial ring factory.
* @param v the SortedMap of some other (solvable) polynomial.
*/
protected ResidueSolvablePolynomial(ResidueSolvablePolynomialRing r,
SortedMap> v) {
this(r);
val.putAll(v); // assume no zero coefficients
}
/**
* Get the corresponding element factory.
* @return factory for this Element.
* @see edu.jas.structure.Element#factory()
*/
@Override
public ResidueSolvablePolynomialRing factory() {
return ring;
}
/**
* Clone this ResidueSolvablePolynomial.
* @see java.lang.Object#clone()
*/
@Override
public ResidueSolvablePolynomial copy() {
return new ResidueSolvablePolynomial(ring, this.val);
}
/**
* Comparison with any other object.
* @see java.lang.Object#equals(java.lang.Object)
*/
@Override
public boolean equals(Object B) {
if (!(B instanceof ResidueSolvablePolynomial)) {
return false;
}
return super.equals(B);
}
/**
* ResidueSolvablePolynomial multiplication.
* @param Bp ResidueSolvablePolynomial.
* @return this*Bp, where * denotes solvable multiplication.
*/
public ResidueSolvablePolynomial multiply(ResidueSolvablePolynomial Bp) {
if (Bp == null || Bp.isZERO()) {
return ring.getZERO();
}
if (this.isZERO()) {
return this;
}
assert (ring.nvar == Bp.ring.nvar);
if (debug) {
logger.debug("ring = " + ring);
}
ExpVector Z = ring.evzero;
ResidueSolvablePolynomial Dp = ring.getZERO().copy();
ResidueSolvablePolynomial zero = ring.getZERO().copy();
SolvableResidue one = ring.getONECoefficient();
ResidueSolvablePolynomial C1 = null;
ResidueSolvablePolynomial C2 = null;
Map> A = val;
Map> B = Bp.val;
Set>> Bk = B.entrySet();
for (Map.Entry> y : A.entrySet()) {
SolvableResidue a = y.getValue();
ExpVector e = y.getKey();
if (debug)
logger.info("e = " + e + ", a = " + a);
int[] ep = e.dependencyOnVariables();
int el1 = ring.nvar + 1;
if (ep.length > 0) {
el1 = ep[0];
}
//int el1s = ring.nvar + 1 - el1;
for (Map.Entry> x : Bk) {
SolvableResidue b = x.getValue();
ExpVector f = x.getKey();
if (debug)
logger.info("f = " + f + ", b = " + b);
int[] fp = f.dependencyOnVariables();
int fl1 = 0;
if (fp.length > 0) {
fl1 = fp[fp.length - 1];
}
int fl1s = ring.nvar + 1 - fl1;
// polynomial coefficient multiplication
ResidueSolvablePolynomial Cps = ring.getZERO().copy();
ResidueSolvablePolynomial Cs = null;
if (ring.polCoeff.coeffTable.isEmpty() || b.isConstant() || e.isZERO()) { // symmetric
Cps = new ResidueSolvablePolynomial(ring, b, e);
if (debug)
logger.info("symmetric coeff: b = " + b + ", e = " + e);
} else { // unsymmetric
if (debug)
logger.info("unsymmetric coeff: b = " + b + ", e = " + e);
// recursive polynomial coefficient multiplication : e * b.bal
RecSolvablePolynomial rsp1 = new RecSolvablePolynomial(ring.polCoeff,e);
RecSolvablePolynomial rsp2 = new RecSolvablePolynomial(ring.polCoeff,b.val);
RecSolvablePolynomial rsp3 = rsp1.multiply(rsp2);
Cps = ring.fromPolyCoefficients(rsp3);
}
if (debug) {
logger.info("coeff-poly: Cps = " + Cps);
}
// polynomial multiplication
ResidueSolvablePolynomial Dps = ring.getZERO().copy();
ResidueSolvablePolynomial Ds = null;
ResidueSolvablePolynomial D1, D2;
if (ring.table.isEmpty() || Cps.isConstant() || f.isZERO()) { // symmetric
if (debug)
logger.info("symmetric poly: b = " + b + ", e = " + e);
ExpVector g = e.sum(f);
if (Cps.isConstant()) {
Ds = new ResidueSolvablePolynomial(ring, Cps.leadingBaseCoefficient(), g); // symmetric!
} else {
Ds = shift(Cps, f); // symmetric
}
} else { // eventually unsymmetric
if (debug)
logger.info("unsymmetric poly: Cps = " + Cps + ", f = " + f);
for (Map.Entry> z : Cps.val.entrySet()) {
// split g = g1 * g2, f = f1 * f2
SolvableResidue c = z.getValue();
ExpVector g = z.getKey();
if (debug)
logger.info("g = " + g + ", c = " + c);
int[] gp = g.dependencyOnVariables();
int gl1 = ring.nvar + 1;
if (gp.length > 0) {
gl1 = gp[0];
}
int gl1s = ring.nvar + 1 - gl1;
if (gl1s <= fl1s) { // symmetric
ExpVector h = g.sum(f);
if (debug)
logger.info("disjoint poly: g = " + g + ", f = " + f + ", h = " + h);
Ds = (ResidueSolvablePolynomial) zero.sum(one, h); // symmetric!
} else {
ExpVector g1 = g.subst(gl1, 0);
ExpVector g2 = Z.subst(gl1, g.getVal(gl1)); // bug el1, gl1
ExpVector g4;
ExpVector f1 = f.subst(fl1, 0);
ExpVector f2 = Z.subst(fl1, f.getVal(fl1));
if (debug)
logger.info("poly, g1 = " + g1 + ", f1 = " + f1 + ", Dps = " + Dps);
if (debug)
logger.info("poly, g2 = " + g2 + ", f2 = " + f2);
TableRelation> rel = ring.table.lookup(g2, f2);
if (debug)
logger.info("poly, g = " + g + ", f = " + f + ", rel = " + rel);
Ds = new ResidueSolvablePolynomial(ring, rel.p); //ring.copy(rel.p);
if (rel.f != null) {
D2 = new ResidueSolvablePolynomial(ring, one, rel.f);
Ds = Ds.multiply(D2);
if (rel.e == null) {
g4 = g2;
} else {
g4 = g2.subtract(rel.e);
}
ring.table.update(g4, f2, Ds);
}
if (rel.e != null) {
D1 = new ResidueSolvablePolynomial(ring, one, rel.e);
Ds = D1.multiply(Ds);
ring.table.update(g2, f2, Ds);
}
if (!f1.isZERO()) {
D2 = new ResidueSolvablePolynomial(ring, one, f1);
Ds = Ds.multiply(D2);
//ring.table.update(?,f1,Ds)
}
if (!g1.isZERO()) {
D1 = new ResidueSolvablePolynomial(ring, one, g1);
Ds = D1.multiply(Ds);
//ring.table.update(e1,?,Ds)
}
}
Ds = Ds.multiplyLeft(c); // assume c commutes with Cs
Dps = (ResidueSolvablePolynomial) Dps.sum(Ds);
} // end Dps loop
Ds = Dps;
}
Ds = Ds.multiplyLeft(a); // multiply(a,b); // non-symmetric
if (debug)
logger.debug("Ds = " + Ds);
Dp = (ResidueSolvablePolynomial) Dp.sum(Ds);
} // end B loop
} // end A loop
return Dp;
}
/**
* ResidueSolvablePolynomial left and right multiplication. Product with two
* polynomials.
* @param S ResidueSolvablePolynomial.
* @param T ResidueSolvablePolynomial.
* @return S*this*T.
*/
public ResidueSolvablePolynomial multiply(ResidueSolvablePolynomial S,
ResidueSolvablePolynomial T) {
if (S.isZERO() || T.isZERO() || this.isZERO()) {
return ring.getZERO();
}
if (S.isONE()) {
return multiply(T);
}
if (T.isONE()) {
return S.multiply(this);
}
return S.multiply(this).multiply(T);
}
/**
* ResidueSolvablePolynomial multiplication. Product with coefficient ring
* element.
* @param b coefficient polynomial.
* @return this*b, where * is coefficient multiplication.
*/
@Override
public ResidueSolvablePolynomial multiply(SolvableResidue b) {
ResidueSolvablePolynomial Cp = ring.getZERO().copy();
if (b == null || b.isZERO()) {
return Cp;
}
Cp = new ResidueSolvablePolynomial(ring, b, ring.evzero);
return multiply(Cp);
}
/**
* ResidueSolvablePolynomial left and right multiplication. Product with
* coefficient ring element.
* @param b coefficient polynomial.
* @param c coefficient polynomial.
* @return b*this*c, where * is coefficient multiplication.
*/
@Override
public ResidueSolvablePolynomial multiply(SolvableResidue b, SolvableResidue c) {
ResidueSolvablePolynomial Cp = ring.getZERO().copy();
if (b == null || b.isZERO()) {
return Cp;
}
if (c == null || c.isZERO()) {
return Cp;
}
ResidueSolvablePolynomial Cb = new ResidueSolvablePolynomial(ring, b, ring.evzero);
ResidueSolvablePolynomial Cc = new ResidueSolvablePolynomial(ring, c, ring.evzero);
return Cb.multiply(this).multiply(Cc);
}
/**
* ResidueSolvablePolynomial multiplication. Product with exponent vector.
* @param e exponent.
* @return this * xe, where * denotes solvable multiplication.
*/
@Override
public ResidueSolvablePolynomial multiply(ExpVector e) {
if (e == null || e.isZERO()) {
return this;
}
SolvableResidue b = ring.getONECoefficient();
return multiply(b, e);
}
/**
* ResidueSolvablePolynomial left and right multiplication. Product with
* exponent vector.
* @param e exponent.
* @param f exponent.
* @return xe * this * xf, where * denotes solvable
* multiplication.
*/
@Override
public ResidueSolvablePolynomial multiply(ExpVector e, ExpVector f) {
if (e == null || e.isZERO()) {
return this;
}
if (f == null || f.isZERO()) {
return this;
}
SolvableResidue b = ring.getONECoefficient();
return multiply(b, e, b, f);
}
/**
* ResidueSolvablePolynomial multiplication. Product with ring element and
* exponent vector.
* @param b coefficient polynomial.
* @param e exponent.
* @return this * b xe, where * denotes solvable multiplication.
*/
@Override
public ResidueSolvablePolynomial multiply(SolvableResidue b, ExpVector e) {
if (b == null || b.isZERO()) {
return ring.getZERO();
}
ResidueSolvablePolynomial Cp = new ResidueSolvablePolynomial(ring, b, e);
return multiply(Cp);
}
/**
* ResidueSolvablePolynomial left and right multiplication. Product with
* ring element and exponent vector.
* @param b coefficient polynomial.
* @param e exponent.
* @param c coefficient polynomial.
* @param f exponent.
* @return b xe * this * c xf, where * denotes
* solvable multiplication.
*/
@Override
public ResidueSolvablePolynomial multiply(SolvableResidue b, ExpVector e, SolvableResidue c,
ExpVector f) {
if (b == null || b.isZERO()) {
return ring.getZERO();
}
if (c == null || c.isZERO()) {
return ring.getZERO();
}
ResidueSolvablePolynomial Cp = new ResidueSolvablePolynomial(ring, b, e);
ResidueSolvablePolynomial Dp = new ResidueSolvablePolynomial(ring, c, f);
return multiply(Cp, Dp);
}
/**
* ResidueSolvablePolynomial multiplication. Left product with ring element
* and exponent vector.
* @param b coefficient polynomial.
* @param e exponent.
* @return b xe * this, where * denotes solvable multiplication.
*/
@Override
public ResidueSolvablePolynomial multiplyLeft(SolvableResidue b, ExpVector e) {
if (b == null || b.isZERO()) {
return ring.getZERO();
}
ResidueSolvablePolynomial Cp = new ResidueSolvablePolynomial(ring, b, e);
return Cp.multiply(this);
}
/**
* ResidueSolvablePolynomial multiplication. Left product with exponent
* vector.
* @param e exponent.
* @return xe * this, where * denotes solvable multiplication.
*/
@Override
public ResidueSolvablePolynomial multiplyLeft(ExpVector e) {
if (e == null || e.isZERO()) {
return this;
}
SolvableResidue b = ring.getONECoefficient();
ResidueSolvablePolynomial Cp = new ResidueSolvablePolynomial(ring, b, e);
return Cp.multiply(this);
}
/**
* ResidueSolvablePolynomial multiplication. Left product with coefficient
* ring element.
* @param b coefficient polynomial.
* @return b*this, where * is coefficient multiplication.
*/
@Override
public ResidueSolvablePolynomial multiplyLeft(SolvableResidue b) {
ResidueSolvablePolynomial Cp = ring.getZERO().copy();
if (b == null || b.isZERO()) {
return Cp;
}
Map> Cm = Cp.val; //getMap();
Map> Am = val;
SolvableResidue c;
for (Map.Entry> y : Am.entrySet()) {
ExpVector e = y.getKey();
SolvableResidue a = y.getValue();
c = b.multiply(a);
if (!c.isZERO()) {
Cm.put(e, c);
}
}
return Cp;
}
/**
* ResidueSolvablePolynomial multiplication. Left product with 'monomial'.
* @param m 'monomial'.
* @return m * this, where * denotes solvable multiplication.
*/
@Override
public ResidueSolvablePolynomial multiplyLeft(Map.Entry> m) {
if (m == null) {
return ring.getZERO();
}
return multiplyLeft(m.getValue(), m.getKey());
}
/**
* ResidueSolvablePolynomial multiplication. Product with 'monomial'.
* @param m 'monomial'.
* @return this * m, where * denotes solvable multiplication.
*/
@Override
public ResidueSolvablePolynomial multiply(Map.Entry> m) {
if (m == null) {
return ring.getZERO();
}
return multiply(m.getValue(), m.getKey());
}
/**
* ResidueSolvablePolynomial multiplication.
* Left product with coefficient ring element.
* @param B solvable polynomial.
* @param f exponent vector.
* @return B*f, where * is commutative multiplication.
*/
protected ResidueSolvablePolynomial shift(ResidueSolvablePolynomial B, ExpVector f) {
ResidueSolvablePolynomial C = ring.getZERO().copy();
if (B == null || B.isZERO()) {
return C;
}
if (f == null || f.isZERO()) {
return B;
}
Map> Cm = C.val;
Map> Bm = B.val;
for (Map.Entry> y : Bm.entrySet()) {
ExpVector e = y.getKey();
SolvableResidue a = y.getValue();
ExpVector d = e.sum(f);
if (!a.isZERO()) {
Cm.put(d, a);
}
}
return C;
}
}
Ads help maintain this website.