{"Entry":{"collection":"operator","key":"op-3c3d-circle-circle","name":"\u003c=(circle,circle)","aliases":["\u003c=","\u003c=(circle,circle)"],"metadata":{"aliases":["\u003c=","\u003c=(circle,circle)"],"category":"Geometric","content_hash":"a6c5590406ba7145020534411fbc2f7c3d7f816dc15b8c8cf098d5eb4d01efc9","imported_at":"2026-09-30T00:40:41.781131+08:00","name":"\u003c=(circle,circle)","name_zh":"","slug":"op-3c3d-circle-circle","summary":"less than or equal by area"}},"Definition":{"Collection":"operator","Key":"op-3c3d-circle-circle","SourceDatabase":"center","Version":"18","SourceTable":"pg_operator_entry","SourceKey":"op-3c3d-circle-circle","SourceRevision":"555610c24d53e4316da5b7d3fc25c279d96856d5e0e23ee308c328c5fa881d9f","Facts":{"aliases":["\u003c=","\u003c=(circle,circle)"],"comparison_data":{"memberships":[],"operator":{"commutator":"\u003e=(circle,circle)","function":"circle_le(circle,circle)","hash_join":"f","kind":"b","left_type":"circle","merge_join":"f","negator":"\u003e(circle,circle)","result_type":"bool","right_type":"circle","symbol":"\u003c="}},"comparison_hash":"a939f89f03fac832e57ff8e13a859fd65af46f678e74cf2aed38d971d17d2158","description":["less than or equal by area"],"facts":[{"label":"Left operand","value":"circle"},{"label":"Right operand","value":"circle"},{"label":"Result type","value":"bool"},{"label":"Implementing function","value":"circle_le(circle,circle)"},{"label":"Operator kind","value":"Binary"},{"label":"Hash join candidate","value":"no"},{"label":"Merge join candidate","value":"no"}],"manual_semantics":"Source catalog description; no additional matching manual operator definition claimed","memberships":[],"operator":{"commutator":"\u003e=(circle,circle)","function":"circle_le(circle,circle)","hash_join":"f","kind":"b","left_type":"circle","merge_join":"f","negator":"\u003e(circle,circle)","result_type":"bool","right_type":"circle","symbol":"\u003c="},"related":[{"label":"circle data type","url":"/wiki/type/circle/?v=18"},{"label":"bool data type","url":"/wiki/type/bool/?v=18"},{"label":"Commutator: \u003e=(circle,circle)","url":"/wiki/operator/op-3e3d-circle-circle/?v=18"},{"label":"Negator: \u003e(circle,circle)","url":"/wiki/operator/op-3e-circle-circle/?v=18"}],"release":{"catalog_fingerprint":"deec62e0f0c649d9d0d058ddd0b16bf41afffd569c3fd73949ff0971ce5cabd6","channel":"stable","label":"18.6","major":"18","manual_fingerprint":"fefce9e478eb2afe5e17e869492bbedc67dce23d317f0a5257240113d6496ebc","ref":"https://ftp.postgresql.org/pub/source/v18.6/postgresql-18.6.tar.bz2","revision":"555610c24d53e4316da5b7d3fc25c279d96856d5e0e23ee308c328c5fa881d9f","source_sha256":"555610c24d53e4316da5b7d3fc25c279d96856d5e0e23ee308c328c5fa881d9f"},"sections":[{"paragraphs":["The catalog pg_operator stores information about operators. See CREATE OPERATOR and Section 36.14 for more information."],"title":"Catalog interpretation"}],"signature":"\u003c=(circle,circle) → bool","source_oid":"1504","sources":[{"label":"Matching PostgreSQL source archive","sha256":"555610c24d53e4316da5b7d3fc25c279d96856d5e0e23ee308c328c5fa881d9f","url":"https://ftp.postgresql.org/pub/source/v18.6/postgresql-18.6.tar.bz2"},{"label":"PostgreSQL 18 English manual: catalog-pg-operator.html","path":"catalog-pg-operator.html","sha256":"e0b1817914e5e8f9037955cd41e9a43584e9227fcc115784898ecdd9a6c0ecd6","url":"/docs/18/catalog-pg-operator.html"},{"label":"PostgreSQL 18 English manual: catalog-pg-amop.html","path":"catalog-pg-amop.html","sha256":"e65b90ee78eaf4b4da97ce5b08b972cee2e2660b882ec107be22eca47201f7d1","url":"/docs/18/catalog-pg-amop.html"}],"tables":[]},"ManualEvidence":{"release":{"catalog_fingerprint":"deec62e0f0c649d9d0d058ddd0b16bf41afffd569c3fd73949ff0971ce5cabd6","channel":"stable","label":"18.6","major":"18","manual_fingerprint":"fefce9e478eb2afe5e17e869492bbedc67dce23d317f0a5257240113d6496ebc","ref":"https://ftp.postgresql.org/pub/source/v18.6/postgresql-18.6.tar.bz2","revision":"555610c24d53e4316da5b7d3fc25c279d96856d5e0e23ee308c328c5fa881d9f","source_sha256":"555610c24d53e4316da5b7d3fc25c279d96856d5e0e23ee308c328c5fa881d9f"},"sources":[{"label":"Matching PostgreSQL source archive","sha256":"555610c24d53e4316da5b7d3fc25c279d96856d5e0e23ee308c328c5fa881d9f","url":"https://ftp.postgresql.org/pub/source/v18.6/postgresql-18.6.tar.bz2"},{"label":"PostgreSQL 18 English manual: catalog-pg-operator.html","path":"catalog-pg-operator.html","sha256":"e0b1817914e5e8f9037955cd41e9a43584e9227fcc115784898ecdd9a6c0ecd6","url":"/docs/18/catalog-pg-operator.html"},{"label":"PostgreSQL 18 English manual: catalog-pg-amop.html","path":"catalog-pg-amop.html","sha256":"e65b90ee78eaf4b4da97ce5b08b972cee2e2660b882ec107be22eca47201f7d1","url":"/docs/18/catalog-pg-amop.html"}]},"MeasuredEvidence":{}},"Text":{"Collection":"operator","Key":"op-3c3d-circle-circle","SourceDatabase":"center","Version":"18","Locale":"en","Title":"\u003c=(circle,circle)","Summary":"less than or equal by area","BodyHTML":"\u003cp\u003eless than or equal by area\u003c/p\u003e","SourceRevision":"555610c24d53e4316da5b7d3fc25c279d96856d5e0e23ee308c328c5fa881d9f","ContentHash":"e99328bdd3507a1847df1e58b551eb6908fa7616f355282594ca61a676d7fb7d","Payload":{"description":["less than or equal by area"],"related":[{"label":"circle data type","url":"/wiki/type/circle/?v=18"},{"label":"bool data type","url":"/wiki/type/bool/?v=18"},{"label":"Commutator: \u003e=(circle,circle)","url":"/wiki/operator/op-3e3d-circle-circle/?v=18"},{"label":"Negator: \u003e(circle,circle)","url":"/wiki/operator/op-3e-circle-circle/?v=18"}],"sections":[{"paragraphs":["The catalog pg_operator stores information about operators. See CREATE OPERATOR and Section 36.14 for more information."],"title":"Catalog interpretation"}],"tables":[]}},"RequestedLocale":"zh-Hans","Fallback":true,"Versions":["10","11","12","13","14","15","16","17","18","19","20"],"Locales":["en"],"Signatures":null,"Spellings":null,"SQLState":null,"Evidence":null}