| # SYF Test Vectors | |
| All values assume exact arithmetic. | |
| ## Valid Cases | |
| ### Case 1 | |
| ``` | |
| F = 10 | |
| E = 1.0 | |
| K = 2 | |
| R = 5.0 | |
| ``` | |
| ### Case 2 | |
| ``` | |
| F = 0 | |
| E = 0.5 | |
| K = 1 | |
| R = 0.0 | |
| ``` | |
| ### Case 3 | |
| ``` | |
| F = 4 | |
| E = 0.25 | |
| K = 2 | |
| R = 0.5 | |
| ``` | |
| ## Invalid Cases | |
| - F < 0 | |
| - E < 0 or E > 1 | |
| - K <= 0 | |
| ## Note: Implementations should document numeric tolerance (if any). These vectors are chosen to be exactly representable in common binary floating-point formats. | |