/(point,point)
divide points (scale/rotate)
Reading PG 18·Select a recorded version
- Left operand
- point
- Right operand
- point
- Result type
- point
- Implementing function
- point_div(point,point)
- Operator kind
- Binary
- Hash join candidate
- no
- Merge join candidate
- no
- aliases
- /, /(point,point)
- manual semantics
- Source catalog description; no additional matching manual operator definition claimed
- memberships
- Unknown
- signature
- /(point,point) → point
- source oid
- 734
Definition PG 18
divide points (scale/rotate)
Compare versions
Complete source facts
operator
{"commutator":"","function":"point_div(point,point)","hash_join":"f","kind":"b","left_type":"point","merge_join":"f","negator":"","result_type":"point","right_type":"point","symbol":"/"}Source references
- Matching PostgreSQL source archive
- PostgreSQL 18 English manual: catalog-pg-operator.html
- PostgreSQL 18 English manual: catalog-pg-amop.html
- Pinned PostgreSQL source archive
Full definition and evidence JSON
Definition sources
center · PostgreSQL 18 · 555610c24d53e4316da5b7d3fc25c279d96856d5e0e23ee308c328c5fa881d9f
Text language: en · 555610c24d53e4316da5b7d3fc25c279d96856d5e0e23ee308c328c5fa881d9f