You are viewing a plain text version of this content. The canonical link for it is here.

Posted to issues@calcite.apache.org by "ASF GitHub Bot (Jira)" <ji...@apache.org> on 2023/04/13 18:11:00 UTC

[jira] [Updated] (CALCITE-5014) PartiallyOrderedSet definition of antisymmetric is incorrect

     [ https://issues.apache.org/jira/browse/CALCITE-5014?page=com.atlassian.jira.plugin.system.issuetabpanels:all-tabpanel ]

ASF GitHub Bot updated CALCITE-5014:
------------------------------------
    Labels: pull-request-available  (was: )

> PartiallyOrderedSet definition of antisymmetric is incorrect
> ------------------------------------------------------------
>
>                 Key: CALCITE-5014
>                 URL: https://issues.apache.org/jira/browse/CALCITE-5014
>             Project: Calcite
>          Issue Type: Bug
>            Reporter: Innovimax Moz
>            Priority: Major
>              Labels: pull-request-available
>          Time Spent: 10m
>  Remaining Estimate: 0h
>
> in [PartiallyOrderedSet (Apache Calcite API)|https://calcite.apache.org/javadocAggregate/org/apache/calcite/util/PartiallyOrderedSet.html]
>  
> we can read
>  * anti-symmetric: if e.lte(f) returns true, then f.lte(e) returns +_*false*_+ only if e = f;
>  
> instead we should read
>  * anti-symmetric: if e.lte(f) returns true, then f.lte(e) returns *_+true+_* only if e = f;
>  
>  



--
This message was sent by Atlassian Jira
(v8.20.10#820010)