Revision history [back]

An import statement is needed to make your code work in Sage 7.4.

sage: R.<x1,x2,x3> = BooleanPolynomialRing(3, order='degneglex')
sage: x3>x1
True
sage: L = BooleanFunction(x1+x2*x3)
Traceback (most recent call last)
...
NameError: name 'BooleanFunction' is not defined
sage: from sage.crypto.boolean_function import BooleanFunction
sage: L = BooleanFunction(x1+x2*x3)
sage: L.algebraic_normal_form()
x0 + x1*x2

You can access the documentation for algebraic_normal_form with

sage: L.algebraic_normal_form?

and the whole source code with

sage: L.algebraic_normal_form??

Maybe you could suggest how the code should be amended to take variable names and ordering into account.