search

gogotanaka / hilbert

:dancers: Implement mathematics.
http://hilbert-lang.org/
553 stars 36 forks source link

Differentiation doesn't work #83

Open theasder opened 9 years ago

theasder commented 9 years ago 
Enjoy! -> d/dx(cos(x))
I'm so sorry, something wrong. Please feel free to report this. [DEBUG CODE30]

========== DEBUG INFO ==========
str:       d/dx(cos(x))

scan_rslt: 
@lexeds:   [{:token=>:UNKNOW, :value=>"d/dx", :els=>[]}]
jackmaney commented 9 years ago

You need to enter the command postulate zfc_analysis to do almost anything useful. No, this shouldn't be necessary.

Hi guys,thank you for using Hilbert.
You need to execute "postulate zfc_analysis" if you wanna do real analysis.

Enjoy! -> postulate zfc_analysis
success! :)
Enjoy! -> d/dx(cos(x))
- sin( x )
Enjoy! ->