File: tcheckinfnorm.reference

package info (click to toggle)
sollya 7.0%2Bds-3
  • links: PTS, VCS
  • area: main
  • in suites: bullseye, buster
  • size: 13,864 kB
  • sloc: ansic: 117,441; yacc: 8,822; lex: 2,419; makefile: 870; cpp: 76
file content (5 lines) | stat: -rw-r--r-- 1,184 bytes parent folder | download | duplicates (2) 
1
2
3
4
5
 
checkinfnorm(sin(_x_), [0;1.75], 1) = true - expecting true
checkinfnorm(sin(_x_), [0;1.75], 0.5) = false - expecting false
checkinfnorm(sin(_x_), [0;0.51282051282051282051282051282051282051282051282052], 0.5) = true - expecting true
checkinfnorm(1.00004475029055070643077052482053398765426158966754 + _x_ * (1.00003834652983970735244541124504033817544233075356 + _x_ * (0.49919698262882986492168824494240374771969012861298 + _x_ * (0.1664246560751551944159205973227273809322796029092 + _x_ * (4.3793696387328047027125756620718349665957546423649e-2 + _x_ * 8.7381910388065551140158420278330960479960476713376e-3)))) - exp(_x_), [-1;1], 4.520552104382625788563757049984107687509852205733e-5) = false - expecting false
checkinfnorm(1.00004475029055070643077052482053398765426158966754 + _x_ * (1.00003834652983970735244541124504033817544233075356 + _x_ * (0.49919698262882986492168824494240374771969012861298 + _x_ * (0.1664246560751551944159205973227273809322796029092 + _x_ * (4.3793696387328047027125756620718349665957546423649e-2 + _x_ * 8.7381910388065551140158420278330960479960476713376e-3)))) - exp(_x_), [-1;1], 4.5205522837932221591472625732421875e-5) = true - expecting true