X10

Region.isConvex() (aka isRectangular() ) sometimes is wrong

Details

  • Type: Bug Bug
  • Status: Closed Closed
  • Priority: Minor Minor
  • Resolution: Won't Fix
  • Affects Version/s: X10 2.0.0
  • Fix Version/s: None
  • Component/s: Class Library: Array Library
  • Labels:
    None
  • Number of attachments :
    1

Description

Sometimes, Region.isConvex() — which should be renamed Region.isRectangular() — gives the wrong answer.

public class JRectangular {
  public static def main(argv:Rail[String]) {
     val R1 = (1..2) * (3..4);
     yes(R1.isConvex(), "Convex/Rectangular 1");

     val R2 = (1..2) || (5..6);
     yes(!R2.isConvex(), "Convex/Rectangular 2");
     
     val R3 = (3..4) || (7..8);
     yes(!R3.isConvex(), "Convex/Rectangular 3");
     
     val R4 = R2 || R3;
     yes(R4.isConvex(), "Convex/Rectangular 4");
  }
  static def yes(b:Boolean, s:String) {
     if (!b) x10.io.Console.OUT.println(s);
  }
}

R4 is convex (being equal to 1..8), but isConvex() returns false for it.

Issue Links

depends upon

Bug - A problem which impairs or prevents the functions of the product. XTENLANG-376 Array algebra operations not implemented

  • Major - Major loss of function.
  • Open - The issue is open and ready for the assignee to start work on it.

Activity

Ascending order - Click to sort in descending order
Hide
Permalink
David Grove added a comment -

Setting fix target to next point release (2.0.2).

Show
David Grove added a comment - Setting fix target to next point release (2.0.2).
Hide
Permalink
David Grove added a comment -

Defer all unresolved issues from 2.0.2 to 2.0.3.

Show
David Grove added a comment - Defer all unresolved issues from 2.0.2 to 2.0.3.
Hide
Permalink
David Grove added a comment -

defer all non-critical X10 issues to 2.1.0.

Show
David Grove added a comment - defer all non-critical X10 issues to 2.1.0.
Hide
Permalink
David Grove added a comment -

defer to 2.1.0.

Show
David Grove added a comment - defer to 2.1.0.
Hide
Permalink
David Grove added a comment -

bulk defer of unresolved 2.1.0 bugs to 2.1.1.

Show
David Grove added a comment - bulk defer of unresolved 2.1.0 bugs to 2.1.1.
Hide
Permalink
David Grove added a comment -

bulk move of all unresolved issues from 2.1.1 to 2.1.2

Show
David Grove added a comment - bulk move of all unresolved issues from 2.1.1 to 2.1.2
Hide
Permalink
David Grove added a comment -

defer all non-critical 2.1.2 issues to 2.2.

Show
David Grove added a comment - defer all non-critical 2.1.2 issues to 2.2.
Hide
Permalink
David Grove added a comment -

problem manifests when using Region algebra operations that are not supported in 2.2 and may not even be supported in 2.3.

Show
David Grove added a comment - problem manifests when using Region algebra operations that are not supported in 2.2 and may not even be supported in 2.3.
Hide
Permalink
David Grove added a comment -

irrelevant until we implement the various Region algerbra operations. Once we do so, then the fix will be to ensure that the algebra operations establish these properties appropriately via simplification from PolyRegion where possible.

Show
David Grove added a comment - irrelevant until we implement the various Region algerbra operations. Once we do so, then the fix will be to ensure that the algebra operations establish these properties appropriately via simplification from PolyRegion where possible.
Hide
Permalink
David Grove added a comment -

bulk close of issues as part of making 2.2.3 release notes.

Show
David Grove added a comment - bulk close of issues as part of making 2.2.3 release notes.

People

  • Assignee:
    David Grove
    Reporter:
    Bard Bloom
Vote (0)
Watch (1)

Dates

  • Created:
    Updated:
    Resolved: