/(box,point)
divide box by point (scale)
Reading PG 18·Select a recorded version
- Left operand
- box
- Right operand
- point
- Result type
- box
- Implementing function
- box_div(box,point)
- Operator kind
- Binary
- Hash join candidate
- no
- Merge join candidate
- no
- aliases
- /, /(box,point)
- manual semantics
- Source catalog description; no additional matching manual operator definition claimed
- memberships
- Unknown
- signature
- /(box,point) → box
- source oid
- 807
Definition PG 18
divide box by point (scale)
Compare versions
Complete source facts
operator
{"commutator":"","function":"box_div(box,point)","hash_join":"f","kind":"b","left_type":"box","merge_join":"f","negator":"","result_type":"box","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