File: tcheckinfnorm.reference

package info (click to toggle)
sollya 8.0%2Bds-3
  • links: PTS, VCS
  • area: main
  • in suites: forky, sid, trixie
  • size: 17,592 kB
  • sloc: ansic: 124,655; yacc: 7,543; lex: 2,440; makefile: 888; cpp: 77
file content (7 lines) | stat: -rw-r--r-- 1,232 bytes parent folder | download | duplicates (2)
1
2
3
4
5
6
7
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
Unexpected warning 478.
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
Unexpected warning 478.
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