edu.jas.application

Class PrimaryComponent<C extends GcdRingElem<C>>

java.lang.Object

edu.jas.application.PrimaryComponent<C>

All Implemented Interfaces:

java.io.Serializable

public class PrimaryComponent<C extends GcdRingElem<C>>
extends java.lang.Object
implements java.io.Serializable

Container for primary components of ideals.

Author:

Heinz Kredel

See Also:

Serialized Form

Field Summary

Fields

Modifier and Type	Field and Description
protected int	exponent The exponent of prime for primary.
Ideal<C>	primary The primary ideal.
IdealWithUniv<C>	prime The associated prime ideal.

Constructor Summary

Constructors

Modifier	Constructor and Description
protected	PrimaryComponent() Constructor not for use.
protected	PrimaryComponent(Ideal<C> q, IdealWithUniv<C> p) Constructor.
protected	PrimaryComponent(Ideal<C> q, IdealWithUniv<C> p, int e) Constructor.

Method Summary

Methods

Modifier and Type	Method and Description
int	getExponent() Get exponent.
void	setExponent(int e) Set exponent.
java.lang.String	toScript() Get a scripting compatible string representation.
java.lang.String	toString() String representation of the ideal.

Methods inherited from class java.lang.Object

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

Field Detail

primary

public final Ideal<C extends GcdRingElem<C>> primary

The primary ideal.

prime

public final IdealWithUniv<C extends GcdRingElem<C>> prime

The associated prime ideal.

exponent

protected int exponent

The exponent of prime for primary.

Constructor Detail

PrimaryComponent

protected PrimaryComponent()

Constructor not for use.

PrimaryComponent

protected PrimaryComponent(Ideal<C> q,
                IdealWithUniv<C> p)

Constructor.

Parameters:

q - the primary ideal

p - the prime ideal.

PrimaryComponent

protected PrimaryComponent(Ideal<C> q,
                IdealWithUniv<C> p,
                int e)

Constructor.

Parameters:

q - the primary ideal

p - the prime ideal.

e - the exponent of p for q.

Method Detail

getExponent

public int getExponent()

Get exponent.

Returns:

exponent.

setExponent

public void setExponent(int e)

Set exponent.

Parameters:

e - the exponent.

toString

public java.lang.String toString()

String representation of the ideal.

Overrides:

toString in class java.lang.Object

See Also:

Object.toString()

toScript

public java.lang.String toScript()

Get a scripting compatible string representation.

Returns:

script compatible representation for this Element.

See Also:

Element.toScript()