chakravala / chakravala/Reduce.jl

Deadlock situation with function expressions

Open
#53 2 comments 0 reactions 0 assignees View on GitHub
bug enhancement
Dominant language
Julia
Stars
249
Forks
16
PR merge metrics
No merged PRs in 30d

Description

The Reduce.jl, the following works
using Reduce
Reduce.expand(“3x+2y+2.12x+3.2y”)

However if I try the following
expand(“f(X,Y)+2g(X1,X2,X2)+2f(X,Y)”)
it gets into an infinite loop. If I interrupt once, and try again then it comes out with a prompt
“Type Y or N?;\n3f(x,y) + 2g(x1,x2,x2)”

and on the third time, it works well.
“3f(x,y) + 2g(x1,x2,x2)”
Looking into the code, it appears that there is an error check which prompts the Type Y or N? Is this an intended check? Can this be fixed?
This is a nice package that helps in quite a bit of symbolic expression simplifications. It would be nice to have this fixed. Or any other suggestions to work around it (instead of manually interrupting this 2 times).

Thanks for the help/suggestions

`using Reduce
expand("3x+2y+2.12x+3.2y")
expand("f(X,Y)+2g(X1,X2,X2)+2f(X,Y)")`

Contributor guide

No contributing guide indexed for this repository

Research direction

Reproduce the issue with the two expand expressions shown in the report, then inspect the error check that prompts “Type Y or N?”. Trace why the function-expression case loops and confirm the fix by verifying that the expression terminates and returns “3f(x,y) + 2g(x1,x2,x2)” without manual interruption.

Written by the indexing model from the issue text.

Assessment

Tech stack
julia
Domain
compilers
Issue type
Bug
Difficulty
4/5
Estimated time
3-5 days
Activity status
Stale
Clarity
Mostly clear
Newbie friendliness
35/100

Get new issues in your inbox

A short digest of beginner-friendly GitHub issues.