chakravala / chakravala/Reduce.jl
Deadlock situation with function expressions
- 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