OKlibrary  0.2.1.6
FieldMul2CNF.mac
Go to the documentation of this file.
00001 /* Matthew Gwynne, 28.4.2008 (Swansea) */
00002 /* Copyright 2008 Oliver Kullmann
00003 This file is part of the OKlibrary. OKlibrary is free software$ you can redistribute
00004 it and/or modify it under the terms of the GNU General Public License as published by
00005 the Free Software Foundation and included in this library$ either version 3 of the
00006 License, or any later version. */
00007 
00022 /* Minimum representation for field multiplication by 02 (generated using
00023    Experimentation/Investigations/Cryptography/AdvancedEncryptionStandard/all_minimum_cnf
00024    on the full CNF generated by output_rijnmult_fullcnf_stdname(2). */
00025 FieldMul2CNF : [{1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16},{{-9,2},{-2,9},{-10,3},{-3,10},{-11,4},{-4,11},{-12,-5,-1},{-12,1,5},{-5,1,12},{-1,5,12},{-13,-6,-1},{-1,6,13},{-14,7},{-7,14},{-15,1,8},{-8,1,15},{-16,-15,-8},{-16,8,15},{-13,6,16},{-6,13,16}}]$
00026 
00027 /* Prime implicates for field multiplication by 02 (generated by using
00028    QuineMcCluskey-n16-O3-DNDEBUG on output_rijnmult_fullcnf_stdname(2). */
00029 FieldMul2PICNF : [{1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16}, {{-9,2},{-2,9},{-10,3},{-3,10},{-11,4},{-4,11},{-12,-5,-1},{-12,1,5},{-5,1,12},{-1,5,12},{-13,-6,-1},{-13,1,6},{-13,-12,-6,5},{-13,-12,-5,6},{-13,-6,-5,12},{-13,5,6,12},{-6,1,13},{-1,6,13},{-12,-6,-5,13},{-12,5,6,13},{-6,5,12,13},{-5,6,12,13},{-14,7},{-7,14},{-15,-8,-1},{-15,1,8},{-15,-12,-8,5},{-15,-12,-5,8},{-15,-8,-5,12},{-15,5,8,12},{-15,-13,-8,6},{-15,-13,-6,8},{-15,-8,-6,13},{-15,6,8,13},{-8,1,15},{-1,8,15},{-12,-8,-5,15},{-12,5,8,15},{-8,5,12,15},{-5,8,12,15},{-13,-8,-6,15},{-13,6,8,15},{-8,6,13,15},{-6,8,13,15},{-16,1},{-16,-12,-5},{-16,5,12},{-16,-13,-6},{-16,6,13},{-16,-15,-8},{-16,8,15},{-1,16},{-12,5,16},{-5,12,16},{-13,6,16},{-6,13,16},{-15,8,16},{-8,15,16}}]$
00030