chakravala / Reduce.jl

Symbolic parser for Julia language term rewriting using REDUCE algebra

Home Page:http://www.reduce-algebra.com/

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

Undefined Error on rs

yidai1996 opened this issue · comments

Hey! I want to use Reduce.Reset() function in the REPL command line. But there is an error that says:
ERROR: UndefVarError: rs not defined. Here rs is a variable that appears in the function code. So I was wondering if there is something I missed or if it is an issue. Thanks in advance!

Reduce.Reset() works fine on my computer, I cant reproduce your issue. You'll have to provide more details, as I cannot confirm or reproduce the issue on my computer.