Skip to main content

Astronomy operators

8 operators in the astronomy category of the live registry. Compose them in a contract or call POST /api/zeq/compute — KO42 is always on, plus up to three more per call.

How it computes: dedicated closed-form solver solveASTRON — real equations over CODATA-2018 constants; where an operator needs a series/matrix/field a scalar cannot express, it refuses honestly. See the solvers.

OperatorDescriptionEquation
BLACK_HOLE_MASSBlack hole mass from event horizon (Schwarzschild 1916): M = r_s * c^2 / (2G), derived from the Schwarzschild metric.M = \frac{r_s c^2}{2G}
EXOPLANET_TRANSITTransit depth: delta = (R_p / R_*)^2, fractional stellar flux decrease during exoplanet transit photometry.\delta = \left(\frac{R_p}{R_*}\right)^2
GW_STRAINGravitational wave strain (Einstein 1916, LIGO 2015): h = 4GM/(c^2 * r) * (v/c)^2, linearized metric perturbation from accelerating masses.h = \frac{4GM}{c^2 r}\frac{v^2}{c^2}
HUBBLE_LAWHubble's law (1929): recession velocity v = H_0 * d, establishing the expansion of the universe.v = H_0 \times d
KEPLER_THIRDKepler's third law (1619): T^2 = 4pi^2a^3 / (G*M), relating orbital period to semi-major axis.T^2 = \frac{4\pi^2}{GM}a^3
REDSHIFTCosmological redshift: z = (lambda_obs - lambda_emit) / lambda_emit, standard wavelength-shift measure of cosmic expansion.z = \frac{\lambda_{obs} - \lambda_{emit}}{\lambda_{emit}}
STELLAR_EVOLUTIONStellar luminosity via Stefan-Boltzmann law (Stefan 1879, Boltzmann 1884): L = 4piR^2sigmaT^4.L = 4\pi R^2 \sigma T^4
STELLAR_MASSMass-luminosity relation (Eddington 1924): L proportional to M^3.5, linking stellar mass to luminosity on the main sequence.L \propto M^{3.5}

Compute one — a real call​

curl -sS -X POST https://zeqsdk.com/api/zeq/compute \
  -H "Authorization: Bearer $ZEQ_KEY" \
  -H "Content-Type: application/json" \
  -d '{"operators":["KEPLER_THIRD"],"inputs":{"a":149600000000,"M":1.989e+30}}'

Returns 3.156e7 s (≈1 year) — with unit, uncertainty, the generated master equation, and a signed envelope you can verify.

See also​