complex and hypercomplex NaN coefficients

If we don't know about 'em, we can't fix 'em.

Re: complex and hypercomplex NaN coefficients

PostPosted by forummaster » Fri Mar 31, 2017 3:42 pm

drab wrote:It seems to me that ...

⊤ ∅

should be 0 (actually 0.0)

⊤ ∅J1
∅J0
⊤ 1J∅
0J∅
both should be 0J0 (actually 0.0J0.0)

Doesn't returning a result of 0.0 imply that the input value is a number, whereas it's not a number?
forummaster
 
Posts: 567
Joined: Wed Jan 23, 2013 1:00 pm

Re: complex and hypercomplex NaN coefficients

PostPosted by drab » Sat Apr 01, 2017 6:46 am

Well yes, but I usually think of type as "how is it stored?".
drab
 
Posts: 315
Joined: Thu Oct 09, 2014 6:23 am

Re: complex and hypercomplex NaN coefficients

PostPosted by forummaster » Sat Apr 01, 2017 4:33 pm

drab wrote:Well yes, but I usually think of type as "how is it stored?".

The actual meaning of the Type function is to return the Prototypical element of the argument recursing down to the leaves.

I see what you are saying in that 0≡↑0⍴∅.

I can be convinced. Does anyone else want to weigh in?
forummaster
 
Posts: 567
Joined: Wed Jan 23, 2013 1:00 pm

Re: complex and hypercomplex NaN coefficients

PostPosted by drab » Sun Apr 02, 2017 8:44 am

Yes. There are some other ways to get the "prototypical element", and they are already giving 0.
drab
 
Posts: 315
Joined: Thu Oct 09, 2014 6:23 am

Previous

Return to Bug Reports

Who is online

Users browsing this forum: No registered users and 2 guests

cron