|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.ObjectchordDiagrams.Orbit
public class Orbit
Field Summary | |
---|---|
private java.util.HashSet<java.lang.String> |
basis
Stores basis |
java.lang.String |
diagID
Diagram ID of the Diagram whose orbit is considered |
int |
diagIndex
Index of the diagram whose orbit is considered (index in the list of diagID's sorted lexicographically) |
private java.util.TreeSet<Relation> |
indRelations
Independent relations |
private java.util.ArrayList<java.lang.String> |
keyset
Keyset for the diagrams |
java.util.HashMap<java.lang.Integer,OrbitElement> |
orbit
Stores the actual orbit |
int |
shortLength
Stores the length of the orbit modulo 4T, i.e. |
Constructor Summary | |
---|---|
Orbit(java.lang.String diagID,
java.util.HashSet<java.lang.String> basis,
java.util.TreeSet<Relation> indRelations,
java.util.ArrayList<java.lang.String> keyset)
Creates an instance of the class to store the orbit of a diagram under some action |
Method Summary | |
---|---|
void |
addDiagram(java.lang.String diagID)
Adds a diagram into the orbit |
void |
drawOrbit(DiagramDrawer D,
java.util.HashMap<java.lang.String,diagram> diags,
java.lang.String fname)
Draws the orbit with the specified Diagram Drawer Elements of the orbit are saved to the filenames of the form fname_i.PNG |
int |
getIndex(java.lang.String diagID)
Gets the index of a diagram in the keyset |
boolean |
isEmpty()
Tells whether there were no elements put into the orbit |
boolean |
isInteresting(java.lang.Integer I)
Tells whether an orbit element is interesting |
int |
length()
Returns the number of elements in this orbit |
Relation |
lookupRelation(int dIndex)
If the diagram is not in the basis, then it is a pivot in the matrix of independent relations. |
java.lang.String |
toString()
|
java.lang.String |
toStringExtended()
Instead of diagram indices, diagram ID's are printed |
java.lang.String |
toStringShort()
Same as toString, shorter form |
Methods inherited from class java.lang.Object |
---|
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait |
Field Detail |
---|
public int diagIndex
public java.lang.String diagID
public java.util.HashMap<java.lang.Integer,OrbitElement> orbit
public int shortLength
private java.util.HashSet<java.lang.String> basis
private java.util.TreeSet<Relation> indRelations
private java.util.ArrayList<java.lang.String> keyset
Constructor Detail |
---|
public Orbit(java.lang.String diagID, java.util.HashSet<java.lang.String> basis, java.util.TreeSet<Relation> indRelations, java.util.ArrayList<java.lang.String> keyset)
diagID
- String ID of the diagrambasis
- basisindRelations
- independent relationskeyset
- sorted diagram ID's (so that we could deal with indices instead of strings)Method Detail |
---|
public int getIndex(java.lang.String diagID)
diagID
- ID of the diagram to look for
public void addDiagram(java.lang.String diagID)
public Relation lookupRelation(int dIndex)
dIndex
- index of the diagram
public java.lang.String toString()
toString
in class java.lang.Object
public java.lang.String toStringExtended()
public java.lang.String toStringShort()
public boolean isEmpty()
public int length()
public void drawOrbit(DiagramDrawer D, java.util.HashMap<java.lang.String,diagram> diags, java.lang.String fname)
D
- DDrawer to draw withdiags
- fname
- filename basepublic boolean isInteresting(java.lang.Integer I)
I
- key of the orbit element
|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |