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

Audit evidence

These references identify supplied project evidence related to the documented area. Test files indicate exercised scenarios; reports and source documents provide additional audit evidence. A listed item is not a claim that every related behavior is covered.

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