On 12/5/06, Roger Hui <[EMAIL PROTECTED]> wrote:
Regarding the proposition ((~:/ . *.) -: (2 | +/ . *)) A in your msg, I think you mean 2|-/ .* instead of 2|+/ .* . The latter expression +/ .* is the permanent which has been proven to the intractable (#P-complete; see the Wikipedia entry for "permanent").
(Sorry for my English) (2 | -/.*) -: (2 | +/ .*) , always true. because 2&| == 2&|@- . i.e determinant == permanent in GF(2) -- ---------------------------------------------------------------------- For information about J forums see http://www.jsoftware.com/forums.htm
