hilbert icon indicating copy to clipboard operation
hilbert copied to clipboard

Published 20 hours ago • verified publisher icon gogotanaka

lim[x->oo] (1 + 1/x)^x example hangs

Open bobfoster opened this issue 10 years ago • 1 comments

$ hilbert -i Enjoy! -> postulate zfc_analysis success! :) Enjoy! -> lim[x->oo](1 + 1/x)^x (hangs) ^C/Library/Ruby/Gems/2.0.0/gems/hilbert-0.0.2700300/lib/hilbert/iq.rb:16:in eval': /Library/Ruby/Gems/2.0.0/gems/dydx-0.2.7000001/lib/dydx/algebra/set.rb:180:in**': (Interrupt) from /Library/Ruby/Gems/2.0.0/gems/dydx-0.2.7000001/lib/dydx/algebra/set.rb:180:in block (3 levels) in <module:Set>' from /Library/Ruby/Gems/2.0.0/gems/dydx-0.2.7000001/lib/dydx/algebra/operator/parts/num.rb:9:inblock (2 levels) in module:Num' from /Library/Ruby/Gems/2.0.0/gems/dydx-0.2.7000001/lib/dydx/algebra/operator/parts/general.rb:95:in block (2 levels) in <module:General2>' from /Library/Ruby/Gems/2.0.0/gems/dydx-0.2.7000001/lib/dydx/algebra/operator/parts/general.rb:83:inblock (2 levels) in module:General1' from /Library/Ruby/Gems/2.0.0/gems/dydx-0.2.7000001/lib/dydx/algebra/operator/parts/general.rb:44:in block (2 levels) in <module:Associative>' from /Library/Ruby/Gems/2.0.0/gems/dydx-0.2.7000001/lib/dydx/algebra/operator/parts/general.rb:14:inblock (2 levels) in module:Interface' from /Library/Ruby/Gems/2.0.0/gems/dydx-0.2.7000001/lib/dydx/algebra/formula.rb:76:in subst' from /Library/Ruby/Gems/2.0.0/gems/dydx-0.2.7000001/lib/dydx/function.rb:16:inevalue' from /Library/Ruby/Gems/2.0.0/gems/dydx-0.2.7000001/lib/dydx.rb:22:in block (2 levels) in <module:Dydx>' from (eval):2:inexecute' from /Library/Ruby/Gems/2.0.0/gems/hilbert-0.0.2700300/lib/hilbert/iq.rb:16:in eval' from /Library/Ruby/Gems/2.0.0/gems/hilbert-0.0.2700300/lib/hilbert/iq.rb:16:inexecute' from /Library/Ruby/Gems/2.0.0/gems/hilbert-0.0.2700300/bin/hilbert:25:in block in <top (required)>' from /Library/Ruby/Gems/2.0.0/gems/hilbert-0.0.2700300/bin/hilbert:21:inloop' from /Library/Ruby/Gems/2.0.0/gems/hilbert-0.0.2700300/bin/hilbert:21:in <top (required)>' from /usr/bin/hilbert:23:inload' from /usr/bin/hilbert:23:in `

'

bobfoster avatar Nov 19 '14 21:11 bobfoster

@bobfoster thank for reporting! I've confirmed what you mentioned is right on Ruby2.0.0. (Actually it doesn't happen on Ruby2.1.0>)

I'm gonna fix it. Please give me some time.

gogotanaka avatar Nov 20 '14 22:11 gogotanaka