Not sure if it's relevant, but in line 41, you are returning the variable
forumula whereas you assigned to formula in the line before. The same error
is also on lines 44, 47, and 50.

Regards,
Tirthankar Mazumder

On Sun, Jul 23, 2023, 2:11 PM Nick <[email protected]> wrote:

> I am trying to expand my program that accelerates my ability to solve math
> and logical problems by hand by generating not too complicated problems to
> practice on. The use case of my program is demonstrated on my twitter
> <https://twitter.com/Noeo1234> and the working code is my github
> <https://github.com/NSC9/Sample_of_Work/blob/Main/mathematics.ipynb>.
>
> I think my issue lies at line like 40 and 43.
>
> Broken Code Pastebin <https://pastebin.com/88P4jyKG>
>
> As you can see, I can generate and display logical equations in LaTeX
> using binary literals. The trouble is expanding these simple generations
> into more complex expressions. I am trying to rewrite a new Symbol using
> previously generated Symbols by string slicing.
>
> -Nick
>
>
> Reference:
>
> Chang and Lee . Computer Science and Applied Mathematics. "Symbolic Logic
> and
>
>      Mechanical Theorem Proving." Academic Press, Inc. 1973. Page 13-15.
>
> --
> 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 [email protected].
> To view this discussion on the web visit
> https://groups.google.com/d/msgid/sympy/ca70ada2-e57e-4ed9-bf89-ddba72cf38b7n%40googlegroups.com
> <https://groups.google.com/d/msgid/sympy/ca70ada2-e57e-4ed9-bf89-ddba72cf38b7n%40googlegroups.com?utm_medium=email&utm_source=footer>
> .
>

-- 
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 [email protected].
To view this discussion on the web visit 
https://groups.google.com/d/msgid/sympy/CAAC5%2B-DG8kAC0t4WdB_TxWbtx2crQsvPoA9nLu%3DURVHFUcvWig%40mail.gmail.com.

Reply via email to