HomeCalculatorsMathTransformsInverse DFT Calculator
Math calculator

Inverse DFT Calculator

Inverse DFT x[n]=(1/N) Σ X[k] e^{2πi kn/N}, N≤64, Numpy backward. Same engine as Discrete Fourier Transform. Radix-2 FFT is on /fft. Not Laplace. Runs locally.

Instant result
Result
—

Enter values to calculate.

Inputs—
Mode—
Formula—
Trust summary CVP VERIFIED · CVP protocol 1.0.0-proposed · Core assurance · all published modes
Input interpretation
Enter values to calculate.
Result
—
Verified scope
all published modes
Assurance
Core
Declared partition coverage
PASS · 7/7 declared partitions (scaled-components, numerical-range, dft, idft, fft, ifft, invalid-domain) · Matrix
Known limitations
  • Core CVP does not include live graph, viewport, or pointer interaction.
Model
Numpy-backward inverse DFT of a length-N sequence, N≤64, with an engine-linked stem figure of |x[n]|.
Scope
Mode locked to idft
Verification
Engine tested · Specification checked · v1.2.1 · CVP VERIFIED · CVP protocol 1.0.0-proposed · Core assurance · all published modes· View Manifest · CVP overview · Specification
Versions
Calculation 1.2.1 · CVP protocol 1.0.0-proposed · Evidence 2026-10-09.dft-complete-json-mobile
Verification revision
2026-10-09.dft-complete-json-mobile · 1/1 property · digest 803f88691f89
Legacy regression
17/17 tests · Production surface contract 5/5
Trust layers
Verification VERIFIED · Production CURRENT · Overall CVP state: VERIFIED under CVP 1.0.0-proposed
Reference
O1 model · O2 expected_values · O2 numerical_behavior
Interfaces
PASS · UI (SSR) / REST / MCP — ui-ssr is query-result HTML, not a live browser session. Error-path engine·REST·MCP 2/2 (status, code, calculation_version). SSR compared on URL-canonical requested calculations; empty query is idle (not an error) and JSON-typed object/array inputs are REST/MCP-only.
Supplemental domain review
Not performed
Named expert review
Not performed
CVP suite
13/13 golden · 3/3 CVP boundary · 10/10 invalid · 1/1 property · 7/7 cross-interface · 5/5 CVP contract · Manifest
Specification basis
  • ISO 80000-2:2019 Quantities and units — Mathematics
Specification basis
Evidence
6 legacy golden · 3 legacy boundary · legacy regression suite · 13/13 oracle-backed golden · 10/10 invalid · Artifact integrity PASS
This calculator CURRENT · Public schema 1.2.1 matches · Semantic contract ✓ · Production attested · Public/cache ✓ · Origin ✓
Semantic contract
PASS
Full verification

Manifest identity, reference classes, interfaces, suite, and production records.

Formulas

Core equations used by this calculator.

Inverse DFTx[n] = (1/N) Σ_k X[k] e^{2πi kn/N}
DCX = [N, 0, …, 0] → x = [1, 1, …, 1]
iSame engine as /discrete-fourier-transform. The 1/N scale is here, not on the forward transform. Not a second engine. Radix-2 FFT is on /fft.

How to use

1

Enter X[k] as samples

Real list, optional im of the same length. N must be 1–64. Default 4,0,0,0.

2

Read x[n]

DC spectrum 4,0,0,0 inverts to 1,1,1,1. Round-trip with /dft recovers the sequence. The stem figure shows |x[n]| with the marker at n=0.

Example calculations

Common configurations with formula and result.

ϟ

Inverse DC

samples = 4,0,0,0

x = [1, 1, 1, 1]
1
ϟ

Inverse all-ones

samples = 1,1,1,1

x = [1, 0, 0, 0]
1

Inverse DFT calculator specification

Version 1.2.1 · Engine tested

Calculation status

Review policy · Evidence

Definition
The Numpy-backward inverse DFT is x[n]=(1/N) Σ_k X[k] e^{2πi kn/N}. This page is mode=idft on math.transform.dft. Direct O(N²), N≤64. Forward DFT lives on the sibling discovery URL. Not FFT. Not Laplace. Not CAS.
What it calculates
Numpy-backward inverse DFT of a length-N sequence, N≤64, with an engine-linked stem figure of |x[n]|.
Inputs
  • samples
  • im?
Outputs
  • n
  • re
  • im
  • mag
Formula
x[n] = (1/N) Σ_k X[k] e^{2πi kn/N}
Assumptions
  • Mode locked to idft
  • Direct O(N²), N≤64, Numpy backward 1/N
  • The Result Card includes an engine-linked stem figure of |x[n]| (marker is n=0 / published x[0]). Same mag as REST/MCP.
  • Not this page's FFT — radix-2 is on /fft
  • Not Laplace, not CAS
Units
  • dimensionless
Boundary conditions
  • empty samples → INVALID_INPUT
  • N > 64 → INVALID_INPUT
  • unknown mode → INVALID_MODE
Example
samples=4,0,0,0 → x=[1,1,1,1]
Validation cases

2 published on this page · 17/17 tests · Production surface contract 5/5 · View evidence

  • samples=4,0,0,0 → re=[1,1,1,1]
  • mode=laplace → INVALID_MODE
Specification basis
  • ISO 80000-2:2019 Quantities and units — Mathematics
Calculation version
1.2.1

Other calculators in this family: DFT Calculator, Discrete Fourier Transform Calculator, FFT Calculator, Inverse FFT Calculator, Inverse Laplace Calculator, Inverse Z Calculator, Laplace Transform Calculator, Z Transform Calculator . Explore all Transforms.

→ DFT Calculator Forward DFT X[k]=Σ x[n] e^{−2πi kn/N}, N≤64, unnormalized. Same engine as Discrete Fourier Transform. Radix-2 FFT is on /fft. Not inverse, not Laplace. Runs locally. › → Discrete Fourier Transform Calculator Direct DFT / IDFT and radix-2 FFT / IFFT of a length-N sequence, N≤64. FFT requires N=2^k. Numpy backward: unnormalized forward, 1/N inverse. Discovery /dft, /inverse-dft, /fft, /ifft. Not Laplace. Not CAS. Runs locally. › → FFT Calculator Radix-2 Cooley–Tukey FFT, N=2^k ≤64, unnormalized. Same engine as Discrete Fourier Transform. Numpy backward. Not a second DFT engine. Not CAS. Runs locally. › → Inverse FFT Calculator Radix-2 Cooley–Tukey inverse FFT, N=2^k ≤64, Numpy backward 1/N. Same engine as Discrete Fourier Transform. Not a second DFT engine. Not CAS. Runs locally. › → Inverse Laplace Calculator Inverse of the unilateral Laplace table: exp, sin, cos, step, ramp, t^n, damped sin/cos at t≥0. Same engine as Laplace Transform. Not Bromwich. Not Z. Not CAS. Runs locally. › → Inverse Z Calculator Inverse of the unilateral Z table: a^n, step, ramp, n a^n, sin, cos, damped sin/cos at integer n≥0. Same engine as Z Transform. Not residue. Not Laplace. Not CAS. Runs locally. › → Laplace Transform Calculator Unilateral Laplace table of causal elementary pairs: exp, sin, cos, step, ramp, t^n, damped sin/cos. Evaluate F(s) or f(t). Discovery /inverse-laplace. Not DFT. Not Z. Not CAS. Runs locally. › → Z Transform Calculator Unilateral Z table of causal elementary pairs: a^n, step, ramp, n a^n, sin, cos, damped sin/cos. Evaluate X(z) or x[n]. Discovery /inverse-z. Not DFT. Not Laplace. Not CAS. Runs locally. ›

Frequently asked questions

Key distinctions behind the calculation.

Is this a second DFT engine?

No. It is mode=idft on math.transform.dft, the same engine as /calc/math/discrete-fourier-transform.

Why 1/N here?

Numpy backward puts the 1/N scale on the inverse. The forward DFT on /dft is unnormalized.

Where does this run?

Locally in the browser by default. REST and MCP call the same discrete-fourier-transform engine.