hilbert

hilbert copied to clipboard

lim[x→0] should not evaluate to ∞, it is undefined. lim[x→0⁺] = ∞ lim[x→0⁻] = -∞

ghost

Refactor

3

First of all....

gogotanaka

Differentiation doesn't work

1

``` 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=>[]}] ```

theasder

Unable to interactively evaluate simple expressions (based on examples)

2

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)...

yonkeltron

uninitialized constant Hilbert::VERSION (NameError)

2

The following occurs when I try to check the Hilbert version: ``` $ hilbert --version $ hilbert -v /Users/yonkeltron/.rvm/gems/ruby-2.1.5@global/gems/hilbert-0.0.2700420/bin/hilbert:33:in `': uninitialized constant Hilbert::VERSION (NameError) from /Users/yonkeltron/.rvm/gems/ruby-2.1.5@global/bin/hilbert:23:in `load' from /Users/yonkeltron/.rvm/gems/ruby-2.1.5@global/bin/hilbert:23:in `'...

yonkeltron

Logical implication with the S letter doesn't work

2

It seems to work just fine with most letters but I tried with S and got this: Enjoy! -> 3+4 > 2 true Enjoy! -> P -> Q Defined: P...

fflakito

Cannot recursively evaluate a function

2

``` Enjoy! -> f(x)=x^2 x ** 2 Enjoy! -> f(4) 16.0 Enjoy! -> f(f(f(4))) I'm so sorry, something wrong. Please feel free to report this. Enjoy! -> f(f(4)) I'm so...

ruurd

Incorrect answers for improper integrals

6

``` 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! -> S(x dx)[-oo..oo] 0.0...

jackmaney

`lim[x->0] (cos(x) - 1) / x` incorrectly returns `NaN`

1

``` 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! -> lim[x->0] (cos(x) -...

jackmaney

Unable to evaluate or differentiate expressions of trigonometric functions

2

``` 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! -> (sin(1))^2 + (cos(1))^2...

jackmaney