hilbert
hilbert copied to clipboard
gogotanaka
Unable to interactively evaluate simple expressions (based on examples)
Please see this example session:
$ hilbert -i
Hi guys,thank you for using Hilbert.
You need to execute "postulate zfc_analysis" if you wanna do real analysis.
Enjoy! -> f(x,y) = xy
I'm so sorry, something wrong. Please feel free to report this. [DEBUG CODE30]
========== DEBUG INFO ==========
str: f(x,y) = xy
scan_rslt:
@lexeds: [{:token=>:UNKNOW, :value=>"f", :els=>[]}]
Enjoy! -> 1 + 2
1 + 2 can not be parsed ;(
Enjoy! -> (1 2 3; 1 2 3) + (1 2 3; 1 2 3)
I'm so sorry, something wrong. Please feel free to report this. [DEBUG CODE30]
========== DEBUG INFO ==========
str: (1 2 3; 1 2 3) + (1 2 3; 1 2 3)
scan_rslt:
@lexeds: []
Enjoy! ->
Running on OSX Yosemite. Environment:
$ ruby --version
ruby 2.1.5p273 (2014-11-13 revision 48405) [x86_64-darwin14.0]
$ rvm --version
rvm 1.26.4 (latest) by Wayne E. Seguin <[email protected]>, Michal Papis <[email protected]> [https://rvm.io/]
$ uname -a
Darwin Concurrent-Chickpea.local 14.0.0 Darwin Kernel Version 14.0.0: Fri Sep 19 00:26:44 PDT 2014; root:xnu-2782.1.97~2/RELEASE_X86_64 x86_64
if you want to do this, you need to type 'postulate zfc_analysis' actually.
Sorry for the inconvenience, I know requiring the user to type an unguessable command before running certain calculations makes the program harder to use... but Hilbert is logic oriented language, so I need it so far.
If this is the case, then please make sure the error messages indicate that!
On Sat Dec 27 2014 at 5:06:28 PM Kazuki Tanaka [email protected] wrote:
if you want to do this, you need to type 'postulate zfc_analysis' actually.
Sorry for the inconvenience, I know requiring the user to type an unguessable command before running certain calculations makes the program harder to use... but Hilbert is logic oriented language, so I need it so far.
— Reply to this email directly or view it on GitHub https://github.com/gogotanaka/Hilbert/issues/82#issuecomment-68191615.