Package dk.jonaslindstrom.ruffini.polynomials.structures

Class MultivariatePolynomialRingOverRing<E>

java.lang.Object

dk.jonaslindstrom.ruffini.polynomials.structures.MultivariatePolynomialRingOverRing<E>

All Implemented Interfaces:

AdditiveGroup<MultivariatePolynomial<E>>, CommutativeMonoid<MultivariatePolynomial<E>>, Monoid<MultivariatePolynomial<E>>, Ring<MultivariatePolynomial<E>>, Semigroup<MultivariatePolynomial<E>>, SemiRing<MultivariatePolynomial<E>>, Set<MultivariatePolynomial<E>>

Direct Known Subclasses:

MultivariatePolynomialRing

public class MultivariatePolynomialRingOverRing<E>
extends Object
implements Ring<MultivariatePolynomial<E>>

This class implements the ring of polynomials K[x] over a field K.

Field Summary

Fields

Modifier and Type	Field	Description
protected final int	variables

Constructor Summary

Constructors

Constructor	Description
MultivariatePolynomialRingOverRing(Ring<E> ring, int variables)

Method Summary

Modifier and Type	Method	Description
MultivariatePolynomial<E>	add(MultivariatePolynomial<E> a, MultivariatePolynomial<E> b)	Return the result of a+b.
boolean	equals(MultivariatePolynomial<E> a, MultivariatePolynomial<E> b)	Returns true if and only if a = b as elements of this set.
Ring<E>	getRing()
MultivariatePolynomial<E>	identity()	Return the identity element of this monoid.
MultivariatePolynomial<E>	multiply(MultivariatePolynomial<E> a, MultivariatePolynomial<E> b)	Return the result of the product ab in this group.
MultivariatePolynomial<E>	negate(MultivariatePolynomial<E> a)	Return -a.
String	toString()
String	toString(MultivariatePolynomial<E> a)	Returns a human-readable string representation of an element in this set.
MultivariatePolynomial<E>	zero()	Return the zero element.

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Methods inherited from interface dk.jonaslindstrom.ruffini.common.abstractions.AdditiveGroup

doubling, isZero, scale, scale, subtract, sum

Methods inherited from interface dk.jonaslindstrom.ruffini.common.abstractions.CommutativeMonoid

add, add

Methods inherited from interface dk.jonaslindstrom.ruffini.common.abstractions.Monoid

isIdentity, power

Methods inherited from interface dk.jonaslindstrom.ruffini.common.abstractions.Semigroup

multiply, multiply

Methods inherited from interface dk.jonaslindstrom.ruffini.common.abstractions.SemiRing

integer, multiply, multiply

Field Details

variables

protected final int variables

Constructor Details

MultivariatePolynomialRingOverRing

public MultivariatePolynomialRingOverRing(Ring<E> ring,
 int variables)

Method Details

getRing

public Ring<E> getRing()

toString

public String toString()

Overrides:

toString in class Object

identity

public MultivariatePolynomial<E> identity()

Description copied from interface: Monoid

Return the identity element of this monoid.

Specified by:

identity in interface Monoid<E>

multiply

public MultivariatePolynomial<E> multiply(MultivariatePolynomial<E> a,
 MultivariatePolynomial<E> b)

Description copied from interface: Semigroup

Return the result of the product ab in this group.

Specified by:

multiply in interface Semigroup<E>

toString

public String toString(MultivariatePolynomial<E> a)

Description copied from interface: Set

Returns a human-readable string representation of an element in this set.

Specified by:

toString in interface Set<E>

equals

public boolean equals(MultivariatePolynomial<E> a,
 MultivariatePolynomial<E> b)

Description copied from interface: Set

Returns true if and only if a = b as elements of this set.

Specified by:

equals in interface Set<E>

add

public MultivariatePolynomial<E> add(MultivariatePolynomial<E> a,
 MultivariatePolynomial<E> b)

Description copied from interface: CommutativeMonoid

Return the result of a+b.

Specified by:

add in interface CommutativeMonoid<E>

negate

public MultivariatePolynomial<E> negate(MultivariatePolynomial<E> a)

Description copied from interface: AdditiveGroup

Return -a.

Specified by:

negate in interface AdditiveGroup<E>

zero

public MultivariatePolynomial<E> zero()

Description copied from interface: CommutativeMonoid

Return the zero element.

Specified by:

zero in interface CommutativeMonoid<E>