(Free42) roundoff for complex SQRT

04032018, 01:28 PM
Post: #1




(Free42) roundoff for complex SQRT
Nitpicking, perhaps, but if the original 42S gets it right  then so should Free42 ;)
Try SQRT(a+ib) with a=0 and b/2 a perfect square eg. b=8 Free42 shows 2+i2, which SHOW reveals to be really 2+i(21E33). Almost any b you throw at it has a rounding error like that, in the real or complex part. The 12digit 42S gets the exact result  it must have special code for a=0, and return SQRT(ABS(b)/2)*(1+i*SIGN(b)) in that case  even when b/2 would underflow. Cheers, Werner 

04032018, 01:44 PM
Post: #2




RE: (Free42) roundoff for complex SQRT
(04032018 01:28 PM)Werner Wrote: The 12digit 42S gets the exact result  it must have special code for a=0, and return SQRT(ABS(b)/2)*(1+i*SIGN(b)) in that case  even when b/2 would underflow. It must have some kind of special code. I had the same artifacts and had to add special code in newRPL to detect tiny values in the imaginary part. If found, then the real part is tried by itself as a root, and if it satisfies the equation the real root is returned instead (sort of "snap" to the real axis). 

04032018, 01:48 PM
Post: #3




RE: (Free42) roundoff for complex SQRT
Yup, there's no special case for pure imaginary in SQRT. It looks like this fell between the cracks when I did the grand cleanup of purereal and pureimaginary complex transcendentals last year. Because SQRT is not a transcendental function, I guess.


04032018, 05:29 PM
Post: #4




RE: (Free42) roundoff for complex SQRT
Will this be corrected in Free42, and will that correction also make it to DM42 Firmware or are the days of the DM42 updates to the latest Free42 over now???


04032018, 05:43 PM
Post: #5




RE: (Free42) roundoff for complex SQRT
(04032018 05:29 PM)zeno333 Wrote: Will this be corrected in Free42, and will that correction also make it to DM42 Firmware or are the days of the DM42 updates to the latest Free42 over now??? 1. Sure!!! 2. They download the updates from my web site!!! Even if they continue to flout the GPL, I can't stop them from doing that!!! Although I would like to!!! Why are you using so many question marks??? 

04042018, 07:11 AM
Post: #6




RE: (Free42) roundoff for complex SQRT
This is the algorithm for complex square root as used in the 48G and up  it's probably the same as in the 42S:
Code: * Let R = SQRT(X^2+Y^2), A = SQRT((R+ABS(X))/2), B = Y/(2*A) So no exception needs to be made for X=0 to get exact results for Y/2 being a perfect square. BTW the 42S is bound to exhibit less roundoff errors (meaning, exact results where possible) as all functions are computed using higher internal precision  what Free42 does not do. But in this case, it can be avoided ;) Cheers, Werner 

04042018, 07:25 AM
Post: #7




RE: (Free42) roundoff for complex SQRT
If I'm going to check for Re(X)=0, cases where Im(X)/2 is a perfect square should return exact results, or at least no worse than SQRT for real arguments.
That 48G code doesn't check for purereal or pureimaginary arguments, but Free42 uses such checks in lots of places, for various reasons, so it doesn't bother me to add one to complex SQRT as well. 

04042018, 10:24 AM
Post: #8




RE: (Free42) roundoff for complex SQRT
I used the "Friden" algorithm for square root on the AriCalculator, and sqrt(z) = sqrt(.5(a+sqrt(a^2+b^2)) )+ sqrt(0.5(a+sqrt(a^2+b^2))). This gives exact results for 8i and other z I tried for which Re(z) = 0 and Im(z)/2 is a perfect square:
The second image shows the value of the real and imaginary parts of the square root in memory (2nd line from top). I know nothing about the 42S, but I know early HP calculators used the "Friden" algorithm for square root. Is it possible the 42S did too? Dan has left the building 

04042018, 03:03 PM
Post: #9




RE: (Free42) roundoff for complex SQRT
(04042018 10:24 AM)Dan Wrote: I used the "Friden" algorithm for square root on the AriCalculator, and sqrt(z) = sqrt(.5(a+sqrt(a^2+b^2)) )+ sqrt(0.5(a+sqrt(a^2+b^2))). This gives exact results for 8i and other z I tried for which Re(z) = 0 and Im(z)/2 is a perfect square This is what I used on newRPL too, but I'm probably going to change it to what Werner showed above for the 48, it saves one square root, so it's roughly 30% faster. 

04052018, 09:36 AM
Post: #10




RE: (Free42) roundoff for complex SQRT
That's really cool, thanks Claudio. I'll use the microcontroller's timer to compare performance and report the results.
Dan has left the building 

04092018, 08:22 PM
(This post was last modified: 04092018 08:27 PM by Dieter.)
Post: #11




RE: (Free42) roundoff for complex SQRT
(04032018 01:28 PM)Werner Wrote: Free42 shows 2+i2, which SHOW reveals to be really 2+i(21E33). I assume (!) that the reason why a physical 42s returns an exact result simply is its three guard digits: the function is calculated to 15 digits, and if this yields 2,00000000000012 + 1,99999999999996 i this does not become visible as it is rounded to 12 digits before it is returned to the user. I wonder if Free42 (or DM42) make use of such guard digits. Is it possible that here these calculations are performed with the same 34 digits that are finally returned? This would explain slight errors in the last digit. Or are there really some additional digits that would cover roundoff errors like the ones discussed here? Edit: I just noticed that the use of guard digits has already been mentioned in your later post. Dieter 

04102018, 07:14 AM
Post: #12




RE: (Free42) roundoff for complex SQRT
Sadly, the Intel decimal floatingpoint library does not provide an extended format beyond 34 digits (double), so in Free42 the last digit of transcendental functions may be off, complex operations may exhibit (more) roundoff and there is no gain to be had in matrix dot products.
Werner 

04102018, 08:11 AM
Post: #13




RE: (Free42) roundoff for complex SQRT
If there is a fused multiply add call in Intel's decimal library, then dot products can be made accurate. It is computationally expensive to do so but it's not too difficult.
Pauli 

04102018, 05:28 PM
Post: #14




RE: (Free42) roundoff for complex SQRT
(04102018 08:11 AM)Paul Dale Wrote: If there is a fused multiply add call in Intel's decimal library, then dot products can be made accurate. It is computationally expensive to do so but it's not too difficult. How would that work? (I'm not saying I'll do it, but I am curious. And the Intel library does have FMA.) 

04102018, 10:38 PM
Post: #15




RE: (Free42) roundoff for complex SQRT
I can't find the reference I was thinking of
I'll keep looking. Pauli 

04112018, 12:26 AM
(This post was last modified: 04112018 01:07 AM by BarryMead.)
Post: #16




RE: (Free42) roundoff for complex SQRT
(04102018 05:28 PM)Thomas Okken Wrote:I found an article that shows how to use fma to do dot product and explains why it is more accurate. The Intel Decimal 128 bit FMA has several internal calculations performed at 256 bit accuracy, this is how it can be(04102018 08:11 AM)Paul Dale Wrote: If there is a fused multiply add call in Intel's decimal library, then dot products can be made accurate. It is computationally expensive to do so but it's not too difficult. more accurate than separate multiply and add operations. https://www.quora.com/FloatingPointHow...computing Note, however, that the order of the parameters in this example are backwards from those of the Intel Decimal library's FMA: In this article the order is Parameter1 + (Parameter2 * Parameter3), whereas in the Intel Decimal FMA the order is (Parameter1 * Parameter2) + Parameter3. I don't know if this is helpful or even applicable to your Complex Square Root algorithm, but I thought you might find it worth a look. 

04112018, 01:09 AM
Post: #17




RE: (Free42) roundoff for complex SQRT
Thanks! And no, this has nothing to do with complex SQRT, other than that both are operations whose accuracy could be improved. This is all going on my list of things to look at during the next burst of activity, eventually leading to release 2.0.21.


04112018, 01:32 AM
Post: #18




RE: (Free42) roundoff for complex SQRT
I hate it when I can't find a reference.
The idea is to build a correctly rounded cross product from which a two dimensional dot product and complex multiplication can be done. I seem to remember it taking three FMA operations instead of two multiplications. FMA can also be useful for statistical accumulations and polynomial evaluations using Horner's method. I'm sure I'll remember eventually, Pauli 

04112018, 09:02 AM
(This post was last modified: 04112018 10:57 AM by Werner.)
Post: #19




RE: (Free42) roundoff for complex SQRT
Found this (see attachment).
Apparently performing the dot product as before, and carrying along a correction term that can be determined with the FMA (a bit like Kahan summation for sums), results in a dot product as accurate as if it were computed in double precision. Remark that the FMA is only used to determine the correction factor  when FMA's are used for the dot product itself it is much more costly. Also, in this case, the computational penalty is 63% for n=50, and apparently going down to 25% for large n. Keyword to google is 'compensated dot product FMA' Cheers, Werner 

05112018, 09:06 AM
Post: #20




RE: (Free42) roundoff for complex SQRT
(04042018 03:03 PM)Claudio L. Wrote:(04042018 10:24 AM)Dan Wrote: I used the "Friden" algorithm for square root on the AriCalculator, and sqrt(z) = sqrt(.5(a+sqrt(a^2+b^2)) )+ sqrt(0.5(a+sqrt(a^2+b^2))). This gives exact results for 8i and other z I tried for which Re(z) = 0 and Im(z)/2 is a perfect square Actually on my system it's slower (2  3 times), probably because I'm using a shift and add algorithm for division, so division is much slower than square root. Dan has left the building 

« Next Oldest  Next Newest »

User(s) browsing this thread: 1 Guest(s)