OKlibrary
0.2.1.6

System for taking a set of constraints and propagating the effect of certain constraints across the set. More...
Go to the source code of this file.
System for taking a set of constraints and propagating the effect of certain constraints across the set.
As an example, consider systems with equality constraints where the equivalence constraints can then be rewrited to replace the two sets of variables with a single set (representing the two equivalent variables).
Use by
oklib_load("OKlib/ComputerAlgebra/Cryptology/Lisp/Cryptanalysis/Rijndael/ConstraintTemplateGlobalPropagation.mac");
Definition in file ConstraintTemplateGlobalPropagation.mac.