TAS Software

The TAS page provides seven services which are

TASes 

Use this service to apply the various TAS operations on a selected TAS.  Use TAS combo box to select a TAS system.  The Base, Mate, Comate, Inverse, Star, and Costars are automatically displayed.  Also the STAS system of the selected radix is  displayed. You may select the Alpha and Beta pair and find out its TAS system.  Open and closed TASes are indicated by the keywords "open", or 'close'. Use List-1 and List-2 to view the TASes of the selected radix.

Prioritors

Use this to find the operations defined on prioritors. See  prioritors software

Degeneracy

Use this to find the degeneracy operations defined on prioritors. See  Degeneracy Software

Prioritors

Use this to view lists of prioritors.  See prioritors software

Pairs

Use this service to view the list of all possible pairs of prioritors in a z-radix system.  The list lists all pairs and the TAS which they belong to.

List-I

This list lists all TAS systems and all of their pairs.  It Also, lists the comate of each pair.  All pairs are listed in columns and all TASes in one row.  The "Ground" pair is the first pair in the TAS system.  It is called the Ground State Pair.

List-II

This list lists all TAS systems as in list-I except it lists all pairs in rows and all TASes in one column.   The "Ground" pair is the first pair in the TAS system.  It is called the Ground State Pair. 

Properties

This list some of the algebraic properties that satisfied by each TAS system.  All pairs in each TAS satisfy the properties of the TAS itself.  That is, the all form isomorphic systems.  The "intrinsic properties" of each TAS are listed first.  For example, this means that the two prioritors any pair in each TAS are commutative operators.

The "extrinsic properties" are listed after the intrinsic properties.  For example, this means that the TAST1, TAST3, TAST5 and TAST6 do satisfy the distribution theorem while TAST2 and TAST4 do not satisfy the distribution theorem.  So, the operators of each pair in each TAS where "yes" appears are distributive operators.  For example, the pairs of (T5,T6) are distributive operators.