Adam Ledger

Mr. Adam Ledger

360 Reputation

11 Badges

9 years, 126 days
unemployed
hobo
Perth, Australia

Social Networks and Content at Maplesoft.com

MaplePrimes Activity


These are replies submitted by Adam Ledger

@Carl Love , @vv any we press on then here is a case where i see the point made by vv eariler, the equality in the is function here will return true after symbollic simplification, however FAIL without. IS_case_two.mw

``

``

FunctionAdvisor(Psi, quiet):

``

 

`ℱ` := proc (Y) options operator, arrow; Y*exp(-2*Psi(Y)-Pi*cot(Pi*Y)) end proc

proc (Y) options operator, arrow; Y*exp(-2*Psi(Y)-Pi*cot(Pi*Y)) end proc

(1)

`𝒦` := proc (s) options operator, arrow; eval(`ℱ`(Y), Y = -(1/2)*s/Pi) end proc

proc (s) options operator, arrow; eval(`ℱ`(Y), Y = -(1/2)*s/Pi) end proc

(2)

`ℋ`[1] := proc (y) options operator, arrow; eval(`𝒦`(s), s = 1/2+I*y) end proc

proc (y) options operator, arrow; eval(`𝒦`(s), s = 1/2+I*y) end proc

(3)

`ℋ`[2] := proc (y) options operator, arrow; eval(`𝒦`(s), s = 1/2-I*y) end proc

proc (y) options operator, arrow; eval(`𝒦`(s), s = 1/2-I*y) end proc

(4)

-1/2*(ln(`ℋ`[1](1/2)/(-1/(4*Pi)-(1/4*I)/Pi))+Pi*cot(1/4+1/4*I)) = Psi((-1/4-1/4*I)/Pi)

-(1/2)*ln((-1/4-(1/4)*I)*exp(-2*Psi((-1/4-(1/4)*I)/Pi)+Pi*cot(1/4+(1/4)*I))/(Pi*(-(1/4)/Pi-((1/4)*I)/Pi)))-(1/2)*Pi*cot(1/4+(1/4)*I) = Psi((-1/4-(1/4)*I)/Pi)

(5)

is(-(1/2)*ln((-1/4-(1/4)*I)*exp(-2*Psi((-1/4-(1/4)*I)/Pi)+Pi*cot(1/4+(1/4)*I))/(Pi*(-(1/4)/Pi-((1/4)*I)/Pi)))-(1/2)*Pi*cot(1/4+(1/4)*I) = Psi((-1/4-(1/4)*I)/Pi))

FAIL

(6)

``


Download IS_case_two.mw

@Axel Vogt 

my writing is difficult to follow true really only adds another layer of confidentiality there when you think about it.

@Axel Vogt 

sure i understand the basic principle of copyrights and guessed that was the reason for the denial by tech support but the majority of the first lot was uploaded with the provision of confidentiality so for the is bug ive shown is entirely comprised of perhaps an absence of something between the function advisor package and the use of the is function in taking arguements generated by that package.

i dont expect full public disclosure of the way in which the CAS was invented and designed of course not, but its that i use it every day not the easiest person to understand at times but none the less after having encountered alot of interesting results overall using evalf which is in maybe 90 percent of what i write as a rough estimate, i just thought they would also want to know or know what overall cause of it being high accurate in some circumstance but in other maybe a few additional try catch statements possibly.

@Carl Love 

proc(nn, xx)

 

so first line already is confusing it declares in as a local, but nn as the procedure's arguement?

@Carl Love thanks yep the psi evalf should keep me busy my initial question no leave its ok i will manage now for a while.

@Carl Love ok ill try to shill out seeings im making you lose hair and also gave better help than tech for that infuriating evalf problem. it just needs something like the try catch looks they have in RootOf i think. well try and catch are the best ones ive learnt for error handling in terms of "good old trustys" maybe im just assuming to much to soon im still looking for the sheets on it.

@Carl Love yea seeings for whatever reason im too crazy to not have implemented using showstat for a first port of call, much like ill ask on great house's forum sometimes before googling, or on the arduino website, really infuriates them its a great sorrow harvest that one.

 

anyway ill look at the is with show stat then hopefully respond in a practical manner.

@Kitonum 

 

absolutely its never returned a true when the statement is in fact false, that would be much more of a nightmare, but usually returns the output FAIL in most of the ones that ive had an issue with. this case says false, and i just find it a odd seeings as i had assumed the 'is' function operated on the basis of checking a larger database kept on maple servers, ie the whole point of using the CAS i thought relied on the connection to a server with a higher processing power than a stock standard PC.

@Carl Love thanks this should make it easier ill take a look at what i was referring to anyway i uploaded a heap of examples to tech support before n well yep they just said its kernel code. but can they change the error message "wont showstat for in built functions" just so i feel extra comfortable about skynet enslaving us.

@Joe Riel 

the evalf.

@vv 

 

so the is function is more returning false because the lhs and rhs are procedurally different rather than algebraically?

 @vv right thans for that ive only started to study whittaker this month

@Carl Love  yes i want to help fix ambigious cases of evalf having some errors in some cases ive found, and considering how much algebraic and logic procs i would have missed in that showstat example you gave of the int(1/x^3),-1,1) its too much a disadvantage for me to be working blind you know what im saying.

thought it was great how "get" ,"nu","psi" pops right up in the tag list oh mercy im going to die laughing at this stuff

insert text for body

First 25 26 27 28 29 30 Page 27 of 30