Skip to content

State trgeometry as a reference geometry and a temporal pose in the type registry - #172

Merged
estebanzimanyi merged 1 commit into
MobilityDB:masterfrom
estebanzimanyi:docs/trgeometry-is-geometry-and-tpose
Oct 4, 2026
Merged

estebanzimanyi merged 1 commit into
MobilityDB:masterfrom
estebanzimanyi:docs/trgeometry-is-geometry-and-tpose

Conversation

@estebanzimanyi

Copy link
Copy Markdown
Member

The temporal role of the type registry names every temporal type whose instants store a value of
the base, the inverse of temptype_basetype in MEOS_RELTYPE_CATALOG: the instants of tgeompoint and
tgeometry store a geometry, and those of tpose and trgeometry a pose. A trgeometry is not
Temporal: it is the concatenation of a reference geometry and a temporal pose, each instant
storing the pose that places the geometry, so its value at an instant is a geometry while getValue
reads the stored pose. The module documentation, the comment beside the inversion and the
invariants of docs/cross-repo-handoff.md state the role and the type this way; the registry and
its consumers, the JMEOS object layer typing getValue over trgeometry as a pose among them, are
unchanged.

Witness: tests/test_typerelations.py passes its 7 tests over MobilityDB master f9c15d092a, the
one reading the live catalog included.

…ype registry

The temporal role of the type registry names every temporal type whose instants store a value of
the base, the inverse of temptype_basetype in MEOS_RELTYPE_CATALOG: the instants of tgeompoint and
tgeometry store a geometry, and those of tpose and trgeometry a pose. A trgeometry is not
Temporal<pose>: it is the concatenation of a reference geometry and a temporal pose, each instant
storing the pose that places the geometry, so its value at an instant is a geometry while getValue
reads the stored pose. The module documentation, the comment beside the inversion and the
invariants of docs/cross-repo-handoff.md state the role and the type this way; the registry and
its consumers, the JMEOS object layer typing getValue over trgeometry as a pose among them, are
unchanged.

Witness: tests/test_typerelations.py passes its 7 tests over MobilityDB master f9c15d092a, the
one reading the live catalog included.
@estebanzimanyi
estebanzimanyi merged commit 7b18948 into MobilityDB:master Oct 4, 2026
3 checks passed
@estebanzimanyi
estebanzimanyi deleted the docs/trgeometry-is-geometry-and-tpose branch October 4, 2026 11:13
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant