Vektor Flow0.7.5 preview

0.7.5 website preview · Try the reviewed examples and explore the new site. Compiler release checks are still in progress. Release status

STANDARD LIBRARY / PACKAGED SOURCE

Choose a building block

Find module names, inspect their definitions and see which examples exercise them.

The archived source inventory contains 24 module namespaces and 5 support files. Its provenance identifies the 0.7.2 package; it is a source reference, not an exact inventory or API qualification of the selected 0.7.5 compiler. The e1121 browser record establishes only the checked example behavior. A listed definition is source evidence. Executed examples, compiler intrinsics and native host capabilities are distinguished below; module presence does not qualify every API.

24 groups
01.math / Elementary mathematicsExample + source

Use constants and scalar mathematical operations inside larger numerical functions. The runnable complex and angle examples cover specific calls; many familiar primitives are supplied by the compiler rather than implemented in this source file.

Support: Source + compiler intrinsics.

pietausincosexplnsqrtabstanseccotcscsinhcoshtanhlglg2logasinhacoshatanhatanatan2asinacosacotasecacscgammaerf

Angles and complex values

Loading compiler…
Console
Expected result · 0.7.5 preview
1
-1 + 1.2246467991473532e-16i

Source signatures and provenance
Read the packaged source. Listed intrinsics may be implemented by the compiler rather than in this file.
tan(value:num) -> num:
sec(value:num) -> num:
cot(value:num) -> num:
csc(value:num) -> num:
sinh(value:num) -> num:
cosh(value:num) -> num:
tanh(value:num) -> num:
lg(value:num) -> num:
lg2(value:num) -> num:
log(value:num, base:num) -> num:
asinh(value:num) -> num:
acosh(value:num) -> num:
atanh(value:num) -> num:
atan(value:num) -> num:
atan2(y:num, x:num) -> num:
asin(value:num) -> num:
acos(value:num) -> num:
acot(value:num) -> num:
asec(value:num) -> num:
acsc(value:num) -> num:
gamma(value:num) -> num:
erf(value:num) -> num:
Source SHA256: ca670afda7c9edc010ca25428f61f79c0fb45bdf5655a4a240d2162e744a2f3f
02.linalg / Matrices and linear systemsExample + source
Express matrix relationships and solve for unknown coefficients. The motion workflow uses a small linear solve to meet endpoint constraints. Other decompositions and diagnostics are listed as source APIs without a blanket numerical-accuracy claim.
Support: Source; solve example below.
dotcrossoutermatmultransposediagtracedeterminantsolveinverserrefranklucholeskyqreigensvdleast_squaresnull_spacesolution_spaceresidualcondition_numberrelative_residualverify_solution
Solve a two-variable system
Loading compiler…
Console
Expected result · 0.7.5 preview
[2, 1]

Source signatures and provenance
Read the packaged source. Listed intrinsics may be implemented by the compiler rather than in this file.
dot(left:[num:n], right:[num:n]) -> num:
dot(left:[expression:n], right:[expression:n]) -> expression:
cross(left:[num:3], right:[num:3]) -> [num:3]:
outer(left:[num:n], right:[num:m]):
matmul(left:[[num:k]:r], right:[[num:c]:k]) -> [[num:c]:r]:
transpose(matrix:[[num:c]:r]) -> [[num:r]:c]:
diag(values:[num:n]) -> [[num:n]:n]:
trace(matrix:[[num:n]:n]) -> num:
determinant(matrix:[[num:n]:n], tolerance:num=0.000000000001) -> num:
solve(matrix:[[num:n]:n], values:[num:n], tolerance:num=0.000000000001) -> [num:n]:
inverse(matrix:[[num:n]:n], tolerance:num=0.000000000001) -> [[num:n]:n]:
rref(matrix:[[num:c]:r], tolerance:num=0.000000000001) -> [[num:c]:r]:
rank(matrix:[[num:c]:r], tolerance:num=0.000000000001) -> int:
lu(matrix:[[num:n]:n], tolerance:num=0.000000000001):
cholesky(matrix:[[num:n]:n], tolerance:num=0.000000000001) -> [[num:n]:n]:
qr(matrix:[[num:c]:r], tolerance:num=0.000000000001) -> (q:[[num:c]:r],r:[[num:c]:c]):
eigen(
    matrix:[[num:n]:n],
    tolerance:num=0.000000000001,
    max_sweeps:num=64,
    verify_result:bit=true
) -> (
svd(
    matrix:[[num:c]:r],
    tolerance:num=0.000000000001,
    max_sweeps:num=64,
    verify_result:bit=true
) -> (
least_squares(
    matrix:[[num:c]:r],
    values:[num:r],
    tolerance:num=0.000000000001
) -> [num:c]:
null_space(
    matrix:[[num:c]:r],
    tolerance:num=0.000000000001
) -> (dimension:int,basis:[[num:c]:c]):
solution_space(
    matrix:[[num:c]:r],
    values:[num:r],
    tolerance:num=0.000000000001
) -> (
residual(
    matrix:[[num:c]:r],
    values:[num:c],
    targets:[num:r]
) -> [num:r]:
condition_number(
    matrix:[[num:n]:n],
    tolerance:num=0.000000000001
) -> num:
relative_residual(
    matrix:[[num:c]:r],
    values:[num:c],
    targets:[num:r]
) -> num:
verify_solution(
    matrix:[[num:n]:n],
    values:[num:n],
    targets:[num:n],
    tolerance:num=0.000000001,
    condition_limit:num=1000000000000
):
Source SHA256: 5dcd769b40b58738c68774defe032f068b1894b057cc523b4622f3357de9c866
03.stat / Summaries along an axisSource / scope
Reduce or compare numerical observations. The spectral workflow uses maximum and minimum inside an axis-aware function. Additional statistics remain subject to the signatures and target behavior of this preview.
Support: Source + intrinsics.
interpminmaxpercentilemedianiqrmodezscorenormalizecovariancecorrelationclampsign
Run the complete spectral analysis →
Source signatures and provenance
Read the packaged source. Listed intrinsics may be implemented by the compiler rather than in this file.
interp(values:[num:n], targets:[num:m]) -> [num:m]:
interp(values:[num:n], coordinates:[num:l], targets:[num:m]) -> [num:m]:
min(values:[num:n]) -> num:
max(values:[num:n]) -> num:
percentile(values:[num:n], p:num) -> num:
median(values:[num:n]) -> num:
iqr(values:[num:n]) -> num:
mode(values:[num:n]) -> num:
zscore(values:[num:n]) -> [num:n]:
normalize(values:[num:n]) -> [num:n]:
covariance(x:[num:n], y:[num:m], ddof:num=0) -> num:
correlation(x:[num:n], y:[num:m]) -> num:
clamp(value:num, lower:num, upper:num) -> num:
sign(value:num) -> num:
Source SHA256: a0d3b7c7af273ea8e3f633e9abd24dc6f0494933cd4c22a6c285272b00faf95b
04.units / Names for physical quantitiesExample + source
Import unit names and convert a quantity to a chosen scale. Unit compatibility belongs to the language's quantity model; this module supplies the catalog used by the conversion examples.
Support: Catalog; examples below.
mkmcmskgAKmolcdNPaJWraddeg.to(unit)
Physical quantities
Loading compiler…
Console
Expected result · 0.7.5 preview
2.3 m
230 cm
[100, 200, 300] cm

Unit-aware helpers
Unit-aware helpers
Loading compiler…
Console
Expected result · 0.7.5 preview
[100, 200, 300] cm
[1, 2, 3] m

Empty values and demand
Empty values and demand
Loading compiler…
Console
Expected result · 0.7.5 preview
[] cm
[200, 200] cm

Units and powers
Units and powers
Loading compiler…
Console
Expected result · 0.7.5 preview
9 m^2
3 m/s

Domains and physical dimensions
Domains and physical dimensions
Loading compiler…
Console
Expected result · 0.7.5 preview
18 m
12 m/s
4 m/s^2

Source signatures and provenance
Read the packaged source. Listed intrinsics may be implemented by the compiler rather than in this file.
This source contains declarations or aliases rather than standalone function signatures.
Source SHA256: c6eae08570c5fa77548d42c69ab590ebff3956aeb04d519980a225d2897819a5
05.ui / Build a view from coordinate dataExample + source
Create a viewport and add data layers with a consistent call pattern. The checked programs exercise add, push and show. The intended append and stacked-view workflow needs separate qualification; it is not inferred from those programs.
Support: Compiler intrinsic viewport API.
viewportviewport.add(…)viewport.add_camera(…)viewport.push()viewport.show()set_mode(mode)
Generated connected curve
Loading compiler…
Console
Shared geometry, multiple views
The same generated data, two coordinate views
Loading compiler…
Console
Source signatures and provenance
Read the packaged source. Listed intrinsics may be implemented by the compiler rather than in this file.
set_mode(mode:str):
Source SHA256: 1a71dc8e6b57885c8df654998c2be686a788ec5c47b4575d6b79cc2e9e2f30eb
06.concurrent / Coordinate messages and workersExample + source
Use queues and process handles when independent work must exchange events. The displayed examples cover queue/process and broadcast/shared operations in this browser package. These APIs do not promise automatic numerical parallelization.
Support: Compiler/runtime intrinsics.
process(worker, …)queue()broadcast()shared(value)process.join()process.kill()queue.put(value)queue.get()broadcast.subscribe()
Queue and process
Loading compiler…
Console
Expected result · 0.7.5 preview
42

Broadcast and shared values
Broadcast and shared values
Loading compiler…
Console
Expected result · 0.7.5 preview
ready
ready

Source signatures and provenance
Read the packaged source. Listed intrinsics may be implemented by the compiler rather than in this file.
This source contains declarations or aliases rather than standalone function signatures.
Source SHA256: 0309f6be8a254f1a9282f0ddab9edfdd5f76724bf5870f2bf815fd9883fea8f9
07.collections / Collection capabilitiesSource / scope
The packaged declaration names map, list and queue storage capabilities. It is an inventory of compiler-owned functionality, not evidence that every collection operation is available in the browser runner.
Support: Capability declaration.
maplistqueue
Source signatures and provenance
Read the packaged source. Listed intrinsics may be implemented by the compiler rather than in this file.
This source contains declarations or aliases rather than standalone function signatures.
Source SHA256: 57014c51de253c74998cdeb450771135d434c50e350d0555ebc032b61307a7a1
08.errors / Error values and categoriesSource / scope
Identify failures by error type and handle them with the language's matching forms. Error construction and unwinding depend on compiler support. The syntax reference contains the executable assertion and matching examples.
Support: Compiler intrinsic error types.
ErrorVektorFlowErrorLexErrorParseErrorEvalErrorAssertionErrorPythonErrorTypeErrorValueErrorKeyErrorIndexErrorFileNotFoundErrorRuntimeError
Run assertion and error examples →
Source signatures and provenance
Read the packaged source. Listed intrinsics may be implemented by the compiler rather than in this file.
This source contains declarations or aliases rather than standalone function signatures.
Source SHA256: 150851cae3b6b1f2fc275de0d8678435a2e765f6b8f085a2c76c06584b7a7345
09.random / Repeatable samplingSource / scope
Carry an explicit seed through uniform or normal sampling when reproducibility matters. Default seeding depends on the host clock. Source availability alone does not establish identical default sequences across targets.
Support: Source; host-dependent default seed.
nextclock_seeduniformnormal
Source signatures and provenance
Read the packaged source. Listed intrinsics may be implemented by the compiler rather than in this file.
next(seed:num) -> (value:num,seed:num):
clock_seed() -> num:
uniform(seed:num=clock_seed(), low:num=0, high:num=1) -> (value:num,seed:num):
uniform(seed:num=clock_seed(), low:num=0, high:num=1, shape:num) -> (value:[num],seed:num):
uniform(seed:num=clock_seed(), low:num=0, high:num=1, shape:(num,num)) -> (value:[[num]],seed:num):
normal(seed:num=clock_seed(), mean:num=0, variance:num=1) -> (value:num,seed:num):
Source SHA256: f1bf76f090e09c8858e45492f1f7f858a89d22dd08e559735bfb69278d4eabe5
10.regex / Pattern matching on bytesSource / scope
The package declares compiler-specialized pattern operations. Read the source restrictions before selecting a pattern: this preview does not establish unrestricted regular-expression compatibility across targets.
Support: Capability declaration; target-dependent.
matchgroups
Source signatures and provenance
Read the packaged source. Listed intrinsics may be implemented by the compiler rather than in this file.
This source contains declarations or aliases rather than standalone function signatures.
Source SHA256: 748c91c569cb4e0c19d253f8eba7b47b403353ab21fea9539bccf4b1a2b11df7
11.symbolic / Experimental expression toolsSource / scope
Inspect the packaged expression and transformation definitions here. The checked function-derivative examples are narrower than this API inventory. Full symbolic-domain use in the browser remains unqualified.
Support: Experimental; browser coverage unresolved.
symbol_namesymbol_is_constantsymbol_latexkatexsameconstantsincosloglnsqrtexpreal_partmagnitudeequationless_thanless_equalgreater_thangreater_equalnot_equalimpliespremiseconclusionderivativeprimepartialatwhereboundary_valueboundary_domainequivalentz_transformverify_z_transformz_transform_conditionverify_z_transform_conditiontransform_condition_counttransform_conditionz_transform_conditionsverify_z_transform_conditionsverify_inverse_z_transforminverse_z_transformlaplaceverify_laplacelaplace_conditionverify_laplace_conditionlaplace_conditionsverify_laplace_conditionsverify_inverse_laplaceinverse_laplaceverify_ode_solutionsolve_pdeverify_pde_solutionverify_heat_solutionsolve_recurrencefourierverify_fourierverify_inverse_fourierinverse_fourierfourier_realfourier_imaghaar_waveletverify_haar_waveletverify_inverse_haar_waveletinverse_haar_waveletsolution_countsolution_verifiedsolution_condition_countsolution_conditionsolution_is_branchedsolution_branch_countsolution_branchsolution_is_familysolution_family_dimensionsolution_particular_valuesolution_direction_valuesolution_valueasymptoticverify_asymptoticrootssolveverify_solutionspolynomialadd_termcoefficientdepends_onintegrateinspect_integrateintegdifferentiateinspect_differentiatederivdiffsolve_odelimitverify_limitevaluateverify_recurrenceexpandcollectinspect_simplifyevaluate_inspectionsimplifysubstituteterm_countseries_multiply
Source signatures and provenance
Read the packaged source. Listed intrinsics may be implemented by the compiler rather than in this file.
symbol_name(value:symbol) -> str:
symbol_is_constant(value:symbol) -> bit:
symbol_latex(value:symbol) -> str:
katex(value:expression) -> str:
same(left:expression, right:expression) -> bit:
constant(value:num) -> constant:
sin(value:expression) -> expression:
cos(value:expression) -> expression:
log(value:expression) -> expression:
ln(value:expression) -> expression:
sqrt(value:expression) -> expression:
exp(value:expression) -> expression:
real_part(value:expression) -> expression:
magnitude(value:expression) -> expression:
equation(left:expression, right:expression) -> relation:
equation(left:expression, right:num) -> relation:
equation(left:num, right:expression) -> relation:
less_than(left:expression, right:expression) -> relation:
less_equal(left:expression, right:expression) -> relation:
greater_than(left:expression, right:expression) -> relation:
greater_equal(left:expression, right:expression) -> relation:
not_equal(left:expression, right:expression) -> relation:
not_equal(left:expression, right:num) -> relation:
not_equal(left:num, right:expression) -> relation:
implies(left:proposition, right:proposition) -> proposition:
premise(value:proposition) -> proposition:
conclusion(value:proposition) -> proposition:
derivative(value:expression, variable:symbol) -> expression:
derivative(variable_name:chr, value:expression) -> expression:
prime(value:expression, order:num = 1) -> expression:
partial(value:expression, variable:symbol, order:num = 1) -> expression:
partial(variable_name:chr, value:expression, order:num = 1) -> expression:
at(value:expression, point:num) -> expression:
at(value:expression, argument:expression) -> expression:
at(value:expression, variable:symbol, point:num) -> expression:
at(variable_name:chr, value:expression, point:num) -> expression:
at(value:expression, arguments:[expression:n]) -> expression:
where(value_constraint:relation, domain_constraint:relation) -> relation:
boundary_value(boundary:relation) -> relation:
boundary_domain(boundary:relation) -> relation:
equivalent(left:expression, right:expression) -> bit:
z_transform(value:symbolic, index:symbolic, frequency:symbolic) -> symbolic:
verify_z_transform(
    candidate:symbolic,
    value:symbolic,
    index:symbolic,
    frequency:symbolic
) -> bit:
z_transform_condition(value:symbolic, index:symbolic, frequency:symbolic) -> relation:
verify_z_transform_condition(
    candidate:relation,
    value:symbolic,
    index:symbolic,
    frequency:symbolic
) -> bit:
transform_condition_count(conditions:[num]) -> num:
transform_condition(conditions:[num], index:num) -> symbolic:
z_transform_conditions(value:symbolic, index:symbolic, frequency:symbolic) -> [num]:
verify_z_transform_conditions(
    candidate:[num],
    value:symbolic,
    index:symbolic,
    frequency:symbolic
) -> bit:
verify_inverse_z_transform(
    candidate:symbolic,
    value:symbolic,
    frequency:symbolic,
    index:symbolic
) -> bit:
inverse_z_transform(value:symbolic, frequency:symbolic, index:symbolic) -> symbolic:
laplace(value:symbolic, time:symbolic, frequency:symbolic) -> symbolic:
verify_laplace(
    candidate:symbolic,
    value:symbolic,
    time:symbolic,
    frequency:symbolic
) -> bit:
laplace_condition(value:symbolic, time:symbolic, frequency:symbolic) -> relation:
verify_laplace_condition(
    candidate:relation,
    value:symbolic,
    time:symbolic,
    frequency:symbolic
) -> bit:
laplace_conditions(value:symbolic, time:symbolic, frequency:symbolic) -> [num]:
verify_laplace_conditions(
    candidate:[num],
    value:symbolic,
    time:symbolic,
    frequency:symbolic
) -> bit:
verify_inverse_laplace(
    candidate:symbolic,
    value:symbolic,
    frequency:symbolic,
    time:symbolic
) -> bit:
inverse_laplace(value:symbolic, frequency:symbolic, time:symbolic) -> symbolic:
verify_ode_solution(solution:symbolic, independent:symbolic, rate:num, initial:num) -> bit:
solve_pde(
    differential_equation:symbolic,
    initial_condition:symbolic,
    boundaries:[symbolic:n],
    dependent:symbolic,
    space:symbolic,
    time:symbolic
) -> symbolic:
verify_pde_solution(
    solution:symbolic,
    differential_equation:symbolic,
    initial_condition:symbolic,
    boundaries:[symbolic:n],
    dependent:symbolic,
    space:symbolic,
    time:symbolic
) -> bit:
verify_pde_solution(
    solution:symbolic,
    differential_equation:symbolic,
    boundaries:[symbolic:n],
    dependent:symbolic,
    variables:[symbolic:m]
) -> bit:
solve_pde(
    differential_equation:symbolic,
    boundaries:[symbolic:n],
    dependent:symbolic,
    variables:[symbolic:m]
) -> symbolic:
verify_heat_solution(solution:symbolic, space:symbolic, time:symbolic) -> bit:
solve_recurrence(multiplier:num, offset:num, initial:num, index:symbolic) -> symbolic:
fourier(value:symbolic, time:symbolic, frequency:symbolic) -> symbolic:
verify_fourier(candidate:symbolic, value:symbolic, time:symbolic, frequency:symbolic) -> bit:
verify_inverse_fourier(candidate:symbolic, value:symbolic, frequency:symbolic, time:symbolic) -> bit:
inverse_fourier(value:symbolic, frequency:symbolic, time:symbolic) -> symbolic:
fourier(values:[num:n]) -> [num]:
fourier_real(spectrum:[num], frequency:num) -> num:
fourier_imag(spectrum:[num], frequency:num) -> num:
verify_inverse_fourier(candidate:[num], spectrum:[num], tolerance:num) -> bit:
verify_inverse_fourier(candidate:[num], spectrum:[num]) -> bit:
inverse_fourier(spectrum:[num]) -> [num]:
haar_wavelet(value:symbolic, variable:symbolic, scale:num, shift:num) -> symbolic:
verify_haar_wavelet(candidate:symbolic, value:symbolic, variable:symbolic, scale:num, shift:num) -> bit:
haar_wavelet(values:[num:n]) -> [num]:
verify_inverse_haar_wavelet(
    candidate:[num],
    coefficients:[num],
    tolerance:num
) -> bit:
verify_inverse_haar_wavelet(candidate:[num], coefficients:[num]) -> bit:
inverse_haar_wavelet(coefficients:[num]) -> [num]:
solution_count(solutions:symbolic) -> num:
solution_verified(solutions:symbolic) -> bit:
solution_condition_count(solutions:symbolic) -> num:
solution_condition(solutions:symbolic, condition_index:num) -> relation:
solution_is_branched(solutions:symbolic) -> bit:
solution_branch_count(solutions:symbolic) -> num:
solution_branch(solutions:symbolic, branch_index:num) -> symbolic:
solution_is_family(solutions:symbolic) -> bit:
solution_family_dimension(solutions:symbolic) -> num:
solution_particular_value(solutions:symbolic, variable_index:num) -> symbolic:
solution_direction_value(solutions:symbolic, direction_index:num, variable_index:num) -> symbolic:
solution_value(solutions:symbolic, solution_index:num, variable_index:num = 0) -> symbolic:
asymptotic(value:symbolic, variable:symbolic) -> symbolic:
asymptotic(variable_name:chr, value:symbolic) -> symbolic:
verify_asymptotic(candidate:symbolic, value:symbolic, variable:symbolic) -> bit:
roots(equation_value:symbolic, variable:symbolic) -> {num}:
roots(variable_name:chr, equation_value:symbolic) -> {num}:
solve(equation_value:symbolic, variables:[symbolic:n]) -> symbolic:
verify_solutions(
    solutions:symbolic,
    equations:[symbolic:e],
    variables:[symbolic:v]
) -> bit:
solve(equations:[symbolic:e], variables:[symbolic:v]) -> symbolic:
polynomial(variable:symbolic, requested_capacity:num = 4096) -> symbolic:
polynomial(variable_name:chr, requested_capacity:num = 4096) -> symbolic:
add_term(value:symbolic, coefficient_value:num, exponent:num) -> symbolic:
coefficient(value:symbolic, exponents:[num]) -> num:
depends_on(value:symbolic, variable:symbolic) -> bit:
depends_on(variable_name:chr, value:symbolic) -> bit:
integrate(value:symbolic, variable:symbolic) -> symbolic:
inspect_integrate(value:symbolic, variable:symbolic) -> (source:symbolic,expression:symbolic,steps:[(ordinal:num,rule_id:str,status:str,input:symbolic,output:symbolic,assumption:(kind:str,operand:symbolic,scope:str),numerical_requirement:str,execution_authority:bit)],domain:(scope:str,execution_checked:bit),ordinal_scope:str,numerical_requirement:str,execution_authority:bit):
integrate(variable_name:chr, value:symbolic) -> symbolic:
integ(variable_name:chr, value:symbolic) -> symbolic:
integ(variable_names:[chr], value:symbolic) -> symbolic:
integ(axis:chr, values:[num:n], spacing:num = 1) -> num:
integ(axis:chr, values:[num:n], coordinates:[num:m]) -> num:
differentiate(value:symbolic, variable:symbolic, cache:bit = true) -> symbolic:
inspect_differentiate(value:symbolic, variable:symbolic, cache:bit = true) -> (source:symbolic,expression:symbolic,steps:[(ordinal:num,rule_id:str,status:str,input:symbolic,output:symbolic,assumption:(kind:str,operand:symbolic,scope:str),numerical_requirement:str,execution_authority:bit)],domain:(scope:str,execution_checked:bit),ordinal_scope:str,numerical_requirement:str,execution_authority:bit):
differentiate(variable_name:chr, value:symbolic, cache:bit = true) -> symbolic:
deriv(variable_name:chr, value:symbolic, cache:bit = true) -> symbolic:
deriv(axis:chr, values:[num:n], spacing:num = 1) -> [num:n]:
diff(value:symbolic, variable:symbolic, cache:bit = true) -> symbolic:
diff(variable_name:chr, value:symbolic, cache:bit = true) -> symbolic:
verify_ode_solution(
    solution:symbolic,
    differential_equation:symbolic,
    initial_condition:symbolic,
    dependent:symbolic,
    independent:symbolic,
    checks:num = 16
) -> bit:
solve_ode(
    differential_equation:symbolic,
    initial_condition:symbolic,
    dependent:symbolic,
    independent:symbolic
) -> symbolic:
verify_ode_solution(
    solution:symbolic,
    differential_equation:symbolic,
    conditions:[symbolic:n],
    dependent:symbolic,
    independent:symbolic,
    checks:num = 16
) -> bit:
solve_ode(
    differential_equation:symbolic,
    conditions:[symbolic:n],
    dependent:symbolic,
    independent:symbolic
) -> symbolic:
limit(value:symbolic, variable:symbolic, point:num, side:str) -> symbolic:
limit(variable_name:chr, value:symbolic, point:num, side:str) -> symbolic:
limit(value:symbolic, variable:symbolic, point:num) -> symbolic:
limit(variable_name:chr, value:symbolic, point:num) -> symbolic:
limit(value:symbolic, variable:symbolic, point:symbolic) -> symbolic:
limit(variable_name:chr, value:symbolic, point:symbolic) -> symbolic:
integ(variable_name:chr,
verify_limit(
    candidate:symbolic,
    value:symbolic,
    variable:symbolic,
    point:num,
    side:str = "both"
) -> bit:
verify_limit(
    candidate:symbolic,
    value:symbolic,
    variable:symbolic,
    point:symbolic
) -> bit:
evaluate(value:symbolic, variables:[num]) -> num:
verify_recurrence(
    solution:symbolic,
    index:symbolic,
    multiplier:num,
    offset:num,
    initial:num,
    checks:num = 16
) -> bit:
verify_recurrence(
    solution:symbolic,
    recurrence:symbolic,
    initial_condition:symbolic,
    dependent:symbolic,
    index:symbolic,
    checks:num = 16
) -> bit:
verify_recurrence(
    solution:symbolic,
    recurrence:symbolic,
    initial_conditions:[symbolic:2],
    dependent:symbolic,
    index:symbolic,
    checks:num = 16
) -> bit:
solve_recurrence(
    recurrence:symbolic,
    initial_condition:symbolic,
    dependent:symbolic,
    index:symbolic
) -> symbolic:
solve_recurrence(
    recurrence:symbolic,
    initial_conditions:[symbolic:2],
    dependent:symbolic,
    index:symbolic
) -> symbolic:
solve(
    relation:symbolic,
    conditions:[symbolic:1],
    dependent:symbolic,
    independent:symbolic
) -> symbolic:
solve(
    relation:symbolic,
    conditions:[symbolic:2],
    dependent:symbolic,
    independent:symbolic
) -> symbolic:
solve(
    relation:symbolic,
    conditions:[symbolic:n],
    dependent:symbolic,
    independent:[symbolic:m]
) -> symbolic:
expand(value:symbolic) -> symbolic:
collect(value:symbolic) -> symbolic:
inspect_simplify(value:symbolic) -> (source:symbolic,expression:symbolic,steps:[(ordinal:num,rule_id:str,status:str,input:symbolic,output:symbolic,assumption:(kind:str,operand:symbolic,scope:str),numerical_requirement:str,execution_authority:bit)],domain:(scope:str,execution_checked:bit),ordinal_scope:str,numerical_requirement:str,execution_authority:bit):
evaluate_inspection(view:(source:symbolic,expression:symbolic,steps:[(ordinal:num,rule_id:str,status:str,input:symbolic,output:symbolic,assumption:(kind:str,operand:symbolic,scope:str),numerical_requirement:str,execution_authority:bit)],domain:(scope:str,execution_checked:bit),ordinal_scope:str,numerical_requirement:str,execution_authority:bit), variables:[num]) -> num:
simplify(value:symbolic) -> symbolic:
substitute(value:symbolic, variable:symbolic, replacement:symbolic) -> symbolic:
substitute(value:symbolic, variable:symbolic, replacement:num) -> symbolic:
substitute(variable_name:chr, value:symbolic, replacement:symbolic) -> symbolic:
substitute(variable_name:chr, value:symbolic, replacement:num) -> symbolic:
term_count(value:symbolic) -> num:
series_multiply(left:[num], right:[num], order:num) -> [num]:
Source SHA256: 70ac20e278689da2a155213120a804ee5c5143ba51682f208a8f65dd74377175
12.physics / Physical-model sourceExample + source
The source groups rigid-body, mass-property and contact helpers. Small unit-aware examples exercise quantities and state expressions; they do not qualify a general-purpose physics solver or complete simulation pipeline.
Support: Source; broad runtime coverage unqualified.
rb_add3rb_sub3rb_scale3rb_dot3rb_cross3rb_mat3rb_identity3rb_scale_mat3rb_add_mat3rb_outer3rb_trace3rb_det3rb_inverse3rb_mat_vec3rb_absparallel_axis_shift3tetra_mass_properties3combine_mass_properties3rigid_state3force_at_point3step_rigid_body_momentum3vec2vec3add2add3sub2sub3scale2scale3dot2dot3cross3mat2mat3zero3x3identity3x3scale_mat3add_mat3neg_mat3mat_vec3mat_mul3diag_inv3skew3collision_body3collision_body_inverse3body_inv_mass3body_pp3body_pL3body_Lp3body_LL3collision_matrix3apply_collision_matrix3normal_restitution_impulse3abs_numclamp_nummax_numlength3unit_or_zero3project_normal3project_tangent3tangential_friction_impulse3normal_contact_impulse3rolling_resistance_impulse3spin_friction_impulse3coupled_contact_impulse3solid_contact_impulse3angular_damping3dice_texturerigid_materialdice_materialfelt_table_materialcontact_materialcopy_rigid_materialinfinite_plane3cube_inv_inertia3dice_body3dice_roll_initial_statefirst_plane_bounce3dice_transform_framedice_roll_path3settled_face_from_angular_velocity
Unit-aware state evolution
Loading compiler…
Console
Expected result · 0.7.5 preview
6 m
4 m/s

Motion fields
Motion fields
Loading compiler…
Console
Expected result · 0.7.5 preview
[[0, 2, 0], [1, 4, 0]] m
[[0, 1, 0], [0, 2, 0]] m/s

Source signatures and provenance
Read the packaged source. Listed intrinsics may be implemented by the compiler rather than in this file.
rb_add3(a:any, b:any):
rb_sub3(a:any, b:any):
rb_scale3(s:num, v:any):
rb_dot3(a:[num:3], b:[num:3]) -> num:
rb_cross3(a:[num:3], b:[num:3]) -> [num:3]:
rb_mat3(
    a00:num, a01:num, a02:num,
    a10:num, a11:num, a12:num,
    a20:num, a21:num, a22:num
):
rb_identity3():
rb_scale_mat3(s:num, A:any):
rb_add_mat3(A:any, B:any):
rb_outer3(a:[num:3], b:[num:3]) -> [[num:3]:3]:
rb_trace3(A:[[num:3]:3]) -> num:
rb_det3(A:[[num:3]:3]) -> num:
rb_inverse3(A:[[num:3]:3]) -> [[num:3]:3]:
rb_mat_vec3(A:[[num:3]:3], v:[num:3]) -> [num:3]:
rb_abs(x:num):
parallel_axis_shift3(mass:num, displacement:any):
tetra_mass_properties3(a:any, b:any, c:any, d:any, density:num):
combine_mass_properties3(a:any, b:any):
rigid_state3(position:[num:3], momentum:[num:3], angular_momentum:[num:3]):
force_at_point3(force:any, point:any, center_world:any):
step_rigid_body_momentum3(
    state:(position:[num:3], momentum:[num:3], angular_momentum:[num:3]),
    properties:(mass:num, inertia_tensor:[[num:3]:3]),
    dt:num,
    force:[num:3],
    torque:[num:3]
):
vec2(x:num, y:num):
vec3(x:num, y:num, z:num):
add2(a:any, b:any):
add3(a:any, b:any):
sub2(a:any, b:any):
sub3(a:any, b:any):
scale2(s:num, v:any):
scale3(s:num, v:any):
dot2(a:[num:2], b:[num:2]) -> num:
dot3(a:[num:3], b:[num:3]) -> num:
cross3(a:[num:3], b:[num:3]) -> [num:3]:
mat2(a00:num, a01:num, a10:num, a11:num):
mat3(
    a00:num, a01:num, a02:num,
    a10:num, a11:num, a12:num,
    a20:num, a21:num, a22:num
):
zero3x3():
identity3x3():
scale_mat3(s:num, A:any):
add_mat3(A:any, B:any):
neg_mat3(A:any):
mat_vec3(A:[[num:3]:3], v:[num:3]) -> [num:3]:
mat_mul3(A:[[num:3]:3], B:[[num:3]:3]) -> [[num:3]:3]:
diag_inv3(diagonal:any):
skew3(r:any):
collision_body3(mass:num, inv_inertia:[[num:3]:3], contact_offset:[num:3]):
collision_body_inverse3(inv_mass:num, inv_inertia:[[num:3]:3], contact_offset:[num:3]):
body_inv_mass3(body:any):
body_pp3(body:any):
body_pL3(body:any):
body_Lp3(body:any):
body_LL3(body:any):
collision_matrix3(body_a:any, body_b:any):
apply_collision_matrix3(matrix:any, linear_impulse:any, angular_impulse:any):
normal_restitution_impulse3(matrix:any, relative_velocity:any, normal:any, restitution:num):
abs_num(x:num):
clamp_num(x:num, lo:num, hi:num):
max_num(a:num, b:num):
length3(v:any):
unit_or_zero3(v:any):
project_normal3(v:any, normal:any):
project_tangent3(v:any, normal:any):
tangential_friction_impulse3(matrix:any, relative_velocity:any, normal:any, normal_impulse_magnitude:num, contact:any):
normal_contact_impulse3(matrix:any, relative_velocity:any, normal:any, contact:any):
rolling_resistance_impulse3(
    matrix:any,
    relative_angular_velocity:any,
    normal:any,
    normal_impulse_magnitude:num,
    contact_radius:num,
    contact:any
):
spin_friction_impulse3(
    matrix:any,
    relative_angular_velocity:any,
    normal:any,
    normal_impulse_magnitude:num,
    contact_radius:num,
    contact:any
):
coupled_contact_impulse3(
    matrix:any,
    relative_velocity:any,
    relative_angular_velocity:any,
    normal:any,
    tangent:any,
    rolling_axis:any,
    normal_impulse_magnitude:num,
    rolling_impulse_magnitude:num,
    contact_radius:num,
    contact:any
):
solid_contact_impulse3(
    matrix:any,
    relative_velocity:any,
    relative_angular_velocity:any,
    normal:any,
    tangent:any,
    rolling_axis:any,
    contact_radius:num,
    rolling_radius:num,
    contact:any
):
angular_damping3(angular_velocity:any, damping:num):
dice_texture():
rigid_material(
    name:str,
    density:num,
    e_n:num,
    e_t:num,
    mu_s:num,
    mu_d:num,
    mu_r:num
):
dice_material():
felt_table_material():
contact_material(a:any, b:any):
copy_rigid_material(value:any):
infinite_plane3(normal:[num:3], offset:num, source_material:any):
cube_inv_inertia3(mass:num, size:num):
dice_body3(
    size:num,
    mass:num,
    center:[num:3],
    linear_velocity:[num:3],
    angular_velocity:[num:3],
    source_material:any
):
dice_roll_initial_state(seed:num):
first_plane_bounce3(dice:any, plane:any, contact:any):
dice_transform_frame(center:any, rotation_degrees:any):
dice_roll_path3(dice:any, plane:any, contact:any):
settled_face_from_angular_velocity(angular_velocity:any):
Source SHA256: a311aa4c5a9295508cc0554616c380c2dac80a87f745f25788c3e30a653539c3
13.io / Native files and streamsSource / scope
Read and write through capabilities supplied by a native host. Website examples run in an isolated worker and have no native filesystem access. No HDF5 interface is supplied by this reference.
Support: Native host capability.
printeprintread_lineread_textwrite_textappend_textread_byteswrite_bytes
Source signatures and provenance
Read the packaged source. Listed intrinsics may be implemented by the compiler rather than in this file.
This source contains declarations or aliases rather than standalone function signatures.
Source SHA256: 0df4f64fa1597f619743fb0ff01105f59c1e7883e19bc095f00ba48e9a3e7d80
14.command / Native process executionSource / scope
Pass an executable and arguments to the host command interface. Shell execution is a separate explicit capability. These operations are outside the website runner's host environment.
Support: Native host capability.
runshell
Source signatures and provenance
Read the packaged source. Listed intrinsics may be implemented by the compiler rather than in this file.
run(program:str, args:any) -> (code:int,out:str,err:str):
shell(command:str) -> (code:int,out:str,err:str):
Source SHA256: 1d7b751e40daaf1689bb78dbac8fb593a998841e6b05de50e49130089ac63d34
15.system / Native host informationSource / scope
Query operating-system, architecture and environment information through a compatible native runtime. Browser isolation changes the available host capabilities.
Support: Native host capability.
osarchcpu_countcwdenv
Source signatures and provenance
Read the packaged source. Listed intrinsics may be implemented by the compiler rather than in this file.
os() -> str:
arch() -> str:
cpu_count() -> int:
cwd() -> str:
env(name:str) -> (found:bit,value:str):
Source SHA256: 5c676dc0a433d85cfbaa117b4572516457d8bec92d6cb0d5435f1279f1b89ed9
16.time / Clocks and formattingSource / scope
Access clocks and time formatting through a compatible target runtime. Blocking operations and clock sources require target-specific support; this inventory is not a portability guarantee.
Support: Target-dependent host capability.
wall_timemonotonicsleeptime_stampformat_timecurrent_time
Source signatures and provenance
Read the packaged source. Listed intrinsics may be implemented by the compiler rather than in this file.
wall_time() -> num:
monotonic() -> num:
sleep(seconds:num):
time_stamp() -> str:
format_time(seconds:num, fmt:str="%Y-%m-%d %H:%M:%S", utc:bit=false) -> str:
current_time(fmt:str="%Y-%m-%d %H:%M:%S", utc:bit=false) -> str:
Source SHA256: 5f0f6f742cf1a585323e5e562dcf8d99b06164ae3c8d2790c9aefcce77b3c9bc
17.ui.colormaps / Palette selectorsSource / scope
Select a palette and color coordinate for a viewport layer. The source documents normalization, alpha and axis conventions. A selector name in this list is not an independently executed example.
Support: Compiler selector namespace.
viridis_iplasma_iinferno_imagma_icividis_iturbo_iSpectral_itwilight_itab20_iterrain_ialpha_jet_ijalpha_tab20_qi
Source signatures and provenance
Read the packaged source. Listed intrinsics may be implemented by the compiler rather than in this file.
This source contains declarations or aliases rather than standalone function signatures.
Source SHA256: 1b990601fb9c33eb64c0c72017dcdc0f930ad8d83dbc881566d263d573577c82
18.units.si / SI base catalogSource / scope
This source defines the coherent SI catalog behind the higher-level unit import. Quantity lowering and prefixes are handled with the compiler's unit semantics.
Support: Catalog source.
Source signatures and provenance
Read the packaged source. Listed intrinsics may be implemented by the compiler rather than in this file.
This source contains declarations or aliases rather than standalone function signatures.
Source SHA256: 36a2ce04f5ebff724d5c75a330f7eb42a5d816749557fb9f8b6668a60fd928c1
19.physics.units / Quantity import aliasSource / scope
An existing physics-oriented import path exposes the unit catalog. New analyses can use the direct .units namespace when a physics-specific alias is unnecessary.
Support: Catalog alias.
Source signatures and provenance
Read the packaged source. Listed intrinsics may be implemented by the compiler rather than in this file.
This source contains declarations or aliases rather than standalone function signatures.
Source SHA256: 79039b8d5f00479b1682532f0739d2132694895334dc983b0b6fd524645b2cf2
20.physics.units.si / SI import aliasSource / scope
This compatibility path points at coherent SI definitions used by physical-model source. It does not introduce another unit system.
Support: Catalog alias.
Source signatures and provenance
Read the packaged source. Listed intrinsics may be implemented by the compiler rather than in this file.
This source contains declarations or aliases rather than standalone function signatures.
Source SHA256: d209486b3645d3faf1ed499356cda2fb268c28c813a100c9d17821f78b5f1f05
21.physics.preparation / Tetrahedral preparationSource / scope
Experimental preparation and finite-value checks for tetrahedral data. No complete model acceptance is implied by these source definitions.
Support: Experimental source.
finiteprepare_tetrahedron
Source signatures and provenance
Read the packaged source. Listed intrinsics may be implemented by the compiler rather than in this file.
finite(x:num): (x=x) /\ ((abs(x)-abs(x))=0) /\ ((x=abs(x)) \/ (x=0-abs(x)))
prepare_tetrahedron(a:[quantity<1,0,0,0,0,0,0>:3],b:[quantity<1,0,0,0,0,0,0>:3],c:[quantity<1,0,0,0,0,0,0>:3],d:[quantity<1,0,0,0,0,0,0>:3],authoredmass:quantity<0,1,0,0,0,0,0>):
Source SHA256: 02b008fb837933f2a975847fc26e63753988bdec27e7b7004af40f517d4696a8
22.physics.convex_preparation / Convex-shape preparationSource / scope
Experimental validation of vertices, edges and faces before physical preparation. Runtime support and accepted geometry need independent checks.
Support: Experimental source.
vertexvalidate_vertexvalidate_edgevalidate_face_indicesvalidate_facepart_for_faceprepare_convex_si
Source signatures and provenance
Read the packaged source. Listed intrinsics may be implemented by the compiler rather than in this file.
vertex(points:[[num:3]:n],index:int):
validate_vertex(points:[[num:3]:n],faces:[[int:3]:nf],i:int):
validate_edge(faces:[[int:3]:nf],u:int,w:int):
validate_face_indices(count:int,face:[int:3]):
validate_face(points:[[num:3]:n],faces:[[int:3]:nf],i:int,origin:[num:3]):
part_for_face(points:[[num:3]:n],faces:[[int:3]:nf],origin:[num:3],i:int):
prepare_convex_si(points:[[num:3]:n],faces:[[int:3]:nf],massvalue:num,mu_s:num,mu_d:num,restitution:num):
Source SHA256: 69145d0db315e3d97aff50077fedf7c879be1cdb093b63a7aa3b6a9fbf08ae00
23.physics.rigid / Rigid-state preparationSource / scope
Experimental state-preparation and stepping definitions. The website's quantity examples are not a qualification of a complete rigid-body runtime.
Support: Experimental source.
prepare_sistepprepare
Source signatures and provenance
Read the packaged source. Listed intrinsics may be implemented by the compiler rather than in this file.
prepare_si(points:[[P:3]:nv],faces:[[Q:3]:nf],massvalue:M,friction:Y,restitution:R,position:[X:3],orientation:[O:4],velocity:[D:3],omega:[U:3],gravity:[G:3]):
step(state:(backing:(definition:(geometry:(mass:num,volume:num,center_of_mass:[num:3],inertia_tensor:[[num:3]:3],geometry:(vertices:[[num:3]:nv],faces:[[int:3]:nf]),material:(mu_s:num,mu_d:num,restitution:num)),initial:(position:[num:3],orientation:[num:4],velocity:[num:3],omega:[num:3]),gravity:[num:3]),history:list<num>,snapshot:[num:14]),time:quantity<0,0,1,0,0,0,0>,position:[quantity<1,0,0,0,0,0,0>:3],orientation:[num:4],velocity:[quantity<1,0,-1,0,0,0,0>:3],omega:[quantity<0,0,-1,0,0,0,0>:3]),duration:quantity<0,0,1,0,0,0,0>):
prepare(points:[[quantity<1,0,0,0,0,0,0>:3]:nv],faces:[[Q:3]:nf],massvalue:quantity<0,1,0,0,0,0,0>,friction:Y,restitution:R,position:[quantity<1,0,0,0,0,0,0>:3],orientation:[O:4],velocity:[quantity<1,0,-1,0,0,0,0>:3],omega:[quantity<0,0,-1,0,0,0,0>:3],gravity:[quantity<1,0,-2,0,0,0,0>:3]):
Source SHA256: 44ba578abc45acbcca83f94487878d212542648e50bf951261d281c54f01d03c
24.physics.supported_contact / Supported-body contactSource / scope
Experimental contact and advancement helpers for supported bodies. Their source signatures are available for inspection; target behavior is not broadly qualified here.
Support: Experimental source.
supported_signsupported_finitesupported_maxsupported_minsupported_candidatesupported_countsupported_contact_siadvance
Source signatures and provenance
Read the packaged source. Listed intrinsics may be implemented by the compiler rather than in this file.
supported_sign(x:num):
supported_finite(x:num): (x=x) /\ ((abs(x)-abs(x))=0) /\ ((x=abs(x)) \/ (x=0-abs(x)))
supported_max(a:num,b:num):
supported_min(a:num,b:num):
supported_candidate(active:bit,value:num,index:int):
supported_count(active:bit):
supported_contact_si(mass:num,inertia:num,radius:num,normal_load:num,drive:num,velocity:num,omega:num,spin0:num,duration:num,mu_s:num,mu_d:num,mu_r:num,rolling_length:num,mu_n:num,spin_length:num):
advance(mass,inertia,radius,normal_load,drive,v,omega,spin,dt,mu_s,mu_d,mu_r,rolling_length,mu_n,spin_length):
Source SHA256: 9005c4186c9896fecee7dfcfe645c019048ae4d741486e8c593796e43bef6a05
Packaged support files
These files accompany the library package. They are not additional independently qualified public APIs.
Exact module inventory and artifact provenance