HomeCalculatorsMathTransformsInverse Z Calculator
Math calculator

Inverse Z Calculator

Evaluate causal inverse Z-transform table pairs at integer sample indices. Check formulas, ROC, numerical warnings, stem plots and reproducible share links.

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 · 3/3 declared partitions (z, inverse, invalid-domain) · Matrix
Known limitations
  • Core CVP does not include live graph, viewport, or pointer interaction.
Model
Inverse unilateral Z of a causal elementary pair, evaluated at integer n≥0, with an engine-linked stem figure of x[n].
Scope
Mode locked to inverse
Verification
Engine tested · Source checked · v1.0.5 · CVP VERIFIED · CVP protocol 1.0.0-proposed · Core assurance · all published modes· View Manifest · CVP overview · Specification
Versions
Calculation 1.0.5 · CVP protocol 1.0.0-proposed · Evidence 2026-10-28.metric-scope-v3
Verification revision
2026-10-28.metric-scope-v3 · 1/1 property · digest 8fac1edf05ef
Legacy regression
10/10 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 expected_values · O2 expected_values · 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 8/8 (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. Raw HTTP REST/JSON-RPC transport rejection 5/5; raw-number source and conflicting pins are transport-only checks, not engine/SSR input-source parity.
Supplemental domain review
Not performed
Named expert review
Not performed
CVP suite
656/656 golden · 2/2 CVP boundary · 22/22 invalid · 1/1 property · 2/2 metamorphic · 26/26 cross-interface · 5/5 CVP contract · Manifest
Evidence
3 legacy golden · 2 legacy boundary · legacy regression suite · 656/656 oracle-backed golden · 22/22 invalid · Artifact integrity PASS
This calculator CURRENT · Public schema 1.0.5 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.

GeometricZ^{-1}{z/(z−a)} = a^n
SineZ^{-1}{z sin(ω)/(z²−2z cos(ω)+1)} = sin(ω n)
iSame engine as /z-transform. Laplace and DFT are other capabilities. Forward Z lives on the hub.

How to use

1

Choose a pair and n≥0

geom uses a; sin/cos use ω. Default (1/2)^n at n=0 is 1.

2

Read x[n]

The selected x[n] formula is shown. Poles and ROC belong to the forward transform. The figure is a stem of x[n].

Example calculations

Common configurations with formula and result.

ϟ

(1/2)^n at n=0

f=geom, a=0.5, n=0

a^n
1
ϟ

Ramp at n=3

f=ramp, n=3

n
3

Inverse Z calculator specification

Version 1.0.5 · Engine tested

Calculation status

Review policy · Evidence

Definition
Inverse of the unilateral Z table of causal elementary pairs, evaluated at integer n≥0. This page is mode=inverse on math.transform.z. Not a second engine. Not residue contour inversion. Not Laplace. Not CAS.
What it calculates
Inverse unilateral Z of a causal elementary pair, evaluated at integer n≥0, with an engine-linked stem figure of x[n].
Inputs
  • f
  • n
  • a?
  • omega?
Outputs
  • value
  • f
  • roc
  • algorithm
Formula
table inverse of X(z)
Assumptions
  • Mode locked to inverse
  • Causal integer n≥0
  • The Result Card includes an engine-linked stem figure of x[n] (at most 16 indices, marker at the published n). Same table as REST/MCP.
  • Table of named pairs, not residue, not CAS
Units
  • dimensionless
Boundary conditions
  • n not an integer 0–64 → INVALID_INPUT
  • This entry locks mode=inverse; unknown pair → INVALID_MODE
Example
f=geom a=0.5 n=0 → 1
Validation cases

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

  • f=geom a=0.5 n=0 → 1
  • f=unsupported n=0 → INVALID_MODE
Sources
Calculation version
1.0.5

Background

Interpretation and common distinctions.

What does this inverse z calculator compute?

Inverse of the unilateral Z table of causal elementary pairs, evaluated at integer n≥0.

The published formula or method is table inverse of X(z). The following references support the stated mathematics or method:

  • MIT Signals and Systems — Lecture 22: The z-Transform: The z-transform, its relation to the discrete-time Fourier transform, inverse transform and region of convergence. A rational expression alone does not identify the time sequence without its ROC. Mathematical reference only; not validation or endorsement of this implementation.

Which inputs and limits should you check?

The table is unilateral and causal. Check the region of convergence and distinguish forward evaluation at z from an inverse sequence value at integer n.

The worked example uses f=geom, a=0.5, n=0 with a^n. Compare it with the Example calculations and the complete result for the same inputs.

How can you verify and cite this result?

CalculatorX is responsible for this page. The mathematical references above explain the model; implementation checks and their scope are documented separately in the math.transform.z v1.0.5 Evidence and capability contract. Read the displayed verification and production state together with the specification's numerical limits.

Use the clean calculator URL to cite the tool. A shared input link identifies a particular calculation. Content updates, numerical verification, and domain reviews have separate dates and scopes.

Numerical precision and input policy

These named table identities use approximate binary64 evaluation, published to 12 significant decimal digits. The independent reference fixture tolerance is 2e-11 relative for each nonzero scalar; mathematical zero is checked exactly. This is a tested fixture policy, not a uniform error proof. Inputs a and z are dimensionless real values; omega is angular frequency in radians per sample. Forward z may be positive or negative, with |z| strictly greater than the stated conservative ROC radius, including zero-sine or zero-amplitude cases. Inverse n is an integer from 0 to 64. This table uses u[0]=1 and a^0=1 including a=0; negative a alternates with integer parity.

Finite decimal numbers and decimal strings are accepted. Omitted mode and pair default to z and geom; a defaults to 0.5 and omega to 1. Blank optional a/omega fields use those defaults. The active z or n is required; blank inactive coordinates are omitted during normalization. Supplied nonblank n must always be an integer0–64. Aliases method/mode, pair/sequence/f and w/omega must agree. Null, arrays, booleans, hexadecimal values and unknown fields are rejected. A nonzero decimal input that would become zero is rejected as NUMERIC_UNDERFLOW before conversion. The inverse entry fixes mode=inverse even if a different mode is in the URL; other explicit aliases still must agree with that mode.

Near an ROC boundary, the distance to the pole and the frequency affect sensitivity. Trigonometric zeros and geometric scales can amplify input or evaluation error. Stable normalized quotients avoid many intermediate scale failures; inverse phase-product rounding and coarse subnormal quantization have explicit NUMERICAL_RANGE_ERROR refusals. Unrepresentable nonzero values are not silently published as zero. Host transcendental functions remain approximate; cross-runtime fixtures do not certify every input. The inverse ROC describes the forward pair. The forward graph samples one connected real ROC branch; inverse stems show a labeled window of at most16 indices around n, not a complete infinite sequence. Missing or unresolved samples are reported, while the scalar value remains separately available.

Sharing and privacy

Interactive calculations run locally in the browser. Share URLs send the included inputs to the server and may appear in logs; REST and MCP receive their request inputs. Browser calculation history may store results on this device. Log retention, processing region and deletion guarantees are not established by this calculator. A shared version parameter identifies the source calculation version; reopening evaluates with the current engine and does not supply a historical execution environment.

Frequently asked questions

Key distinctions behind the calculation.

Is this a second Z engine?

No. It is mode=inverse on math.transform.z, the same engine as /calc/math/z-transform.

Is this residue inversion?

No. Table inverse of the same causal pairs. Not a contour integral. Not a CAS.

Where does this run?

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