Hello everyone,
I wanted to know if the SAGE builtin ANF2CNF converter (I am using the sparse strategy implementation) can be modified so as to display a limited number of clauses of the given ANF expression, say 'n' number of clauses (n must be input to the converter, along with the ANF expression). Please help if anybody can come up with a solution. Thanks a lot. -- You received this message because you are subscribed to the Google Groups "sage-support" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To post to this group, send email to [email protected]. Visit this group at http://groups.google.com/group/sage-support?hl=en. For more options, visit https://groups.google.com/groups/opt_out.
