Mode | Name | Size | |
---|---|---|---|
-rw-r--r-- | affine.polylib | 172 | logplain |
-rw-r--r-- | affine2.polylib | 75 | logplain |
-rw-r--r-- | affine3.polylib | 44 | logplain |
-rw-r--r-- | application.omega | 64 | logplain |
-rw-r--r-- | application2.omega | 106 | logplain |
-rw-r--r-- | convex0.polylib | 54 | logplain |
-rw-r--r-- | convex1.polylib | 249 | logplain |
-rw-r--r-- | convex10.polylib | 146 | logplain |
-rw-r--r-- | convex11.polylib | 97 | logplain |
-rw-r--r-- | convex12.polylib | 161 | logplain |
-rw-r--r-- | convex13.polylib | 266 | logplain |
-rw-r--r-- | convex14.polylib | 89 | logplain |
-rw-r--r-- | convex2.polylib | 438 | logplain |
-rw-r--r-- | convex3.polylib | 60 | logplain |
-rw-r--r-- | convex4.polylib | 50 | logplain |
-rw-r--r-- | convex5.polylib | 80 | logplain |
-rw-r--r-- | convex6.polylib | 206 | logplain |
-rw-r--r-- | convex7.polylib | 50 | logplain |
-rw-r--r-- | convex8.polylib | 394 | logplain |
-rw-r--r-- | convex9.polylib | 94 | logplain |
-rw-r--r-- | gist1.polylib | 109 | logplain |
-rw-r--r-- | set.omega | 36 | logplain |