On Tue, Jul 17, 2012 at 12:58 PM, Virendra Sule <viren.s...@gmail.com> wrote: > Thanks David. This will certainly help. >
There are lots of examples of Boolean function computations in the *.pdf file and the *.sage file from a student's recent undergrad thesis: https://github.com/celerier/oslo/tree/master/tmj-me > By composition f(g()) I mean if f(x,y) is a Boolean function in two > variables and g(z) is a Boolean function in one variable how to compute the > Boolean function f(g(z)y) as a function of z,y. > > Virendra > > > On Tue, Jul 17, 2012 at 3:44 PM, David Joyner <wdjoy...@gmail.com> wrote: >> >> On Tue, Jul 17, 2012 at 4:26 AM, virensule <viren.s...@gmail.com> wrote: >> > How do I evaluate and compose Boolean functions in Boolean polynomial >> > ring? >> > >> > For example I have >> > >> > R=BooleanPolynomialRing(3,x) >> > x=R.gens() >> > f=BooleanFunction(x[0]*x[1]+x[1]*x[2]+x[1]+1) >> > >> > Now how do I find the function g=f(evaluated when x[0]=1)? >> > >> > Also if g is another function defined similarly, how do I compute f(g()) >> > composition? >> >> >> >> sage: from sage.crypto.boolean_function import * >> sage: R = BooleanPolynomialRing(3, "x") >> sage: x = R.gens() >> sage: f = BooleanFunction(x[0]*x[1]+x[1]*x[2]+x[1]+1) >> sage: f.[tab] >> >> gives the methods implemented for the instances of >> BooleanFunction. Subfunctions of Boolean functions are not >> implemented, at least not yet as far as I know. >> >> I'm not sure what you mean by composition of >> functions >> >> f:GF(2)^n -> GF(2) and g:GF(2)^n -> GF(2). >> >> Maybe you can do what you want using lambda functions? >> >> >> > >> > Can someone help please? >> > >> > Thanks in advance. >> > Virendra >> > >> > -- >> > To post to this group, send email to sage-support@googlegroups.com >> > To unsubscribe from this group, send email to >> > sage-support+unsubscr...@googlegroups.com >> > For more options, visit this group at >> > http://groups.google.com/group/sage-support >> > URL: http://www.sagemath.org >> >> -- >> To post to this group, send email to sage-support@googlegroups.com >> To unsubscribe from this group, send email to >> sage-support+unsubscr...@googlegroups.com >> For more options, visit this group at >> http://groups.google.com/group/sage-support >> URL: http://www.sagemath.org > > > > > -- > Virendra Sule > Professor > Dept. of Electrical Engg. > IIT Bombay > Powai, Mumbai 400076. > > Tel: (O): 022 25767492 > > -- > To post to this group, send email to sage-support@googlegroups.com > To unsubscribe from this group, send email to > sage-support+unsubscr...@googlegroups.com > For more options, visit this group at > http://groups.google.com/group/sage-support > URL: http://www.sagemath.org -- To post to this group, send email to sage-support@googlegroups.com To unsubscribe from this group, send email to sage-support+unsubscr...@googlegroups.com For more options, visit this group at http://groups.google.com/group/sage-support URL: http://www.sagemath.org
