question-mark
Stuck on an issue?

Lightrun Answers was designed to reduce the constant googling that comes with debugging 3rd party libraries. It collects links to all the places you might be looking at while hunting down a tough bug.

And, if you’re still stuck at the end, we’re happy to hop on a call to see how we can help out.

Consistency of predicate argument

See original GitHub issue

I have realised that with changes to sindex in 0.8.0 we have introduced inconsistency in terminology. While in sjoin, we have an attribute op, in sindex.query we use predicate. Both mean the same thing and are used for the same purpose.

Not sure what the best option would be, but I quite like literal predicate as I always found op a bit cryptic (btw, what the o stands for? overlay? as overlay predicate?). One way could be to have both as synonyms or to have only predicate but silently accept op as well (until some deprecation or just keep that). But even I was confused by the current situation while trying to use op in query.

cc @adriangb

Issue Analytics

  • State:closed
  • Created 3 years ago
  • Comments:5 (5 by maintainers)

github_iconTop GitHub Comments

3reactions
brendan-wardcommented, Jul 20, 2020

I like predicate here because it is precise and clear.

I think it would be reasonable to deprecate op with a deprecation warning and have these as temporary synonyms in both functions until that point.

0reactions
martinfleiscommented, Sep 21, 2020

Just a quick check - both sf and QGIS are using predicate, ArcMap (based on screenshots) is using match option and ArcPro Spatial Relationship.

I also like predicate as it is precise, but understand the concerns. However, it feels that it is relatively widely accepted, at least in FOSS world, so introducing new and different keyword doesn’t feel right.

Read more comments on GitHub >

github_iconTop Results From Across the Web

INTRODUCTION TO LOGIC Formalisation in Predicate Logic
A set Γ of L -sentences is semantically consistent if and only if Γ is syntactically consistent. In order to show that a...
Read more >
Consistency and Completeness
When all provable arguments are valid, a logic is said to be consistent. Another way of stating consistency is this: If a wff...
Read more >
Semantics for Classical Predicate Logic ... - Princeton University
Since the sentence is true relative to some interpretation, it is consistent. Solving a semantic problem (e.g. “is the argument with premises r ......
Read more >
Consistency - Wikipedia
A consistency proof is a mathematical proof that a particular theory is consistent. ... The early development of mathematical proof theory was driven...
Read more >
The Syntax of Predicate Logic
predicate constant only needs one argument, then it is called a 1-place predicate; if it requires ... Just keep it simple and consistent....
Read more >

github_iconTop Related Medium Post

No results found

github_iconTop Related StackOverflow Question

No results found

github_iconTroubleshoot Live Code

Lightrun enables developers to add logs, metrics and snapshots to live code - no restarts or redeploys required.
Start Free

github_iconTop Related Reddit Thread

No results found

github_iconTop Related Hackernoon Post

No results found

github_iconTop Related Tweet

No results found

github_iconTop Related Dev.to Post

No results found

github_iconTop Related Hashnode Post

No results found