The size of DNF is exponential in the number of variables, so it’s not surprising it is slower for expressions with many variables. CNF is the more standard form that scales well with the size of the expression.
Aaron Meurer On Sat, Jul 13, 2019 at 2:55 PM Oscar Benjamin <oscar.j.benja...@gmail.com> wrote: > Can you show a (short) example of some code that you've tried? > > On Sun, 7 Jul 2019 at 17:18, רועי גרמיזו <roigarm...@gmail.com> > wrote: > > > > Hi, what is the best way to simplify a boolean equation with more than > 8 variables? setting force to true on simplify_logic just takes too long, > and to_dnf sometimes takes too long or don't really change the expression. > I don't necessarily have to use sympy, but I belive it is the best (or > least worst) option for me right now > > > > -- > > You received this message because you are subscribed to the Google > Groups "sympy" group. > > To unsubscribe from this group and stop receiving emails from it, send > an email to sympy+unsubscr...@googlegroups.com. > > To post to this group, send email to sympy@googlegroups.com. > > Visit this group at https://groups.google.com/group/sympy. > > To view this discussion on the web visit > https://groups.google.com/d/msgid/sympy/1f2681fc-4973-4375-8839-819ac58e9112%40googlegroups.com > . > > For more options, visit https://groups.google.com/d/optout. > > -- > You received this message because you are subscribed to the Google Groups > "sympy" group. > To unsubscribe from this group and stop receiving emails from it, send an > email to sympy+unsubscr...@googlegroups.com. > To post to this group, send email to sympy@googlegroups.com. > Visit this group at https://groups.google.com/group/sympy. > To view this discussion on the web visit > https://groups.google.com/d/msgid/sympy/CAHVvXxQvm%3DPuDo_X3ZWGfbcGLokBNvNyy29bWfFRZ6QDt1B0%3DQ%40mail.gmail.com > . > For more options, visit https://groups.google.com/d/optout. > -- You received this message because you are subscribed to the Google Groups "sympy" group. To unsubscribe from this group and stop receiving emails from it, send an email to sympy+unsubscr...@googlegroups.com. To post to this group, send email to sympy@googlegroups.com. Visit this group at https://groups.google.com/group/sympy. To view this discussion on the web visit https://groups.google.com/d/msgid/sympy/CAKgW%3D6Je2x5ehe-1SwWhX1YeJKHg3AcEqy2rG_AR3_XasZDjyQ%40mail.gmail.com. For more options, visit https://groups.google.com/d/optout.
