OKullmann/oklibrary — pull request #410 by MGwynne (2012-04-05 09:34:35+00:00)
Title: Computing ANFs via splitting.

Branch: anf.

Computing ANFs via splitting.

A quick test via:

# 4-bit Sbox ANF (best 1-base size = 27, best min size = 22):
Sbox4_manf : fcl2anf(fcs2fcl(ss_sbox_fullcnf_fcs(2,4,ss_polynomial_2_4)))$
length(Sbox4_manf);
82

# 8-bit Sbox ANF (best 1-base size = 4398, best min size = 294):
Sbox8_manf : fcl2anf(fcs2fcl(ss_sbox_fullcnf_fcs(2,8,ss_polynomial_2_8)))$
length(Sbox4_manf);
25464

I haven't added this simple test as I'm not sure where and how to place it. It seems to me that the fcl2anf function etc should first be moved in a Maxima file before having other plans files use it.

Matthew