		Search-engine friendly clone of the ACL2 documentation.

Sin-cos

Truncated-integer-sin/cos-table

Create a scaled, truncated integer sin/cos table from 0 to 2*\pi.

This function creates a table of approximations to

sin[cos]( (2 \pi i)/n ) * scale

For i = 0,...,n-1. The result is an alist binding i to sin[cos](i).

Arguments:

sin/cos -- :SIN or :COS.
n -- Total number of table entries
pie -- An approximation to \pi sufficiently accurate for the user's purposes.
itr -- Required number of iterations of FAST-COMPUTE-SIN[COS] sufficient for user's accuracy.
scale -- Scale factor.

Definitions and Theorems

Function: truncated-integer-sin/cos-table

(defun truncated-integer-sin/cos-table (sin/cos n pie itr scale)
  (declare
       (xargs :guard (and (or (eq sin/cos :sin) (eq sin/cos :cos))
                          (integerp n)
                          (<= 0 n)
                          (rationalp pie)
                          (integerp itr)
                          (<= 0 itr)
                          (rationalp scale))))
  (truncated-integer-sin/cos-table-fn sin/cos 0 n pie itr scale))