Reference index

List of Tcl commands

get_primitive_polyGet primitive poly for the specified prime power Galois field.
gfCreate Galois field for the specified characteristic.
gfexprCompute the expression in the Galois field.
gfppCreate prime power Galois field for the specified primitive polynomial.
helpGet help on Tcl commands.
identity_matrixCreate an identity matrix.
is_prime_polyTells if the specified polynomial is irreducible.
is_primitive_polyTells if the specified polynomial is a primitive polynomial.
list_prime_polysCreate the list of irreducible polynomials of the specified degree.
matrixCreate a matrix parsing the list of strings.
polyCreate polynomial using the coefficients provided.
print_gf_elementsPrint elements of a Galois field.
print_gf_operationsPrint operation truth tables for a Galois field.
print_polyConvert polynomial object into a readable string.
print_prime_polysPrint the list of irreducible polynomials into a string.
rm_get_smatrixGet constant power matrix for the specified polarity in the preset radix model.
rm_get_wmatrixGet Green's matrix for the specified polarity in the preset radix model.
rm_radix_modelCreate new Reed-Muller synthesis configuration.
rm_reset_specReset all specification tables for Reed-Muller synthesis.
rm_synthesiseSynthesise Reed-Muller expansions.
set_default_gfSet default Galois field for other Tcl commands.
set_format_elementsSet output format for the elements of prime power fields.
spec_add_vectorAdd a truth vector to the specification.
spec_librarySet GF component library and optimisation criteria.
spec_print_portsPrint list of inputs and outputs in the current circuit specification.
spec_readRead truth vectors from file.
vectorCreate a single row matrix parsing the string of values.