Wiki / Operators

divide (rotate/scale path)

Left operand

path

Right operand

point

Result type

path

Implementing function

path_div_pt(path,point)

Operator kind

Binary

Hash join candidate

no

Merge join candidate

no

aliases

/, /(path,point)

manual semantics

Source catalog description; no additional matching manual operator definition claimed

memberships

Unknown

signature

/(path,point) → path

source oid

739

{"commutator":"","function":"path_div_pt(path,point)","hash_join":"f","kind":"b","left_type":"path","merge_join":"f","negator":"","result_type":"path","right_type":"point","symbol":"/"}