edu.jas.application
Class PrimaryComponent<C extends GcdRingElem<C>>

java.lang.Object
  extended by 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
protected  int exponent
          The exponent of prime for primary.
 Ideal<C> primary
          The primary ideal.
 IdealWithUniv<C> prime
          The associated prime ideal.
 
Constructor Summary
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
 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()