edu.jas.application.RealAlgebraicNumber Maven / Gradle / Ivy
The newest version!
/*
* $Id: RealAlgebraicNumber.java 4125 2012-08-19 19:05:22Z kredel $
*/
package edu.jas.application;
import edu.jas.arith.BigDecimal;
import edu.jas.arith.BigRational;
import edu.jas.arith.Rational;
import edu.jas.kern.PrettyPrint;
import edu.jas.poly.GenPolynomial;
import edu.jas.structure.GcdRingElem;
import edu.jas.structure.NotInvertibleException;
/**
* Complex algebraic number class based on bi-variate real algebraic numbers.
* Objects of this class are immutable. Bi-variate ideal implementation is in
* version 3614 2011-04-28 09:20:34Z.
* @author Heinz Kredel
*/
public class RealAlgebraicNumber & Rational> implements
GcdRingElem>, Rational {
/*
* Representing Residue, unused.
*/
//private Residue numberRes;
/**
* Representing recursive RealAlgebraicNumber.
*/
public final edu.jas.root.RealAlgebraicNumber> number;
/**
* Ring part of the data structure.
*/
public final RealAlgebraicRing ring;
/**
* The constructor creates a zero RealAlgebraicNumber.
* @param r ring RealAlgebraicRing.
*/
public RealAlgebraicNumber(RealAlgebraicRing r) {
this(r, r.realRing.getZERO());
}
/**
* The constructor creates a RealAlgebraicNumber object from a GenPolynomial
* value.
* @param r ring RealAlgebraicRing.
* @param a value element .
*/
public RealAlgebraicNumber(RealAlgebraicRing r, C a) {
this(r, r.realRing.parse(a.toString()));
}
/**
* The constructor creates a RealAlgebraicNumber object from a GenPolynomial
* value.
* @param r ring RealAlgebraicRing.
* @param a value GenPolynomial.
*/
public RealAlgebraicNumber(RealAlgebraicRing r, GenPolynomial a) {
this(r, r.realRing.parse(a.toString()));
}
/**
* The constructor creates a RealAlgebraicNumber object from a recursive
* real algebraic value.
* @param r ring RealAlgebraicRing.
* @param a recursive real algebraic number.
*/
public RealAlgebraicNumber(RealAlgebraicRing r,
edu.jas.root.RealAlgebraicNumber> a) {
number = a;
ring = r;
//number = ring.realRing.parse(number.val.toString()); // todo: convert
//System.out.println("number = " + number);
}
/**
* Get the corresponding element factory.
* @return factory for this Element.
* @see edu.jas.structure.Element#factory()
*/
public RealAlgebraicRing factory() {
return ring;
}
/**
* Clone this.
* @see java.lang.Object#clone()
*/
@Override
public RealAlgebraicNumber copy() {
return new RealAlgebraicNumber(ring, number);
}
/**
* Return a BigRational approximation of this Element.
* @return a BigRational approximation of this.
* @see edu.jas.arith.Rational#getRational()
*/
//JAVA6only: @Override
public BigRational getRational() {
return magnitude();
}
/**
* Is RealAlgebraicNumber zero.
* @return If this is 0 then true is returned, else false.
* @see edu.jas.structure.RingElem#isZERO()
*/
public boolean isZERO() {
return number.isZERO();
}
/**
* Is RealAlgebraicNumber one.
* @return If this is 1 then true is returned, else false.
* @see edu.jas.structure.RingElem#isONE()
*/
public boolean isONE() {
return number.isONE();
}
/**
* Is RealAlgebraicNumber unit.
* @return If this is a unit then true is returned, else false.
* @see edu.jas.structure.RingElem#isUnit()
*/
public boolean isUnit() {
return number.isUnit();
}
/**
* Get the String representation as RingElem.
* @see java.lang.Object#toString()
*/
@Override
public String toString() {
if (PrettyPrint.isTrue()) {
return "{ " + number.toString() + " }";
}
return "Complex" + number.toString();
}
/**
* Get a scripting compatible string representation.
* @return script compatible representation for this Element.
* @see edu.jas.structure.Element#toScript()
*/
//JAVA6only: @Override
public String toScript() {
// Python case
return number.toScript();
}
/**
* Get a scripting compatible string representation of the factory.
* @return script compatible representation for this ElemFactory.
* @see edu.jas.structure.Element#toScriptFactory()
*/
//JAVA6only: @Override
public String toScriptFactory() {
// Python case
return factory().toScript();
}
/**
* RealAlgebraicNumber comparison.
* @param b RealAlgebraicNumber.
* @return sign(this-b).
*/
//JAVA6only: @Override
public int compareTo(RealAlgebraicNumber b) {
int s = 0;
if (number.ring != b.number.ring) {
s = (number.ring.equals(b.number.ring) ? 0 : 1);
System.out.println("s_mod = " + s);
}
if (s != 0) {
return s;
}
s = number.compareTo(b.number); // TODO
//System.out.println("s_real = " + s);
return s;
}
/**
* RealAlgebraicNumber comparison.
* @param b AlgebraicNumber.
* @return polynomial sign(this-b).
*/
public int compareTo(edu.jas.root.RealAlgebraicNumber> b) {
int s = number.compareTo(b);
//System.out.println("s_algeb = " + s);
return s;
}
/**
* Comparison with any other object.
* @see java.lang.Object#equals(java.lang.Object)
*/
@Override
@SuppressWarnings("unchecked")
public boolean equals(Object b) {
if (!(b instanceof RealAlgebraicNumber)) {
return false;
}
RealAlgebraicNumber a = null;
try {
a = (RealAlgebraicNumber) b;
} catch (ClassCastException e) {
}
if (a == null) {
return false;
}
if (!ring.equals(a.ring)) {
return false;
}
return number.equals(a.number);
}
/**
* Hash code for this RealAlgebraicNumber.
* @see java.lang.Object#hashCode()
*/
@Override
public int hashCode() {
return 37 * number.hashCode() + ring.hashCode();
}
/**
* RealAlgebraicNumber absolute value.
* @return the absolute value of this.
* @see edu.jas.structure.RingElem#abs()
*/
public RealAlgebraicNumber abs() {
if (this.signum() < 0) {
return new RealAlgebraicNumber(ring, number.negate());
}
return this;
}
/**
* RealAlgebraicNumber summation.
* @param S RealAlgebraicNumber.
* @return this+S.
*/
public RealAlgebraicNumber sum(RealAlgebraicNumber S) {
return new RealAlgebraicNumber(ring, number.sum(S.number));
}
/**
* RealAlgebraicNumber summation.
* @param c recursive real algebraic number.
* @return this+c.
*/
public RealAlgebraicNumber sum(edu.jas.root.RealAlgebraicNumber> c) {
return new RealAlgebraicNumber(ring, number.sum(c));
}
/**
* RealAlgebraicNumber negate.
* @return -this.
* @see edu.jas.structure.RingElem#negate()
*/
public RealAlgebraicNumber negate() {
return new RealAlgebraicNumber(ring, number.negate());
}
/**
* RealAlgebraicNumber subtraction.
* @param S RealAlgebraicNumber.
* @return this-S.
*/
public RealAlgebraicNumber subtract(RealAlgebraicNumber S) {
return new RealAlgebraicNumber(ring, number.subtract(S.number));
}
/**
* RealAlgebraicNumber division.
* @param S RealAlgebraicNumber.
* @return this/S.
*/
public RealAlgebraicNumber divide(RealAlgebraicNumber S) {
return multiply(S.inverse());
}
/**
* RealAlgebraicNumber inverse.
* @see edu.jas.structure.RingElem#inverse()
* @throws NotInvertibleException if the element is not invertible.
* @return S with S = 1/this if defined.
*/
public RealAlgebraicNumber inverse() {
return new RealAlgebraicNumber(ring, number.inverse());
}
/**
* RealAlgebraicNumber remainder.
* @param S RealAlgebraicNumber.
* @return this - (this/S)*S.
*/
public RealAlgebraicNumber remainder(RealAlgebraicNumber S) {
return new RealAlgebraicNumber(ring, number.remainder(S.number));
}
/**
* RealAlgebraicNumber multiplication.
* @param S RealAlgebraicNumber.
* @return this*S.
*/
public RealAlgebraicNumber multiply(RealAlgebraicNumber S) {
return new RealAlgebraicNumber(ring, number.multiply(S.number));
}
/**
* RealAlgebraicNumber multiplication.
* @param c recursive real algebraic number.
* @return this*c.
*/
public RealAlgebraicNumber multiply(
edu.jas.root.RealAlgebraicNumber> c) {
return new RealAlgebraicNumber(ring, number.multiply(c));
}
/**
* RealAlgebraicNumber monic.
* @return this with monic value part.
*/
public RealAlgebraicNumber monic() {
return new RealAlgebraicNumber(ring, number.monic());
}
/**
* RealAlgebraicNumber greatest common divisor.
* @param S RealAlgebraicNumber.
* @return gcd(this,S).
*/
public RealAlgebraicNumber gcd(RealAlgebraicNumber S) {
return new RealAlgebraicNumber(ring, number.gcd(S.number));
}
/**
* RealAlgebraicNumber extended greatest common divisor.
* @param S RealAlgebraicNumber.
* @return [ gcd(this,S), a, b ] with a*this + b*S = gcd(this,S).
*/
@SuppressWarnings("unchecked")
public RealAlgebraicNumber[] egcd(RealAlgebraicNumber S) {
edu.jas.root.RealAlgebraicNumber>[] aret = number.egcd(S.number);
RealAlgebraicNumber[] ret = new RealAlgebraicNumber[3];
ret[0] = new RealAlgebraicNumber(ring, aret[0]);
ret[1] = new RealAlgebraicNumber(ring, aret[1]);
ret[2] = new RealAlgebraicNumber(ring, aret[2]);
return ret;
}
/**
* RealAlgebraicNumber signum.
* @see edu.jas.structure.RingElem#signum()
* @return signum(this).
*/
public int signum() {
// if ( number == null ) { // no synchronization required
// GenPolynomial p = number.val;
// number = ring.realRing.parse(p.toString()); // todo: convert
// //System.out.println("number = " + number);
// }
return number.signum();
}
/**
* RealAlgebraicNumber magnitude.
* @return |this| as rational number.
*/
public BigRational magnitude() {
// if ( number == null ) { // no synchronization required
// GenPolynomial p = number.val;
// number = ring.realRing.parse(p.toString()); // todo: convert
// //System.out.println("number = " + number);
// }
return number.magnitude();
}
/**
* RealAlgebraicNumber decimal magnitude.
* @return |this| as big decimal.
*/
public BigDecimal decimalMagnitude() {
BigRational cr = magnitude();
return new BigDecimal(cr);
}
}
© 2015 - 2025 Weber Informatics LLC | Privacy Policy