LANGUAGE · VERIFIED

Geometry

Point

let p = point(1.5, 0.75);
let x = p.x;
let y = p.y;

Vector

let v = vector(2.0, 3.0);
let result = v * 2.0;

Angle

Angle arithmetic, comparison, and degree/radian conversion are verified in tests.

Operations

Point/vector arithmetic, distance, and tested mathematical functions are verified.

TRACEABILITY

Related Evidence

Evidence references

Open a published source test or inspect the evidence index for source and report summaries. A source file demonstrates a test scenario; it does not imply complete coverage of the related behavior.

tests/backend/point_complite.avs
tests/backend/vector_native.avs
tests/backend/point_minus_point.avs
tests/backend/angle_geometry_result.avs
tests/backend/angle_cross_unit_equivalence.avs

Browse the public evidence index →