Improved error check for intrinsic procedures #1022
Description
Motivation
The current testing for the intrinsics sum and dot_product are overly loose. It would be better to have a more stringent testing approach.
A reference work that can be used to better test for the accuracy of these operations can be found here:
https://inria.hal.science/hal-00840926/document
and
https://www.tuhh.de/ti3/paper/rump/Ru11.pdf
Prior Art
No response
Additional Information
No response