- ABOVE_COLOR - Static variable in class org.uacalc.nbui.LatDrawer
-
- AbstractIntOperation - Class in org.uacalc.alg.op
-
This class is not abstract, but has several optional
methods which throw an UnsupportedOperationException.
- AbstractIntOperation(String, int, int) - Constructor for class org.uacalc.alg.op.AbstractIntOperation
-
- AbstractIntOperation(OperationSymbol, int) - Constructor for class org.uacalc.alg.op.AbstractIntOperation
-
- AbstractOperation - Class in org.uacalc.alg.op
-
This class implements the basic methods of Operation.
- AbstractOperation(String, int, int) - Constructor for class org.uacalc.alg.op.AbstractOperation
-
- AbstractOperation(OperationSymbol, int) - Constructor for class org.uacalc.alg.op.AbstractOperation
-
- accept(File) - Method in class org.uacalc.io.ExtFileFilter
-
- add(int, int) - Method in class org.uacalc.alg.conlat.BasicBinaryRelation
-
- add(GUIAlgebra, boolean) - Method in class org.uacalc.ui.util.GUIAlgebraList
-
- add(GUIAlgebra) - Method in class org.uacalc.ui.util.GUIAlgebraList
-
- add(SmallAlgebra, File, boolean) - Method in class org.uacalc.ui.util.GUIAlgebraList
-
- add(SmallAlgebra, boolean) - Method in class org.uacalc.ui.util.GUIAlgebraList
-
- add(SmallAlgebra, File) - Method in class org.uacalc.ui.util.GUIAlgebraList
-
- add(SmallAlgebra) - Method in class org.uacalc.ui.util.GUIAlgebraList
-
- add(int, Object) - Method in class org.uacalc.util.SimpleList
-
This just throws an UnsupportedOperationException.
- add(Object) - Method in class org.uacalc.util.SimpleList
-
This just throws an UnsupportedOperationException.
- addAlgebra(SmallAlgebra, boolean) - Method in class org.uacalc.nbui.MainController
-
- addAlgebra(SmallAlgebra) - Method in class org.uacalc.nbui.MainController
-
- addAlgebra(SmallAlgebra, File, boolean) - Method in class org.uacalc.nbui.MainController
-
Make alg into a GUIAlgebra, add it to the list and to the table
with the list and scroll to the bottom.
- addAlgebra(GUIAlgebra, boolean) - Method in class org.uacalc.nbui.MainController
-
Make alg into a GUIAlgebra, add it to the list and to the table
with the list and scroll to the bottom.
- addAlgebra(SmallAlgebra) - Method in class org.uacalc.ui.table.AlgebraTableModel
-
- addAlgebra(SmallAlgebra, File) - Method in class org.uacalc.ui.table.AlgebraTableModel
-
- addAlgebra(GUIAlgebra) - Method in class org.uacalc.ui.table.AlgebraTableModel
-
- addAlgebra(SmallAlgebra) - Method in class org.uacalc.ui.UACalculator
-
- addAlgebra(SmallAlgebra, File) - Method in class org.uacalc.ui.UACalculator
-
right now the list of algebras is maintained the algebraTableModel.
- addAll(int, Collection) - Method in class org.uacalc.util.SimpleList
-
This just throws an UnsupportedOperationException.
- addAll(Collection) - Method in class org.uacalc.util.SimpleList
-
- addEndingLine(String) - Method in class org.uacalc.ui.tm.ProgressReport
-
- addLine(String) - Method in class org.uacalc.ui.tm.ProgressReport
-
- addLogLine(String) - Method in class org.uacalc.ui.tm.ProgressState
-
- addOp() - Method in class org.uacalc.nbui.AlgebraEditorController
-
- addOperation(Operation) - Method in class org.uacalc.ui.AlgebraEditor
-
- addStartLine(String) - Method in class org.uacalc.ui.tm.ProgressReport
-
- addTask(BackgroundTask<?>) - Method in class org.uacalc.ui.MonitorPanel
-
- addTask(BackgroundTask<?>, boolean) - Method in class org.uacalc.ui.MonitorPanel
-
- addTask(BackgroundTask<?>) - Method in class org.uacalc.ui.table.TaskTableModel
-
- addTask(BackgroundTask<?>, boolean) - Method in class org.uacalc.ui.table.TaskTableModel
-
- addToSelectedElemList(Vertex) - Method in class org.uacalc.nbui.LatDrawer
-
- alg - Variable in class org.uacalc.alg.QuotientElement
-
- ALG_EXT - Static variable in class org.uacalc.io.ExtFileFilter
-
- ALG_NAME_END_TAG - Static variable in class org.uacalc.io.AlgebraWriter
-
- ALG_NAME_TAG - Static variable in class org.uacalc.io.AlgebraWriter
-
- Algebra - Interface in org.uacalc.alg
-
- ALGEBRA_CHANGED - Static variable in class org.uacalc.nbui.MainController
-
- ALGEBRA_END_TAG - Static variable in class org.uacalc.io.AlgebraWriter
-
- ALGEBRA_TAG - Static variable in class org.uacalc.io.AlgebraWriter
-
- AlgebraEditor - Class in org.uacalc.ui
-
- AlgebraEditor(UACalculator) - Constructor for class org.uacalc.ui.AlgebraEditor
-
- AlgebraEditor.OpSymItem - Interface in org.uacalc.ui
-
A cute hack to get the toString method of an OperationSymbol to
put the arity in parentheses.
- AlgebraEditorController - Class in org.uacalc.nbui
-
- AlgebraEditorController(UACalc) - Constructor for class org.uacalc.nbui.AlgebraEditorController
-
- AlgebraEditorController.OpSymItem - Interface in org.uacalc.nbui
-
A cute hack to get the toString method of an OperationSymbol to
put the arity in parentheses.
- AlgebraFromMinimalSets - Class in org.uacalc.alg
-
Starting with an algebra B which is permutational (nonconstant
unary polynomials are permutations) and a geometry for the
minimal sets, this constructs an algebra A with tame minimal sets,
having B as a minimal set.
- AlgebraFromMinimalSets(SmallAlgebra) - Constructor for class org.uacalc.alg.AlgebraFromMinimalSets
-
- AlgebraFromMinimalSets(SmallAlgebra, int, List<int[]>) - Constructor for class org.uacalc.alg.AlgebraFromMinimalSets
-
- AlgebraFromMinimalSets(String, SmallAlgebra) - Constructor for class org.uacalc.alg.AlgebraFromMinimalSets
-
- AlgebraFromMinimalSets(String, SmallAlgebra, List<Integer>) - Constructor for class org.uacalc.alg.AlgebraFromMinimalSets
-
- AlgebraFromMinimalSets(String, SmallAlgebra, int, List<int[]>, List<Integer>) - Constructor for class org.uacalc.alg.AlgebraFromMinimalSets
-
If k is the cardinality of minAlg, each map maps
k = {0,..., k-1} one-to-one into n = {0,...,n-1}.
- AlgebraIO - Class in org.uacalc.io
-
Reader and writers.
- AlgebraPreviewer - Class in org.uacalc.nbui
-
- AlgebraPreviewer(UACalc) - Constructor for class org.uacalc.nbui.AlgebraPreviewer
-
- AlgebraReader - Class in org.uacalc.io
-
XML reading.
- AlgebraReader(File) - Constructor for class org.uacalc.io.AlgebraReader
-
- AlgebraReader(String) - Constructor for class org.uacalc.io.AlgebraReader
-
- AlgebraReader(InputStream) - Constructor for class org.uacalc.io.AlgebraReader
-
- Algebras - Class in org.uacalc.alg
-
A class with static methods for algebras.
- algebras - Variable in class org.uacalc.alg.BigProductAlgebra
-
- algebras - Variable in class org.uacalc.alg.ProductAlgebra
-
- AlgebraTableInputPanel - Class in org.uacalc.ui
-
- AlgebraTableInputPanel(String, int, String) - Constructor for class org.uacalc.ui.AlgebraTableInputPanel
-
- AlgebraTableModel - Class in org.uacalc.ui.table
-
- AlgebraTableModel() - Constructor for class org.uacalc.ui.table.AlgebraTableModel
-
- AlgebraTablePanel - Class in org.uacalc.ui.table
-
- AlgebraTablePanel() - Constructor for class org.uacalc.ui.table.AlgebraTablePanel
-
- algebraType() - Method in class org.uacalc.alg.BasicAlgebra
-
- algebraType() - Method in class org.uacalc.alg.FreeAlgebra
-
- algebraType() - Method in class org.uacalc.alg.MatrixPowerAlgebra
-
- algebraType() - Method in class org.uacalc.alg.PolinLikeAlgebra
-
- algebraType() - Method in class org.uacalc.alg.PowerAlgebra
-
- algebraType() - Method in class org.uacalc.alg.ProductAlgebra
-
- algebraType() - Method in class org.uacalc.alg.QuotientAlgebra
-
- algebraType() - Method in class org.uacalc.alg.ReductAlgebra
-
- algebraType() - Method in interface org.uacalc.alg.SmallAlgebra
-
The type of algebra this is, like a quotient algebra.
- algebraType() - Method in class org.uacalc.alg.Subalgebra
-
- algebraType() - Method in class org.uacalc.alg.SubProductAlgebra
-
- algebraType() - Method in class org.uacalc.alg.UnaryTermsMonoid
-
- algebraType() - Method in class org.uacalc.lat.BasicLattice
-
- AlgebraWithGeneratingVector - Class in org.uacalc.alg
-
- AlgebraWithGeneratingVector(SmallAlgebra, int[]) - Constructor for class org.uacalc.alg.AlgebraWithGeneratingVector
-
- AlgebraWriter - Class in org.uacalc.io
-
XML writing.
- AlgebraWriter(SmallAlgebra, PrintWriter) - Constructor for class org.uacalc.io.AlgebraWriter
-
- AlgebraWriter(SmallAlgebra, String) - Constructor for class org.uacalc.io.AlgebraWriter
-
- algSize - Variable in class org.uacalc.alg.op.AbstractOperation
-
- ALL_ALG_EXTS - Static variable in class org.uacalc.io.ExtFileFilter
-
- allElementsFound() - Method in class org.uacalc.alg.Closer
-
- append(SimpleList) - Method in class org.uacalc.util.SimpleList
-
This corresponds to (APPEND this lst) in lisp.
- appendToLogArea(String) - Method in class org.uacalc.ui.tm.ProgressReport
-
- aritiesString() - Method in class org.uacalc.alg.op.SimilarityType
-
- arity() - Method in class org.uacalc.alg.op.AbstractOperation
-
This gives the arity of this operation.
- arity() - Method in interface org.uacalc.alg.op.Operation
-
This gives the arity of this operation.
- arity() - Method in class org.uacalc.alg.op.OperationSymbol
-
This gives the arity of this operation.
- arity() - Method in class org.uacalc.terms.Taylor
-
- ARITY_END_TAG - Static variable in class org.uacalc.io.AlgebraWriter
-
- ARITY_TAG - Static variable in class org.uacalc.io.AlgebraWriter
-
- array - Variable in class org.uacalc.util.IntArray
-
- ArrayIncrementor - Interface in org.uacalc.util
-
This is for in place incrementing of an array.
- arrayIncrementor(int[]) - Static method in class org.uacalc.util.PermutationGenerator
-
This increments arr, applying the next transposition that results
in a different array.
- ArrayString - Class in org.uacalc.util
-
A static method to print out an array based on Java Tech Tips, Feb 5, 2002.
- ArrayString() - Constructor for class org.uacalc.util.ArrayString
-
- associativeLaw(OperationSymbol) - Static method in class org.uacalc.eq.Equations
-
- atoms() - Method in class org.uacalc.alg.conlat.CongruenceLattice
-
- atoms() - Method in class org.uacalc.alg.sublat.SubalgebraLattice
-
- atoms() - Method in class org.uacalc.lat.BasicLattice
-
- atoms() - Method in interface org.uacalc.lat.Lattice
-
- ATT_COLOR - Static variable in class org.uacalc.ui.LatDrawer
-
- ATT_COLOR - Static variable in class org.uacalc.ui.LatDrawPanel
-
- awaitTermination(long, TimeUnit) - Method in class org.uacalc.ui.tm.GuiExecutor
-
- BackgroundExec - Class in org.uacalc.ui.tm
-
- BackgroundExec() - Constructor for class org.uacalc.ui.tm.BackgroundExec
-
- BackgroundTask<V> - Class in org.uacalc.ui.tm
-
BackgroundTask
Background task class supporting cancellation, completion notification,
and progress notification.
- BackgroundTask(ProgressReport) - Constructor for class org.uacalc.ui.tm.BackgroundTask
-
- BackgroundTask.Status - Enum in org.uacalc.ui.tm
-
- BadAlgebraFileException - Exception in org.uacalc.io
-
- BadAlgebraFileException(String) - Constructor for exception org.uacalc.io.BadAlgebraFileException
-
- BASIC - Static variable in class org.uacalc.io.AlgebraReader
-
- BASIC_ALGEBRA_END_TAG - Static variable in class org.uacalc.io.AlgebraWriter
-
- BASIC_ALGEBRA_TAG - Static variable in class org.uacalc.io.AlgebraWriter
-
- BasicAlgebra - Class in org.uacalc.alg
-
This class represents SmallAlgebra's.
- BasicAlgebra(String, int, List<Operation>) - Constructor for class org.uacalc.alg.BasicAlgebra
-
If a universe is not given, use Integers.
- BasicAlgebra(String, List, List<Operation>) - Constructor for class org.uacalc.alg.BasicAlgebra
-
This constructs a SmallAlgebra from a ordered list of elements.
- BasicBinaryRelation - Class in org.uacalc.alg.conlat
-
- BasicBinaryRelation(int) - Constructor for class org.uacalc.alg.conlat.BasicBinaryRelation
-
- BasicBinaryRelation(Collection<IntArray>, int) - Constructor for class org.uacalc.alg.conlat.BasicBinaryRelation
-
- BasicLattice - Class in org.uacalc.lat
-
- BasicLattice(String, OrderedSet) - Constructor for class org.uacalc.lat.BasicLattice
-
Make a BasicLattice from a poset.
- BasicLattice(String, Lattice) - Constructor for class org.uacalc.lat.BasicLattice
-
Make a BasicLattice from a Lattice.
- BasicLattice(String, CongruenceLattice, boolean) - Constructor for class org.uacalc.lat.BasicLattice
-
Make a BasicLattice from a CongruenceLattice.
- BasicPartition - Class in org.uacalc.alg.conlat
-
This class implement the basic operations for partition on the set
{0, 1, ..., n-1}.
- BasicPartition(int[]) - Constructor for class org.uacalc.alg.conlat.BasicPartition
-
- BasicPartition(String) - Constructor for class org.uacalc.alg.conlat.BasicPartition
-
- BasicPartition(String, int) - Constructor for class org.uacalc.alg.conlat.BasicPartition
-
If length is nonnegative, this converts str into a
partition on 0 to length - 1, ignoring any any interger
in str greater than length - 1.
- BasicSet - Class in org.uacalc.alg.sublat
-
This class implement the basic set operations on the set
{0, 1, ..., n-1}.
- BasicSet(int[]) - Constructor for class org.uacalc.alg.sublat.BasicSet
-
- beep() - Method in class org.uacalc.nbui.MainController
-
- beep() - Method in interface org.uacalc.nbui.UACalc
-
- beep() - Method in class org.uacalc.nbui.UACalculator2
-
- beep() - Method in class org.uacalc.nbui.UACalculatorUI
-
- beep() - Method in class org.uacalc.ui.UACalculator
-
- BELOW_COLOR - Static variable in class org.uacalc.nbui.LatDrawer
-
- BIG_PRODUCT_ALGEBRA_END_TAG - Static variable in class org.uacalc.io.AlgebraWriter
-
- BIG_PRODUCT_ALGEBRA_TAG - Static variable in class org.uacalc.io.AlgebraWriter
-
- BigProductAlgebra - Class in org.uacalc.alg
-
This class represents the direct product of SmallAlgebras
which is too big to be a SmallAlgebra.
- BigProductAlgebra() - Constructor for class org.uacalc.alg.BigProductAlgebra
-
- BigProductAlgebra(String) - Constructor for class org.uacalc.alg.BigProductAlgebra
-
- BigProductAlgebra(List<SmallAlgebra>) - Constructor for class org.uacalc.alg.BigProductAlgebra
-
Construct the direct product of a List of SmallAlgebra's.
- BigProductAlgebra(String, List<SmallAlgebra>) - Constructor for class org.uacalc.alg.BigProductAlgebra
-
Construct the direct product of a List of SmallAlgebra's.
- BigProductAlgebra(SmallAlgebra, int) - Constructor for class org.uacalc.alg.BigProductAlgebra
-
Construct the direct power of a SmallAlgebra.
- BigProductAlgebra(String, SmallAlgebra, int) - Constructor for class org.uacalc.alg.BigProductAlgebra
-
Construct the direct power of a SmallAlgebra.
- BigProductAlgebra(List<SmallAlgebra>, int[]) - Constructor for class org.uacalc.alg.BigProductAlgebra
-
Construct the direct product of a List of SmallAlgebra's raised to
various powers.
- BigProductAlgebra(String, List<SmallAlgebra>, int[]) - Constructor for class org.uacalc.alg.BigProductAlgebra
-
Construct the direct product of a List of SmallAlgebra's raised to
various powers.
- binaryOpToCSV(String, Operation, PrintStream) - Static method in class org.uacalc.alg.op.Operations
-
- binaryPolymorphisms(List<Partition>) - Static method in class org.uacalc.alg.conlat.BasicPartition
-
- binaryPolymorphisms(List<Partition>, NavigableSet<IntArray>, ProgressReport) - Static method in class org.uacalc.alg.conlat.BasicPartition
-
- binaryPolymorphismsAlgebra(List<Partition>, ProgressReport) - Static method in class org.uacalc.alg.conlat.BasicPartition
-
- BinaryRelation - Interface in org.uacalc.alg.conlat
-
- blockIndex(int) - Method in class org.uacalc.alg.conlat.BasicPartition
-
The index of the block containing i.
- blockIndex(int) - Method in interface org.uacalc.alg.conlat.Partition
-
- botAlg - Variable in class org.uacalc.alg.PolinLikeAlgebra
-
- botConstIndex - Variable in class org.uacalc.alg.PolinLikeAlgebra
-
- BOTH_COLOR - Static variable in class org.uacalc.nbui.LatDrawer
-
- buildDate - Static variable in class org.uacalc.nbui.Version
-
- calcCard(int[]) - Static method in class org.uacalc.alg.ProductAlgebra
-
Returns the product cardinality if it is an int; otherwise
it returns -1.
- calcCentrality(BinaryRelation, BinaryRelation) - Method in class org.uacalc.alg.conlat.CongruenceLattice
-
Given tolerances (or congruences) S and T, this tests, for every
congruence delta of A, if S centralizes T mod delta.
- calcCentrality(BinaryRelation, BinaryRelation, ProgressReport) - Method in class org.uacalc.alg.conlat.CongruenceLattice
-
- cancel(boolean) - Method in class org.uacalc.ui.tm.BackgroundTask
-
- cancelOrRemoveCurrentTask() - Method in class org.uacalc.nbui.ComputationsController
-
- canonicalForm(Term) - Method in class org.uacalc.terms.Taylor
-
Find the canonical form of a term t in the language of
f with variables x and y.
- canonicalForm(IntArray) - Method in class org.uacalc.terms.Taylor
-
- canonicalHomomorphism(int) - Method in class org.uacalc.alg.QuotientAlgebra
-
If e is the index of an element of the
parent algebra, this returns the corresponding element
of the quotient algebra.
- cardinality() - Method in interface org.uacalc.alg.Algebra
-
- cardinality - Variable in class org.uacalc.alg.BigProductAlgebra
-
-2 indicates the value has not been calculated; -1 that it is too big
to be an int.
- cardinality() - Method in class org.uacalc.alg.BigProductAlgebra
-
If this is larger than an int, return -1.
- cardinality() - Method in class org.uacalc.alg.conlat.CongruenceLattice
-
- cardinality() - Method in class org.uacalc.alg.GeneralAlgebra
-
- cardinality() - Method in class org.uacalc.alg.MatrixPowerAlgebra
-
- cardinality() - Method in class org.uacalc.alg.sublat.SubalgebraLattice
-
- cardinality() - Method in class org.uacalc.lat.BasicLattice
-
- CARDINALITY_COUNTABLE - Static variable in interface org.uacalc.alg.Algebra
-
This is used to indicate the carinality of the algebra is either
finite or countably infinite.
- CARDINALITY_COUNTABLY_INFINITE - Static variable in interface org.uacalc.alg.Algebra
-
This is used to indicate the carinality of the algebra is
countably infinite.
- CARDINALITY_END_TAG - Static variable in class org.uacalc.io.AlgebraWriter
-
- CARDINALITY_FINITE - Static variable in interface org.uacalc.alg.Algebra
-
This is used to indicate the carinality of the algebra is finite
but otherwise unknown.
- CARDINALITY_INFINITE - Static variable in interface org.uacalc.alg.Algebra
-
This is used to indicate the carinality of the algebra is infinite
but otherwise unknown.
- CARDINALITY_TAG - Static variable in class org.uacalc.io.AlgebraWriter
-
- CARDINALITY_UNKNOWN - Static variable in interface org.uacalc.alg.Algebra
-
This is used to indicate the carinality of the algebra is unknown.
- CentralityData - Class in org.uacalc.alg.conlat
-
This will hold two tolerance S and T, a congruence delta
and the status of
centraility, weak centrality, strong rectangularity: Q(S,T,delta),
including failure info and commutators.
- CentralityData(BinaryRelation, BinaryRelation, Partition) - Constructor for class org.uacalc.alg.conlat.CentralityData
-
- centralityFailure(BinaryRelation, BinaryRelation, Partition) - Method in class org.uacalc.alg.conlat.CongruenceLattice
-
Find a witness to the failure of centrality, or null
if there is none.
- centralityFailure(BinaryRelation, BinaryRelation, Partition, SubProductAlgebra) - Method in class org.uacalc.alg.conlat.CongruenceLattice
-
- centralizes(BinaryRelation, BinaryRelation, Partition) - Method in class org.uacalc.alg.conlat.CongruenceLattice
-
- centralizes(BinaryRelation, BinaryRelation, Partition, SubProductAlgebra) - Method in class org.uacalc.alg.conlat.CongruenceLattice
-
- Cg(Object, Object) - Method in class org.uacalc.alg.conlat.CongruenceLattice
-
The congruence generated by Object a and b.
- Cg(int, int) - Method in class org.uacalc.alg.conlat.CongruenceLattice
-
- Cg(int, int, ProgressReport) - Method in class org.uacalc.alg.conlat.CongruenceLattice
-
The congruence generated by ints a and b.
- Cg(Partition) - Method in class org.uacalc.alg.conlat.CongruenceLattice
-
The smallest congruence containing part.
- Cg(Partition, ProgressReport) - Method in class org.uacalc.alg.conlat.CongruenceLattice
-
The smallest congruence containing part.
- Cg_Old(Partition, ProgressReport) - Method in class org.uacalc.alg.conlat.CongruenceLattice
-
- characters(char[], int, int) - Method in class org.uacalc.io.AlgebraReader
-
Since this is allowed to chunk the string in any way, we have to
append the strings until we get to the end tag.
- checkSave() - Method in class org.uacalc.nbui.MainController
-
- checkSave() - Method in class org.uacalc.ui.UACalculator
-
- clear() - Method in class org.uacalc.ui.NewAlgebraDialog
-
- clear() - Method in class org.uacalc.util.SimpleList
-
This just throws an UnsupportedOperationException.
- clearAll() - Method in class org.uacalc.ui.tm.ProgressState
-
- clearLogLines() - Method in class org.uacalc.ui.tm.ProgressState
-
- clearUserMessage() - Method in class org.uacalc.nbui.MainController
-
Clear the user message.
- clone() - Method in class org.uacalc.util.IntArray
-
- clone() - Method in class org.uacalc.util.SimpleList
-
- close() - Method in class org.uacalc.alg.Closer
-
- Closer - Class in org.uacalc.alg
-
A class for finding the closure with configurations for several options
and fields to hold side results.
- Closer(BigProductAlgebra, List<IntArray>) - Constructor for class org.uacalc.alg.Closer
-
- Closer(BigProductAlgebra, List<IntArray>, Map<IntArray, Term>) - Constructor for class org.uacalc.alg.Closer
-
- Closer(BigProductAlgebra, List<IntArray>, boolean) - Constructor for class org.uacalc.alg.Closer
-
- CloserTiming - Class in org.uacalc.alg
-
A class to hold the data for the timing information in the UI.
- CloserTiming(BigProductAlgebra, ProgressReport) - Constructor for class org.uacalc.alg.CloserTiming
-
- closureAt(List<BasicPartition>) - Static method in class org.uacalc.alg.conlat.BasicPartition
-
- coatoms() - Method in class org.uacalc.alg.conlat.CongruenceLattice
-
This is not implemented yet.
- coatoms() - Method in class org.uacalc.alg.sublat.SubalgebraLattice
-
- coatoms() - Method in class org.uacalc.lat.BasicLattice
-
- coatoms() - Method in interface org.uacalc.lat.Lattice
-
- COMMA - Static variable in class org.uacalc.terms.NonVariableTerm
-
- commutator(BinaryRelation, BinaryRelation) - Method in class org.uacalc.alg.conlat.CongruenceLattice
-
Calculate the commutator of S and T, which are
tolerances or congruences.
- commutator(BinaryRelation, BinaryRelation, List<CentralityData>, ProgressReport) - Method in class org.uacalc.alg.conlat.CongruenceLattice
-
- commutes(Operation, Operation) - Static method in class org.uacalc.alg.op.Operations
-
This tests if an operation commutes with a unary operation.
- commutes(int[], Operation, Operation) - Static method in class org.uacalc.alg.op.Operations
-
Test if map defines a homomorphism wrt these operations.
- compareTo(AlgebraWithGeneratingVector) - Method in class org.uacalc.alg.AlgebraWithGeneratingVector
-
- compareTo(Object) - Method in class org.uacalc.alg.conlat.BasicBinaryRelation
-
- compareTo(Object) - Method in class org.uacalc.alg.conlat.BasicPartition
-
The order of a linear extension respecting rank.
- compareTo(CentralityData) - Method in class org.uacalc.alg.conlat.CentralityData
-
- compareTo(Operation) - Method in class org.uacalc.alg.op.AbstractOperation
-
- compareTo(OperationSymbol) - Method in class org.uacalc.alg.op.OperationSymbol
-
This puts high arity operations first.
- compareTo(Object) - Method in class org.uacalc.alg.sublat.BasicSet
-
The order of a linear extension respecting rank.
- complements(Partition) - Method in class org.uacalc.alg.conlat.CongruenceLattice
-
Returns a list of the complements of par.
- compose(BinaryRelation) - Method in class org.uacalc.alg.conlat.BasicBinaryRelation
-
Relation composition.
- compose(BinaryRelation) - Method in class org.uacalc.alg.conlat.BasicPartition
-
The relational composition.
- compose(BinaryRelation) - Method in interface org.uacalc.alg.conlat.BinaryRelation
-
- COMPUTATIONS_INDEX - Variable in class org.uacalc.ui.Tabs
-
- ComputationsController - Class in org.uacalc.nbui
-
- ComputationsController(UACalc) - Constructor for class org.uacalc.nbui.ComputationsController
-
- ComputationsPanel - Class in org.uacalc.ui
-
- ComputationsPanel(UACalculator) - Constructor for class org.uacalc.ui.ComputationsPanel
-
- compute() - Method in class org.uacalc.ui.tm.BackgroundTask
-
- con() - Method in class org.uacalc.alg.BasicAlgebra
-
- con() - Method in class org.uacalc.alg.conlat.CongruenceLattice
-
Get Con(Con(A)).
- con - Variable in class org.uacalc.alg.GeneralAlgebra
-
- con() - Method in class org.uacalc.alg.GeneralAlgebra
-
- con() - Method in class org.uacalc.alg.MatrixPowerAlgebra
-
- con() - Method in class org.uacalc.alg.PolinLikeAlgebra
-
- con() - Method in class org.uacalc.alg.PowerAlgebra
-
- con() - Method in class org.uacalc.alg.ProductAlgebra
-
- con() - Method in class org.uacalc.alg.QuotientAlgebra
-
- con() - Method in class org.uacalc.alg.ReductAlgebra
-
- con() - Method in interface org.uacalc.alg.SmallAlgebra
-
The congurence lattice.
- con() - Method in class org.uacalc.alg.Subalgebra
-
- con() - Method in class org.uacalc.alg.sublat.SubalgebraLattice
-
- con() - Method in class org.uacalc.alg.SubProductAlgebra
-
- con() - Method in class org.uacalc.alg.UnaryTermsMonoid
-
- con() - Method in class org.uacalc.lat.BasicLattice
-
- ConController - Class in org.uacalc.nbui
-
- ConController(UACalc, PropertyChangeSupport) - Constructor for class org.uacalc.nbui.ConController
-
- congruence - Variable in class org.uacalc.alg.QuotientAlgebra
-
- CONGRUENCE_END_TAG - Static variable in class org.uacalc.io.AlgebraWriter
-
- CONGRUENCE_TAG - Static variable in class org.uacalc.io.AlgebraWriter
-
- congruenceAsAlgebra(SmallAlgebra, Partition) - Static method in class org.uacalc.alg.ReductAlgebra
-
This gives the congruence cong as a subalgebra of A^2.
- congruenceAsAlgebra(String, SmallAlgebra, Partition) - Static method in class org.uacalc.alg.ReductAlgebra
-
This gives the congruence cong as a subalgebra of A^2.
- congruenceAsAlgebra(SmallAlgebra, Partition) - Static method in class org.uacalc.alg.Subalgebra
-
This gives the congruence cong as a subalgebra of A^2.
- congruenceAsAlgebra(String, SmallAlgebra, Partition) - Static method in class org.uacalc.alg.Subalgebra
-
This gives the congruence cong as a subalgebra of A^2.
- CongruenceLattice - Class in org.uacalc.alg.conlat
-
A class to represent the congruence lattice of a SmallAlgebra;
this is, an algebra with universe
the integers from 0 to n-1.
- CongruenceLattice(SmallAlgebra) - Constructor for class org.uacalc.alg.conlat.CongruenceLattice
-
- congruenceModularForIdempotent(SmallAlgebra, ProgressReport) - Static method in class org.uacalc.alg.Malcev
-
Use the polynomial time algorithm from Freese-Valeriote to
test if alg generates a CM variety.
- congruenceModularVariety(SmallAlgebra) - Static method in class org.uacalc.alg.Malcev
-
Test if alg generates a CM variety by looking for
a Day quadruple in the square of the free algebra
on 2 generators.
- congruenceModularVariety(SmallAlgebra, ProgressReport) - Static method in class org.uacalc.alg.Malcev
-
Test if alg generates a CM variety by looking for
a Day quadruple in the square of the free algebra
on 2 generators.
- ConLatticeTableModel - Class in org.uacalc.ui.table
-
- ConLatticeTableModel(SmallAlgebra, ConLatticeTableModel.DataType, Diagram) - Constructor for class org.uacalc.ui.table.ConLatticeTableModel
-
- ConLatticeTableModel(SmallAlgebra, ConLatticeTableModel.DataType) - Constructor for class org.uacalc.ui.table.ConLatticeTableModel
-
- ConLatticeTableModel.DataType - Enum in org.uacalc.ui.table
-
- cons(Object) - Method in class org.uacalc.util.SimpleList
-
- constantOperations() - Method in interface org.uacalc.alg.Algebra
-
This gives a list of the operations of arity 0, which is
a little different from the constants.
- constantOperations() - Method in class org.uacalc.alg.conlat.CongruenceLattice
-
- constantOperations() - Method in class org.uacalc.alg.GeneralAlgebra
-
This gives a list of the operations of arity 0, which is
a little different from the constants.
- constantOperations() - Method in class org.uacalc.alg.sublat.SubalgebraLattice
-
- constants - Variable in class org.uacalc.alg.BigProductAlgebra
-
- constantToSymbol - Variable in class org.uacalc.alg.BigProductAlgebra
-
- CONSTRUCTIONS_INDEX - Variable in class org.uacalc.ui.Tabs
-
- constructPolinAlgebra(SmallAlgebra, Object) - Static method in class org.uacalc.alg.PolinLikeAlgebra
-
This is not implemented; don't use it.
- constructPolinAlgebra(SmallAlgebra, int) - Static method in class org.uacalc.alg.PolinLikeAlgebra
-
This is not implemented; don't use it.
- contains(int) - Method in class org.uacalc.alg.sublat.BasicSet
-
- contains(Object) - Method in class org.uacalc.util.SimpleList
-
- containsAll(Collection) - Method in class org.uacalc.util.SimpleList
-
- conToSmallLattice(CongruenceLattice) - Method in class org.uacalc.lat.Lattices
-
- convertToDefaultValueOps() - Method in class org.uacalc.alg.BasicAlgebra
-
- convertToDefaultValueOps() - Method in class org.uacalc.alg.MatrixPowerAlgebra
-
- convertToDefaultValueOps() - Method in class org.uacalc.alg.PolinLikeAlgebra
-
- convertToDefaultValueOps() - Method in class org.uacalc.alg.ProductAlgebra
-
- convertToDefaultValueOps() - Method in class org.uacalc.alg.QuotientAlgebra
-
- convertToDefaultValueOps() - Method in class org.uacalc.alg.ReductAlgebra
-
- convertToDefaultValueOps() - Method in interface org.uacalc.alg.SmallAlgebra
-
This is used in the UI.
- convertToDefaultValueOps() - Method in class org.uacalc.alg.Subalgebra
-
- convertToDefaultValueOps() - Method in class org.uacalc.alg.SubProductAlgebra
-
- convertToDefaultValueOps() - Method in class org.uacalc.alg.UnaryTermsMonoid
-
- convertToDefaultValueOps() - Method in class org.uacalc.lat.BasicLattice
-
- convertToXML(String) - Static method in class org.uacalc.io.AlgebraIO
-
Read in a file like foo.alg file and output foo.xml.
- convertToXML(File) - Static method in class org.uacalc.io.AlgebraIO
-
Read in a file like foo.alg file and output foo.xml.
- copyList() - Method in class org.uacalc.util.SimpleList
-
- countFuncApplications(int, int) - Method in class org.uacalc.alg.Closer
-
- cpIdempotent(SmallAlgebra, ProgressReport) - Static method in class org.uacalc.alg.Malcev
-
This uses Theorem 5.1 of Freese-Valeriote to test if the
algebra the algebra generates a CP variety.
- createPopupMenu() - Method in class org.uacalc.nbui.ConController
-
- createPopupMenu() - Method in class org.uacalc.nbui.SubController
-
- CSV_EXT - Static variable in class org.uacalc.io.ExtFileFilter
-
- cubeTermBlockerIdempotent(SmallAlgebra, ProgressReport) - Static method in class org.uacalc.alg.Malcev
-
Find a cube term blocker for V(A) if there is one; null otherwise.
- cubeTermBlockerIdempotent(SmallAlgebra, BasicSet, BasicSet) - Static method in class org.uacalc.alg.Malcev
-
- cubeTermBlockerIdempotent(Operation, BasicSet, BasicSet) - Static method in class org.uacalc.alg.Malcev
-
Returns the j so that C, D is a cube term blocker at position j
or -1 if C, D is not a cube term blocker.
- cubeTermBlockerIdempotent(Operation, int, BasicSet, BasicSet) - Static method in class org.uacalc.alg.Malcev
-
Tests if op(D,...,D,C,D,...D) is a subset of C (where the
C is in the jth coordinate).
- cyclicLaw(OperationSymbol) - Static method in class org.uacalc.eq.Equations
-
Test if f(x0,x1,...,x{k-1}) = f(x{k-1},x0, ...,x{k-2}).
- cyclicTermIdempotent(SmallAlgebra, int) - Static method in class org.uacalc.alg.Malcev
-
This implements an algorithm of Valeriote and Willard for testing if
the algebra has a cyclic term of a given arity.
- cyclicTermIdempotent(SmallAlgebra, int, ProgressReport) - Static method in class org.uacalc.alg.Malcev
-
This implements an algorithm of Valeriote and Willard for testing if
the idempotent algebra has a cyclic term of a given arity.
- FACTOR_END_TAG - Static variable in class org.uacalc.io.AlgebraWriter
-
- FACTOR_TAG - Static variable in class org.uacalc.io.AlgebraWriter
-
- factors() - Method in class org.uacalc.alg.BigProductAlgebra
-
- factors() - Method in class org.uacalc.alg.ProductAlgebra
-
- FACTORS_END_TAG - Static variable in class org.uacalc.io.AlgebraWriter
-
- FACTORS_TAG - Static variable in class org.uacalc.io.AlgebraWriter
-
- filter(BasicSet) - Method in class org.uacalc.alg.sublat.SubalgebraLattice
-
The set of all subalgebras containing the subalgebra elt.
- filter(POElem) - Method in class org.uacalc.lat.BasicLattice
-
- filter(Vertex) - Method in class org.uacalc.nbui.LatDrawer
-
- findCoatomAbove(Partition) - Method in class org.uacalc.alg.conlat.CongruenceLattice
-
find a coaton of the congruence lattice greater than
or equal to theta.
- findDayQuadrupleInSquare(SmallAlgebra, ProgressReport) - Static method in class org.uacalc.alg.Malcev
-
Find a Day quadruple of the form a = (x0, x1), b = (x0, y1),
c = y0, x1), d = (y0, y1).
- findDifference(Operation, Operation) - Static method in class org.uacalc.alg.op.Operations
-
- findDifference(Operation, Operation, ProgressReport) - Static method in class org.uacalc.alg.op.Operations
-
Find an argument where these operations differ.
- findEquationOfAnotB(SmallAlgebra, SmallAlgebra, int[]) - Static method in class org.uacalc.alg.FreeAlgebra
-
- findEquationOfAnotB(SmallAlgebra, SmallAlgebra, int[], ProgressReport) - Static method in class org.uacalc.alg.FreeAlgebra
-
Find an equation holding in A and failing in B under the substitution, or
return null if there is no such failure.
- findFailure(SmallAlgebra) - Method in class org.uacalc.eq.Equation
-
- findFailure(SmallAlgebra, ProgressReport) - Method in class org.uacalc.eq.Equation
-
Check if this equation holds in alg,
returning a place where it fails
or null if it is true.
- findFailureMap(SmallAlgebra) - Method in class org.uacalc.eq.Equation
-
- findFailureMap(SmallAlgebra, ProgressReport) - Method in class org.uacalc.eq.Equation
-
Check if this equation holds in alg,
returning the map from variables to ints
where it fails or null if it is true.
- findInClone(List<Operation>, SmallAlgebra, ProgressReport) - Static method in class org.uacalc.alg.Algebras
-
Test if ops are in the clone of A and return a
mapping from OperationSymbols to terms, which
will have entries for those opertions which are
in the clone.
- findIndex(Partition, Vertex[]) - Method in class org.uacalc.ui.table.ConLatticeTableModel
-
- findJoinIrred(Partition, Partition) - Method in class org.uacalc.alg.conlat.CongruenceLattice
-
This finds a join irreducible congruence which is minimal with
respect to being below b and not below a.
- findJoinIrred(POElem, POElem) - Method in class org.uacalc.lat.BasicLattice
-
This finds a join irreducible element which is minimal with
respect to being below a and not below b.
- findL3Generators() - Method in class org.uacalc.alg.conlat.CongruenceLattice
-
Find congruences alpha, beta, gamma which generate L3
of Jonsson-Rival notation; see Fig 2.2 of Jipsen-Rose.
- findLPJ10Generators() - Method in class org.uacalc.alg.conlat.CongruenceLattice
-
- findLXXGenerators() - Method in class org.uacalc.alg.conlat.CongruenceLattice
-
- findMeetIrred(Partition, Partition) - Method in class org.uacalc.alg.conlat.CongruenceLattice
-
This finds a meet irreducible congruence which is maximal with
respect to being above a and not above b.
- findMeetIrred(POElem, POElem) - Method in class org.uacalc.lat.BasicLattice
-
This finds a meet irreducible element which is maximal with
respect to being above a and not above b.
- findMinimalSizedGeneratingSet() - Method in class org.uacalc.alg.sublat.SubalgebraLattice
-
- findNUF(SmallAlgebra, int) - Static method in class org.uacalc.alg.Algebras
-
This will find a near unamimity term of the given arity
if one exits; otherwise it return null.
- findPrincipalChain() - Method in class org.uacalc.alg.conlat.CongruenceLattice
-
Find a chain where each element is the join of the previous
one and a principal congruence.
- findSubtrace(Partition) - Method in class org.uacalc.alg.conlat.TypeFinder
-
- findSubtrace(Partition, Partition) - Method in class org.uacalc.alg.conlat.TypeFinder
-
Find a subtrace for beta, which is assumed to be
join irreducible, over its lower cover.
- findSubtrace(IntArray) - Method in class org.uacalc.alg.conlat.TypeFinder
-
This looks at the image of the ordered pair under Pol_1(A).
- findType(Partition) - Method in class org.uacalc.alg.conlat.TypeFinder
-
- findType(Partition, Partition) - Method in class org.uacalc.alg.conlat.TypeFinder
-
Find the type for beta, which is assumed to be
join irreducible, over its lower cover.
- findType(Subtrace) - Method in class org.uacalc.alg.conlat.TypeFinder
-
Finds the type of a subtrace and sets the type field of the it.
- findTypeSet() - Method in class org.uacalc.alg.conlat.TypeFinder
-
Find the TCT type set of the algebra A.
- findUpperCover(Partition) - Method in class org.uacalc.alg.conlat.CongruenceLattice
-
Find some upper cover of congr.
- findWeakNUTerm(SmallAlgebra, int, ProgressReport) - Static method in class org.uacalc.alg.Malcev
-
This will find a near unanimity term of the given arity
if one exits; otherwise it return null.
- first() - Method in class org.uacalc.alg.conlat.Subtrace
-
- first - Variable in class org.uacalc.util.SimpleList
-
- first() - Method in class org.uacalc.util.SimpleList
-
- firstProjection(int) - Static method in class org.uacalc.alg.conlat.BasicPartition
-
- firstSecondSymmetricLaw(OperationSymbol) - Static method in class org.uacalc.eq.Equations
-
Arity must be at least 2.
- fixedKEdgeIdempotent(SmallAlgebra, int, ProgressReport) - Static method in class org.uacalc.alg.Malcev
-
- fixedKEdgeTerm(SmallAlgebra, int, ProgressReport) - Static method in class org.uacalc.alg.Malcev
-
This will find a k-edge term if one exits; otherwise it return
null.
- fixedKPermIdempotent(SmallAlgebra, int, ProgressReport) - Static method in class org.uacalc.alg.Malcev
-
- flatten(Term) - Static method in class org.uacalc.terms.Terms
-
- formMatrixPowerAlgebra() - Method in class org.uacalc.nbui.ComputationsController
-
- formPowerAlgebra() - Method in class org.uacalc.nbui.ComputationsController
-
- formProd() - Method in class org.uacalc.nbui.ComputationsController
-
The gui for forming a product algebras.
- formQuotientAlgebra() - Method in class org.uacalc.nbui.ComputationsController
-
- formRabbitEarsAlgebra() - Method in class org.uacalc.nbui.ComputationsController
-
- formSubAlgebra() - Method in class org.uacalc.nbui.ComputationsController
-
- FREE_ALGEBRA_END_TAG - Static variable in class org.uacalc.io.AlgebraWriter
-
- FREE_ALGEBRA_TAG - Static variable in class org.uacalc.io.AlgebraWriter
-
- FreeAlgebra - Class in org.uacalc.alg
-
This class represents a subalgebra of a direct product
of SmallAlgebras.
- FreeAlgebra(SmallAlgebra, int, List<Equation>, ProgressReport) - Constructor for class org.uacalc.alg.FreeAlgebra
-
This constructs a finitely presented algebra and it is only
correct if the algebra is in a CD variety.
- FreeAlgebra(SmallAlgebra, int) - Constructor for class org.uacalc.alg.FreeAlgebra
-
Construct a free algebra without giving it a name.
- FreeAlgebra(SmallAlgebra, int, ProgressReport) - Constructor for class org.uacalc.alg.FreeAlgebra
-
Construct a free algebra without giving it a name.
- FreeAlgebra(SmallAlgebra, int, boolean) - Constructor for class org.uacalc.alg.FreeAlgebra
-
- FreeAlgebra(SmallAlgebra, int, boolean, boolean) - Constructor for class org.uacalc.alg.FreeAlgebra
-
- FreeAlgebra(String, SmallAlgebra, int) - Constructor for class org.uacalc.alg.FreeAlgebra
-
- FreeAlgebra(String, SmallAlgebra, int, boolean) - Constructor for class org.uacalc.alg.FreeAlgebra
-
Consturct the free algebra over alg
with numberOfGens generators.
- FreeAlgebra(String, SmallAlgebra, int, boolean, boolean) - Constructor for class org.uacalc.alg.FreeAlgebra
-
- FreeAlgebra(SmallAlgebra, int, boolean, boolean, ProgressReport) - Constructor for class org.uacalc.alg.FreeAlgebra
-
- FreeAlgebra(String, SmallAlgebra, int, boolean, boolean, ProgressReport) - Constructor for class org.uacalc.alg.FreeAlgebra
-
- FreeAlgebra(SmallAlgebra, int, boolean, boolean, boolean, List<Equation>, ProgressReport) - Constructor for class org.uacalc.alg.FreeAlgebra
-
- FreeAlgebra(String, SmallAlgebra, int, boolean, boolean, boolean, List<Equation>, ProgressReport) - Constructor for class org.uacalc.alg.FreeAlgebra
-
Consturct the free algebra over alg
with numberOfGens generators.
- FreeAlgebra(String, BigProductAlgebra, List<IntArray>, List<IntArray>) - Constructor for class org.uacalc.alg.FreeAlgebra
-
Construct a FreeAlgebra when the gens and univ are already
given.
- freeAlgebraTask(SmallAlgebra, ProgressReport, String, int, boolean, boolean, TermTableModel) - Method in class org.uacalc.nbui.ComputationsController
-
- frontIterator(SimpleList) - Method in class org.uacalc.util.SimpleList
-
This Iterator will iterate through the list until it reaches
tail or to the end if tail is not found.
- fullTransformationSemigroup(int, boolean, boolean) - Static method in class org.uacalc.alg.Algebras
-
- funcToJIs(int) - Static method in class org.uacalc.alg.conlat.BasicPartition
-
- GeneralAlgebra - Class in org.uacalc.alg
-
This class represents general algebras that may or may not be
"computer finite".
- GeneralAlgebra(String) - Constructor for class org.uacalc.alg.GeneralAlgebra
-
- GeneralAlgebra(String, Set) - Constructor for class org.uacalc.alg.GeneralAlgebra
-
- GeneralAlgebra(String, Set, List<Operation>) - Constructor for class org.uacalc.alg.GeneralAlgebra
-
- generalizedWeakClosure(List<BasicPartition>, int, Map<IntArray, Partition>) - Static method in class org.uacalc.alg.conlat.BasicPartition
-
- GENERATED_ELEMS_COLOR - Static variable in class org.uacalc.nbui.LatDrawer
-
- generatingPair(Partition) - Method in class org.uacalc.alg.conlat.CongruenceLattice
-
Find a pair [a, b] (as an IntArray) which generates part.
- generators() - Method in class org.uacalc.alg.SubProductAlgebra
-
- GENERATORS_END_TAG - Static variable in class org.uacalc.io.AlgebraWriter
-
- GENERATORS_TAG - Static variable in class org.uacalc.io.AlgebraWriter
-
- gens - Variable in class org.uacalc.alg.SubProductAlgebra
-
- get() - Method in class org.uacalc.ui.tm.BackgroundTask
-
- get(long, TimeUnit) - Method in class org.uacalc.ui.tm.BackgroundTask
-
- get(int) - Method in class org.uacalc.ui.util.GUIAlgebraList
-
- get(int) - Method in class org.uacalc.util.IntArray
-
- get(int) - Method in class org.uacalc.util.SimpleList
-
- getAboveType() - Method in class org.uacalc.nbui.LatDrawer
-
- getAddOpButton() - Method in interface org.uacalc.nbui.UACalc
-
- getAddOpButton() - Method in class org.uacalc.nbui.UACalculator2
-
- getAddOpButton() - Method in class org.uacalc.nbui.UACalculatorUI
-
- getAlgebra() - Method in class org.uacalc.alg.AlgebraWithGeneratingVector
-
- getAlgebra() - Method in class org.uacalc.alg.conlat.CongruenceLattice
-
Get the algebra this is the congruence lattice of.
- getAlgebra() - Method in class org.uacalc.alg.MaltsevProductDecomposition
-
- getAlgebra() - Method in class org.uacalc.alg.QuotientElement
-
- getAlgebra() - Method in class org.uacalc.alg.sublat.SubalgebraLattice
-
- getAlgebra() - Method in interface org.uacalc.element.Element
-
The algebra this element is in.
- getAlgebra() - Method in class org.uacalc.element.SubProductElement
-
- getAlgebra() - Method in class org.uacalc.ui.table.LatticeTableModel
-
- getAlgebra() - Method in class org.uacalc.ui.util.GUIAlgebra
-
- getAlgebraEditor() - Method in class org.uacalc.ui.Tabs
-
- getAlgebraEditor() - Method in class org.uacalc.ui.UACalculator
-
- getAlgebraEditorController() - Method in class org.uacalc.nbui.MainController
-
- getAlgebraEditorController() - Method in class org.uacalc.nbui.UACalculator2
-
- getAlgebraEditorController() - Method in class org.uacalc.nbui.UACalculatorUI
-
- getAlgebraList() - Method in class org.uacalc.nbui.MainController
-
- getAlgebraList() - Method in class org.uacalc.ui.table.AlgebraTableModel
-
- getAlgebraName() - Method in class org.uacalc.ui.NewAlgebraDialog
-
- getAlgebrasPanel() - Method in class org.uacalc.nbui.UACalculator2
-
- getAlgebrasPanel() - Method in class org.uacalc.nbui.UACalculatorUI
-
- getAlgebraTableModel() - Method in class org.uacalc.ui.table.AlgebraTablePanel
-
- getAlgListTable() - Method in interface org.uacalc.nbui.UACalc
-
- getAlgListTable() - Method in class org.uacalc.nbui.UACalculator2
-
- getAlgListTable() - Method in class org.uacalc.nbui.UACalculatorUI
-
- getAlgNameTextField() - Method in interface org.uacalc.nbui.UACalc
-
- getAlgNameTextField() - Method in class org.uacalc.nbui.UACalculator2
-
- getAlgNameTextField() - Method in class org.uacalc.nbui.UACalculatorUI
-
- getAllColNames() - Static method in class org.uacalc.ui.table.LatticeTableModel
-
- getAllNoTypColNames() - Static method in class org.uacalc.ui.table.LatticeTableModel
-
- getAnswer() - Method in class org.uacalc.alg.Closer
-
- getAritiesMap() - Method in class org.uacalc.alg.op.SimilarityType
-
A map from the arity to the number of ops of that arity.
- getArityDialog() - Method in class org.uacalc.nbui.AlgebraEditorController
-
- getArityDialog() - Method in class org.uacalc.ui.AlgebraEditor
-
- getArray() - Method in class org.uacalc.util.IntArray
-
- getBackgroundExec() - Static method in class org.uacalc.ui.tm.BackgroundExec
-
- getBasicLattice() - Method in class org.uacalc.alg.conlat.CongruenceLattice
-
- getBasicLattice(boolean) - Method in class org.uacalc.alg.conlat.CongruenceLattice
-
Get the BasicLattice used primarily for drawing.
- getBasicLattice() - Method in class org.uacalc.alg.sublat.SubalgebraLattice
-
- getBasicLattice(boolean) - Method in class org.uacalc.alg.sublat.SubalgebraLattice
-
Get the BasicLattice used primarily for drawing.
- getBasicLattice() - Method in class org.uacalc.nbui.LatDrawer
-
- getBelowType() - Method in class org.uacalc.nbui.LatDrawer
-
- getBlockAlgebras() - Method in class org.uacalc.alg.MaltsevProductDecomposition
-
- getBlocks() - Method in class org.uacalc.alg.Closer
-
blocks, values and setConstraints are specified in IntArray
and are used to restrict the element we are looking for.
- getBlocks() - Method in class org.uacalc.alg.conlat.BasicPartition
-
Get the block form of this partition as an array of arrays.
- getBlocks() - Method in interface org.uacalc.alg.conlat.Partition
-
- getCancelCompButton() - Method in interface org.uacalc.nbui.UACalc
-
- getCancelCompButton() - Method in class org.uacalc.nbui.UACalculator2
-
- getCancelCompButton() - Method in class org.uacalc.nbui.UACalculatorUI
-
- getCard() - Method in class org.uacalc.ui.NewAlgebraDialog
-
- getCardDialog() - Method in class org.uacalc.nbui.AlgebraEditorController
-
- getCardDialog() - Method in class org.uacalc.ui.AlgebraEditor
-
- getCardTextField() - Method in interface org.uacalc.nbui.UACalc
-
- getCardTextField() - Method in class org.uacalc.nbui.UACalculator2
-
- getCardTextField() - Method in class org.uacalc.nbui.UACalculatorUI
-
- getCellEditorValue() - Method in class org.uacalc.ui.table.IntegerEditor
-
- getCentralityFailure() - Method in class org.uacalc.alg.conlat.CentralityData
-
- getChildren() - Method in class org.uacalc.terms.NonVariableTerm
-
A list of terms which are the immediate children.
- getChildren() - Method in interface org.uacalc.terms.Term
-
A list of terms which are the immediate children.
- getChildren() - Method in class org.uacalc.terms.VariableImp
-
- getColNames() - Method in class org.uacalc.ui.table.LatticeTableModel
-
- getColumnClass(int) - Method in class org.uacalc.ui.table.ConLatticeTableModel
-
- getColumnClass(int) - Method in class org.uacalc.ui.table.OperationTableModel
-
- getColumnCount() - Method in class org.uacalc.ui.table.AlgebraTableModel
-
- getColumnCount() - Method in class org.uacalc.ui.table.ElemKeyTableModel
-
- getColumnCount() - Method in class org.uacalc.ui.table.LatticeTableModel
-
- getColumnCount() - Method in class org.uacalc.ui.table.OperationTableModel
-
The column of index 0 is a vector of all but the last arg.
- getColumnCount() - Method in class org.uacalc.ui.table.TaskTableModel
-
- getColumnCount() - Method in class org.uacalc.ui.table.TermTableModel
-
- getColumnName(int) - Method in class org.uacalc.ui.table.AlgebraTableModel
-
- getColumnName(int) - Method in class org.uacalc.ui.table.ConLatticeTableModel
-
- getColumnName(int) - Method in class org.uacalc.ui.table.ElemKeyTableModel
-
- getColumnName(int) - Method in class org.uacalc.ui.table.OperationTableModel
-
- getColumnName(int) - Method in class org.uacalc.ui.table.TaskTableModel
-
- getColumnName(int) - Method in class org.uacalc.ui.table.TermTableModel
-
- getComputationsController() - Method in class org.uacalc.nbui.MainController
-
- getComputationsController() - Method in interface org.uacalc.nbui.UACalc
-
- getComputationsController() - Method in class org.uacalc.nbui.UACalculator2
-
- getComputationsController() - Method in class org.uacalc.nbui.UACalculatorUI
-
- getComputationsLogPane() - Method in class org.uacalc.nbui.UACalculator2
-
- getComputationsLogPane() - Method in class org.uacalc.nbui.UACalculatorUI
-
- getComputationsPanel() - Method in class org.uacalc.nbui.UACalculator2
-
- getComputationsPanel() - Method in class org.uacalc.nbui.UACalculatorUI
-
- getComputationsPanel() - Method in class org.uacalc.ui.Tabs
-
- getComputationsTable() - Method in interface org.uacalc.nbui.UACalc
-
- getComputationsTable() - Method in class org.uacalc.nbui.UACalculator2
-
- getComputationsTable() - Method in class org.uacalc.nbui.UACalculatorUI
-
- getConController() - Method in class org.uacalc.nbui.MainController
-
- getConController() - Method in class org.uacalc.nbui.UACalculator2
-
- getConController() - Method in class org.uacalc.nbui.UACalculatorUI
-
- getConDiagButton() - Method in class org.uacalc.nbui.UACalculator2
-
- getConDiagButton() - Method in class org.uacalc.nbui.UACalculatorUI
-
- getCongruence() - Method in class org.uacalc.alg.MaltsevProductDecomposition
-
- getCongruence() - Method in class org.uacalc.alg.QuotientAlgebra
-
Get the congruence on the super algebra giving this algebra.
- getCongruence() - Method in class org.uacalc.alg.QuotientElement
-
Get the congruence on the super algebra giving this algebra.
- getCongruenceConstraintElemIndex() - Method in class org.uacalc.alg.Closer
-
- getCongruenceForCongruenceConstraint() - Method in class org.uacalc.alg.Closer
-
- getConLatDrawer() - Method in class org.uacalc.nbui.ConController
-
- getConLeftPanel() - Method in interface org.uacalc.nbui.UACalc
-
- getConLeftPanel() - Method in class org.uacalc.nbui.UACalculator2
-
- getConLeftPanel() - Method in class org.uacalc.nbui.UACalculatorUI
-
- getConMainPanel() - Method in interface org.uacalc.nbui.UACalc
-
- getConMainPanel() - Method in class org.uacalc.nbui.UACalculator2
-
- getConMainPanel() - Method in class org.uacalc.nbui.UACalculatorUI
-
- getConPanel() - Method in class org.uacalc.nbui.UACalculator2
-
- getConPanel() - Method in class org.uacalc.nbui.UACalculatorUI
-
- getConstants() - Method in class org.uacalc.alg.BigProductAlgebra
-
- getConstantSymbol(IntArray) - Method in class org.uacalc.alg.BigProductAlgebra
-
- getConstantTerm(IntArray) - Method in class org.uacalc.alg.BigProductAlgebra
-
- getConTable() - Method in class org.uacalc.alg.conlat.CongruenceLattice
-
- getConTableButton() - Method in class org.uacalc.nbui.UACalculator2
-
- getConTableButton() - Method in class org.uacalc.nbui.UACalculatorUI
-
- getCurrentAlgebra() - Method in class org.uacalc.nbui.MainController
-
- getCurrentAlgebra() - Method in class org.uacalc.ui.UACalculator
-
- getCurrentAlgPanel() - Method in class org.uacalc.nbui.UACalculator2
-
- getCurrentAlgPanel() - Method in class org.uacalc.nbui.UACalculatorUI
-
- getCurrentFile() - Method in class org.uacalc.nbui.MainController
-
- getCurrentFile() - Method in class org.uacalc.ui.UACalculator
-
- getCurrentLattice(boolean) - Method in class org.uacalc.ui.util.GUIAlgebra
-
- getCurrentOperation() - Method in class org.uacalc.nbui.AlgebraEditorController
-
- getCurrentOperation() - Method in class org.uacalc.ui.AlgebraEditor
-
- getCurrentSymbol() - Method in class org.uacalc.nbui.AlgebraEditorController
-
- getCurrentSymbol() - Method in class org.uacalc.ui.AlgebraEditor
-
- getCurrentTask() - Method in class org.uacalc.nbui.ComputationsController
-
- getCurrentTask() - Method in class org.uacalc.ui.table.TaskTableModel
-
- getCurrentTermTableModel() - Method in class org.uacalc.nbui.ComputationsController
-
- getCurrentToolBar() - Method in class org.uacalc.ui.Tabs
-
- getDecompose() - Method in class org.uacalc.alg.SubProductAlgebra
-
- getDefaultEltComboBox() - Method in interface org.uacalc.nbui.UACalc
-
- getDefaultEltComboBox() - Method in class org.uacalc.nbui.UACalculator2
-
- getDefaultEltComboBox() - Method in class org.uacalc.nbui.UACalculatorUI
-
- getDefaultValue() - Method in class org.uacalc.alg.op.OperationWithDefaultValue
-
- getDefaultValue() - Method in class org.uacalc.ui.table.OperationTableModel
-
- getDelOpButton() - Method in interface org.uacalc.nbui.UACalc
-
- getDelOpButton() - Method in class org.uacalc.nbui.UACalculator2
-
- getDelOpButton() - Method in class org.uacalc.nbui.UACalculatorUI
-
- getDelta() - Method in class org.uacalc.alg.conlat.CentralityData
-
- getDesc() - Method in class org.uacalc.ui.NewAlgebraDialog
-
- getDescription() - Method in interface org.uacalc.alg.Algebra
-
- getDescription() - Method in class org.uacalc.alg.conlat.CongruenceLattice
-
- getDescription() - Method in class org.uacalc.alg.GeneralAlgebra
-
- getDescription() - Method in class org.uacalc.alg.sublat.SubalgebraLattice
-
- getDescription() - Method in class org.uacalc.io.ExtFileFilter
-
- getDescription() - Method in class org.uacalc.ui.table.TermTableModel
-
For the description text field (not really part of the table model).
- getDescription() - Method in class org.uacalc.ui.tm.ProgressReport
-
- getDescription() - Method in class org.uacalc.ui.tm.ProgressState
-
- getDescriptionField() - Method in class org.uacalc.ui.MonitorPanel
-
- getDescTextField() - Method in interface org.uacalc.nbui.UACalc
-
- getDescTextField() - Method in class org.uacalc.nbui.UACalculator2
-
- getDescTextField() - Method in class org.uacalc.nbui.UACalculatorUI
-
- getDiagram() - Method in class org.uacalc.alg.conlat.CongruenceLattice
-
- getDiagram() - Method in class org.uacalc.alg.sublat.SubalgebraLattice
-
- getDiagram() - Method in class org.uacalc.lat.BasicLattice
-
- getDiagram() - Method in class org.uacalc.nbui.LatDrawer
-
- getDiagram() - Method in class org.uacalc.ui.LatDrawPanel
-
- getDistributivityMI() - Method in class org.uacalc.nbui.UACalculator2
-
- getDistributivityMI() - Method in class org.uacalc.nbui.UACalculatorUI
-
- getDomain() - Method in class org.uacalc.alg.Homomorphism
-
- getDrawingController() - Method in class org.uacalc.nbui.MainController
-
- getDrawingController() - Method in class org.uacalc.nbui.UACalculator2
-
- getDrawingController() - Method in class org.uacalc.nbui.UACalculatorUI
-
- getDrawingLeftPanel() - Method in class org.uacalc.nbui.UACalculator2
-
- getDrawingLeftPanel() - Method in class org.uacalc.nbui.UACalculatorUI
-
- getDrawingMainPanel() - Method in interface org.uacalc.nbui.UACalc
-
- getDrawingMainPanel() - Method in class org.uacalc.nbui.UACalculator2
-
- getDrawingMainPanel() - Method in class org.uacalc.nbui.UACalculatorUI
-
- getDrawingPanel() - Method in class org.uacalc.nbui.UACalculator2
-
- getDrawingPanel() - Method in class org.uacalc.nbui.UACalculatorUI
-
- getDrawPanel() - Method in class org.uacalc.nbui.LatDrawer
-
- getDrawPanel() - Method in class org.uacalc.ui.LatDrawer
-
- getDrawPanel() - Method in class org.uacalc.ui.LatDrawPanel
-
- getEditorPanel() - Method in class org.uacalc.nbui.UACalculator2
-
- getEditorPanel() - Method in class org.uacalc.nbui.UACalculatorUI
-
- getElement(int) - Method in class org.uacalc.alg.BasicAlgebra
-
- getElement(int) - Method in class org.uacalc.alg.MatrixPowerAlgebra
-
- getElement(int) - Method in class org.uacalc.alg.PolinLikeAlgebra
-
- getElement(int) - Method in class org.uacalc.alg.ProductAlgebra
-
- getElement(int) - Method in class org.uacalc.alg.QuotientAlgebra
-
- getElement(int) - Method in class org.uacalc.alg.ReductAlgebra
-
- getElement(int) - Method in interface org.uacalc.alg.SmallAlgebra
-
returns the kth element.
- getElement(int) - Method in class org.uacalc.alg.Subalgebra
-
- getElement(int) - Method in class org.uacalc.alg.SubProductAlgebra
-
- getElement(int) - Method in class org.uacalc.alg.UnaryTermsMonoid
-
- getElement(int) - Method in class org.uacalc.lat.BasicLattice
-
- getElementFromTerm(Term) - Method in class org.uacalc.alg.SubProductAlgebra
-
Get the element associate with a term.
- getElementList() - Method in class org.uacalc.ui.table.ConLatticeTableModel
-
- getElementsToFind() - Method in class org.uacalc.alg.Closer
-
- getElementToFind() - Method in class org.uacalc.alg.Closer
-
- getElemKey() - Method in class org.uacalc.ui.util.GUIAlgebra
-
- getElemKeyTable() - Method in interface org.uacalc.nbui.UACalc
-
- getElemKeyTable() - Method in class org.uacalc.nbui.UACalculator2
-
- getElemKeyTable() - Method in class org.uacalc.nbui.UACalculatorUI
-
- getExtension(File) - Static method in class org.uacalc.io.ExtFileFilter
-
- getFailingEquation() - Method in class org.uacalc.alg.Closer
-
- getFile() - Method in class org.uacalc.ui.util.GUIAlgebra
-
- getFrame() - Method in interface org.uacalc.nbui.UACalc
-
- getFrame() - Method in class org.uacalc.nbui.UACalculator2
-
- getFrame() - Method in class org.uacalc.nbui.UACalculatorUI
-
- getFreeGensDialog() - Method in class org.uacalc.nbui.ComputationsController
-
- getFreeGensDialog() - Method in class org.uacalc.ui.ComputationsPanel
-
- getGenerators() - Method in class org.uacalc.alg.Closer
-
Returns a shallow copy of the list of generators used by this Closer
to generate a subuniverse.
- getGensDialog() - Method in class org.uacalc.nbui.ComputationsController
-
- getHomomorphism() - Method in class org.uacalc.alg.Closer
-
- getIdempotentCB() - Method in interface org.uacalc.nbui.UACalc
-
- getIdempotentCB() - Method in class org.uacalc.nbui.UACalculator2
-
- getIdempotentCB() - Method in class org.uacalc.nbui.UACalculatorUI
-
- getIdempotentTerms() - Method in class org.uacalc.alg.FreeAlgebra
-
- getImageAlgebra() - Method in class org.uacalc.alg.Closer
-
- getIndex() - Method in class org.uacalc.alg.QuotientElement
-
The index in the quotient algebras, not in the super algebra.
- getIndexForCongruenceConstraint() - Method in class org.uacalc.alg.Closer
-
- getIndexForConstraintSet() - Method in class org.uacalc.alg.Closer
-
Get the index for the SetConstraint.
- getIndexInSuperAlgebra() - Method in class org.uacalc.alg.QuotientElement
-
- getIterator() - Method in class org.uacalc.util.SimpleList
-
- getJIColNames() - Static method in class org.uacalc.ui.table.LatticeTableModel
-
- getJINoTypColNames() - Static method in class org.uacalc.ui.table.LatticeTableModel
-
- getJoinIrredToSubtraceMap() - Method in class org.uacalc.alg.conlat.CongruenceLattice
-
- getLastVariable() - Method in class org.uacalc.ui.table.OperationTableModel
-
- getLatDrawer() - Method in class org.uacalc.nbui.DrawingController
-
- getLatDrawPanel() - Method in class org.uacalc.nbui.MainController
-
- getLatDrawPanel() - Method in class org.uacalc.ui.UACalculator
-
- getLatticeDrawer() - Method in class org.uacalc.ui.Tabs
-
- getLeft() - Method in class org.uacalc.alg.conlat.CentralityData
-
- getLogArea() - Method in class org.uacalc.ui.MonitorPanel
-
- getLogLines() - Method in class org.uacalc.ui.tm.ProgressReport
-
- getLogLines() - Method in class org.uacalc.ui.tm.ProgressState
-
- getLogTextArea() - Method in interface org.uacalc.nbui.UACalc
-
- getLogTextArea() - Method in class org.uacalc.nbui.UACalculator2
-
- getLogTextArea() - Method in class org.uacalc.nbui.UACalculatorUI
-
- getMainController() - Method in interface org.uacalc.nbui.UACalc
-
- getMainController() - Method in class org.uacalc.nbui.UACalculator2
-
- getMainController() - Method in class org.uacalc.nbui.UACalculatorUI
-
- getMakeBasicAlgButton() - Method in interface org.uacalc.nbui.UACalc
-
- getMakeBasicAlgButton() - Method in class org.uacalc.nbui.UACalculator2
-
- getMakeBasicAlgButton() - Method in class org.uacalc.nbui.UACalculatorUI
-
- getMakeUniverseK() - Method in class org.uacalc.alg.conlat.CongruenceLattice
-
- getMakeUniverseK() - Method in class org.uacalc.alg.sublat.SubalgebraLattice
-
- getMap() - Method in class org.uacalc.alg.Homomorphism
-
- getMatrixUniverse() - Method in class org.uacalc.alg.conlat.Subtrace
-
This is part of the subuniverse of A^4
generated by the diagonal and two 4-tuples,
(a,a,b,b) and (a,b,a,b),
where {a,b} is a trace.
- getMaxArity() - Method in class org.uacalc.alg.op.SimilarityType
-
- getmaxSize() - Method in class org.uacalc.alg.Closer
-
- getModularityMI() - Method in class org.uacalc.nbui.UACalculator2
-
- getModularityMI() - Method in class org.uacalc.nbui.UACalculatorUI
-
- getMonitor() - Method in interface org.uacalc.alg.Algebra
-
- getMonitor() - Method in class org.uacalc.alg.conlat.CongruenceLattice
-
- getMonitor() - Method in class org.uacalc.alg.GeneralAlgebra
-
- getMonitor() - Method in class org.uacalc.alg.sublat.SubalgebraLattice
-
- getMonitor() - Method in class org.uacalc.ui.UACalculator
-
- getMonitorPanel() - Method in class org.uacalc.ui.UACalculator
-
- getMsgTextField() - Method in interface org.uacalc.nbui.UACalc
-
- getMsgTextField() - Method in class org.uacalc.nbui.UACalculator2
-
- getMsgTextField() - Method in class org.uacalc.nbui.UACalculatorUI
-
- getName() - Method in interface org.uacalc.alg.Algebra
-
- getName() - Method in class org.uacalc.alg.conlat.CongruenceLattice
-
- getName() - Method in class org.uacalc.alg.GeneralAlgebra
-
- getName() - Method in class org.uacalc.alg.sublat.SubalgebraLattice
-
- getName() - Method in interface org.uacalc.terms.Variable
-
The list of the variables for the language of this term.
- getName() - Method in class org.uacalc.terms.VariableImp
-
The list of the variables for the language of this term.
- getName() - Method in class org.uacalc.ui.NewAlgebraDialog
-
- getNewMI() - Method in class org.uacalc.nbui.UACalculator2
-
- getNewMI() - Method in class org.uacalc.nbui.UACalculatorUI
-
- getNPermMI() - Method in class org.uacalc.nbui.UACalculator2
-
- getNPermMI() - Method in class org.uacalc.nbui.UACalculatorUI
-
- getNumberDialog(int, String, String) - Method in class org.uacalc.nbui.ComputationsController
-
- getNumberOfFactors() - Method in class org.uacalc.alg.BigProductAlgebra
-
- getOperation(OperationSymbol) - Method in interface org.uacalc.alg.Algebra
-
Get the operation correspond to a symbol or null if
the symbol is not part of the similarityType.
- getOperation(OperationSymbol) - Method in class org.uacalc.alg.conlat.CongruenceLattice
-
- getOperation(OperationSymbol) - Method in class org.uacalc.alg.GeneralAlgebra
-
- getOperation(OperationSymbol) - Method in class org.uacalc.alg.sublat.SubalgebraLattice
-
- getOperation() - Method in class org.uacalc.ui.table.OperationTableModel
-
- getOperationsMap() - Method in interface org.uacalc.alg.Algebra
-
- getOperationsMap() - Method in class org.uacalc.alg.conlat.CongruenceLattice
-
- getOperationsMap() - Method in class org.uacalc.alg.GeneralAlgebra
-
- getOperationsMap() - Method in class org.uacalc.alg.sublat.SubalgebraLattice
-
- getOperationSymbol(int) - Static method in class org.uacalc.alg.op.OperationSymbol
-
Get an OperationSymbol in a uniform manner so that algebras that
can be similar will be.
- getOperationSymbol() - Method in interface org.uacalc.nbui.AlgebraEditorController.OpSymItem
-
- getOperationSymbol() - Method in interface org.uacalc.ui.AlgebraEditor.OpSymItem
-
- getOperationSymbol() - Method in class org.uacalc.ui.table.OperationTableModel
-
- getOperationSymbols() - Method in class org.uacalc.alg.op.SimilarityType
-
- getOperationSymbols() - Method in class org.uacalc.eq.Equation
-
- getOperationSymbols() - Method in class org.uacalc.terms.NonVariableTerm
-
- getOperationSymbols() - Method in interface org.uacalc.terms.Term
-
The set of operation symbols or null for a variable.
- getOperationSymbols() - Method in class org.uacalc.terms.VariableImp
-
- getOpsComboBox() - Method in interface org.uacalc.nbui.UACalc
-
- getOpsComboBox() - Method in class org.uacalc.nbui.UACalculator2
-
- getOpsComboBox() - Method in class org.uacalc.nbui.UACalculatorUI
-
- getOpTable() - Method in interface org.uacalc.nbui.UACalc
-
- getOpTable() - Method in class org.uacalc.nbui.UACalculator2
-
- getOpTable() - Method in class org.uacalc.nbui.UACalculatorUI
-
- getOpTableScrollPane() - Method in class org.uacalc.nbui.UACalculator2
-
- getOpTableScrollPane() - Method in class org.uacalc.nbui.UACalculatorUI
-
- getOrderedVariables() - Method in interface org.uacalc.alg.op.TermOperation
-
This gives a list of the variables in order without repeats.
- getOrderedVariables() - Method in class org.uacalc.alg.op.TermOperationImp
-
This gives a list of the variables in order without repeats.
- getPairs() - Method in class org.uacalc.alg.conlat.BasicBinaryRelation
-
- getPairs() - Method in class org.uacalc.alg.conlat.BasicPartition
-
- getPairs() - Method in interface org.uacalc.alg.conlat.BinaryRelation
-
- getParameterMap(List<Integer>) - Method in class org.uacalc.alg.ParameterizedAlgebra
-
- getParent() - Method in interface org.uacalc.element.Element
-
- getParent() - Method in class org.uacalc.element.SubProductElement
-
- getParentArray() - Method in interface org.uacalc.element.Element
-
- getParentArray() - Method in class org.uacalc.element.SubProductElement
-
- getParents() - Method in class org.uacalc.ui.util.GUIAlgebra
-
- getPass() - Method in class org.uacalc.ui.tm.ProgressReport
-
- getPass() - Method in class org.uacalc.ui.tm.ProgressState
-
- getPassField() - Method in class org.uacalc.ui.MonitorPanel
-
- getPassSize() - Method in class org.uacalc.ui.tm.ProgressReport
-
- getPassSize() - Method in class org.uacalc.ui.tm.ProgressState
-
- getPassSizeField() - Method in class org.uacalc.ui.MonitorPanel
-
- getPermutabilityLevelWitnesses() - Method in class org.uacalc.alg.conlat.CongruenceLattice
-
- getPoset() - Method in class org.uacalc.lat.BasicLattice
-
- getPower() - Method in class org.uacalc.alg.MatrixPowerAlgebra
-
- getPower() - Method in class org.uacalc.alg.PowerAlgebra
-
- getPowerAlgebra() - Method in class org.uacalc.alg.MatrixPowerAlgebra
-
- getPowers() - Method in class org.uacalc.alg.BigProductAlgebra
-
- getPrefs() - Method in class org.uacalc.nbui.MainController
-
- getPrefs() - Method in class org.uacalc.ui.UACalculator
-
- getProductAlgebra() - Method in class org.uacalc.alg.SubProductAlgebra
-
- getProgressReport() - Method in class org.uacalc.ui.MonitorPanel
-
- getProgressReport() - Method in class org.uacalc.ui.tm.BackgroundTask
-
- getPropertyChangeSupport() - Method in class org.uacalc.nbui.MainController
-
- getQuotientAlgebra() - Method in class org.uacalc.alg.MaltsevProductDecomposition
-
- getRandom() - Method in class org.uacalc.nbui.AlgebraEditorController
-
- getRandom() - Method in class org.uacalc.nbui.MainController
-
- getRandom() - Method in class org.uacalc.ui.UACalculator
-
- getRandom() - Static method in class org.uacalc.ui.util.RandomGenerator
-
- getRandomValueTable() - Method in class org.uacalc.alg.op.OperationWithDefaultValue
-
- getRange() - Method in class org.uacalc.alg.Homomorphism
-
- getRelations() - Method in class org.uacalc.eq.Presentation
-
- getResultPane() - Method in class org.uacalc.nbui.UACalculator2
-
- getResultPane() - Method in class org.uacalc.nbui.UACalculatorUI
-
- getResultTable() - Method in interface org.uacalc.nbui.UACalc
-
- getResultTable() - Method in class org.uacalc.nbui.UACalculator2
-
- getResultTable() - Method in class org.uacalc.nbui.UACalculatorUI
-
- getResultTextField() - Method in interface org.uacalc.nbui.UACalc
-
- getResultTextField() - Method in class org.uacalc.nbui.UACalculator2
-
- getResultTextField() - Method in class org.uacalc.nbui.UACalculatorUI
-
- getRight() - Method in class org.uacalc.alg.conlat.CentralityData
-
- getRoot() - Method in class org.uacalc.alg.MatrixPowerAlgebra
-
- getRoot() - Method in class org.uacalc.alg.PowerAlgebra
-
- getRowCount() - Method in class org.uacalc.ui.table.AlgebraTableModel
-
- getRowCount() - Method in class org.uacalc.ui.table.ConLatticeTableModel
-
- getRowCount() - Method in class org.uacalc.ui.table.ElemKeyTableModel
-
- getRowCount() - Method in class org.uacalc.ui.table.OperationTableModel
-
- getRowCount() - Method in class org.uacalc.ui.table.TaskTableModel
-
- getRowCount() - Method in class org.uacalc.ui.table.TermTableModel
-
- getSelectedElem() - Method in class org.uacalc.nbui.LatDrawer
-
- getSelectedElemList() - Method in class org.uacalc.nbui.LatDrawer
-
- getSemilatticeOperataions() - Method in class org.uacalc.ui.util.GUIAlgebra
-
- getSerial() - Method in class org.uacalc.ui.util.GUIAlgebra
-
- getSetConstraint() - Method in class org.uacalc.alg.Closer
-
blocks, values and setConstraints are specified in IntArray
and are used to restrict the element we are looking for.
- getSetSize() - Method in class org.uacalc.alg.op.AbstractOperation
-
This gives the size of the set upon which the operation acts.
- getSetSize() - Method in interface org.uacalc.alg.op.Operation
-
This gives the size of the set upon which the operation is defined.
- getSize() - Method in class org.uacalc.ui.tm.ProgressReport
-
- getSize() - Method in class org.uacalc.ui.tm.ProgressState
-
- getSizeComputed() - Method in class org.uacalc.alg.conlat.CongruenceLattice
-
- getSizeComputed() - Method in class org.uacalc.alg.sublat.SubalgebraLattice
-
- getSizeField() - Method in class org.uacalc.ui.MonitorPanel
-
- getSortedOperationSymbols() - Method in class org.uacalc.alg.op.SimilarityType
-
The sorting is by lowest arity first then by alphabetical
on the name.
- getStatus() - Method in class org.uacalc.ui.tm.BackgroundTask
-
- getStrongRectangularityFailure() - Method in class org.uacalc.alg.conlat.CentralityData
-
- getSubController() - Method in class org.uacalc.nbui.MainController
-
- getSubController() - Method in class org.uacalc.nbui.UACalculator2
-
- getSubController() - Method in class org.uacalc.nbui.UACalculatorUI
-
- getSubLatDrawer() - Method in class org.uacalc.nbui.SubController
-
- getSubLeftPanel() - Method in class org.uacalc.nbui.UACalculator2
-
- getSubLeftPanel() - Method in class org.uacalc.nbui.UACalculatorUI
-
- getSubMainPanel() - Method in interface org.uacalc.nbui.UACalc
-
- getSubMainPanel() - Method in class org.uacalc.nbui.UACalculator2
-
- getSubMainPanel() - Method in class org.uacalc.nbui.UACalculatorUI
-
- getSubPanel() - Method in class org.uacalc.nbui.UACalculator2
-
- getSubPanel() - Method in class org.uacalc.nbui.UACalculatorUI
-
- getSubtraceUniverse() - Method in class org.uacalc.alg.conlat.Subtrace
-
- getSubuniverseArray() - Method in class org.uacalc.alg.Subalgebra
-
Get the subuniverse of the super algebra for this algebra.
- getTabbedPane() - Method in interface org.uacalc.nbui.UACalc
-
- getTabbedPane() - Method in class org.uacalc.nbui.UACalculator2
-
- getTabbedPane() - Method in class org.uacalc.nbui.UACalculatorUI
-
- getTable() - Method in class org.uacalc.alg.op.AbstractOperation
-
- getTable(boolean) - Method in class org.uacalc.alg.op.AbstractOperation
-
- getTable() - Method in interface org.uacalc.alg.op.Operation
-
Get the table for this operation or null if it does not exist.
- getTable(boolean) - Method in interface org.uacalc.alg.op.Operation
-
Get the table for this operation.
- getTable() - Method in class org.uacalc.alg.op.TermOperationImp
-
- getTable(boolean) - Method in class org.uacalc.alg.op.TermOperationImp
-
- getTableCellEditorComponent(JTable, Object, boolean, int, int) - Method in class org.uacalc.ui.table.IntegerEditor
-
- getTask() - Method in class org.uacalc.ui.MonitorPanel
-
- getTaskList() - Method in class org.uacalc.ui.MonitorPanel
-
- getTasks() - Method in class org.uacalc.ui.table.TaskTableModel
-
- getTaskTableModel() - Method in class org.uacalc.ui.MonitorPanel
-
- getTaskTableModel() - Method in class org.uacalc.ui.tm.ProgressReport
-
- getTerm() - Method in interface org.uacalc.alg.op.TermOperation
-
This gives the term.
- getTerm() - Method in class org.uacalc.alg.op.TermOperationImp
-
This gives the term.
- getTerm(IntArray) - Method in class org.uacalc.alg.SubProductAlgebra
-
Get the term associated with an element.
- getTerm() - Method in class org.uacalc.element.SubProductElement
-
- getTermMap() - Method in class org.uacalc.alg.Closer
-
Returns a Map assigning to each tuple in the generated subuniverse a
term over the signature of the underlying algebra whose term operation can be
applied to the generators to obtain the tuple.
- getTermMap() - Method in class org.uacalc.alg.SubProductAlgebra
-
- getTermMapForOperations() - Method in class org.uacalc.alg.Closer
-
- getTerms() - Method in class org.uacalc.alg.SubProductAlgebra
-
- getTerms() - Method in class org.uacalc.ui.table.TermTableModel
-
- getTerms() - Method in class org.uacalc.ui.table.TermTablePanel
-
- getTextFields() - Method in class org.uacalc.ui.NewAlgebraDialog
-
- getThinGenerators(boolean) - Method in class org.uacalc.alg.SubProductAlgebra
-
- getTimeLeft() - Method in class org.uacalc.ui.tm.ProgressReport
-
- getTimeNext() - Method in class org.uacalc.ui.tm.ProgressReport
-
- getToolBar() - Method in class org.uacalc.nbui.LatDrawer
-
- getToolBar() - Method in class org.uacalc.ui.AlgebraEditor
-
- getToolBar() - Method in class org.uacalc.ui.ComputationsPanel
-
- getToolBar() - Method in class org.uacalc.ui.LatDrawer
-
- getToolBar() - Method in class org.uacalc.ui.LatDrawPanel
-
- getTotalTable() - Method in class org.uacalc.alg.op.OperationWithDefaultValue
-
Get the table with the default and random values filled in.
- getType() - Method in class org.uacalc.ui.table.TermTableModel
-
- getTypeFinder() - Method in class org.uacalc.alg.conlat.CongruenceLattice
-
- getUACalc() - Method in class org.uacalc.nbui.LatDrawer
-
- getUACalculator() - Method in class org.uacalc.ui.LatDrawPanel
-
- getUniverseList() - Method in class org.uacalc.alg.BasicAlgebra
-
- getUniverseList() - Method in class org.uacalc.alg.conlat.CongruenceLattice
-
- getUniverseList() - Method in class org.uacalc.alg.MatrixPowerAlgebra
-
- getUniverseList() - Method in class org.uacalc.alg.PolinLikeAlgebra
-
- getUniverseList() - Method in class org.uacalc.alg.ProductAlgebra
-
- getUniverseList() - Method in class org.uacalc.alg.QuotientAlgebra
-
- getUniverseList() - Method in class org.uacalc.alg.ReductAlgebra
-
- getUniverseList() - Method in interface org.uacalc.alg.SmallAlgebra
-
The universe as a List such getElement(k) will equal the kth
element of the List.
- getUniverseList() - Method in class org.uacalc.alg.Subalgebra
-
- getUniverseList() - Method in class org.uacalc.alg.SubProductAlgebra
-
- getUniverseList() - Method in class org.uacalc.alg.UnaryTermsMonoid
-
- getUniverseList() - Method in class org.uacalc.lat.BasicLattice
-
- getUniverseOrder() - Method in class org.uacalc.alg.BasicAlgebra
-
- getUniverseOrder() - Method in class org.uacalc.alg.MatrixPowerAlgebra
-
- getUniverseOrder() - Method in class org.uacalc.alg.PolinLikeAlgebra
-
- getUniverseOrder() - Method in class org.uacalc.alg.ProductAlgebra
-
- getUniverseOrder() - Method in class org.uacalc.alg.QuotientAlgebra
-
- getUniverseOrder() - Method in class org.uacalc.alg.ReductAlgebra
-
- getUniverseOrder() - Method in interface org.uacalc.alg.SmallAlgebra
-
A map that can be used for elementIndex(a).
- getUniverseOrder() - Method in class org.uacalc.alg.Subalgebra
-
- getUniverseOrder() - Method in class org.uacalc.alg.SubProductAlgebra
-
- getUniverseOrder() - Method in class org.uacalc.alg.UnaryTermsMonoid
-
- getUniverseOrder() - Method in class org.uacalc.lat.BasicLattice
-
- getValueAt(int, int) - Method in class org.uacalc.ui.table.AlgebraTableModel
-
- getValueAt(int, int) - Method in class org.uacalc.ui.table.ConLatticeTableModel
-
- getValueAt(int, int) - Method in class org.uacalc.ui.table.ElemKeyTableModel
-
- getValueAt(int, int) - Method in class org.uacalc.ui.table.OperationTableModel
-
- getValueAt(int, int) - Method in class org.uacalc.ui.table.TaskTableModel
-
- getValueAt(int, int) - Method in class org.uacalc.ui.table.TermTableModel
-
- getValues() - Method in class org.uacalc.alg.Closer
-
blocks, values and setConstraints are specified in IntArray
and are used to restrict the element we are looking for.
- getValueTable() - Method in class org.uacalc.ui.table.OperationTableModel
-
- getVariableList() - Method in class org.uacalc.element.SubProductElement
-
- getVariableList() - Method in class org.uacalc.eq.Equation
-
- getVariableList() - Method in class org.uacalc.terms.NonVariableTerm
-
- getVariableList() - Method in interface org.uacalc.terms.Term
-
The list of variables in the order they appear in the term.
- getVariableList() - Method in class org.uacalc.terms.VariableImp
-
- getVariableMap() - Method in class org.uacalc.element.SubProductElement
-
- getVariables() - Method in class org.uacalc.alg.SubProductAlgebra
-
The variables corresponding to the generator in the list
of terms.
- getVariables() - Method in class org.uacalc.eq.Presentation
-
- getVariables() - Method in class org.uacalc.ui.table.TermTableModel
-
- getVariableToGeneratorMap() - Method in class org.uacalc.alg.SubProductAlgebra
-
- getVector() - Method in class org.uacalc.alg.AlgebraWithGeneratingVector
-
- getVertices(List<POElem>) - Method in class org.uacalc.lat.BasicLattice
-
- getWeakCentralityFailure() - Method in class org.uacalc.alg.conlat.CentralityData
-
- getWitnessAlgebra() - Method in class org.uacalc.ui.tm.ProgressReport
-
- GROUP_SIMILARITY_TYPE - Static variable in class org.uacalc.alg.op.SimilarityType
-
- GUIAlgebra - Class in org.uacalc.ui.util
-
A data structure to hold an algebra and some related gui
data.
- GUIAlgebra(SmallAlgebra) - Constructor for class org.uacalc.ui.util.GUIAlgebra
-
- GUIAlgebra(SmallAlgebra, File) - Constructor for class org.uacalc.ui.util.GUIAlgebra
-
- GUIAlgebra(SmallAlgebra, File, List<GUIAlgebra>) - Constructor for class org.uacalc.ui.util.GUIAlgebra
-
We should use this constructor when we want to specify the parents.
- GUIAlgebra(SmallAlgebra, File, GUIAlgebra) - Constructor for class org.uacalc.ui.util.GUIAlgebra
-
We should use this constructor when we want to specify the parents.
- GUIAlgebraList - Class in org.uacalc.ui.util
-
A list of algebra in a session.
- GUIAlgebraList() - Constructor for class org.uacalc.ui.util.GUIAlgebraList
-
- GuiExecutor - Class in org.uacalc.ui.tm
-
GuiExecutor
Executor built atop SwingUtilities.
- gummLevelPath(List<IntArray>, List<IntArray>, IntArray, IntArray) - Static method in class org.uacalc.alg.Malcev
-
Change this a little:
This finds a path from g0 to u, then v.
- gummTerms(SmallAlgebra) - Static method in class org.uacalc.alg.Malcev
-
This returns a list of Gumm terms witnessing modularity, or null if
the algebra does generate a congruence modular variety.
- gummTerms(SmallAlgebra, ProgressReport) - Static method in class org.uacalc.alg.Malcev
-
This returns a list of Gumm terms witnessing modularity, or null if
the algebra does generate a congruence modular variety.
- gummTerms(SmallAlgebra, FreeAlgebra, ProgressReport) - Static method in class org.uacalc.alg.Malcev
-
This returns a list of Gumm terms witnessing modularity, or null if
the algebra does generate a congruence modular variety.
- hagemannMitschkeLevelPath(List, IntArray, IntArray) - Static method in class org.uacalc.alg.Malcev
-
This finds a path from g0 to g2 in middleZero, a list
of triples, where two triples are connected by an edge if either
their first or third coordinates agree.
- hagemannMitschkeTerms(SmallAlgebra) - Static method in class org.uacalc.alg.Malcev
-
- hagemannMitschkeTerms(SmallAlgebra, ProgressReport) - Static method in class org.uacalc.alg.Malcev
-
This returns a list of Hagemann Mitschke Terms terms witnessing
k-permutability, or
null if the algebra does generate a congruence
k-permutable variety.
- hashCode() - Method in class org.uacalc.alg.op.OperationSymbol
-
- hashCode() - Method in class org.uacalc.alg.op.SimilarityType
-
- hashCode() - Method in class org.uacalc.terms.NonVariableTerm
-
- hashCode() - Method in class org.uacalc.terms.VariableImp
-
- hashCode() - Method in class org.uacalc.ui.util.GUIAlgebra
-
- hashCode() - Method in class org.uacalc.util.IntArray
-
- hasInvolution() - Method in class org.uacalc.alg.conlat.Subtrace
-
- hasNext() - Method in class org.uacalc.alg.MaltsevDecompositionIterator
-
- Homomorphism - Class in org.uacalc.alg
-
A homomorphism from the domain algebra into
the range algebra.
- Homomorphism(SmallAlgebra, SmallAlgebra, Map<Integer, Integer>) - Constructor for class org.uacalc.alg.Homomorphism
-
- Horner - Class in org.uacalc.util
-
This has static methods for the Horner encoding and its inverse.
- Horner() - Constructor for class org.uacalc.util.Horner
-
- horner(int[], int[]) - Static method in class org.uacalc.util.Horner
-
Returns the Horner encoding of an int array representing an element
from a direct product of algebras with various sizes.
- horner(int[], int) - Static method in class org.uacalc.util.Horner
-
Returns the Horner encoding of an int array representing an element
from a direct product of algebras all with the same size, such as
a direct power.
- horner(Integer[], int) - Static method in class org.uacalc.util.Horner
-
Returns the Horner encoding of an int array representing an element
from a direct product of algebras with the same size.
- hornerInv(int, int[]) - Static method in class org.uacalc.util.Horner
-
Returns the int array corresponding to this Horner encoding
for a direct product of algebras with various sizes.
- hornerInv(int, int[], int[]) - Static method in class org.uacalc.util.Horner
-
Returns the int array corresponding to this Horner encoding
for a direct product of algebras with various sizes.
- hornerInv(int, int, int) - Static method in class org.uacalc.util.Horner
-
Returns the int array corresponding to this Horner encoding
for a direct product of algebras with the same size.
- hornerInv(int, int, int, int[]) - Static method in class org.uacalc.util.Horner
-
Returns the int array corresponding to this Horner encoding
for a direct product of algebras with the same size.
- ideal(POElem) - Method in class org.uacalc.lat.BasicLattice
-
- ideal(Vertex) - Method in class org.uacalc.nbui.LatDrawer
-
- idempotentPolynomials() - Method in class org.uacalc.alg.conlat.CongruenceLattice
-
Find the nonconstant, idempotent member of Pol1(A).
- identity(int) - Static method in class org.uacalc.alg.conlat.BasicBinaryRelation
-
This gives the identity relation on n; that is the zero congruence.
- IDENTITY - Static variable in class org.uacalc.alg.op.OperationSymbol
-
- increasingSequenceIncrementor(int[], int) - Static method in class org.uacalc.util.SequenceGenerator
-
This increments an array in place through all strictly increasing sequences
whose entries lie between 0 and max, inclusive.
- increasingSequenceIncrementorOld(int[], int) - Static method in class org.uacalc.util.SequenceGenerator
-
This increments an array in place through all strictly increasing sequences
whose entries lie between 0 and max, inclusive.
- increment() - Method in interface org.uacalc.util.ArrayIncrementor
-
Modify the array to be the next one; return false if there is no more.
- incrementApps() - Method in class org.uacalc.alg.CloserTiming
-
- incrementNextPassSize() - Method in class org.uacalc.alg.CloserTiming
-
- index - Variable in class org.uacalc.alg.QuotientElement
-
- index(int) - Method in class org.uacalc.alg.Subalgebra
-
Find the index in this subalgebra of the element with index k
in the super algebra.
- index() - Method in interface org.uacalc.element.Element
-
The index of this element in the algebra.
- index() - Method in class org.uacalc.element.SubProductElement
-
- index(BackgroundTask<?>) - Method in class org.uacalc.ui.table.TaskTableModel
-
- indexOf(Object) - Method in class org.uacalc.util.SimpleList
-
- init() - Method in class org.uacalc.alg.conlat.TypeFinder
-
- init(Partition) - Method in class org.uacalc.alg.conlat.TypeFinder
-
- initialPartition(int, int) - Static method in class org.uacalc.util.SequenceGenerator
-
This returns the initial partition on size with
numBlocks blocks in JB form.
- inputSize() - Method in interface org.uacalc.alg.Algebra
-
The sum of the cardinality of the algebra raised
to the arity of the operations.
- inputSize() - Method in class org.uacalc.alg.conlat.CongruenceLattice
-
- inputSize() - Method in class org.uacalc.alg.GeneralAlgebra
-
- inputSize(int) - Method in class org.uacalc.alg.op.SimilarityType
-
This calculates the (computer) input size.
- inputSize() - Method in class org.uacalc.alg.sublat.SubalgebraLattice
-
- instance() - Static method in class org.uacalc.ui.tm.GuiExecutor
-
- INT_ARRAY_END_TAG - Static variable in class org.uacalc.io.AlgebraWriter
-
- INT_ARRAY_TAG - Static variable in class org.uacalc.io.AlgebraWriter
-
- IntArray - Class in org.uacalc.util
-
This class is a wrapper for an array of int's mainly so we can
specify the equals and hashCode methods.
- IntArray() - Constructor for class org.uacalc.util.IntArray
-
- IntArray(int[]) - Constructor for class org.uacalc.util.IntArray
-
- IntArray(int) - Constructor for class org.uacalc.util.IntArray
-
- intArrayToString(int[]) - Static method in class org.uacalc.util.IntArray
-
- IntegerEditor - Class in org.uacalc.ui.table
-
Implements a cell editor that uses a formatted text field
to edit Integer values.
- IntegerEditor(int, int) - Constructor for class org.uacalc.ui.table.IntegerEditor
-
- inteqs() - Method in class org.uacalc.terms.Taylor
-
- interpretation(SmallAlgebra, List<Variable>, boolean) - Method in class org.uacalc.terms.NonVariableTerm
-
- interpretation(SmallAlgebra) - Method in class org.uacalc.terms.NonVariableTerm
-
- interpretation(SmallAlgebra, List<Variable>, boolean) - Method in interface org.uacalc.terms.Term
-
The interpretation of this term in an algebra; that is, the
operation on alg corresponding to this term.
- interpretation(SmallAlgebra) - Method in interface org.uacalc.terms.Term
-
The operation obtained from this term using the variables in the
order they occur.
- interpretation(SmallAlgebra, List<Variable>, boolean) - Method in class org.uacalc.terms.VariableImp
-
- interpretation(SmallAlgebra) - Method in class org.uacalc.terms.VariableImp
-
- interprets(Taylor, int) - Method in class org.uacalc.terms.Taylor
-
Find a term which in the language of this which satisfies
the identities of g.
- intersection(BasicSet) - Method in class org.uacalc.alg.sublat.BasicSet
-
- intersection(BasicSet, BasicSet) - Static method in class org.uacalc.alg.sublat.BasicSet
-
- intEval(Algebra, Map<Variable, Integer>) - Method in class org.uacalc.terms.NonVariableTerm
-
- intEval(Algebra, Map<Variable, Integer>) - Method in interface org.uacalc.terms.Term
-
The int evaluation of this term in an algebra using map as
the variable assignment.
- intEval(Algebra, Map) - Method in class org.uacalc.terms.VariableImp
-
- intUniverse() - Method in class org.uacalc.alg.BasicAlgebra
-
If this is true, there is no real universe; we just use
Integers.
- intValueAt(int[]) - Method in class org.uacalc.alg.op.AbstractOperation
-
- intValueAt(int) - Method in class org.uacalc.alg.op.AbstractOperation
-
- intValueAt(int[]) - Method in interface org.uacalc.alg.op.Operation
-
This (optional) operation is the int version.
- intValueAt(int) - Method in interface org.uacalc.alg.op.Operation
-
This (optional) operation is for fast access to the table,
if it exits.
- intValueAt(int[]) - Method in class org.uacalc.alg.op.OperationWithDefaultValue
-
- intValueAt(int) - Method in class org.uacalc.alg.op.OperationWithDefaultValue
-
- intValueAt(int[]) - Method in class org.uacalc.alg.op.TermOperationImp
-
- INVERSE - Static variable in class org.uacalc.alg.op.OperationSymbol
-
- irredundantJoinDecomposition(POElem) - Method in class org.uacalc.lat.BasicLattice
-
- irredundantJoinDecomposition(Vertex) - Method in class org.uacalc.nbui.LatDrawer
-
- irredundantMeetDecomposition() - Method in class org.uacalc.alg.conlat.CongruenceLattice
-
Find a set of meet irreducible irredundantly meeting
to zero.
- irredundantMeetDecomposition(POElem) - Method in class org.uacalc.lat.BasicLattice
-
- irredundantMeetDecomposition(Vertex) - Method in class org.uacalc.nbui.LatDrawer
-
- irredundantMeetDecompositionOld() - Method in class org.uacalc.alg.conlat.CongruenceLattice
-
- isAssociative() - Method in class org.uacalc.alg.op.AbstractOperation
-
Test if this operation is binary and associative.
- isAssociative() - Method in interface org.uacalc.alg.op.Operation
-
Is this operation binary and associative.
- isAssociative(Operation) - Static method in class org.uacalc.alg.op.Operations
-
Test if an operation is binary and associative.
- isAssociative() - Method in class org.uacalc.alg.op.OperationSymbol
-
A binary operation symbol can be marked as associative to allow
for a more compact representation and better printing of terms
containing it.
- isaVariable() - Method in class org.uacalc.terms.NonVariableTerm
-
- isaVariable() - Method in interface org.uacalc.terms.Term
-
- isaVariable() - Method in class org.uacalc.terms.VariableImp
-
- isCancelled() - Method in class org.uacalc.ui.tm.BackgroundTask
-
- isCellEditable(int, int) - Method in class org.uacalc.ui.table.AlgebraTableModel
-
- isCellEditable(int, int) - Method in class org.uacalc.ui.table.OperationTableModel
-
- isCellEditable(int, int) - Method in class org.uacalc.ui.table.TaskTableModel
-
- isCellEditable(int, int) - Method in class org.uacalc.ui.table.TermTableModel
-
- isCommutative() - Method in class org.uacalc.alg.op.AbstractOperation
-
Test if this operation is binary and commutative.
- isCommutative() - Method in interface org.uacalc.alg.op.Operation
-
Is this operation binary and commutative.
- isCommutative(Operation) - Static method in class org.uacalc.alg.op.Operations
-
Test if an operation is binary and commutative.
- isCongruenceDistIdempotent(SmallAlgebra, ProgressReport) - Static method in class org.uacalc.alg.Malcev
-
The polynomial time test if the idempotent algebra alg
generates a CD variety from Freese-Valeriote.
- isCongruenceModularIdempotent(SmallAlgebra, ProgressReport) - Static method in class org.uacalc.alg.Malcev
-
- isConstant() - Method in class org.uacalc.util.IntArray
-
- isDiagonal(int, int) - Method in class org.uacalc.alg.op.OperationWithDefaultValue
-
- isDirty() - Method in class org.uacalc.nbui.MainController
-
- isDirty() - Method in class org.uacalc.ui.UACalculator
-
- isDistributive() - Method in class org.uacalc.alg.conlat.CongruenceLattice
-
- isDone() - Method in class org.uacalc.ui.tm.BackgroundTask
-
- isDrawable() - Method in class org.uacalc.alg.conlat.CongruenceLattice
-
- isDrawable() - Method in class org.uacalc.alg.sublat.SubalgebraLattice
-
- isEmpty() - Method in class org.uacalc.util.SimpleList
-
- isEndomorphism(Operation, SmallAlgebra) - Static method in class org.uacalc.alg.Algebras
-
- isHereditary(List<Partition>) - Static method in class org.uacalc.alg.conlat.BasicPartition
-
True if all 0-1 sublattices of the closure of the
sublattice generated by pars are themselves closed.
- isHomomorphism(int[], SmallAlgebra, SmallAlgebra) - Static method in class org.uacalc.alg.Algebras
-
- isIdempotent() - Method in interface org.uacalc.alg.Algebra
-
Test if all of the operations are idempotent.
- isIdempotent() - Method in class org.uacalc.alg.conlat.CongruenceLattice
-
- isIdempotent() - Method in class org.uacalc.alg.GeneralAlgebra
-
- isIdempotent() - Method in class org.uacalc.alg.op.AbstractOperation
-
Is this operation idempotent in the sense f(x,x,..,x) = x.
- isIdempotent() - Method in interface org.uacalc.alg.op.Operation
-
Is this operation idempotent in the sense f(x,x,..,x) = x.
- isIdempotent(Operation) - Static method in class org.uacalc.alg.op.Operations
-
Test if an operation is idempotent.
- isIdempotent() - Method in class org.uacalc.alg.sublat.SubalgebraLattice
-
- isIdempotent() - Method in class org.uacalc.util.IntArray
-
Test if this represents an idempotent function; that is,
one satisfying the equation f(f(x)) ≈ f(x).
- isIdempotentSet() - Method in class org.uacalc.alg.op.OperationWithDefaultValue
-
- isIdempotentSet() - Method in class org.uacalc.ui.table.OperationTableModel
-
Make an int operation which returns the defaultValue.
- isImageOf(AlgebraWithGeneratingVector) - Method in class org.uacalc.alg.AlgebraWithGeneratingVector
-
- isInitialLexRepresentative() - Method in class org.uacalc.alg.conlat.BasicPartition
-
This will be true if, when the separators of the blocks are
removed, it is just 0 to n-1 in order; also the sizes of
the blocks are getting smaller, left to right.
- isInitialLexRepresentative() - Method in interface org.uacalc.alg.conlat.Partition
-
- isMaltsev() - Method in class org.uacalc.alg.op.AbstractOperation
-
Check if a ternary operation is a Maltsev operation.
- isMaltsev() - Method in interface org.uacalc.alg.op.Operation
-
Check if a ternary operation is a Maltsev operation.
- isMaltsev(Operation) - Static method in class org.uacalc.alg.op.Operations
-
Check if a ternary operation is a Maltsev operation.
- isOrdinaryCharacter(char) - Static method in class org.uacalc.io.Mace4Reader
-
- isPower() - Method in class org.uacalc.alg.BigProductAlgebra
-
Test if this is a power of a single algebra.
- isReflexive() - Method in class org.uacalc.alg.conlat.BasicBinaryRelation
-
- isRelated(int, int) - Method in class org.uacalc.alg.conlat.BasicBinaryRelation
-
- isRelated(int, int) - Method in class org.uacalc.alg.conlat.BasicPartition
-
- isRelated(int, int) - Method in interface org.uacalc.alg.conlat.BinaryRelation
-
- isRelated(int, int) - Method in interface org.uacalc.alg.conlat.Partition
-
- isRepresentative(int) - Method in class org.uacalc.alg.conlat.BasicPartition
-
- isRepresentative(int) - Method in interface org.uacalc.alg.conlat.Partition
-
- isShutdown() - Method in class org.uacalc.ui.tm.GuiExecutor
-
- isSimilarTo(Algebra) - Method in interface org.uacalc.alg.Algebra
-
- isSimilarTo(Algebra) - Method in class org.uacalc.alg.conlat.CongruenceLattice
-
- isSimilarTo(Algebra) - Method in class org.uacalc.alg.GeneralAlgebra
-
- isSimilarTo(Algebra) - Method in class org.uacalc.alg.sublat.SubalgebraLattice
-
- isSmallerThan(int) - Method in class org.uacalc.alg.conlat.CongruenceLattice
-
- isSmallerThan(int) - Method in class org.uacalc.alg.sublat.SubalgebraLattice
-
- isSpecialCharacter(char) - Static method in class org.uacalc.io.Mace4Reader
-
- isSubtrace(IntArray, Partition) - Method in class org.uacalc.alg.conlat.TypeFinder
-
Test if ia is a beta subtrace.
- isSuppressOutput() - Method in class org.uacalc.alg.Closer
-
- isSymmetric() - Method in class org.uacalc.alg.conlat.BasicBinaryRelation
-
- isTableBased() - Method in class org.uacalc.alg.op.AbstractOperation
-
- isTableBased() - Method in interface org.uacalc.alg.op.Operation
-
- isTerminated() - Method in class org.uacalc.ui.tm.GuiExecutor
-
- isTotal() - Method in interface org.uacalc.alg.Algebra
-
This will fail only if there are some OperationWithDefaultValue's
which are not total.
- isTotal() - Method in class org.uacalc.alg.conlat.CongruenceLattice
-
- isTotal() - Method in class org.uacalc.alg.GeneralAlgebra
-
- isTotal() - Method in class org.uacalc.alg.op.AbstractOperation
-
- isTotal() - Method in interface org.uacalc.alg.op.Operation
-
Only OperationWithDefaultValue's can fail this.
- isTotal(Operation) - Static method in class org.uacalc.alg.op.Operations
-
- isTotal() - Method in class org.uacalc.alg.op.OperationWithDefaultValue
-
- isTotal() - Method in class org.uacalc.alg.sublat.SubalgebraLattice
-
- isTotallySymmetric() - Method in class org.uacalc.alg.op.AbstractOperation
-
Test if this operation is totally symmetric; that is, invariant
under all permutation of the variables.
- isTotallySymmetric() - Method in interface org.uacalc.alg.op.Operation
-
Is this operation totally symmetric; that is, invariant
under all permutation of the variables.
- isTotallySymmetric(Operation) - Static method in class org.uacalc.alg.op.Operations
-
Test if an operation is totally symmetric; that is, invariant
under all permutation of the variables.
- isUnary() - Method in interface org.uacalc.alg.Algebra
-
- isUnary() - Method in class org.uacalc.alg.conlat.CongruenceLattice
-
- isUnary() - Method in class org.uacalc.alg.GeneralAlgebra
-
- isUnary() - Method in class org.uacalc.alg.sublat.SubalgebraLattice
-
- isUnary() - Method in class org.uacalc.alg.UnaryTermsMonoid
-
- isValidOpNameString(String) - Static method in class org.uacalc.terms.Terms
-
- isValidVarString(String) - Static method in class org.uacalc.terms.Terms
-
- isZero() - Method in class org.uacalc.alg.conlat.BasicPartition
-
- isZero() - Method in interface org.uacalc.alg.conlat.Partition
-
- iterator() - Method in interface org.uacalc.alg.Algebra
-
returns the iterator of the universe.
- iterator() - Method in class org.uacalc.alg.conlat.BasicBinaryRelation
-
- iterator() - Method in class org.uacalc.alg.conlat.BasicPartition
-
- iterator() - Method in class org.uacalc.alg.conlat.CongruenceLattice
-
- iterator() - Method in class org.uacalc.alg.GeneralAlgebra
-
- iterator() - Method in class org.uacalc.alg.sublat.SubalgebraLattice
-
- iterator() - Method in class org.uacalc.ui.util.GUIAlgebraList
-
- iterator(int) - Static method in class org.uacalc.util.PermutationGenerator
-
This iterator iterates all permutations on the set 0, ..., n-1.
- iterator() - Method in class org.uacalc.util.SimpleList
-
- jbToPartition(int[]) - Static method in class org.uacalc.alg.conlat.BasicPartition
-
Takes a partition in JB form and return
the corresponding Partition.
- join(Partition) - Method in class org.uacalc.alg.conlat.BasicPartition
-
- join(Object, Object) - Method in class org.uacalc.alg.conlat.CongruenceLattice
-
- join(List) - Method in class org.uacalc.alg.conlat.CongruenceLattice
-
- join(Partition) - Method in interface org.uacalc.alg.conlat.Partition
-
- JOIN - Static variable in class org.uacalc.alg.op.OperationSymbol
-
- join(Object, Object) - Method in class org.uacalc.alg.sublat.SubalgebraLattice
-
- join(List) - Method in class org.uacalc.alg.sublat.SubalgebraLattice
-
- join(List) - Method in class org.uacalc.lat.BasicLattice
-
- join(Object, Object) - Method in class org.uacalc.lat.BasicLattice
-
- join(Object, Object) - Method in interface org.uacalc.lat.Lattice
-
- join(List) - Method in interface org.uacalc.lat.Lattice
-
- joinBlocks(int, int) - Method in class org.uacalc.alg.conlat.BasicPartition
-
Note r and s must be roots and distinct.
- joinBlocks(int, int) - Method in interface org.uacalc.alg.conlat.Partition
-
Note r and s must be roots and distinct.
- joinClosure(List<Partition>) - Static method in class org.uacalc.alg.conlat.BasicPartition
-
- joinClosure(List<Partition>, Map<Partition, Term>) - Static method in class org.uacalc.alg.conlat.BasicPartition
-
- joinClosure(List<Partition>, Map<Partition, Term>, Partition) - Static method in class org.uacalc.alg.conlat.BasicPartition
-
This is the join closure except that it will stop if
it finds a new element above projkernel.
- joinClosure(Collection) - Method in class org.uacalc.alg.sublat.SubalgebraLattice
-
- joinClosure(Collection, int) - Method in class org.uacalc.alg.sublat.SubalgebraLattice
-
This gives the set of joins of all nonempty subsets of
gens, so it is necessary to add a least element if you
want to include it.
- joinIrredsBelow(POElem) - Method in class org.uacalc.lat.BasicLattice
-
- joinIrredsBelow(Vertex) - Method in class org.uacalc.nbui.LatDrawer
-
- joinIrreducible(Partition) - Method in class org.uacalc.alg.conlat.CongruenceLattice
-
- joinIrreducible(BasicSet) - Method in class org.uacalc.alg.sublat.SubalgebraLattice
-
- joinIrreducibles() - Method in class org.uacalc.alg.conlat.CongruenceLattice
-
A list of the join irreducible congruences sorted
by rank (in the partition lattice).
- joinIrreducibles(ProgressReport) - Method in class org.uacalc.alg.conlat.CongruenceLattice
-
A list of the join irreducibles sorted by
rank (in the partition lattice); constructed if necessary.
- joinIrreducibles() - Method in class org.uacalc.alg.sublat.SubalgebraLattice
-
A list of the join irreducibles; constructed if necessary.
- joinIrreducibles() - Method in class org.uacalc.lat.BasicLattice
-
- joinIrreducibles() - Method in interface org.uacalc.lat.Lattice
-
An optional operation returning the list of join irreducible elements.
- joinIrreduciblesFound() - Method in class org.uacalc.alg.conlat.CongruenceLattice
-
- joinPrime(Partition) - Method in class org.uacalc.alg.conlat.CongruenceLattice
-
Test if beta is join prime.
- joinTerm(SmallAlgebra) - Static method in class org.uacalc.alg.Malcev
-
Gives a Kearnes-Kiss join term.
- joinTerm(SmallAlgebra, ProgressReport) - Static method in class org.uacalc.alg.Malcev
-
Gives a Kearnes-Kiss join term.
- jonssonLevel(SmallAlgebra) - Static method in class org.uacalc.alg.Algebras
-
If this algebra generates a distributive variety, this returns
the minimal number of Jonsson terms; otherwise it returns -1,
but it is probably better to jonssonTerms and get
get the actual terms.
- jonssonLevel(SmallAlgebra) - Static method in class org.uacalc.alg.Malcev
-
If this algebra generates a distributive variety, this returns
the minimal number of Jonsson terms minus 1; otherwise it returns -1,
but it is probably better to use jonssonTerms and get
get the actual terms.
- jonssonLevelAux(List<IntArray>, IntArray, IntArray) - Static method in class org.uacalc.alg.Malcev
-
- jonssonLevelPath(List<IntArray>, IntArray, IntArray, boolean) - Static method in class org.uacalc.alg.Malcev
-
This finds a path from g0 to g2 in middleZero, a list
of triples, where two triples are connected by an edge if either
their first or third coordinates agree.
- jonssonTerms(SmallAlgebra) - Static method in class org.uacalc.alg.Algebras
-
This returns a list of Jonsson terms witnessing or null if
the algebra does generate a congruence distributive variety.
- jonssonTerms(SmallAlgebra) - Static method in class org.uacalc.alg.Malcev
-
This returns a list of Jonsson terms witnessing distributivity, or
null if the algebra does generate a congruence distributive variety.
- jonssonTerms(SmallAlgebra, boolean) - Static method in class org.uacalc.alg.Malcev
-
- jonssonTerms(SmallAlgebra, boolean, ProgressReport) - Static method in class org.uacalc.alg.Malcev
-
This returns a list of Jonsson terms witnessing distributivity, or
null if the algebra does generate a congruence distributive variety.
- JSONChannel - Class in org.uacalc.io
-
Communication with outside programs like Sage.
- JSONChannel() - Constructor for class org.uacalc.io.JSONChannel
-
- lastIndexOf(Object) - Method in class org.uacalc.util.SimpleList
-
- LatDrawer - Class in org.uacalc.nbui
-
- LatDrawer(UACalc) - Constructor for class org.uacalc.nbui.LatDrawer
-
- LatDrawer - Class in org.uacalc.ui
-
Just a temporary lattice drawer.
- LatDrawer() - Constructor for class org.uacalc.ui.LatDrawer
-
- LatDrawer(Diagram) - Constructor for class org.uacalc.ui.LatDrawer
-
- LatDrawer(Diagram, Object) - Constructor for class org.uacalc.ui.LatDrawer
-
- LatDrawer.RadioButtonType - Enum in org.uacalc.nbui
-
- LatDrawPanel - Class in org.uacalc.ui
-
Just a temporary lattice drawer.
- LatDrawPanel(UACalculator) - Constructor for class org.uacalc.ui.LatDrawPanel
-
- Lattice - Interface in org.uacalc.lat
-
- LATTICE_SIMILARITY_TYPE - Static variable in class org.uacalc.alg.op.SimilarityType
-
- latticeFromJoin(String, Operation) - Static method in class org.uacalc.lat.Lattices
-
Make a lattice from a join operation using Integers for labels.
- latticeFromJoin(String, List, Operation) - Static method in class org.uacalc.lat.Lattices
-
These older versions where trying to display the elements
but were having problems.
- latticeFromMeet(String, Operation) - Static method in class org.uacalc.lat.Lattices
-
Make a lattice from a meet operation using Integers for labels.
- latticeFromMeet(String, List, Operation) - Static method in class org.uacalc.lat.Lattices
-
These older versions where trying to display the elements
but were having problems.
- Lattices - Class in org.uacalc.lat
-
- LatticeTableModel - Class in org.uacalc.ui.table
-
The super class for congruence, sublattice, and algebra as a lattice tables.
- LatticeTableModel(SmallAlgebra) - Constructor for class org.uacalc.ui.table.LatticeTableModel
-
- leadingOperationSymbol() - Method in class org.uacalc.terms.NonVariableTerm
-
The leading operation symbol or null if this term is a variable.
- leadingOperationSymbol() - Method in interface org.uacalc.terms.Term
-
The leading operation symbol or null if this term is a variable.
- leadingOperationSymbol() - Method in class org.uacalc.terms.VariableImp
-
- LEFT_PAR - Static variable in class org.uacalc.terms.NonVariableTerm
-
- leftRightReverse(int[], int, int) - Static method in class org.uacalc.util.Horner
-
If values are the values of a function at [0,0, ...,0], [1,0,...,0],
this gives the values in the order [0,0, ...,0], [0,0,...,1], ...
- leftSequenceIncrementor(int[], int) - Static method in class org.uacalc.util.SequenceGenerator
-
This just increments the array through all possible tuples
with entries between 0 and max from the left.
- leftSide() - Method in class org.uacalc.eq.Equation
-
- length() - Method in class org.uacalc.terms.NonVariableTerm
-
- length() - Method in interface org.uacalc.terms.Term
-
The length of the term.
- length() - Method in class org.uacalc.terms.VariableImp
-
- leq(Partition) - Method in class org.uacalc.alg.conlat.BasicPartition
-
- leq(int[], int[]) - Static method in class org.uacalc.alg.conlat.BasicPartition
-
- leq(Object, Object) - Method in class org.uacalc.alg.conlat.CongruenceLattice
-
- leq(Partition) - Method in interface org.uacalc.alg.conlat.Partition
-
- leq(BasicSet) - Method in class org.uacalc.alg.sublat.BasicSet
-
Is this a subset of set2.
- leq(int[], int[]) - Static method in class org.uacalc.alg.sublat.BasicSet
-
Is u a subset of v.
- leq(Object, Object) - Method in class org.uacalc.alg.sublat.SubalgebraLattice
-
- leq(Object, Object) - Method in class org.uacalc.lat.BasicLattice
-
- leq(E, E) - Method in interface org.uacalc.lat.Order
-
The order relation.
- lexicographicallyCompare(Term, Term) - Method in class org.uacalc.terms.Taylor
-
- lexicographicallyCompare(IntArray, IntArray) - Static method in class org.uacalc.terms.Taylor
-
- lexicographicallyCompare(int[], int[]) - Static method in class org.uacalc.terms.Taylor
-
- lexicographicComparitor() - Static method in class org.uacalc.util.IntArray
-
- listIncrementor(List) - Static method in class org.uacalc.util.PermutationGenerator
-
This increments arr, applying the next transposition that results
in a different array.
- listIterator(int) - Method in class org.uacalc.util.SimpleList
-
- listIterator() - Method in class org.uacalc.util.SimpleList
-
- loadBuiltIn() - Method in class org.uacalc.nbui.MainController
-
- localDistributivityLevel(int, int, int, SmallAlgebra) - Static method in class org.uacalc.alg.Malcev
-
If \alpha = Cg(a,c) \meet Cg(a,b)
and \beta = Cg(a,c) \meet Cg(b,c) this gives number of alteration
of \alpha and \beta to get from a to c in the join of \alpha and
\beta.
- localDistributivityLevel(SmallAlgebra) - Static method in class org.uacalc.alg.Malcev
-
Find the max level over all triples a, b, c, where,
if \alpha = Cg(a,c) \meet Cg(a,b)
and \beta = Cg(a,c) \meet Cg(b,c) the level is the number of alteration
of \alpha and \beta to get from a to c in the join of \alpha and
\beta.
- lowerCovers(POElem) - Method in class org.uacalc.lat.BasicLattice
-
- lowerCovers(Vertex) - Method in class org.uacalc.nbui.LatDrawer
-
- lowerStar(Partition) - Method in class org.uacalc.alg.conlat.CongruenceLattice
-
If beta is join irreducible, this gives its lower
cover; otherwise null.
- MACE4_EXTS - Static variable in class org.uacalc.io.ExtFileFilter
-
- Mace4Reader - Class in org.uacalc.io
-
Reading Mace4 model files into algebras (only the operations are loaded,
relations are ignored).
- Mace4Reader(InputStream) - Constructor for class org.uacalc.io.Mace4Reader
-
- main(String[]) - Static method in class org.uacalc.alg.AlgebraFromMinimalSets
-
- main(String[]) - Static method in class org.uacalc.alg.Algebras
-
- main(String[]) - Static method in class org.uacalc.alg.BasicAlgebra
-
- main(String[]) - Static method in class org.uacalc.alg.BigProductAlgebra
-
- main(String[]) - Static method in class org.uacalc.alg.conlat.BasicBinaryRelation
-
- main(String[]) - Static method in class org.uacalc.alg.conlat.BasicPartition
-
- main(String[]) - Static method in class org.uacalc.alg.conlat.CentralityData
-
- main(String[]) - Static method in class org.uacalc.alg.conlat.CongruenceLattice
-
- main(String[]) - Static method in class org.uacalc.alg.conlat.Polymorphisms
-
- main(String[]) - Static method in class org.uacalc.alg.conlat.TypeFinder
-
- main(String[]) - Static method in class org.uacalc.alg.FreeAlgebra
-
- main(String[]) - Static method in class org.uacalc.alg.Malcev
-
- main(String[]) - Static method in class org.uacalc.alg.MaltsevDecompositionIterator
-
- main(String[]) - Static method in class org.uacalc.alg.MaltsevProductDecomposition
-
- main(String[]) - Static method in class org.uacalc.alg.op.AbstractIntOperation
-
- main(String[]) - Static method in class org.uacalc.alg.op.Operations
-
- main(String[]) - Static method in class org.uacalc.alg.PolinLikeAlgebra
-
- main(String[]) - Static method in class org.uacalc.alg.PowerAlgebra
-
- main(String[]) - Static method in class org.uacalc.alg.ProductAlgebra
-
- main(String[]) - Static method in class org.uacalc.alg.QuotientAlgebra
-
- main(String[]) - Static method in class org.uacalc.alg.ReductAlgebra
-
- main(String[]) - Static method in class org.uacalc.alg.Subalgebra
-
- main(String[]) - Static method in class org.uacalc.alg.sublat.SubalgebraLattice
-
- main(String[]) - Static method in class org.uacalc.alg.SubProductAlgebra
-
- main(String[]) - Static method in class org.uacalc.alg.UnaryTermsMonoid
-
- main(String[]) - Static method in class org.uacalc.eq.Equations
-
- main(String[]) - Static method in class org.uacalc.io.AlgebraIO
-
- main(String[]) - Static method in class org.uacalc.io.AlgebraReader
-
- main(String[]) - Static method in class org.uacalc.io.AlgebraWriter
-
- main(String[]) - Static method in class org.uacalc.io.ExtFileFilter
-
- main(String[]) - Static method in class org.uacalc.io.JSONChannel
-
- main(String[]) - Static method in class org.uacalc.lat.BasicLattice
-
An optional operation returning the list of meet irreducible elements.
- main(String[]) - Static method in class org.uacalc.lat.OrderedSets
-
- main(String[]) - Static method in class org.uacalc.nbui.UACalculator2
-
- main(String[]) - Static method in class org.uacalc.nbui.UACalculatorUI
-
- main(String[]) - Static method in class org.uacalc.terms.Taylor
-
- main(String[]) - Static method in class org.uacalc.terms.Terms
-
- main(String[]) - Static method in class org.uacalc.ui.LatDrawer
-
- main(String[]) - Static method in class org.uacalc.ui.table.OperationInputTable
-
- main(String[]) - Static method in class org.uacalc.ui.UACalculator
-
- main(String[]) - Static method in class org.uacalc.ui.util.WebBrowser
-
- main(String[]) - Static method in class org.uacalc.util.Horner
-
- main(String[]) - Static method in class org.uacalc.util.PermutationGenerator
-
- main(String[]) - Static method in class org.uacalc.util.SequenceGenerator
-
- main(String[]) - Static method in class org.uacalc.util.SimpleList
-
- MainController - Class in org.uacalc.nbui
-
- MainController(UACalc) - Constructor for class org.uacalc.nbui.MainController
-
- majorityTerm(SmallAlgebra) - Static method in class org.uacalc.alg.Malcev
-
- majorityTerm(SmallAlgebra, ProgressReport) - Static method in class org.uacalc.alg.Malcev
-
- makeAlgebra() - Method in class org.uacalc.ui.AlgebraEditor
-
Make an algebra from the operations.
- makeAtoms() - Method in class org.uacalc.alg.conlat.CongruenceLattice
-
- makeBalancedTayorTerm(OperationSymbol, int, List<Variable>) - Method in class org.uacalc.terms.Taylor
-
Constructs a term with a balanced term tree.
- makeBasicAlg() - Method in class org.uacalc.nbui.AlgebraEditorController
-
- makeBinaryIntOperation(OperationSymbol, int, int[][]) - Static method in class org.uacalc.alg.op.Operations
-
- makeBinaryLeftShift(int, int) - Static method in class org.uacalc.alg.op.Operations
-
This maps a pair of vectors (x,y) to (y_{k-1},x_0, ..., x_{k-2}); see
McKenzie's finite forbidden lattices.
- makeCartesianProduct(List) - Method in class org.uacalc.alg.ProductAlgebra
-
Returns the carrier set of the product of the specified List algs of Objects as a Set.
- makeCompositionOp(int, int) - Static method in class org.uacalc.alg.op.Operations
-
- makeConInBackground(SmallAlgebra) - Method in class org.uacalc.nbui.ConController
-
Assumes alg.con().universeFound() is false.
- makeConstantIntOperation(int, int) - Static method in class org.uacalc.alg.op.Operations
-
- makeConstantIntOperation(String, int, int) - Static method in class org.uacalc.alg.op.Operations
-
- makeConstantIntOperations(int) - Static method in class org.uacalc.alg.op.Operations
-
- makeConstantTerm(OperationSymbol) - Static method in class org.uacalc.terms.NonVariableTerm
-
A static method to make a constant term from an operation symbol.
- makeConTable(SmallAlgebra, boolean) - Method in class org.uacalc.nbui.ConController
-
- makeCyclicGens(int[]) - Static method in class org.uacalc.alg.Malcev
-
- makeDerivedOperation(Operation, int[], int) - Static method in class org.uacalc.alg.op.Operations
-
The operation derived by equating variables.
- makeExampleLat() - Static method in class org.uacalc.nbui.LatDrawer
-
Make a sample lattice.
- makeExampleLat() - Static method in class org.uacalc.ui.LatDrawer
-
Make a sample lattice.
- makeExampleLat() - Static method in class org.uacalc.ui.LatDrawPanel
-
Make a sample lattice.
- makeFullCycle(int) - Static method in class org.uacalc.alg.op.Operations
-
- makeIdempotent() - Method in class org.uacalc.alg.op.OperationWithDefaultValue
-
- makeIntOperation(Operation) - Static method in class org.uacalc.alg.op.Operations
-
This makes a new operation that agrees with the original but is
table based and so faster.
- makeIntOperation(String, int, int, int[]) - Static method in class org.uacalc.alg.op.Operations
-
Construct an Operation from a valueTable.
- makeIntOperation(OperationSymbol, int, int[]) - Static method in class org.uacalc.alg.op.Operations
-
Construct an Operation from a valueTable.
- makeIntOperations(List<Operation>) - Static method in class org.uacalc.alg.op.Operations
-
- makeIrredundantJoin(List<POElem>) - Method in class org.uacalc.lat.BasicLattice
-
- makeIrredundantMeet(List<Partition>) - Method in class org.uacalc.alg.conlat.CongruenceLattice
-
- makeIrredundantMeet(List<POElem>) - Method in class org.uacalc.lat.BasicLattice
-
- makeJoinIrreducibles(ProgressReport) - Method in class org.uacalc.alg.conlat.CongruenceLattice
-
- makeJoinIrreducibles() - Method in class org.uacalc.alg.sublat.SubalgebraLattice
-
- makeJonssonOperationsFromNUF(Operation) - Static method in class org.uacalc.alg.op.Operations
-
Make the Jonsson terms from a near unanimity operation, omitting
the two projections.
- makeLeftShift(int, int) - Static method in class org.uacalc.alg.op.Operations
-
The unary operation that cyclically shifts a vector left.
- makeList() - Static method in class org.uacalc.util.SimpleList
-
- makeList(Object) - Static method in class org.uacalc.util.SimpleList
-
- makeMap(List<Operation>) - Static method in class org.uacalc.alg.op.Operations
-
This makes a hash map from the operation symbols to the operations.
- makeMatrixDiagonalOp(int, int) - Static method in class org.uacalc.alg.op.Operations
-
- makeModuleOperation(int, int[]) - Static method in class org.uacalc.alg.op.Operations
-
- makeNewAlgebra() - Method in class org.uacalc.nbui.AlgebraEditorController
-
- makeOp(Map<String, String>) - Method in class org.uacalc.alg.op.ParameterizedOperation
-
- makeOperationFromScript(OperationSymbol, int, int, String[]) - Static method in class org.uacalc.alg.op.Operations
-
The script should be the body of the definition
of intValueAt(int[] args).
- makeOperations() - Method in class org.uacalc.alg.BigProductAlgebra
-
Most of the rest of this is out of date.
- makeOperations() - Method in class org.uacalc.alg.ProductAlgebra
-
- makeOperations() - Method in class org.uacalc.alg.SubProductAlgebra
-
- makeOperationTables() - Method in interface org.uacalc.alg.Algebra
-
Make operation tables to speed up the evaluation of operations at
the cost using more space.
- makeOperationTables() - Method in class org.uacalc.alg.BigProductAlgebra
-
- makeOperationTables() - Method in class org.uacalc.alg.conlat.CongruenceLattice
-
- makeOperationTables() - Method in class org.uacalc.alg.GeneralAlgebra
-
- makeOperationTables() - Method in class org.uacalc.alg.ProductAlgebra
-
- makeOperationTables() - Method in class org.uacalc.alg.QuotientAlgebra
-
- makeOperationTables() - Method in class org.uacalc.alg.ReductAlgebra
-
- makeOperationTables() - Method in class org.uacalc.alg.Subalgebra
-
- makeOperationTables() - Method in class org.uacalc.alg.sublat.SubalgebraLattice
-
- makeOperationTables() - Method in class org.uacalc.alg.SubProductAlgebra
-
- makeOperationTables() - Method in class org.uacalc.alg.UnaryTermsMonoid
-
- makeOrderedSet(Lattice) - Method in class org.uacalc.lat.BasicLattice
-
Make a org.latdraw.orderedset.OrderedSet from a Lattice.
- makeOrdinary(List<Operation>) - Static method in class org.uacalc.alg.op.OperationWithDefaultValue
-
- makeOrdinaryOperation() - Method in class org.uacalc.alg.op.OperationWithDefaultValue
-
Make an operation with the default value filled in.
- makePrincipals(ProgressReport) - Method in class org.uacalc.alg.conlat.CongruenceLattice
-
- makeRandomAlgebra(int, SimilarityType) - Static method in class org.uacalc.alg.Algebras
-
Make a random algebra of a given similarity type.
- makeRandomAlgebra(int, SimilarityType, long) - Static method in class org.uacalc.alg.Algebras
-
Make a random algebra of a given similarity type, optionally
supplying a seed to the random number generator (in case
regenerating the same algebra is important.
- makeRandomAlgebra(int, int[]) - Static method in class org.uacalc.alg.Algebras
-
Make a random algebra of a given the arities of the operations.
- makeRandomAlgebra(int, int[], long) - Static method in class org.uacalc.alg.Algebras
-
Make a random algebra of a given the arities of the operations,
optionally supplying a seed to the random number generator (in case
regenerating the same algebra is important.
- makeRandomOperation(int, OperationSymbol) - Static method in class org.uacalc.alg.op.Operations
-
Make an operation with the the given opeation symbol
and set size.
- makeRandomOperation(int, OperationSymbol, Random) - Static method in class org.uacalc.alg.op.Operations
-
Make an operation with the the given opeation symbol
and set size.
- makeRandomOperations(int, SimilarityType) - Static method in class org.uacalc.alg.op.Operations
-
Make a list of operations corresponding to a similarity type and a
set size.
- makeRandomOperations(int, SimilarityType, long) - Static method in class org.uacalc.alg.op.Operations
-
Make a list of operations corresponding to a similarity type and a
set size.
- makeSg(List<Integer>) - Method in class org.uacalc.alg.sublat.SubalgebraLattice
-
Make the subuniverse generated by gens.
- makeSg(List<Integer>, int) - Method in class org.uacalc.alg.sublat.SubalgebraLattice
-
- makeSg(List<Integer>, int, int) - Method in class org.uacalc.alg.sublat.SubalgebraLattice
-
Make the subuniverse generated by gens.
- makeTable() - Method in class org.uacalc.alg.op.AbstractOperation
-
- makeTable() - Method in interface org.uacalc.alg.op.Operation
-
This will make a table and so make the operation faster but
requires more space.
- makeTable() - Method in class org.uacalc.alg.op.OperationWithDefaultValue
-
Note this effectively kills the default value part
of this.
- makeToolBar() - Method in class org.uacalc.nbui.LatDrawer
-
- makeToolBar() - Method in class org.uacalc.ui.LatDrawer
-
- makeToolBar() - Method in class org.uacalc.ui.LatDrawPanel
-
- makeTransposition(int, int, int) - Static method in class org.uacalc.alg.op.Operations
-
Make a unary operation interchanging a0 and a1.
- makeUniverse(ProgressReport) - Method in class org.uacalc.alg.conlat.CongruenceLattice
-
- makeUniverse(int) - Method in class org.uacalc.alg.conlat.CongruenceLattice
-
- makeUniverse() - Method in class org.uacalc.alg.conlat.CongruenceLattice
-
- makeUniverse(int, ProgressReport) - Method in class org.uacalc.alg.conlat.CongruenceLattice
-
Construct the universe.
- makeUniverse() - Method in class org.uacalc.alg.QuotientAlgebra
-
Notes: this is need a class for congruence classes.
- makeUniverse() - Method in class org.uacalc.alg.Subalgebra
-
- makeUniverse() - Method in class org.uacalc.alg.sublat.SubalgebraLattice
-
Test if one subuniverse is contained in another.
- makeUniverse(int) - Method in class org.uacalc.alg.sublat.SubalgebraLattice
-
Construct the universe.
- Malcev - Class in org.uacalc.alg
-
A class with static methods for Mal'cev conditions such as finding
Jonsson terms, etc.
- malcevTerm(SmallAlgebra) - Static method in class org.uacalc.alg.Malcev
-
- malcevTerm(SmallAlgebra, ProgressReport) - Static method in class org.uacalc.alg.Malcev
-
Find a Mal'cev term for (the variety generated by) this algebra or
null if the variety it generates is not permutable.
- MaltsevDecompositionIterator - Class in org.uacalc.alg
-
An iterator for idempotent algebras giving sections, this is, quotients
of subalgebras of the given algebra.
- MaltsevDecompositionIterator(SmallAlgebra) - Constructor for class org.uacalc.alg.MaltsevDecompositionIterator
-
Given an idempotent algebra this constructs an iterator of
SmallAlgebras that are sections, this is, quotients of subalgebras
of alg.
- MaltsevProductDecomposition - Class in org.uacalc.alg
-
Suppose P is a robust property; a property such that if A is
an idempotent algebra in the Maltsev product of two idempotent
varieties satisfying P, then A satisfies P.
- MaltsevProductDecomposition(SmallAlgebra, Partition) - Constructor for class org.uacalc.alg.MaltsevProductDecomposition
-
Make the decomposition.
- map - Variable in class org.uacalc.alg.PolinLikeAlgebra
-
- markovicMcKenzieSiggersTaylorTerm(SmallAlgebra) - Static method in class org.uacalc.alg.Malcev
-
Gives a term t(x,y,z,u) satisfying t(y,x,x,x) = t(x,x,y,y) and
t(x,x,y,x) = t(x,y,x,x).
- markovicMcKenzieSiggersTaylorTerm(SmallAlgebra, ProgressReport) - Static method in class org.uacalc.alg.Malcev
-
Gives a term t(x,y,z,u) satisfying t(y,x,x,x) = t(x,x,y,y) and
t(x,x,y,x) = t(x,y,x,x).
- markovicMcKenzieTerm() - Static method in class org.uacalc.terms.Taylor
-
- matrices(BinaryRelation, BinaryRelation, ProgressReport) - Method in class org.uacalc.alg.conlat.CongruenceLattice
-
The set M(S,T) as in Kearnes-Kiss and other places.
- matrixPower(SmallAlgebra, int) - Static method in class org.uacalc.alg.Algebras
-
The matrix power algebra as defined in Hobby-McKenzie.
- MatrixPowerAlgebra - Class in org.uacalc.alg
-
- MatrixPowerAlgebra(SmallAlgebra, int) - Constructor for class org.uacalc.alg.MatrixPowerAlgebra
-
- MatrixPowerAlgebra(String, SmallAlgebra, int) - Constructor for class org.uacalc.alg.MatrixPowerAlgebra
-
Construct the direct power of an algebra.
- MAX_DRAWABLE_INPUT_SIZE - Static variable in class org.uacalc.alg.conlat.CongruenceLattice
-
- MAX_DRAWABLE_SIZE - Static variable in class org.uacalc.alg.conlat.CongruenceLattice
-
- MAX_DRAWABLE_SIZE - Static variable in class org.uacalc.alg.sublat.SubalgebraLattice
-
- MAX_DRAWABLE_SIZE - Static variable in class org.uacalc.nbui.DrawingController
-
- maximals(Collection<? extends E>, Order<? super E>) - Static method in class org.uacalc.lat.OrderedSets
-
- meet(Partition) - Method in class org.uacalc.alg.conlat.BasicPartition
-
- meet(Object, Object) - Method in class org.uacalc.alg.conlat.CongruenceLattice
-
- meet(List) - Method in class org.uacalc.alg.conlat.CongruenceLattice
-
- meet(Partition) - Method in interface org.uacalc.alg.conlat.Partition
-
- MEET - Static variable in class org.uacalc.alg.op.OperationSymbol
-
- meet(Object, Object) - Method in class org.uacalc.alg.sublat.SubalgebraLattice
-
- meet(List) - Method in class org.uacalc.alg.sublat.SubalgebraLattice
-
- meet(List) - Method in class org.uacalc.lat.BasicLattice
-
- meet(Object, Object) - Method in class org.uacalc.lat.BasicLattice
-
- meet(Object, Object) - Method in interface org.uacalc.lat.Lattice
-
- meet(List) - Method in interface org.uacalc.lat.Lattice
-
- meetClosure(List<Partition>) - Static method in class org.uacalc.alg.conlat.BasicPartition
-
- meetClosure(List<Partition>, Map<Partition, Term>) - Static method in class org.uacalc.alg.conlat.BasicPartition
-
- meetIrredsAbove(POElem) - Method in class org.uacalc.lat.BasicLattice
-
- meetIrredsAbove(Vertex) - Method in class org.uacalc.nbui.LatDrawer
-
- meetIrreducible(Partition) - Method in class org.uacalc.alg.conlat.CongruenceLattice
-
- meetIrreducibles() - Method in class org.uacalc.alg.conlat.CongruenceLattice
-
- meetIrreducibles() - Method in class org.uacalc.alg.sublat.SubalgebraLattice
-
- meetIrreducibles() - Method in class org.uacalc.lat.BasicLattice
-
- meetIrreducibles() - Method in interface org.uacalc.lat.Lattice
-
An optional operation returning the list of meet irreducible elements.
- memberOfQuasivariety(SmallAlgebra, SmallAlgebra, ProgressReport) - Static method in class org.uacalc.alg.Algebras
-
Is A in Q(B), the quasivariety generated by B.
- memberOfQuasivariety(SmallAlgebra, List<SmallAlgebra>, ProgressReport) - Static method in class org.uacalc.alg.Algebras
-
Is A in the quasivariety generated by a
list of algebras.
- memberOfQuasivarietyGenByProperSubs(SmallAlgebra, ProgressReport) - Static method in class org.uacalc.alg.Algebras
-
See if A can be embedded into a product
of proper subalgebras of A.
- minimalElements(List<Partition>) - Static method in class org.uacalc.alg.conlat.CongruenceLattice
-
Find the min elements of a topologically sorted list.
- minorityTerm(SmallAlgebra) - Static method in class org.uacalc.alg.Malcev
-
- minorityTerm(SmallAlgebra, ProgressReport) - Static method in class org.uacalc.alg.Malcev
-
- monitor - Static variable in class org.uacalc.alg.conlat.CongruenceLattice
-
- monitor - Static variable in class org.uacalc.alg.GeneralAlgebra
-
- monitor - Static variable in class org.uacalc.alg.sublat.SubalgebraLattice
-
- monitoring() - Method in interface org.uacalc.alg.Algebra
-
- monitoring() - Method in class org.uacalc.alg.conlat.CongruenceLattice
-
- monitoring() - Method in class org.uacalc.alg.GeneralAlgebra
-
- monitoring() - Method in class org.uacalc.alg.sublat.SubalgebraLattice
-
- MonitorPanel - Class in org.uacalc.ui
-
- MonitorPanel(UACalculator) - Constructor for class org.uacalc.ui.MonitorPanel
-
- mousePressed(MouseEvent) - Method in class org.uacalc.nbui.PopupListener
-
- mouseReleased(MouseEvent) - Method in class org.uacalc.nbui.PopupListener
-
- ParameterizedAlgebra - Class in org.uacalc.alg
-
This class represents SmallAlgebra's.
- ParameterizedAlgebra() - Constructor for class org.uacalc.alg.ParameterizedAlgebra
-
- ParameterizedOperation - Class in org.uacalc.alg.op
-
This class represents SmallAlgebra's.
- ParameterizedOperation() - Constructor for class org.uacalc.alg.op.ParameterizedOperation
-
- parent() - Method in class org.uacalc.alg.GeneralAlgebra
-
- parent() - Method in class org.uacalc.alg.MatrixPowerAlgebra
-
- parent() - Method in class org.uacalc.alg.PowerAlgebra
-
- parent() - Method in interface org.uacalc.alg.SmallAlgebra
-
For a BasicAlgebra this is null; for a QuotientAlgebra this is
the preimage; for a Subalgebra it is the super algebra.
- parent() - Method in class org.uacalc.alg.UnaryTermsMonoid
-
- parentIndexArray() - Method in interface org.uacalc.element.Element
-
- parentIndexArray() - Method in class org.uacalc.element.SubProductElement
-
- parents() - Method in class org.uacalc.alg.GeneralAlgebra
-
- parents() - Method in class org.uacalc.alg.MatrixPowerAlgebra
-
- parents() - Method in class org.uacalc.alg.PowerAlgebra
-
- parents() - Method in class org.uacalc.alg.ProductAlgebra
-
- parents() - Method in interface org.uacalc.alg.SmallAlgebra
-
For a ProductAlgebra this will be the factors.
- parseAlgebra() - Method in class org.uacalc.io.Mace4Reader
-
- parseAlgebraList() - Method in class org.uacalc.io.Mace4Reader
-
- parseLine(String) - Static method in class org.uacalc.io.AlgebraIO
-
Parses the line as a single int but if it starts with "%" it returns
-1 so we can have comments.
- Partition - Interface in org.uacalc.alg.conlat
-
This interface specifies the basic operations for partitions on the set
{0, 1, ..., n-1}.
- Partition.PrintType - Enum in org.uacalc.alg.conlat
-
Printing types: the internal representation.
- PARTITION_END_TAG - Static variable in class org.uacalc.io.AlgebraWriter
-
- PARTITION_TAG - Static variable in class org.uacalc.io.AlgebraWriter
-
- partitionArrayIncrementor(int[], int) - Static method in class org.uacalc.util.SequenceGenerator
-
This returns an ArrayIncrementor that increments through
all partitions with numBlocks blocks in JB form.
- partitionFromMatrix(int[][]) - Static method in class org.uacalc.alg.conlat.BasicPartition
-
If matrix has r rows and s columns whose entries lie in
the set 0, ..., rs - 1, this returns a partition essentially
on the product of {0,...,r-1} and {0,...,s-1} such that
(x,y) is related to (u,v) if the (x,y) entry of the matrix
equals to (u,v) entry.
- partToKissString(int[]) - Static method in class org.uacalc.alg.conlat.BasicPartition
-
Make String representation of the partition for
the .con and related files.
- permLevelIdempotent(SmallAlgebra, ProgressReport) - Static method in class org.uacalc.alg.Malcev
-
The variety generated by the algebra must be k-permutable for
some k or this won't ever stop.
- permutabilityLevel(int, int, Partition, Partition) - Static method in class org.uacalc.alg.conlat.BasicPartition
-
This returns the least k such that (a,b)
is in the k-fold relational product of par0
and par1, with par0 coming first and
k counting the total occurances of par0
or par1.
- permutabilityLevel(Partition, Partition) - Static method in class org.uacalc.alg.conlat.BasicPartition
-
This is the max of permutabilityLevel(a, b, par0, par1)
over all (a, b) in the join.
- permutabilityLevel() - Method in class org.uacalc.alg.conlat.CongruenceLattice
-
Get the permutabiltiy level of this lattice (not the
whole variety).
- PermutationGenerator - Class in org.uacalc.util
-
This class is used to help generate permutations of arrays.
- PermutationGenerator(int) - Constructor for class org.uacalc.util.PermutationGenerator
-
- pixleyTerm(SmallAlgebra) - Static method in class org.uacalc.alg.Malcev
-
Find a Pixley term for (the variety generated by) this algebra or
null if there is it is not arithmetical.
- pixleyTerm(SmallAlgebra, ProgressReport) - Static method in class org.uacalc.alg.Malcev
-
Find a Pixley term for (the variety generated by) this algebra or
null if there is it is not arithmetical.
- polinizeOperation(OperationSymbol) - Method in class org.uacalc.alg.PolinLikeAlgebra
-
- PolinLikeAlgebra - Class in org.uacalc.alg
-
Given a homomorphism f: A to B, this constructs a Polin type algebra
on the disjoint union of A and B.
- PolinLikeAlgebra(String, SmallAlgebra, SmallAlgebra, Operation, int, int) - Constructor for class org.uacalc.alg.PolinLikeAlgebra
-
- Polymorphisms - Class in org.uacalc.alg.conlat
-
Given a collections of partition on a set
this calculates the polymorphisms of hte coollection.
- Polymorphisms(int, List<Partition>, boolean, int[]) - Constructor for class org.uacalc.alg.conlat.Polymorphisms
-
- PopupListener - Class in org.uacalc.nbui
-
- power - Variable in class org.uacalc.alg.MatrixPowerAlgebra
-
- power(int, int) - Static method in class org.uacalc.alg.op.Operations
-
- POWER - Static variable in class org.uacalc.io.AlgebraReader
-
- POWER_ALGEBRA_END_TAG - Static variable in class org.uacalc.io.AlgebraWriter
-
- POWER_ALGEBRA_TAG - Static variable in class org.uacalc.io.AlgebraWriter
-
- POWER_END_TAG - Static variable in class org.uacalc.io.AlgebraWriter
-
- POWER_TAG - Static variable in class org.uacalc.io.AlgebraWriter
-
- powerAlgebra - Variable in class org.uacalc.alg.MatrixPowerAlgebra
-
- PowerAlgebra - Class in org.uacalc.alg
-
This class represents the direct product of SmallAlgebras.
- PowerAlgebra(SmallAlgebra, int) - Constructor for class org.uacalc.alg.PowerAlgebra
-
- PowerAlgebra(String, SmallAlgebra, int) - Constructor for class org.uacalc.alg.PowerAlgebra
-
Construct the direct power of an algebra.
- powers - Variable in class org.uacalc.alg.BigProductAlgebra
-
- POWERS_END_TAG - Static variable in class org.uacalc.io.AlgebraWriter
-
- POWERS_TAG - Static variable in class org.uacalc.io.AlgebraWriter
-
- Presentation - Class in org.uacalc.eq
-
Presentations for finitely presented algebras
consisting of a list of variables and equations
thought of as relations.
- Presentation(List<Variable>, List<Equation>) - Constructor for class org.uacalc.eq.Presentation
-
- primalityTerms(SmallAlgebra, ProgressReport) - Static method in class org.uacalc.alg.Malcev
-
This gives unary terms evaluating to the characteristic
functions of the one element subsets of alg; a term which
applied to these unit vectors gives the identity function; and
a binary term giving a semilattice operation on {0, 1}.
- principals() - Method in class org.uacalc.alg.conlat.CongruenceLattice
-
A list of the principal congruences sorted by
rank (in the partition lattice).
- principals(ProgressReport) - Method in class org.uacalc.alg.conlat.CongruenceLattice
-
A list of the principal congruences sorted by
rank (in the partition lattice).
- printEnd(String) - Method in class org.uacalc.ui.tm.ProgressReport
-
- printlnToLog(String) - Method in class org.uacalc.ui.tm.ProgressReport
-
- printStart(String) - Method in class org.uacalc.ui.tm.ProgressReport
-
- printSubtrace - Static variable in class org.uacalc.alg.conlat.TypeFinder
-
- PROD_ELEM_END_TAG - Static variable in class org.uacalc.io.AlgebraWriter
-
- PROD_ELEM_TAG - Static variable in class org.uacalc.io.AlgebraWriter
-
- PRODUCT - Static variable in class org.uacalc.alg.op.OperationSymbol
-
- PRODUCT - Static variable in class org.uacalc.io.AlgebraReader
-
- PRODUCT_ALGEBRA_END_TAG - Static variable in class org.uacalc.io.AlgebraWriter
-
- PRODUCT_ALGEBRA_TAG - Static variable in class org.uacalc.io.AlgebraWriter
-
- ProductAlgebra - Class in org.uacalc.alg
-
This class represents the direct product of SmallAlgebras.
- ProductAlgebra() - Constructor for class org.uacalc.alg.ProductAlgebra
-
- ProductAlgebra(String) - Constructor for class org.uacalc.alg.ProductAlgebra
-
- ProductAlgebra(List<SmallAlgebra>) - Constructor for class org.uacalc.alg.ProductAlgebra
-
- ProductAlgebra(String, List<SmallAlgebra>) - Constructor for class org.uacalc.alg.ProductAlgebra
-
Construct the direct product of a List of SmallAlgebra's.
- productAlgebra - Variable in class org.uacalc.alg.SubProductAlgebra
-
- productHomo(List<Homomorphism>) - Static method in class org.uacalc.alg.Homomorphism
-
Make a list of elements (IntArray's) of a subpower from a list of maps all with the
same domain.
- ProgressReport - Class in org.uacalc.ui.tm
-
- ProgressReport(TaskTableModel, JTextArea) - Constructor for class org.uacalc.ui.tm.ProgressReport
-
- ProgressReport() - Constructor for class org.uacalc.ui.tm.ProgressReport
-
This creates a version without a TaskTableModel or logArea so
the output is effectly suppressed.
- ProgressReport(MonitorPanel) - Constructor for class org.uacalc.ui.tm.ProgressReport
-
- ProgressState - Class in org.uacalc.ui.tm
-
This will hold the state needed by the ProgressMonitor.
- ProgressState() - Constructor for class org.uacalc.ui.tm.ProgressState
-
- projection(int) - Method in class org.uacalc.alg.BigProductAlgebra
-
- projection(List<IntArray>, int, int) - Method in class org.uacalc.alg.conlat.BasicPartition
-
- projection(int) - Method in class org.uacalc.alg.ProductAlgebra
-
- projectionKernel(int) - Method in class org.uacalc.alg.BigProductAlgebra
-
Don't use this yet; it is not implemented.
- projectionKernel(int) - Method in class org.uacalc.alg.ProductAlgebra
-
- projectionKernel(int) - Method in class org.uacalc.alg.SubProductAlgebra
-
- PROPERTIES_INDEX - Variable in class org.uacalc.ui.Tabs
-
- PropertiesPanel - Class in org.uacalc.ui
-
- PropertiesPanel() - Constructor for class org.uacalc.ui.PropertiesPanel
-
- propertyChange(PropertyChangeEvent) - Method in class org.uacalc.nbui.AlgebraPreviewer
-
- satisfiesBlocksConstraint(int[][]) - Method in class org.uacalc.util.IntArray
-
Test if the intArray is constant on each block of the
partition defined by blocks.
- satisfiesCongruenceConstraint(int, Partition, int) - Method in class org.uacalc.util.IntArray
-
Test if this IntArray's value at index is congruent mod alpha to
the element with index elemIndex.
- satisfiesSetConstraint(int, Set<Integer>) - Method in class org.uacalc.util.IntArray
-
Test if this IntArray value at index is in a set
of possibleValues.
- satisfiesValuesConstraint(int[][]) - Method in class org.uacalc.util.IntArray
-
Test if this satisfies array[i] = v for each [i,v] in values.
- save() - Method in class org.uacalc.nbui.MainController
-
- save() - Method in class org.uacalc.ui.UACalculator
-
- saveAs(String) - Method in class org.uacalc.nbui.MainController
-
- saveAs(String) - Method in class org.uacalc.ui.UACalculator
-
- scrollToBottom(JTable) - Static method in class org.uacalc.nbui.MainController
-
- scrollToBottom() - Method in class org.uacalc.ui.table.AlgebraTablePanel
-
- scrollToVisible(JTable, int, int) - Static method in class org.uacalc.ui.table.TableUtils
-
This comes from http://www.exampledepot.com/egs/javax.swing.table/Vis.html
which is part of http://www.exampledepot.com/egs/javax.swing.table/pkg.html
- sdIdempotent(SmallAlgebra, ProgressReport) - Static method in class org.uacalc.alg.Malcev
-
This uses Theorem 4.2 of Freese-Valeriote to test if the
algebra omits type 1, 2 and 5; that is, is congruence SD.
- sdMeetIdempotent(SmallAlgebra, ProgressReport) - Static method in class org.uacalc.alg.Malcev
-
This uses Theorem 4.3 of Freese-Valeriote to test if the
algebra omits type 1 and 2; that is, is congruence SDmeet.
- sdmeetTerms(SmallAlgebra) - Static method in class org.uacalc.alg.Malcev
-
If the variety generated by alg is congruence SD-meet, this returns
a list of either one or three 3-place terms.
- sdmeetTerms(SmallAlgebra, ProgressReport) - Static method in class org.uacalc.alg.Malcev
-
If the variety generated by alg is congruence SD-meet, this returns
a list of either one or three 3-place terms.
- sdPath(List<IntArray>, IntArray, IntArray) - Static method in class org.uacalc.alg.Malcev
-
This finds a path from g0 to g2 in middleZero, a list
of triples, where two triples are connected by an edge if either
their first or third coordinates agree.
- sdTerms(SmallAlgebra, ProgressReport) - Static method in class org.uacalc.alg.Malcev
-
- second() - Method in class org.uacalc.alg.conlat.Subtrace
-
- secondProjection(int) - Static method in class org.uacalc.alg.conlat.BasicPartition
-
- SELECTED_LIST_COLOR - Static variable in class org.uacalc.nbui.LatDrawer
-
- SequenceGenerator - Class in org.uacalc.util
-
This has utility static methods for sequence generation,
including nondecreasing sequences.
- SequenceGenerator() - Constructor for class org.uacalc.util.SequenceGenerator
-
- sequenceIncrementor(int[], int) - Static method in class org.uacalc.util.SequenceGenerator
-
This just increments the array through all possible tuples
with entries between 0 and max.
- sequenceIncrementor(int[], int[]) - Static method in class org.uacalc.util.SequenceGenerator
-
This just increments the array through all possible tuples
with entries between 0 and max.
- sequenceIncrementor(int[], int, int) - Static method in class org.uacalc.util.SequenceGenerator
-
This just increments the array through all possible tuples
with entries between 0 and max and having at
least one entry at least as large as min.
- sequenceIncrementor(int[], int, int, int) - Static method in class org.uacalc.util.SequenceGenerator
-
This just increments the array through all possible tuples
with entries between 0 and max and having at
least one entry at least as large as min.
- set(int, int) - Method in class org.uacalc.util.IntArray
-
- set(int, Object) - Method in class org.uacalc.util.SimpleList
-
- setAboveType(LatDrawer.RadioButtonType) - Method in class org.uacalc.nbui.LatDrawer
-
- setAlgebra(SmallAlgebra) - Method in class org.uacalc.alg.MaltsevProductDecomposition
-
- setAlgebra(GUIAlgebra) - Method in class org.uacalc.nbui.AlgebraEditorController
-
- setAlgebra(SmallAlgebra) - Method in class org.uacalc.ui.AlgebraEditor
-
- setAlgebra(SmallAlgebra) - Method in class org.uacalc.ui.table.LatticeTableModel
-
- setAlgListComboBox() - Method in class org.uacalc.nbui.MainController
-
- setAlgListTable(JTable) - Method in class org.uacalc.nbui.UACalculator2
-
- setAlgListTable(JTable) - Method in class org.uacalc.nbui.UACalculatorUI
-
- setAssociative(boolean) - Method in class org.uacalc.alg.op.OperationSymbol
-
- setBasicLattice(BasicLattice) - Method in class org.uacalc.nbui.LatDrawer
-
- setBelowType(LatDrawer.RadioButtonType) - Method in class org.uacalc.nbui.LatDrawer
-
- setBlockAlgebras(List<SmallAlgebra>) - Method in class org.uacalc.alg.MaltsevProductDecomposition
-
- setBlocks(int[][]) - Method in class org.uacalc.alg.Closer
-
blocks, values and setConstraints are specified in IntArray
and are used to restrict the element we are looking for.
- setCentralityFailure(SubProductElement) - Method in class org.uacalc.alg.conlat.CentralityData
-
- setCentralityList(List<CentralityData>) - Method in class org.uacalc.ui.table.TermTableModel
-
- setColNames(String[]) - Method in class org.uacalc.ui.table.LatticeTableModel
-
- setCongruence(Partition) - Method in class org.uacalc.alg.MaltsevProductDecomposition
-
- setCongruenceConstraintElemIndex(int) - Method in class org.uacalc.alg.Closer
-
- setCongruenceForCongruenceConstraint(Partition) - Method in class org.uacalc.alg.Closer
-
- setCongruenceList(List<Partition>) - Method in class org.uacalc.ui.table.TermTableModel
-
- setConMainPanel(JPanel) - Method in class org.uacalc.nbui.UACalculator2
-
- setConMainPanel(JPanel) - Method in class org.uacalc.nbui.UACalculatorUI
-
- setConstraintSet(Set<Integer>) - Method in class org.uacalc.alg.Closer
-
blocks, values and setConstraints are specified in IntArray
and are used to restrict the element we are looking for.
- setConTable(JTable) - Method in class org.uacalc.alg.conlat.CongruenceLattice
-
- setConTable(boolean) - Method in class org.uacalc.nbui.ConController
-
- setConTable(SmallAlgebra) - Method in class org.uacalc.nbui.ConController
-
- setContent(DrawPanel, JToolBar, Object) - Method in class org.uacalc.ui.LatDrawer
-
- setCurrentAlgebra(SmallAlgebra) - Method in class org.uacalc.nbui.MainController
-
- setCurrentAlgebra(GUIAlgebra) - Method in class org.uacalc.nbui.MainController
-
- setCurrentAlgebra(SmallAlgebra) - Method in class org.uacalc.ui.UACalculator
-
- setCurrentFile(File) - Method in class org.uacalc.nbui.MainController
-
- setCurrentFile(File) - Method in class org.uacalc.ui.UACalculator
-
- setCurrentOp() - Method in class org.uacalc.nbui.AlgebraEditorController
-
- setCurrentTask(int) - Method in class org.uacalc.ui.table.TaskTableModel
-
- setCurrentTask(BackgroundTask<?>) - Method in class org.uacalc.ui.table.TaskTableModel
-
- setDecompose(boolean) - Method in class org.uacalc.alg.SubProductAlgebra
-
- setDefaultValue(int) - Method in class org.uacalc.alg.op.OperationWithDefaultValue
-
- setDefaultValue(int) - Method in class org.uacalc.ui.table.OperationTableModel
-
- setDescFieldText(String) - Method in class org.uacalc.ui.tm.ProgressReport
-
- setDescription(String) - Method in interface org.uacalc.alg.Algebra
-
- setDescription(String) - Method in class org.uacalc.alg.conlat.CongruenceLattice
-
- setDescription(String) - Method in class org.uacalc.alg.GeneralAlgebra
-
- setDescription(String) - Method in class org.uacalc.alg.sublat.SubalgebraLattice
-
- setDescription(String) - Method in class org.uacalc.ui.table.TermTableModel
-
For the description text field (not really part of the table model).
- setDescription(String) - Method in class org.uacalc.ui.tm.ProgressReport
-
- setDescription(String) - Method in class org.uacalc.ui.tm.ProgressState
-
- setDiagram(Diagram) - Method in class org.uacalc.nbui.LatDrawer
-
- setDiagram(Diagram) - Method in class org.uacalc.ui.LatDrawPanel
-
- setDifference(BasicSet) - Method in class org.uacalc.alg.sublat.BasicSet
-
Set difference of this and set2.
- setDirty() - Method in class org.uacalc.nbui.MainController
-
- setDirty(boolean) - Method in class org.uacalc.nbui.MainController
-
- setDirty() - Method in class org.uacalc.ui.UACalculator
-
- setDirty(boolean) - Method in class org.uacalc.ui.UACalculator
-
- setDistributivityMI(JMenuItem) - Method in class org.uacalc.nbui.UACalculator2
-
- setDistributivityMI(JMenuItem) - Method in class org.uacalc.nbui.UACalculatorUI
-
- setDomain(SmallAlgebra) - Method in class org.uacalc.alg.Homomorphism
-
- setDrawer() - Method in class org.uacalc.nbui.ConController
-
- setElementsToFind(List<IntArray>, List<IntArray>) - Method in class org.uacalc.alg.Closer
-
This takes e and deletes duplicates, maintaining the order,
before setting eltsToFind.
- setElementToFind(IntArray) - Method in class org.uacalc.alg.Closer
-
- setElemKey(ElemKeyTableModel) - Method in class org.uacalc.ui.util.GUIAlgebra
-
- setEmptyOpTableModel() - Method in interface org.uacalc.nbui.UACalc
-
- setEmptyOpTableModel() - Method in class org.uacalc.nbui.UACalculator2
-
- setEmptyOpTableModel() - Method in class org.uacalc.nbui.UACalculatorUI
-
- setFile(File) - Method in class org.uacalc.ui.util.GUIAlgebra
-
- setGenerators(List<IntArray>) - Method in class org.uacalc.alg.Closer
-
This sets generators to gens without any duplicates.
- setHomomorphism(Map<IntArray, Integer>) - Method in class org.uacalc.alg.Closer
-
- setHomomorphism(int[]) - Method in class org.uacalc.alg.Closer
-
- setIdempotent(boolean) - Method in class org.uacalc.alg.op.OperationWithDefaultValue
-
- setIdempotent(boolean) - Method in class org.uacalc.nbui.AlgebraEditorController
-
- setIdempotent(boolean) - Method in class org.uacalc.ui.table.OperationTableModel
-
- setImageAlgebra(SmallAlgebra) - Method in class org.uacalc.alg.Closer
-
- setIndexForCongruenceConstraint(int) - Method in class org.uacalc.alg.Closer
-
- setIndexForConstraintSet(int) - Method in class org.uacalc.alg.Closer
-
Set the index for the SetConstraint.
- setIntArray(int[]) - Method in class org.uacalc.util.IntArray
-
- setLabels(boolean) - Method in class org.uacalc.nbui.LatDrawer
-
- setLabels(Diagram) - Method in class org.uacalc.ui.LatDrawer
-
- setLabels(Diagram) - Method in class org.uacalc.ui.LatDrawPanel
-
- setLogLines(List<String>) - Method in class org.uacalc.ui.tm.ProgressReport
-
- setLogLines(List<String>) - Method in class org.uacalc.ui.tm.ProgressState
-
- setMap(Map<Integer, Integer>) - Method in class org.uacalc.alg.Homomorphism
-
- setMatrixUniverse(List<IntArray>) - Method in class org.uacalc.alg.conlat.Subtrace
-
- setMaxSize(int) - Method in class org.uacalc.alg.Closer
-
- setModularityMI(JMenuItem) - Method in class org.uacalc.nbui.UACalculator2
-
- setModularityMI(JMenuItem) - Method in class org.uacalc.nbui.UACalculatorUI
-
- setMonitor(ProgressReport) - Method in interface org.uacalc.alg.Algebra
-
- setMonitor(ProgressReport) - Method in class org.uacalc.alg.conlat.CongruenceLattice
-
- setMonitor(ProgressReport) - Method in class org.uacalc.alg.GeneralAlgebra
-
- setMonitor(ProgressReport) - Method in class org.uacalc.alg.sublat.SubalgebraLattice
-
- setName(String) - Method in interface org.uacalc.alg.Algebra
-
- setName(String) - Method in class org.uacalc.alg.conlat.CongruenceLattice
-
- setName(String) - Method in class org.uacalc.alg.GeneralAlgebra
-
- setName(String) - Method in class org.uacalc.alg.sublat.SubalgebraLattice
-
- setNeedsSave(boolean) - Method in class org.uacalc.ui.util.GUIAlgebra
-
- setNew() - Method in class org.uacalc.nbui.MainController
-
- setNew() - Method in class org.uacalc.ui.UACalculator
-
- setNPermMI(JMenuItem) - Method in class org.uacalc.nbui.UACalculator2
-
- setNPermMI(JMenuItem) - Method in class org.uacalc.nbui.UACalculatorUI
-
- setOperations(List<Operation>) - Method in class org.uacalc.alg.Closer
-
- setOperations(List<Operation>) - Method in class org.uacalc.alg.GeneralAlgebra
-
This sorts the list of operations.
- setOperationTable(OperationInputTable) - Method in class org.uacalc.nbui.AlgebraEditorController
-
- setOperationTable(OperationInputTable) - Method in class org.uacalc.ui.AlgebraEditor
-
- setOpTableScrollPane(JScrollPane) - Method in class org.uacalc.nbui.UACalculator2
-
- setOpTableScrollPane(JScrollPane) - Method in class org.uacalc.nbui.UACalculatorUI
-
- setPass(int) - Method in class org.uacalc.ui.tm.ProgressReport
-
- setPass(int) - Method in class org.uacalc.ui.tm.ProgressState
-
- setPassFieldText(String) - Method in class org.uacalc.ui.tm.ProgressReport
-
- setPassSize(int) - Method in class org.uacalc.ui.tm.ProgressReport
-
- setPassSize(int) - Method in class org.uacalc.ui.tm.ProgressState
-
- setPassSizeFieldText(String) - Method in class org.uacalc.ui.tm.ProgressReport
-
- setProgressReport(ProgressReport) - Method in class org.uacalc.alg.Closer
-
- setProgressReport(ProgressReport) - Method in class org.uacalc.ui.MonitorPanel
-
- setProgressReport(ProgressReport) - Method in class org.uacalc.ui.tm.BackgroundTask
-
- setQuotientAlgebra(SmallAlgebra) - Method in class org.uacalc.alg.MaltsevProductDecomposition
-
- setRandomSeed(long) - Method in class org.uacalc.nbui.AlgebraEditorController
-
- setRandomSeed(long) - Method in class org.uacalc.nbui.MainController
-
- setRandomSeed(long) - Method in class org.uacalc.ui.UACalculator
-
- setRange(SmallAlgebra) - Method in class org.uacalc.alg.Homomorphism
-
- setResultTable(JTable) - Method in class org.uacalc.nbui.UACalculator2
-
- setResultTable(JTable) - Method in class org.uacalc.nbui.UACalculatorUI
-
- setRootAlgebra(SmallAlgebra) - Method in class org.uacalc.alg.Closer
-
Sets the root of a power algebra, if the closing computes a subpower.
- setRowName(int, int[]) - Method in class org.uacalc.ui.table.OperationTableModel
-
- setRowNames() - Method in class org.uacalc.ui.table.OperationTableModel
-
- setSelectedElem(Vertex) - Method in class org.uacalc.nbui.LatDrawer
-
- setSelectedElemList(List<Vertex>) - Method in class org.uacalc.nbui.LatDrawer
-
- setSize(int) - Method in class org.uacalc.ui.tm.ProgressReport
-
- setSize(int) - Method in class org.uacalc.ui.tm.ProgressState
-
- setSizeFieldText(String) - Method in class org.uacalc.ui.tm.ProgressReport
-
- setStatus(BackgroundTask.Status) - Method in class org.uacalc.ui.tm.BackgroundTask
-
- setStrongRectangularityFailure(SubProductElement) - Method in class org.uacalc.alg.conlat.CentralityData
-
- setSubtraceUniverse(List<IntArray>) - Method in class org.uacalc.alg.conlat.Subtrace
-
- setSuppressOutput(boolean) - Method in class org.uacalc.alg.Closer
-
Setting this to true will suppress the output about
the pass.
- setTable() - Method in class org.uacalc.nbui.ConController
-
- setTask(BackgroundTask<?>) - Method in class org.uacalc.ui.MonitorPanel
-
- setTermMap(Map<IntArray, Term>) - Method in class org.uacalc.alg.Closer
-
Initialises the Map that will be used to assign to each tuple in the
generated subuniverse a term over the signature of the underlying algebra whose
term operation can be applied to the generators to obtain the tuple.
- setTerms(List<Term>) - Method in class org.uacalc.ui.table.TermTableModel
-
- setTerms(Term[]) - Method in class org.uacalc.ui.table.TermTableModel
-
- setTermTablePanel(TermTablePanel) - Method in class org.uacalc.ui.ComputationsPanel
-
- setThinGenerators(boolean) - Method in class org.uacalc.alg.SubProductAlgebra
-
- setTimedMessage(String) - Method in class org.uacalc.nbui.MainController
-
Give the user a message and erase it after a few seconds.
- setTimeLeft(String) - Method in class org.uacalc.ui.tm.ProgressReport
-
- setTimeNext(String) - Method in class org.uacalc.ui.tm.ProgressReport
-
- setTitle() - Method in class org.uacalc.nbui.MainController
-
- setTitle(String) - Method in interface org.uacalc.nbui.UACalc
-
- setTitle() - Method in class org.uacalc.ui.UACalculator
-
- setToAllColNames() - Method in class org.uacalc.ui.table.LatticeTableModel
-
- setToAllNoTypColNames() - Method in class org.uacalc.ui.table.LatticeTableModel
-
- setToJIColNames() - Method in class org.uacalc.ui.table.LatticeTableModel
-
- setToJINoTypColNames() - Method in class org.uacalc.ui.table.LatticeTableModel
-
- setType(int) - Method in class org.uacalc.alg.conlat.Subtrace
-
- setUniverse(Set) - Method in class org.uacalc.alg.GeneralAlgebra
-
- setUniverse(List<IntArray>) - Method in class org.uacalc.ui.table.TermTableModel
-
- setUniverseList(List) - Method in class org.uacalc.alg.BasicAlgebra
-
- setUniverseOrder(Map) - Method in class org.uacalc.alg.BasicAlgebra
-
- setupAssociativeCheckTask() - Method in class org.uacalc.nbui.ComputationsController
-
- setupBinQATask() - Method in class org.uacalc.nbui.ComputationsController
-
A background task to test if B is in SP(A) = Q(A).
- setupBinVATask() - Method in class org.uacalc.nbui.ComputationsController
-
- setupCDIdempotentTask() - Method in class org.uacalc.nbui.ComputationsController
-
- setupCentralityTask() - Method in class org.uacalc.nbui.ComputationsController
-
- setupCloBinCloATask() - Method in class org.uacalc.nbui.ComputationsController
-
- setupCMIdempotentTask() - Method in class org.uacalc.nbui.ComputationsController
-
- setupCongruenceConstraint(Partition, int, int) - Method in class org.uacalc.alg.Closer
-
- setupCongruencesTask() - Method in class org.uacalc.nbui.ComputationsController
-
- setupCyclicTermIdempotentTask() - Method in class org.uacalc.nbui.ComputationsController
-
- setupDiffTermTask() - Method in class org.uacalc.nbui.ComputationsController
-
- setupEdgeTermIdempotentTask() - Method in class org.uacalc.nbui.ComputationsController
-
- setupEdgeTermTask() - Method in class org.uacalc.nbui.ComputationsController
-
- setupEquationCheckTask() - Method in class org.uacalc.nbui.ComputationsController
-
- setupFixedKEdgeTermIdempotentTask() - Method in class org.uacalc.nbui.ComputationsController
-
- setupFixedKPermIdempotentTask() - Method in class org.uacalc.nbui.ComputationsController
-
- setupFixedkPermIdempotentTask() - Method in class org.uacalc.nbui.ComputationsController
-
- setupFreeAlgebraTask() - Method in class org.uacalc.nbui.ComputationsController
-
- setupFreeAlgebraTaskOld() - Method in class org.uacalc.nbui.ComputationsController
-
- setupGenCommutivityCheckTask() - Method in class org.uacalc.nbui.ComputationsController
-
- setupGensToVarsMap(List<IntArray>) - Method in class org.uacalc.alg.SubProductAlgebra
-
- setupGummTermsTask() - Method in class org.uacalc.nbui.ComputationsController
-
- setupHagemannMitschkeTermsTask() - Method in class org.uacalc.nbui.ComputationsController
-
- setupJICongruencesTask() - Method in class org.uacalc.nbui.ComputationsController
-
- setupJonssonTermsTask() - Method in class org.uacalc.nbui.ComputationsController
-
- setupkNUIdempotentTask() - Method in class org.uacalc.nbui.ComputationsController
-
- setupkPermIdempotentTask() - Method in class org.uacalc.nbui.ComputationsController
-
- setupMajorityIdempotentTask() - Method in class org.uacalc.nbui.ComputationsController
-
- setupMajorityTermTask() - Method in class org.uacalc.nbui.ComputationsController
-
- setupMalcevTermTask() - Method in class org.uacalc.nbui.ComputationsController
-
- setupMarkovicMcKenzieSiggersTaylorTermTask() - Method in class org.uacalc.nbui.ComputationsController
-
- setupMeetSDTermsTask() - Method in class org.uacalc.nbui.ComputationsController
-
- setupMinorityTermTask() - Method in class org.uacalc.nbui.ComputationsController
-
- setupNUTermIdempotentTask() - Method in class org.uacalc.nbui.ComputationsController
-
- setupNUTermTask() - Method in class org.uacalc.nbui.ComputationsController
-
- setupOmittedIdealIdempotentTask() - Method in class org.uacalc.nbui.ComputationsController
-
- setupPermIdempotentTask() - Method in class org.uacalc.nbui.ComputationsController
-
- setupPixleyTermTask() - Method in class org.uacalc.nbui.ComputationsController
-
- setupPrimalTermsTask() - Method in class org.uacalc.nbui.ComputationsController
-
- setupQuasiCriticalCongruencesTask() - Method in class org.uacalc.nbui.ComputationsController
-
- setupQuasiCriticalTask() - Method in class org.uacalc.nbui.ComputationsController
-
- setupQuasiCriticalTask_old() - Method in class org.uacalc.nbui.ComputationsController
-
- setupQuotientAlgebraTask(Partition, String) - Method in class org.uacalc.nbui.ComputationsController
-
- setupSDIdempotentTask() - Method in class org.uacalc.nbui.ComputationsController
-
- setupSDMeetIdempotentTask() - Method in class org.uacalc.nbui.ComputationsController
-
- setupSDTermsTask() - Method in class org.uacalc.nbui.ComputationsController
-
- setupSubPowerTask() - Method in class org.uacalc.nbui.ComputationsController
-
- setupTypeSetIdempotentTask() - Method in class org.uacalc.nbui.ComputationsController
-
- setupUnaryPolymorphismsTask() - Method in class org.uacalc.nbui.ComputationsController
-
- setupWeak3EdgeTermTask() - Method in class org.uacalc.nbui.ComputationsController
-
- setupWeakNUTermTask() - Method in class org.uacalc.nbui.ComputationsController
-
- setUserMessage(String) - Method in class org.uacalc.nbui.MainController
-
Give the user a message, set in the dimension panal info area.
- setUserMessage(String, boolean) - Method in class org.uacalc.nbui.MainController
-
Give the user a message, set in the dimension panal info area
and possibly a popup.
- setUserWarning(String) - Method in class org.uacalc.nbui.MainController
-
Give the user a warning, set in the dimension panal info area.
- setUserWarning(String, boolean) - Method in class org.uacalc.nbui.MainController
-
Give the user a warning, set in the dimension panal info area
and pop up a info dialog.
- setValueAt(Object, int, int) - Method in class org.uacalc.ui.table.OperationTableModel
-
- setValues(int[][]) - Method in class org.uacalc.alg.Closer
-
blocks, values and setConstraints are specified in IntArray
and are used to restrict the element we are looking for.
- setVariables(List<Variable>) - Method in class org.uacalc.ui.table.TermTableModel
-
- setWeakCentralityFailure(SubProductElement) - Method in class org.uacalc.alg.conlat.CentralityData
-
- setWitnessAlgebra(AlgebraWithGeneratingVector) - Method in class org.uacalc.ui.tm.ProgressReport
-
- Sg(List<IntArray>) - Method in class org.uacalc.alg.ProductAlgebra
-
The subalgebra generated by elems given as arrays of int's.
- sg(Set) - Method in class org.uacalc.alg.sublat.SubalgebraLattice
-
- Sg(BasicSet) - Method in class org.uacalc.alg.sublat.SubalgebraLattice
-
- Sg(int[]) - Method in class org.uacalc.alg.sublat.SubalgebraLattice
-
- sg(int[]) - Method in class org.uacalc.alg.sublat.SubalgebraLattice
-
- sgClose(List<IntArray>) - Method in class org.uacalc.alg.BigProductAlgebra
-
Closure of elems under the operations.
- sgClose(List<IntArray>, Map<IntArray, Term>) - Method in class org.uacalc.alg.BigProductAlgebra
-
Closure of elems under the operations.
- sgClose(List<IntArray>, int, Map<IntArray, Term>) - Method in class org.uacalc.alg.BigProductAlgebra
-
Closure of elems under the operations.
- sgClose(List<IntArray>, Map<IntArray, Term>, IntArray) - Method in class org.uacalc.alg.BigProductAlgebra
-
Closure of elems under the operations.
- sgClose(List<IntArray>, Map<IntArray, Term>, IntArray, ProgressReport) - Method in class org.uacalc.alg.BigProductAlgebra
-
Closure of elems under the operations.
- sgClose(List<IntArray>, int, Map<IntArray, Term>, IntArray, ProgressReport) - Method in class org.uacalc.alg.BigProductAlgebra
-
Closure of elems under the operations.
- sgClose() - Method in class org.uacalc.alg.Closer
-
- sgClose(List<IntArray>, int, Map<IntArray, Term>) - Method in class org.uacalc.alg.Closer
-
- sgClose(List) - Method in class org.uacalc.alg.ProductAlgebra
-
- sgClose_old(List, int, Map, Object, ProgressReport) - Method in class org.uacalc.alg.BigProductAlgebra
-
Closure of elems under the operations.
- sgCloseParallel(List<IntArray>, int, ConcurrentMap<IntArray, Term>) - Method in class org.uacalc.alg.Closer
-
- sgCloseParallel_Old(List<IntArray>, int, Map<IntArray, Term>) - Method in class org.uacalc.alg.Closer
-
Closure of elems under the operations.
- sgClosePower() - Method in class org.uacalc.alg.Closer
-
- sgCloseXX(List, int, Map, Object) - Method in class org.uacalc.alg.BigProductAlgebra
-
Closure of elems under the operations.
- showClosure(boolean) - Method in class org.uacalc.nbui.LatDrawer
-
In Congruence panel this will show the closure (all congruences
respected by all operations respecting the given ones; just the
sublattice generated otherwise.
- showSublattice() - Method in class org.uacalc.nbui.LatDrawer
-
- shutdown() - Method in class org.uacalc.ui.tm.GuiExecutor
-
- shutdownNow() - Method in class org.uacalc.ui.tm.GuiExecutor
-
- siDecompose(SmallAlgebra, int[]) - Static method in class org.uacalc.alg.AlgebraWithGeneratingVector
-
- siDecompose(SmallAlgebra, int[], List<Equation>) - Static method in class org.uacalc.alg.AlgebraWithGeneratingVector
-
Given an algebra and a vector of elements, this first forms the
subalgebra generated by the vector and then decomposes that into
subdirectly irreducible algebras.
- siggersTerm() - Static method in class org.uacalc.terms.Taylor
-
- similarityType() - Method in interface org.uacalc.alg.Algebra
-
- similarityType() - Method in class org.uacalc.alg.conlat.CongruenceLattice
-
- similarityType - Variable in class org.uacalc.alg.GeneralAlgebra
-
- similarityType() - Method in class org.uacalc.alg.GeneralAlgebra
-
- SimilarityType - Class in org.uacalc.alg.op
-
A set of OperationSymbol's.
- SimilarityType(List<OperationSymbol>) - Constructor for class org.uacalc.alg.op.SimilarityType
-
- SimilarityType(List<OperationSymbol>, boolean) - Constructor for class org.uacalc.alg.op.SimilarityType
-
- similarityType() - Method in class org.uacalc.alg.sublat.SubalgebraLattice
-
- SimpleList - Class in org.uacalc.util
-
Simple Linked lists.
- SimpleList(Object, SimpleList) - Constructor for class org.uacalc.util.SimpleList
-
Constructs a list with obj followed by list.
- SimpleList(Collection) - Constructor for class org.uacalc.util.SimpleList
-
- size - Variable in class org.uacalc.alg.GeneralAlgebra
-
- size() - Method in class org.uacalc.ui.util.GUIAlgebraList
-
- size - Variable in class org.uacalc.util.IntArray
-
- size() - Method in class org.uacalc.util.SimpleList
-
The size of the list.
- sizeMultiplicities() - Method in class org.uacalc.alg.BigProductAlgebra
-
- sizes - Variable in class org.uacalc.alg.BigProductAlgebra
-
- sizes - Variable in class org.uacalc.alg.ProductAlgebra
-
- SmallAlgebra - Interface in org.uacalc.alg
-
A small algebra is one whose universe can be effectively
indexed by {0,..., n-1} for some positive int n.
- SmallAlgebra.AlgebraType - Enum in org.uacalc.alg
-
- SmallLattice - Interface in org.uacalc.lat
-
- sortByRank(List<Partition>) - Method in class org.uacalc.alg.conlat.CongruenceLattice
-
Sort by rank (in the partition lattice).
- sortElemsByDiagram(Diagram) - Method in class org.uacalc.ui.table.ConLatticeTableModel
-
- splitOffExtension(File) - Static method in class org.uacalc.io.ExtFileFilter
-
Split the file name into 2 parts: the first everything up to the
last "."; the rest the extension.
- startElement(String, String, String, Attributes) - Method in class org.uacalc.io.AlgebraReader
-
- status - Variable in class org.uacalc.ui.tm.BackgroundTask
-
- stopCellEditing() - Method in class org.uacalc.ui.table.IntegerEditor
-
- stopCellEditing() - Method in class org.uacalc.ui.table.OperationInputTable
-
This was hard to figure out: needed to stop the cell editor.
- stopMakeUniverse() - Method in class org.uacalc.alg.conlat.CongruenceLattice
-
- stopMakeUniverse() - Method in class org.uacalc.alg.sublat.SubalgebraLattice
-
- STRING_ARRAY_END_TAG - Static variable in class org.uacalc.io.AlgebraWriter
-
- STRING_ARRAY_TAG - Static variable in class org.uacalc.io.AlgebraWriter
-
- stringToArray(String) - Static method in class org.uacalc.util.IntArray
-
If str is a sequence of ints separated by either commas
or spaces, this puts them into an array.
- stringToPartition(String, int) - Static method in class org.uacalc.alg.conlat.BasicPartition
-
- stringToTerm(String) - Static method in class org.uacalc.terms.Terms
-
- strongRectangularityCommutator(BinaryRelation, BinaryRelation) - Method in class org.uacalc.alg.conlat.CongruenceLattice
-
Calculate the strong rectangular commutator of S and T, which are
tolerances or congruences.
- strongRectangularityCommutator(BinaryRelation, BinaryRelation, List<CentralityData>, ProgressReport) - Method in class org.uacalc.alg.conlat.CongruenceLattice
-
- strongRectangularityFailure(BinaryRelation, BinaryRelation, Partition) - Method in class org.uacalc.alg.conlat.CongruenceLattice
-
Find a witness to the failure of strong rectangularity, or null
if there is none.
- strongRectangularityFailure(BinaryRelation, BinaryRelation, Partition, SubProductAlgebra) - Method in class org.uacalc.alg.conlat.CongruenceLattice
-
- sub() - Method in class org.uacalc.alg.BasicAlgebra
-
- sub() - Method in class org.uacalc.alg.conlat.CongruenceLattice
-
- sub - Variable in class org.uacalc.alg.GeneralAlgebra
-
- sub() - Method in class org.uacalc.alg.GeneralAlgebra
-
- sub() - Method in class org.uacalc.alg.MatrixPowerAlgebra
-
- sub() - Method in class org.uacalc.alg.PolinLikeAlgebra
-
- sub() - Method in class org.uacalc.alg.PowerAlgebra
-
- sub() - Method in class org.uacalc.alg.ProductAlgebra
-
- sub() - Method in class org.uacalc.alg.QuotientAlgebra
-
- sub() - Method in class org.uacalc.alg.ReductAlgebra
-
- sub() - Method in interface org.uacalc.alg.SmallAlgebra
-
The subalgebra lattice.
- sub() - Method in class org.uacalc.alg.Subalgebra
-
- sub() - Method in class org.uacalc.alg.sublat.SubalgebraLattice
-
- sub() - Method in class org.uacalc.alg.SubProductAlgebra
-
- sub() - Method in class org.uacalc.alg.UnaryTermsMonoid
-
- sub() - Method in class org.uacalc.lat.BasicLattice
-
- SUB_ALGEBRA_END_TAG - Static variable in class org.uacalc.io.AlgebraWriter
-
- SUB_ALGEBRA_TAG - Static variable in class org.uacalc.io.AlgebraWriter
-
- SUB_PRODUCT_ALGEBRA_END_TAG - Static variable in class org.uacalc.io.AlgebraWriter
-
- SUB_PRODUCT_ALGEBRA_TAG - Static variable in class org.uacalc.io.AlgebraWriter
-
- SUB_UNIVERSE_END_TAG - Static variable in class org.uacalc.io.AlgebraWriter
-
- SUB_UNIVERSE_TAG - Static variable in class org.uacalc.io.AlgebraWriter
-
- Subalgebra - Class in org.uacalc.alg
-
This class represents a subalgebra of a SmallAlgebra.
- Subalgebra(SmallAlgebra, int[]) - Constructor for class org.uacalc.alg.Subalgebra
-
- Subalgebra(SmallAlgebra, IntArray) - Constructor for class org.uacalc.alg.Subalgebra
-
- Subalgebra(String, SmallAlgebra, IntArray) - Constructor for class org.uacalc.alg.Subalgebra
-
- Subalgebra(String, SmallAlgebra, int[]) - Constructor for class org.uacalc.alg.Subalgebra
-
Form the subalgebra given the super algebra and the subuniverse.
- SUBALGEBRA - Static variable in class org.uacalc.io.AlgebraReader
-
- SubalgebraLattice - Class in org.uacalc.alg.sublat
-
A class to represent the subalgebra lattice of a basic algebra;
this is, an algebra with universe
the integers from 0 to n-1.
- SubalgebraLattice(SmallAlgebra) - Constructor for class org.uacalc.alg.sublat.SubalgebraLattice
-
- SubController - Class in org.uacalc.nbui
-
- SubController(UACalc, PropertyChangeSupport) - Constructor for class org.uacalc.nbui.SubController
-
- subList(int, int) - Method in class org.uacalc.util.SimpleList
-
- subParmValues(String, Map<String, String>) - Static method in class org.uacalc.alg.op.ParameterizedOperation
-
- SubProductAlgebra - Class in org.uacalc.alg
-
This class represents a subalgebra of a direct product
of SmallAlgebras.
- SubProductAlgebra() - Constructor for class org.uacalc.alg.SubProductAlgebra
-
- SubProductAlgebra(String) - Constructor for class org.uacalc.alg.SubProductAlgebra
-
- SubProductAlgebra(String, BigProductAlgebra, List<IntArray>) - Constructor for class org.uacalc.alg.SubProductAlgebra
-
Construct the direct product of a List of SmallAlgebra's.
- SubProductAlgebra(String, BigProductAlgebra, List<IntArray>, boolean) - Constructor for class org.uacalc.alg.SubProductAlgebra
-
- SubProductAlgebra(String, BigProductAlgebra, List<IntArray>, boolean, ProgressReport) - Constructor for class org.uacalc.alg.SubProductAlgebra
-
Construct the direct product of a List of SmallAlgebra's.
- SubProductAlgebra(String, BigProductAlgebra, List<IntArray>, boolean, boolean, ProgressReport) - Constructor for class org.uacalc.alg.SubProductAlgebra
-
Construct the direct product of a List of SmallAlgebra's.
- SubProductAlgebra(String, BigProductAlgebra, List<IntArray>, List<IntArray>) - Constructor for class org.uacalc.alg.SubProductAlgebra
-
Construct a SubProductAlgebra when the gens and univ are already
given.
- SubProductAlgebra(SmallAlgebra, int, Map<IntArray, Partition>) - Constructor for class org.uacalc.alg.SubProductAlgebra
-
- SubProductAlgebra(String, SmallAlgebra, int, Map<IntArray, Partition>) - Constructor for class org.uacalc.alg.SubProductAlgebra
-
- SubProductElement - Class in org.uacalc.element
-
- SubProductElement(IntArray, SubProductAlgebra) - Constructor for class org.uacalc.element.SubProductElement
-
- substitute(Map<Variable, Term>) - Method in class org.uacalc.terms.NonVariableTerm
-
- substitute(Map<Variable, Term>) - Method in interface org.uacalc.terms.Term
-
Replace some of the variables with terms.
- substitute(Map<Variable, Term>) - Method in class org.uacalc.terms.VariableImp
-
- subtrace(Partition) - Method in class org.uacalc.alg.conlat.CongruenceLattice
-
Find a subtrace for beta over its lower cover.
- subtrace(Partition, Partition) - Method in class org.uacalc.alg.conlat.CongruenceLattice
-
Find a subtrace for beta over alpha.
- Subtrace - Class in org.uacalc.alg.conlat
-
A class to hold a subtrace {a, b} and its TCT type.
- subUniverseGenerated(List<Partition>) - Static method in class org.uacalc.alg.conlat.BasicPartition
-
- subUniverseGenerated(List<Partition>, Map<Partition, Term>) - Static method in class org.uacalc.alg.conlat.BasicPartition
-
- subUniverseGenerated(List<Partition>, Map<Partition, Term>, Partition) - Static method in class org.uacalc.alg.conlat.BasicPartition
-
- SUPER_ALGEBRA_END_TAG - Static variable in class org.uacalc.io.AlgebraWriter
-
- SUPER_ALGEBRA_TAG - Static variable in class org.uacalc.io.AlgebraWriter
-
- superAlgebra - Variable in class org.uacalc.alg.QuotientAlgebra
-
- superAlgebra() - Method in class org.uacalc.alg.QuotientAlgebra
-
- superAlgebra() - Method in class org.uacalc.alg.QuotientElement
-
- superAlgebra - Variable in class org.uacalc.alg.ReductAlgebra
-
- superAlgebra() - Method in class org.uacalc.alg.ReductAlgebra
-
- superAlgebra - Variable in class org.uacalc.alg.Subalgebra
-
- superAlgebra() - Method in class org.uacalc.alg.Subalgebra
-
- superAlgebra() - Method in class org.uacalc.alg.SubProductAlgebra
-
- switchAlgebra(GUIAlgebra) - Method in class org.uacalc.nbui.MainController
-
- switchXandYAutomorphism() - Method in class org.uacalc.alg.FreeAlgebra
-
This returns the map which given the index of an
element, returns the index of the element obtained from
the first by applying the automorphism interchanging the
first two generators.
- symbol - Variable in class org.uacalc.alg.op.AbstractOperation
-
- symbol() - Method in class org.uacalc.alg.op.AbstractOperation
-
- symbol() - Method in interface org.uacalc.alg.op.Operation
-
The operation symbol for this operation.
- sync() - Method in class org.uacalc.ui.AlgebraEditor
-
- tableToCSV(String, TermTableModel, PrintStream) - Static method in class org.uacalc.nbui.MainController
-
- TableUtils - Class in org.uacalc.ui.table
-
Table utilities like scrolling to make a row visible.
- TableUtils() - Constructor for class org.uacalc.ui.table.TableUtils
-
- Tabs - Class in org.uacalc.ui
-
- Tabs(UACalculator) - Constructor for class org.uacalc.ui.Tabs
-
- TaskTableModel - Class in org.uacalc.ui.table
-
- TaskTableModel() - Constructor for class org.uacalc.ui.table.TaskTableModel
-
- TaskTableModel(MonitorPanel) - Constructor for class org.uacalc.ui.table.TaskTableModel
-
This constructor is for the old UI.
- Taylor - Class in org.uacalc.terms
-
Let f be a k-ary operation symbol.
- Taylor(Term, List<Equation>) - Constructor for class org.uacalc.terms.Taylor
-
- Taylor(OperationSymbol, List<List<IntArray>>) - Constructor for class org.uacalc.terms.Taylor
-
- Taylor(int, List<List<IntArray>>) - Constructor for class org.uacalc.terms.Taylor
-
- Term - Interface in org.uacalc.terms
-
- termFromArray(int[]) - Method in class org.uacalc.terms.Taylor
-
- termFromArray(int[], int, int) - Method in class org.uacalc.terms.Taylor
-
- termList - Variable in class org.uacalc.alg.ReductAlgebra
-
- termMap - Variable in class org.uacalc.alg.SubProductAlgebra
-
- TermOperation - Interface in org.uacalc.alg.op
-
This interface specifies a term operation, that is, the interpretation
of a term in an algebra.
- TermOperationImp - Class in org.uacalc.alg.op
-
This interface specifies a term operation, that is, the interpretation
of a term in an algebra.
- TermOperationImp(Term, List<Variable>, SmallAlgebra) - Constructor for class org.uacalc.alg.op.TermOperationImp
-
- TermOperationImp(String, Term, List<Variable>, SmallAlgebra) - Constructor for class org.uacalc.alg.op.TermOperationImp
-
- terms - Variable in class org.uacalc.alg.SubProductAlgebra
-
- Terms - Class in org.uacalc.terms
-
A class of static methods related to terms.
- Terms() - Constructor for class org.uacalc.terms.Terms
-
- TermTableModel - Class in org.uacalc.ui.table
-
- TermTableModel() - Constructor for class org.uacalc.ui.table.TermTableModel
-
- TermTableModel(TermTableModel.ResultTableType) - Constructor for class org.uacalc.ui.table.TermTableModel
-
- TermTableModel(Term[]) - Constructor for class org.uacalc.ui.table.TermTableModel
-
- TermTableModel(Term[], Variable[]) - Constructor for class org.uacalc.ui.table.TermTableModel
-
- TermTableModel.ResultTableType - Enum in org.uacalc.ui.table
-
- TermTablePanel - Class in org.uacalc.ui.table
-
- TermTablePanel(UACalculator, Term[], List<Variable>) - Constructor for class org.uacalc.ui.table.TermTablePanel
-
- ternaryDiscriminator(int) - Static method in class org.uacalc.alg.op.Operations
-
- ternaryDiscriminatorAlgebra(int) - Static method in class org.uacalc.alg.Algebras
-
- testFlatten() - Static method in class org.uacalc.terms.Terms
-
- testGeneralizedWeakClosure() - Static method in class org.uacalc.alg.conlat.BasicPartition
-
- Tg(int, int) - Method in class org.uacalc.alg.conlat.CongruenceLattice
-
The tolerance generated by int a and b.
- thinGenerators - Variable in class org.uacalc.alg.SubProductAlgebra
-
- thinGenerators() - Method in class org.uacalc.alg.SubProductAlgebra
-
- toArray() - Method in interface org.uacalc.alg.conlat.Partition
-
- toArray() - Method in class org.uacalc.util.IntArray
-
- toArray(Object[]) - Method in class org.uacalc.util.SimpleList
-
- toArray() - Method in class org.uacalc.util.SimpleList
-
- topAlg - Variable in class org.uacalc.alg.PolinLikeAlgebra
-
- topConstIndex - Variable in class org.uacalc.alg.PolinLikeAlgebra
-
- toString() - Method in class org.uacalc.alg.AlgebraWithGeneratingVector
-
- toString() - Method in class org.uacalc.alg.conlat.BasicBinaryRelation
-
- toString() - Method in class org.uacalc.alg.conlat.BasicPartition
-
- toString(int) - Method in class org.uacalc.alg.conlat.BasicPartition
-
- toString(Partition.PrintType) - Method in class org.uacalc.alg.conlat.BasicPartition
-
- toString(Partition.PrintType, int) - Method in class org.uacalc.alg.conlat.BasicPartition
-
- toString() - Method in class org.uacalc.alg.conlat.CentralityData
-
- toString(Partition.PrintType) - Method in interface org.uacalc.alg.conlat.Partition
-
- toString(int) - Method in interface org.uacalc.alg.conlat.Partition
-
- toString(boolean) - Method in class org.uacalc.alg.conlat.Subtrace
-
- toString() - Method in class org.uacalc.alg.conlat.Subtrace
-
- toString() - Method in class org.uacalc.alg.Homomorphism
-
- toString() - Method in class org.uacalc.alg.op.OperationSymbol
-
- toString(boolean) - Method in class org.uacalc.alg.op.OperationSymbol
-
- toString() - Method in class org.uacalc.alg.op.SimilarityType
-
- toString() - Method in class org.uacalc.alg.op.TermOperationImp
-
- toString() - Method in class org.uacalc.alg.QuotientElement
-
- toString(SmallAlgebra) - Method in class org.uacalc.alg.sublat.BasicSet
-
Print this subset using alg's elements.
- toString() - Method in interface org.uacalc.element.Element
-
- toString() - Method in class org.uacalc.element.SubProductElement
-
- toString() - Method in class org.uacalc.eq.Equation
-
- toString() - Method in class org.uacalc.terms.NonVariableTerm
-
- toString() - Method in interface org.uacalc.terms.Term
-
A reasonably good printout of the term.
- toString() - Method in class org.uacalc.terms.VariableImp
-
- toString() - Method in class org.uacalc.ui.util.GUIAlgebra
-
- toString(boolean) - Method in class org.uacalc.ui.util.GUIAlgebra
-
- toString(Object) - Static method in class org.uacalc.util.ArrayString
-
- toString() - Method in class org.uacalc.util.IntArray
-
- toString() - Method in class org.uacalc.util.SimpleList
-
- transpose(List<IntArray>) - Static method in class org.uacalc.alg.SubProductAlgebra
-
- TXT_EXT - Static variable in class org.uacalc.io.ExtFileFilter
-
- type(Partition) - Method in class org.uacalc.alg.conlat.CongruenceLattice
-
- type(Partition, Partition) - Method in class org.uacalc.alg.conlat.CongruenceLattice
-
- type(Partition, Partition, ProgressReport) - Method in class org.uacalc.alg.conlat.CongruenceLattice
-
Find the type for beta over alpha.
- type() - Method in class org.uacalc.alg.conlat.Subtrace
-
- TypeFinder - Class in org.uacalc.alg.conlat
-
A utility class to find a subtrace {a, b} and its TCT type of a
covering beta/beta_* for some join irreducible congruence beta.
- TypeFinder(SmallAlgebra) - Constructor for class org.uacalc.alg.conlat.TypeFinder
-
- TypeFinder(SmallAlgebra, Partition) - Constructor for class org.uacalc.alg.conlat.TypeFinder
-
- typeJI(Partition, ProgressReport) - Method in class org.uacalc.alg.conlat.CongruenceLattice
-
Find the type of beta over its lower cover.
- typeSet() - Method in class org.uacalc.alg.conlat.CongruenceLattice
-
- typeSet(ProgressReport) - Method in class org.uacalc.alg.conlat.CongruenceLattice
-
- typeSetIdempotent(SmallAlgebra, ProgressReport) - Static method in class org.uacalc.alg.Malcev
-
This finds two subsets of the set of types, lower and upper; lower is
the types found in strictly simple algebras in HS(A) union the type set
of A (so the types must contain this).
- typesInSofAIdempotent(SmallAlgebra, Set, ProgressReport) - Static method in class org.uacalc.alg.Malcev
-
Find all TCT types occurring in strictly simple algebras in HS(alg).
- typesInSofAIRobustDecompdempotent(SmallAlgebra, Set, ProgressReport) - Static method in class org.uacalc.alg.Malcev
-
Find all TCT types occurring in subalgebras of alg.
- typesInSofAStrictlySimpleIdempotent(SmallAlgebra, Set, ProgressReport) - Static method in class org.uacalc.alg.Malcev
-
Find all TCT types occurring in strictly simple algebras in HS(alg).
- UA_EXT - Static variable in class org.uacalc.io.ExtFileFilter
-
- UA_EXTS - Static variable in class org.uacalc.io.ExtFileFilter
-
- UAC_EXT - Static variable in class org.uacalc.io.ExtFileFilter
-
- UACalc - Interface in org.uacalc.nbui
-
This is a (java) interface to the GUI, making it
easy to try different GUI's with different layout
managers.
- UACalculator - Class in org.uacalc.ui
-
- UACalculator() - Constructor for class org.uacalc.ui.UACalculator
-
- UACalculator2 - Class in org.uacalc.nbui
-
- UACalculator2(String[]) - Constructor for class org.uacalc.nbui.UACalculator2
-
Creates new form UACalculatorUI
- UACalculator2(String[], int, int) - Constructor for class org.uacalc.nbui.UACalculator2
-
Creates new form UACalculatorUI
- UACalculatorUI - Class in org.uacalc.nbui
-
- UACalculatorUI(String[]) - Constructor for class org.uacalc.nbui.UACalculatorUI
-
Creates new form UACalculatorUI
- unaryClone(List<Partition>, Partition, Partition) - Static method in class org.uacalc.alg.Algebras
-
- unaryCloneAlgFromPartitions(List<Partition>, List<Partition>) - Static method in class org.uacalc.alg.Algebras
-
WARNING: this is not complete.
- unaryCloneAlgFromPartitions(List<Partition>, Partition, Partition) - Static method in class org.uacalc.alg.Algebras
-
Make the unary algebra whose operations are the clone of unary
operation respecting every partition in pars and also eta0 and
eta1, which meet and join to 0 and 1 and permute.
- unaryPolymorphisms(List<? extends Partition>, ProgressReport) - Static method in class org.uacalc.alg.conlat.BasicPartition
-
The uses a depth first search to find the set of all unary function
which respect all partition in pars.
- unaryPolymorphismsAlgebra(List<? extends Partition>) - Static method in class org.uacalc.alg.conlat.BasicPartition
-
- unaryPolymorphismsAlgebra(List<? extends Partition>, ProgressReport) - Static method in class org.uacalc.alg.conlat.BasicPartition
-
- UnaryTermsMonoid - Class in org.uacalc.alg
-
The monoid or semigroup of unary terms.
- UnaryTermsMonoid(SmallAlgebra) - Constructor for class org.uacalc.alg.UnaryTermsMonoid
-
- UnaryTermsMonoid(SmallAlgebra, boolean) - Constructor for class org.uacalc.alg.UnaryTermsMonoid
-
- union(BasicSet) - Method in class org.uacalc.alg.sublat.BasicSet
-
- union(BasicSet, BasicSet) - Static method in class org.uacalc.alg.sublat.BasicSet
-
- univ - Variable in class org.uacalc.alg.SubProductAlgebra
-
- univArray - Variable in class org.uacalc.alg.Subalgebra
-
- UNIVERS_END_TAG - Static variable in class org.uacalc.io.AlgebraWriter
-
- UNIVERS_TAG - Static variable in class org.uacalc.io.AlgebraWriter
-
- universe() - Method in interface org.uacalc.alg.Algebra
-
We use java.util.Set to hold the universe of the algebra.
- universe() - Method in class org.uacalc.alg.conlat.CongruenceLattice
-
- universe(ProgressReport) - Method in class org.uacalc.alg.conlat.CongruenceLattice
-
- universe - Variable in class org.uacalc.alg.GeneralAlgebra
-
- universe() - Method in class org.uacalc.alg.GeneralAlgebra
-
- universe() - Method in class org.uacalc.alg.QuotientAlgebra
-
- universe() - Method in class org.uacalc.alg.Subalgebra
-
- universe() - Method in class org.uacalc.alg.sublat.SubalgebraLattice
-
- universe() - Method in class org.uacalc.lat.BasicLattice
-
- UNIVERSE_END_TAG - Static variable in class org.uacalc.io.AlgebraWriter
-
- UNIVERSE_TAG - Static variable in class org.uacalc.io.AlgebraWriter
-
- universeFound() - Method in class org.uacalc.alg.conlat.CongruenceLattice
-
- universeFound() - Method in class org.uacalc.alg.sublat.SubalgebraLattice
-
Has the universe been calculated.
- universeFromRelations(int, int, Map<IntArray, Partition>) - Static method in class org.uacalc.alg.SubProductAlgebra
-
This gives all pow tuples with entries 0 to n-1
such that if (i,j) maps to theta, then the ith element
is theta related to the jth element.
- universeList - Variable in class org.uacalc.alg.BasicAlgebra
-
Ordered list of the universe.
- universeOrder - Variable in class org.uacalc.alg.BasicAlgebra
-
A map from the elements to their order in the universe list.
- universeSize() - Method in class org.uacalc.alg.conlat.BasicBinaryRelation
-
- universeSize() - Method in interface org.uacalc.alg.conlat.BinaryRelation
-
- universeSize() - Method in interface org.uacalc.alg.conlat.Partition
-
- universeSize() - Method in class org.uacalc.util.IntArray
-
- univHashMap - Variable in class org.uacalc.alg.SubProductAlgebra
-
- updateCurrentAlgebra(SmallAlgebra) - Method in class org.uacalc.ui.UACalculator
-
Called from the edit window after the user sync's it.
- updateDescription() - Method in class org.uacalc.nbui.AlgebraEditorController
-
- updateOrderedSelection(JTable, List<Integer>) - Static method in class org.uacalc.ui.table.TableUtils
-
This updates the current list of selected rows, keeping order the user
selected them and return the list as a convenience.
- updatePass(int) - Method in class org.uacalc.alg.CloserTiming
-
- updateRandomValueTable() - Method in class org.uacalc.alg.op.OperationWithDefaultValue
-
- updateSimilarityType() - Method in interface org.uacalc.alg.Algebra
-
Use the operations list to update the SimilarityType.
- updateSimilarityType() - Method in class org.uacalc.alg.conlat.CongruenceLattice
-
Not allowed, of course.
- updateSimilarityType() - Method in class org.uacalc.alg.GeneralAlgebra
-
- updateSimilarityType() - Method in class org.uacalc.alg.sublat.SubalgebraLattice
-
Not allowed.
- upperCovers(POElem) - Method in class org.uacalc.lat.BasicLattice
-
- upperCovers(Vertex) - Method in class org.uacalc.nbui.LatDrawer
-
- upperCoversIndices(int) - Method in interface org.uacalc.lat.SmallLattice
-
The indices of the upper covers of the element whose index is
index.
- upperCoversMap() - Method in class org.uacalc.alg.conlat.CongruenceLattice
-
- userSaysRevert() - Method in class org.uacalc.ui.table.IntegerEditor
-
Lets the user know that the text they entered is
bad.
- validate() - Method in interface org.uacalc.nbui.UACalc
-
- valueAt(List) - Method in class org.uacalc.alg.op.AbstractIntOperation
-
- valueAt(List) - Method in class org.uacalc.alg.op.AbstractOperation
-
- valueAt(int[][]) - Method in class org.uacalc.alg.op.AbstractOperation
-
- valueAt(List) - Method in interface org.uacalc.alg.op.Operation
-
This operation is the element version.
- valueAt(int[][]) - Method in interface org.uacalc.alg.op.Operation
-
This operation is for fast product operation.
- valueAt(List) - Method in class org.uacalc.alg.op.OperationWithDefaultValue
-
- valueAt(List) - Method in class org.uacalc.alg.op.TermOperationImp
-
- valueOf(String) - Static method in enum org.uacalc.alg.conlat.Partition.PrintType
-
Returns the enum constant of this type with the specified name.
- valueOf(String) - Static method in enum org.uacalc.alg.SmallAlgebra.AlgebraType
-
Returns the enum constant of this type with the specified name.
- valueOf(String) - Static method in enum org.uacalc.nbui.LatDrawer.RadioButtonType
-
Returns the enum constant of this type with the specified name.
- valueOf(String) - Static method in enum org.uacalc.ui.table.ConLatticeTableModel.DataType
-
Returns the enum constant of this type with the specified name.
- valueOf(String) - Static method in enum org.uacalc.ui.table.TermTableModel.ResultTableType
-
Returns the enum constant of this type with the specified name.
- valueOf(String) - Static method in enum org.uacalc.ui.tm.BackgroundTask.Status
-
Returns the enum constant of this type with the specified name.
- values() - Static method in enum org.uacalc.alg.conlat.Partition.PrintType
-
Returns an array containing the constants of this enum type, in
the order they are declared.
- values() - Static method in enum org.uacalc.alg.SmallAlgebra.AlgebraType
-
Returns an array containing the constants of this enum type, in
the order they are declared.
- values() - Static method in enum org.uacalc.nbui.LatDrawer.RadioButtonType
-
Returns an array containing the constants of this enum type, in
the order they are declared.
- values() - Static method in enum org.uacalc.ui.table.ConLatticeTableModel.DataType
-
Returns an array containing the constants of this enum type, in
the order they are declared.
- values() - Static method in enum org.uacalc.ui.table.TermTableModel.ResultTableType
-
Returns an array containing the constants of this enum type, in
the order they are declared.
- values() - Static method in enum org.uacalc.ui.tm.BackgroundTask.Status
-
Returns an array containing the constants of this enum type, in
the order they are declared.
- valueTable - Variable in class org.uacalc.alg.op.AbstractOperation
-
- Variable - Interface in org.uacalc.terms
-
The term graph; that is, term tree with possibly shared nodes.
- VariableImp - Class in org.uacalc.terms
-
The term graph; that is, term tree with possibly shared nodes.
- VariableImp(String) - Constructor for class org.uacalc.terms.VariableImp
-
- variables - Variable in class org.uacalc.alg.SubProductAlgebra
-
- varsMap - Variable in class org.uacalc.alg.SubProductAlgebra
-
- Version - Class in org.uacalc.nbui
-
- Version() - Constructor for class org.uacalc.nbui.Version
-
- versionString - Static variable in class org.uacalc.nbui.Version
-
- vertexOfObject(Object) - Method in class org.uacalc.nbui.LatDrawer
-
Find the Vertex which has obj as its underlying object.