↑↓ select↵ open⌫ change scopeOpen full search

PG.CENTER connects PostgreSQL documentation, reference, and ecosystem knowledge. Maintained by Pigsty.

Wiki / Operators

/(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

Full definition and evidence JSON

Definition sources

center · PostgreSQL 18 · 555610c24d53e4316da5b7d3fc25c279d96856d5e0e23ee308c328c5fa881d9f

Text language: en · 555610c24d53e4316da5b7d3fc25c279d96856d5e0e23ee308c328c5fa881d9f