get_primitive_poly | Get primitive poly for the specified prime power Galois field. |
gf | Create Galois field for the specified characteristic. |
gfexpr | Compute the expression in the Galois field. |
gfpp | Create prime power Galois field for the specified primitive polynomial. |
help | Get help on Tcl commands. |
identity_matrix | Create an identity matrix. |
is_prime_poly | Tells if the specified polynomial is irreducible. |
is_primitive_poly | Tells if the specified polynomial is a primitive polynomial. |
list_prime_polys | Create the list of irreducible polynomials of the specified degree. |
matrix | Create a matrix parsing the list of strings. |
poly | Create polynomial using the coefficients provided. |
print_gf_elements | Print elements of a Galois field. |
print_gf_operations | Print operation truth tables for a Galois field. |
print_poly | Convert polynomial object into a readable string. |
print_prime_polys | Print the list of irreducible polynomials into a string. |
rm_get_smatrix | Get constant power matrix for the specified polarity in the preset radix model. |
rm_get_wmatrix | Get Green's matrix for the specified polarity in the preset radix model. |
rm_radix_model | Create new Reed-Muller synthesis configuration. |
rm_reset_spec | Reset all specification tables for Reed-Muller synthesis. |
rm_synthesise | Synthesise Reed-Muller expansions. |
set_default_gf | Set default Galois field for other Tcl commands. |
set_format_elements | Set output format for the elements of prime power fields. |
spec_add_vector | Add a truth vector to the specification. |
spec_library | Set GF component library and optimisation criteria. |
spec_print_ports | Print list of inputs and outputs in the current circuit specification. |
spec_read | Read truth vectors from file. |
vector | Create a single row matrix parsing the string of values. |