• This project
    • Loading...
  • Sign in

2020-2-capstone-design2 / 2015104175

%ea%b7%b8%eb%a6%bc1
Go to a project
Toggle navigation Toggle navigation pinning
  • Projects
  • Groups
  • Snippets
  • Help
  • Project
  • Activity
  • Repository
  • Pipelines
  • Graphs
  • Issues 0
  • Merge Requests 0
  • Wiki
  • Snippets
  • Network
  • Create a new issue
  • Builds
  • Commits
  • Issue Boards
  • Files
  • Commits
  • Network
  • Compare
  • Branches
  • Tags
Switch branch/tag
  • 2015104175
  • ..
  • test_inputs
  • affine.polylib
  • 박우진's avatar
    Add llvm-project Codes · f0b8043f
    f0b8043f
    박우진 authored 2020-10-12 20:45:46 +0900
affine.polylib 172 Bytes
Raw Blame History Permalink
1 2 3 4 5 6 7 8 9
# the affine hull of {[a,b] : a=b && 1 <= a <= 163} ...
3 4
0 1 -1 0
1 1  0 -1
1 -1 0 163

# ... is {[a,b] : a=b} (and not {[In_1,In_2]}, as Omega 1.2 claims)
1 4
0 1 -1 0