OKlibrary  0.2.1.6
ConstraintTemplateGlobalPropagation.mac File Reference

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.


Detailed Description

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.