Now showing items 1-4 of 4
Conjugates of the Standard Representation of S3 in 3x3 matrices
This is a list of the 28 conjugates of the standard representation of S3 in 3x3 matrices.
The Hyper-Linear Package
The Hyper-Linear package is the core of the hyper-linear simulation technique described in Reference 1. Given the specification of a Boolean function, the package will detect all partial and total symmetries and return the ...
This software package implements the simulation algorithm described in the tech report “Using GF(2) matrices in Simulation and Logic Synthesis” found in this archive. (http://hdl.handle.net/2104/5263). This package is part ...
The Number of Conjugates of the Standard Representation of Sn in the General Linear Group over GF(2)
This report determines the normalizer of the standard representation of Sn in the general linear group of nxn matrices over GF(2). The size of the normalizer is then used to determine the number of classes of conjugate ...