		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))