Topological operators

tpose {&&, <@, @>, ~=, -|-} tpose → boolean

SELECT tpose '[Pose(Point(1 1), 0.3)@2001-01-01, 
  Pose(Point(1 1), 0.5)@2001-01-02]' && pose 'Pose(Point(1 1), 0.5)'
-- true
SELECT tpose '[Pose(Point(1 1), 0.3)@2001-01-01, 
  Pose(Point(1 1), 0.5)@2001-01-02]' @> stbox(pose 'Pose(Point(1 1), 0.5)')
-- true
SELECT pose 'Pose(Point(1 1), 0.5)'::geometry <@
  tpose '[Pose(Point(1 1), 0.3)@2001-01-01, Pose(Point(1 1), 0.5)@2001-01-02]'
-- true
SELECT tpose '[Pose(Point(1 1), 0.3)@2001-01-01, 
  Pose(Point(1 1), 0.5)@2001-01-03]' ~= tpose '[Pose(Point(1 1), 0.3)@2001-01-01, 
  Pose(Point(1 1), 0.35)@2001-01-02, Pose(Point(1 1), 0.5)@2001-01-03]'
-- true

Position operators

tpose {<<, &<, >>, &>} tpose → boolean

tpose {<<|, &<|, |>>, |&>} tpose → boolean

tpose {<</, &</, />>, /&>} tpose → boolean

tpose {<<#, &<#, #>>, #&>} tpose → boolean

SELECT tpose '[Pose(Point(1 1), 0.3)@2001-01-01, 
  Pose(Point(1 1), 0.5)@2001-01-02]' << pose 'Pose(Point(1 1), 0.2)'
-- false
SELECT tpose '[Pose(Point(1 1), 0.3)@2001-01-01, 
  Pose(Point(1 1), 0.5)@2001-01-02]' <<| stbox(pose 'Pose(Point(1 1), 0.5)')
-- false
SELECT tpose '[Pose(Point(1 1), 0.3)@2001-01-01, 
  Pose(Point(1 1), 0.5)@2001-01-02]' &> pose 'Pose(Point(1 1), 0.3)'::geometry
-- true
SELECT tpose '[Pose(Point(1 1), 0.3)@2001-01-01, 
  Pose(Point(1 1), 0.5)@2001-01-02]' >>#
  tpose '[Pose(Point(1 1), 0.3)@2001-01-03, Pose(Point(1 1), 0.5)@2001-01-05]'
-- true