Skip to content

Instantly share code, notes, and snippets.

@oyamad

oyamad/test_LRSLib.ipynb

Last active December 2, 2016 02:21
Show Gist options

  • Select an option

    Learn more about clone URLs
  • Save oyamad/aca7ab8c93c299041631ddd2f1552663 to your computer and use it in GitHub Desktop.

Select an option

Learn more about clone URLs
Save oyamad/aca7ab8c93c299041631ddd2f1552663 to your computer and use it in GitHub Desktop.
Download ZIP
LRSLib test failure
Display the source blob
Display the rendered blob
Raw
test_LRSLib.ipynb
{
"cells": [
{
"cell_type": "code",
"execution_count": 1,
"metadata": {
"collapsed": false
},
"outputs": [
{
"name": "stderr",
"output_type": "stream",
"text": [
"INFO: No packages to install, update or remove\n",
"INFO: Package database updated\n"
]
}
],
"source": [
"Pkg.rm(\"LRSLib\")"
]
},
{
"cell_type": "code",
"execution_count": 2,
"metadata": {
"collapsed": false
},
"outputs": [
{
"name": "stderr",
"output_type": "stream",
"text": [
"INFO: Removing LRSLib (unregistered)\n"
]
}
],
"source": [
"Pkg.rm(\"LRSLib\")"
]
},
{
"cell_type": "code",
"execution_count": 3,
"metadata": {
"collapsed": false
},
"outputs": [
{
"name": "stderr",
"output_type": "stream",
"text": [
"INFO: Cloning LRSLib from https://github.com/oyamad/LRSLib.jl\n",
"INFO: Computing changes...\n",
"INFO: No packages to install, update or remove\n",
"INFO: Package database updated\n"
]
}
],
"source": [
"Pkg.clone(\"https://github.com/oyamad/LRSLib.jl\")"
]
},
{
"cell_type": "code",
"execution_count": 4,
"metadata": {
"collapsed": false,
"scrolled": false
},
"outputs": [
{
"name": "stderr",
"output_type": "stream",
"text": [
"INFO: Building LRSLib\n",
"WARNING: `@linux_only` is deprecated, use `@static if is_linux()` instead\n",
" in depwarn(::String, ::Symbol) at ./deprecated.jl:64\n",
" in depwarn(::String, ::Symbol) at /Applications/Julia-0.5.app/Contents/Resources/julia/lib/julia/sys.dylib:?\n",
" in @linux_only(::Any) at ./deprecated.jl:500\n",
" in include_from_node1(::String) at ./loading.jl:488\n",
" in include_from_node1(::String) at /Applications/Julia-0.5.app/Contents/Resources/julia/lib/julia/sys.dylib:?\n",
" in evalfile(::String, ::Array{String,1}) at ./loading.jl:504 (repeats 2 times)\n",
" in cd(::##2#4, ::String) at ./file.jl:59\n",
" in (::##1#3)(::IOStream) at ./none:13\n",
" in open(::##1#3, ::String, ::String) at ./iostream.jl:113\n",
" in eval(::Module, ::Any) at ./boot.jl:234\n",
" in eval(::Module, ::Any) at /Applications/Julia-0.5.app/Contents/Resources/julia/lib/julia/sys.dylib:?\n",
" in process_options(::Base.JLOptions) at ./client.jl:239\n",
" in _start() at ./client.jl:318\n",
" in _start() at /Applications/Julia-0.5.app/Contents/Resources/julia/lib/julia/sys.dylib:?\n",
"while loading /Users/oyama/.julia/v0.5/LRSLib/deps/build.jl, in expression starting on line 24\n",
"INFO: Attempting to Create directory /Users/oyama/.julia/v0.5/LRSLib/deps/downloads\n",
"INFO: Downloading file https://github.com/oyamad/lrslib/archive/4bb57b5aac78deb1e9a25edf81bea16f5611596c.zip\n",
" % Total % Received % Xferd Average Speed Time Time Time Current\n",
" Dload Upload Total Spent Left Speed\n",
"100 152 0 152 0 0 139 0 --:--:-- 0:00:01 --:--:-- 139\n",
" 47 355k 47 169k 0 0 56747 0 0:00:06 0:00:03 0:00:03 178k"
]
},
{
"name": "stdout",
"output_type": "stream",
"text": [
"Archive: /Users/oyama/.julia/v0.5/LRSLib/deps/downloads/4bb57b5aac78deb1e9a25edf81bea16f5611596c.zip\n",
"4bb57b5aac78deb1e9a25edf81bea16f5611596c\n",
" creating: /Users/oyama/.julia/v0.5/LRSLib/deps/src/lrslib-4bb57b5aac78deb1e9a25edf81bea16f5611596c/\n",
" inflating: /Users/oyama/.julia/v0.5/LRSLib/deps/src/lrslib-4bb57b5aac78deb1e9a25edf81bea16f5611596c/2nash.c \n",
" inflating: /Users/oyama/.julia/v0.5/LRSLib/deps/src/lrslib-4bb57b5aac78deb1e9a25edf81bea16f5611596c/COPYING \n",
" inflating: /Users/oyama/.julia/v0.5/LRSLib/deps/src/lrslib-4bb57b5aac78deb1e9a25edf81bea16f5611596c/README \n",
" inflating: /Users/oyama/.julia/v0.5/LRSLib/deps/src/lrslib-4bb57b5aac78deb1e9a25edf81bea16f5611596c/chdemo.c \n",
" inflating: /Users/oyama/.julia/v0.5/LRSLib/deps/src/lrslib-4bb57b5aac78deb1e9a25edf81bea16f5611596c/cleanthreads \n",
" inflating: /Users/oyama/.julia/v0.5/LRSLib/deps/src/lrslib-4bb57b5aac78deb1e9a25edf81bea16f5611596c/cube.ext \n",
" inflating: /Users/oyama/.julia/v0.5/LRSLib/deps/src/lrslib-4bb57b5aac78deb1e9a25edf81bea16f5611596c/cube.ine \n",
" creating: /Users/oyama/.julia/v0.5/LRSLib/deps/src/lrslib-4bb57b5aac78deb1e9a25edf81bea16f5611596c/ext/\n",
" creating: /Users/oyama/.julia/v0.5/LRSLib/deps/src/lrslib-4bb57b5aac78deb1e9a25edf81bea16f5611596c/ext/metric/\n",
" inflating: /Users/oyama/.julia/v0.5/LRSLib/deps/src/lrslib-4bb57b5aac78deb1e9a25edf81bea16f5611596c/ext/metric/cp4.ext \n",
" inflating: /Users/oyama/.julia/v0.5/LRSLib/deps/src/lrslib-4bb57b5aac78deb1e9a25edf81bea16f5611596c/ext/metric/cp5.ext \n",
" inflating: /Users/oyama/.julia/v0.5/LRSLib/deps/src/lrslib-4bb57b5aac78deb1e9a25edf81bea16f5611596c/ext/metric/cp6.ext \n",
" inflating: /Users/oyama/.julia/v0.5/LRSLib/deps/src/lrslib-4bb57b5aac78deb1e9a25edf81bea16f5611596c/ext/metric/cp7.ext \n",
" inflating: /Users/oyama/.julia/v0.5/LRSLib/deps/src/lrslib-4bb57b5aac78deb1e9a25edf81bea16f5611596c/ext/metric/mp5.ext \n",
" creating: /Users/oyama/.julia/v0.5/LRSLib/deps/src/lrslib-4bb57b5aac78deb1e9a25edf81bea16f5611596c/ext/test/\n",
" inflating: /Users/oyama/.julia/v0.5/LRSLib/deps/src/lrslib-4bb57b5aac78deb1e9a25edf81bea16f5611596c/ext/test/cut16_11.ext \n",
" inflating: /Users/oyama/.julia/v0.5/LRSLib/deps/src/lrslib-4bb57b5aac78deb1e9a25edf81bea16f5611596c/ext/test/cut32_16.ext \n",
" inflating: /Users/oyama/.julia/v0.5/LRSLib/deps/src/lrslib-4bb57b5aac78deb1e9a25edf81bea16f5611596c/ext/test/cyclic25_13.ext \n",
" inflating: /Users/oyama/.julia/v0.5/LRSLib/deps/src/lrslib-4bb57b5aac78deb1e9a25edf81bea16f5611596c/ext/test/tsp5.ext \n",
" inflating: /Users/oyama/.julia/v0.5/LRSLib/deps/src/lrslib-4bb57b5aac78deb1e9a25edf81bea16f5611596c/float2rat.c \n",
" inflating: /Users/oyama/.julia/v0.5/LRSLib/deps/src/lrslib-4bb57b5aac78deb1e9a25edf81bea16f5611596c/fourier.c \n",
" inflating: /Users/oyama/.julia/v0.5/LRSLib/deps/src/lrslib-4bb57b5aac78deb1e9a25edf81bea16f5611596c/game \n",
" inflating: /Users/oyama/.julia/v0.5/LRSLib/deps/src/lrslib-4bb57b5aac78deb1e9a25edf81bea16f5611596c/game1 \n",
" inflating: /Users/oyama/.julia/v0.5/LRSLib/deps/src/lrslib-4bb57b5aac78deb1e9a25edf81bea16f5611596c/game2 \n",
" creating: /Users/oyama/.julia/v0.5/LRSLib/deps/src/lrslib-4bb57b5aac78deb1e9a25edf81bea16f5611596c/ine/\n",
" creating: /Users/oyama/.julia/v0.5/LRSLib/deps/src/lrslib-4bb57b5aac78deb1e9a25edf81bea16f5611596c/ine/cocoa13/\n",
" inflating: /Users/oyama/.julia/v0.5/LRSLib/deps/src/lrslib-4bb57b5aac78deb1e9a25edf81bea16f5611596c/ine/cocoa13/bv10.ine \n",
" inflating: /Users/oyama/.julia/v0.5/LRSLib/deps/src/lrslib-4bb57b5aac78deb1e9a25edf81bea16f5611596c/ine/cocoa13/bv4.ine \n",
" inflating: /Users/oyama/.julia/v0.5/LRSLib/deps/src/lrslib-4bb57b5aac78deb1e9a25edf81bea16f5611596c/ine/cocoa13/bv5.ine \n",
" inflating: /Users/oyama/.julia/v0.5/LRSLib/deps/src/lrslib-4bb57b5aac78deb1e9a25edf81bea16f5611596c/ine/cocoa13/bv6.ine \n",
" inflating: /Users/oyama/.julia/v0.5/LRSLib/deps/src/lrslib-4bb57b5aac78deb1e9a25edf81bea16f5611596c/ine/cocoa13/bv7.ine \n",
" inflating: /Users/oyama/.julia/v0.5/LRSLib/deps/src/lrslib-4bb57b5aac78deb1e9a25edf81bea16f5611596c/ine/cocoa13/bv8.ine \n",
" inflating: /Users/oyama/.julia/v0.5/LRSLib/deps/src/lrslib-4bb57b5aac78deb1e9a25edf81bea16f5611596c/ine/cocoa13/bv9.ine \n",
" inflating: /Users/oyama/.julia/v0.5/LRSLib/deps/src/lrslib-4bb57b5aac78deb1e9a25edf81bea16f5611596c/ine/cocoa13/c28-14.ext \n",
" inflating: /Users/oyama/.julia/v0.5/LRSLib/deps/src/lrslib-4bb57b5aac78deb1e9a25edf81bea16f5611596c/ine/cocoa13/c30-15.ext \n",
" inflating: /Users/oyama/.julia/v0.5/LRSLib/deps/src/lrslib-4bb57b5aac78deb1e9a25edf81bea16f5611596c/ine/cocoa13/c40-20.ext \n",
" inflating: /Users/oyama/.julia/v0.5/LRSLib/deps/src/lrslib-4bb57b5aac78deb1e9a25edf81bea16f5611596c/ine/cocoa13/mit.ine \n",
" inflating: /Users/oyama/.julia/v0.5/LRSLib/deps/src/lrslib-4bb57b5aac78deb1e9a25edf81bea16f5611596c/ine/cocoa13/perm10.ine \n",
" inflating: /Users/oyama/.julia/v0.5/LRSLib/deps/src/lrslib-4bb57b5aac78deb1e9a25edf81bea16f5611596c/ine/cocoa13/perm4.ine \n",
" inflating: /Users/oyama/.julia/v0.5/LRSLib/deps/src/lrslib-4bb57b5aac78deb1e9a25edf81bea16f5611596c/ine/cocoa13/perm5.ine \n",
" inflating: /Users/oyama/.julia/v0.5/LRSLib/deps/src/lrslib-4bb57b5aac78deb1e9a25edf81bea16f5611596c/ine/cocoa13/perm6.ine \n",
" inflating: /Users/oyama/.julia/v0.5/LRSLib/deps/src/lrslib-4bb57b5aac78deb1e9a25edf81bea16f5611596c/ine/cocoa13/perm7.ine \n",
" inflating: /Users/oyama/.julia/v0.5/LRSLib/deps/src/lrslib-4bb57b5aac78deb1e9a25edf81bea16f5611596c/ine/cocoa13/perm8.ine \n",
" inflating: /Users/oyama/.julia/v0.5/LRSLib/deps/src/lrslib-4bb57b5aac78deb1e9a25edf81bea16f5611596c/ine/cocoa13/perm9.ine \n",
" creating: /Users/oyama/.julia/v0.5/LRSLib/deps/src/lrslib-4bb57b5aac78deb1e9a25edf81bea16f5611596c/ine/metric/\n",
" inflating: /Users/oyama/.julia/v0.5/LRSLib/deps/src/lrslib-4bb57b5aac78deb1e9a25edf81bea16f5611596c/ine/metric/cp4.ine \n",
" inflating: /Users/oyama/.julia/v0.5/LRSLib/deps/src/lrslib-4bb57b5aac78deb1e9a25edf81bea16f5611596c/ine/metric/cp5.ine \n",
" inflating: /Users/oyama/.julia/v0.5/LRSLib/deps/src/lrslib-4bb57b5aac78deb1e9a25edf81bea16f5611596c/ine/metric/cp6.ine \n",
" inflating: /Users/oyama/.julia/v0.5/LRSLib/deps/src/lrslib-4bb57b5aac78deb1e9a25edf81bea16f5611596c/ine/metric/mp5.ine \n",
" inflating: /Users/oyama/.julia/v0.5/LRSLib/deps/src/lrslib-4bb57b5aac78deb1e9a25edf81bea16f5611596c/ine/metric/mp6.ine \n",
" creating: /Users/oyama/.julia/v0.5/LRSLib/deps/src/lrslib-4bb57b5aac78deb1e9a25edf81bea16f5611596c/ine/mit/\n",
" inflating: /Users/oyama/.julia/v0.5/LRSLib/deps/src/lrslib-4bb57b5aac78deb1e9a25edf81bea16f5611596c/ine/mit/mit.ine \n",
" inflating: /Users/oyama/.julia/v0.5/LRSLib/deps/src/lrslib-4bb57b5aac78deb1e9a25edf81bea16f5611596c/ine/mit/mit288-281.ine "
]
},
{
"name": "stderr",
"output_type": "stream",
"text": [
"\r",
"100 355k 100 355k 0 0 108k 0 0:00:03 0:00:03 --:--:-- 307k\n",
"INFO: Done downloading file https://github.com/oyamad/lrslib/archive/4bb57b5aac78deb1e9a25edf81bea16f5611596c.zip\n",
"INFO: Attempting to Create directory /Users/oyama/.julia/v0.5/LRSLib/deps/src\n",
"INFO: Attempting to Create directory /Users/oyama/.julia/v0.5/LRSLib/deps\n",
"INFO: Directory /Users/oyama/.julia/v0.5/LRSLib/deps already created\n"
]
},
{
"name": "stdout",
"output_type": "stream",
"text": [
"\n",
" inflating: /Users/oyama/.julia/v0.5/LRSLib/deps/src/lrslib-4bb57b5aac78deb1e9a25edf81bea16f5611596c/ine/mit/mit31-20.ine \n",
" inflating: /Users/oyama/.julia/v0.5/LRSLib/deps/src/lrslib-4bb57b5aac78deb1e9a25edf81bea16f5611596c/ine/mit/mit41-16.ine \n",
" inflating: /Users/oyama/.julia/v0.5/LRSLib/deps/src/lrslib-4bb57b5aac78deb1e9a25edf81bea16f5611596c/ine/mit/mit708-9.ine \n",
" inflating: /Users/oyama/.julia/v0.5/LRSLib/deps/src/lrslib-4bb57b5aac78deb1e9a25edf81bea16f5611596c/ine/mit/mit71-61.ine \n",
" inflating: /Users/oyama/.julia/v0.5/LRSLib/deps/src/lrslib-4bb57b5aac78deb1e9a25edf81bea16f5611596c/ine/mit/mit90-86.ine \n",
" creating: /Users/oyama/.julia/v0.5/LRSLib/deps/src/lrslib-4bb57b5aac78deb1e9a25edf81bea16f5611596c/ine/test-061/\n",
" inflating: /Users/oyama/.julia/v0.5/LRSLib/deps/src/lrslib-4bb57b5aac78deb1e9a25edf81bea16f5611596c/ine/test-061/bv7.ine \n",
" inflating: /Users/oyama/.julia/v0.5/LRSLib/deps/src/lrslib-4bb57b5aac78deb1e9a25edf81bea16f5611596c/ine/test-061/c40-20.ext \n",
" inflating: /Users/oyama/.julia/v0.5/LRSLib/deps/src/lrslib-4bb57b5aac78deb1e9a25edf81bea16f5611596c/ine/test-061/cp6.ine \n",
" inflating: /Users/oyama/.julia/v0.5/LRSLib/deps/src/lrslib-4bb57b5aac78deb1e9a25edf81bea16f5611596c/ine/test-061/fq48-19.ine \n",
" inflating: /Users/oyama/.julia/v0.5/LRSLib/deps/src/lrslib-4bb57b5aac78deb1e9a25edf81bea16f5611596c/ine/test-061/m6.ine \n",
" inflating: /Users/oyama/.julia/v0.5/LRSLib/deps/src/lrslib-4bb57b5aac78deb1e9a25edf81bea16f5611596c/ine/test-061/mit.ine \n",
" inflating: /Users/oyama/.julia/v0.5/LRSLib/deps/src/lrslib-4bb57b5aac78deb1e9a25edf81bea16f5611596c/ine/test-061/mit71-61.ine \n",
" inflating: /Users/oyama/.julia/v0.5/LRSLib/deps/src/lrslib-4bb57b5aac78deb1e9a25edf81bea16f5611596c/ine/test-061/perm10.ine \n",
" creating: /Users/oyama/.julia/v0.5/LRSLib/deps/src/lrslib-4bb57b5aac78deb1e9a25edf81bea16f5611596c/ine/test-062/\n",
" inflating: /Users/oyama/.julia/v0.5/LRSLib/deps/src/lrslib-4bb57b5aac78deb1e9a25edf81bea16f5611596c/ine/test-062/bv7.ine \n",
" inflating: /Users/oyama/.julia/v0.5/LRSLib/deps/src/lrslib-4bb57b5aac78deb1e9a25edf81bea16f5611596c/ine/test-062/c30-15.ext \n",
" inflating: /Users/oyama/.julia/v0.5/LRSLib/deps/src/lrslib-4bb57b5aac78deb1e9a25edf81bea16f5611596c/ine/test-062/c40-20.ext \n",
" inflating: /Users/oyama/.julia/v0.5/LRSLib/deps/src/lrslib-4bb57b5aac78deb1e9a25edf81bea16f5611596c/ine/test-062/cp6.ine \n",
" inflating: /Users/oyama/.julia/v0.5/LRSLib/deps/src/lrslib-4bb57b5aac78deb1e9a25edf81bea16f5611596c/ine/test-062/fq48-19.ine \n",
" inflating: /Users/oyama/.julia/v0.5/LRSLib/deps/src/lrslib-4bb57b5aac78deb1e9a25edf81bea16f5611596c/ine/test-062/m6.ine \n",
" inflating: /Users/oyama/.julia/v0.5/LRSLib/deps/src/lrslib-4bb57b5aac78deb1e9a25edf81bea16f5611596c/ine/test-062/mit.ine \n",
" inflating: /Users/oyama/.julia/v0.5/LRSLib/deps/src/lrslib-4bb57b5aac78deb1e9a25edf81bea16f5611596c/ine/test-062/mit71-61.ine \n",
" creating: /Users/oyama/.julia/v0.5/LRSLib/deps/src/lrslib-4bb57b5aac78deb1e9a25edf81bea16f5611596c/ine/test-062/normaliz/\n",
" inflating: /Users/oyama/.julia/v0.5/LRSLib/deps/src/lrslib-4bb57b5aac78deb1e9a25edf81bea16f5611596c/ine/test-062/normaliz/bv7.in \n",
" inflating: /Users/oyama/.julia/v0.5/LRSLib/deps/src/lrslib-4bb57b5aac78deb1e9a25edf81bea16f5611596c/ine/test-062/normaliz/c30-15.ext.in \n",
" inflating: /Users/oyama/.julia/v0.5/LRSLib/deps/src/lrslib-4bb57b5aac78deb1e9a25edf81bea16f5611596c/ine/test-062/normaliz/c40-20.ext.in \n",
" inflating: /Users/oyama/.julia/v0.5/LRSLib/deps/src/lrslib-4bb57b5aac78deb1e9a25edf81bea16f5611596c/ine/test-062/normaliz/cp6.in \n",
" inflating: /Users/oyama/.julia/v0.5/LRSLib/deps/src/lrslib-4bb57b5aac78deb1e9a25edf81bea16f5611596c/ine/test-062/normaliz/fq48-19.in \n",
" inflating: /Users/oyama/.julia/v0.5/LRSLib/deps/src/lrslib-4bb57b5aac78deb1e9a25edf81bea16f5611596c/ine/test-062/normaliz/m6.in \n",
" inflating: /Users/oyama/.julia/v0.5/LRSLib/deps/src/lrslib-4bb57b5aac78deb1e9a25edf81bea16f5611596c/ine/test-062/normaliz/mit.in \n",
" inflating: /Users/oyama/.julia/v0.5/LRSLib/deps/src/lrslib-4bb57b5aac78deb1e9a25edf81bea16f5611596c/ine/test-062/normaliz/mit71-61.in \n",
" inflating: /Users/oyama/.julia/v0.5/LRSLib/deps/src/lrslib-4bb57b5aac78deb1e9a25edf81bea16f5611596c/ine/test-062/normaliz/perm10.in \n",
" inflating: /Users/oyama/.julia/v0.5/LRSLib/deps/src/lrslib-4bb57b5aac78deb1e9a25edf81bea16f5611596c/ine/test-062/normaliz/zfw91.in \n",
" inflating: /Users/oyama/.julia/v0.5/LRSLib/deps/src/lrslib-4bb57b5aac78deb1e9a25edf81bea16f5611596c/ine/test-062/perm10.ine \n",
" creating: /Users/oyama/.julia/v0.5/LRSLib/deps/src/lrslib-4bb57b5aac78deb1e9a25edf81bea16f5611596c/ine/test-062/porta/\n",
" inflating: /Users/oyama/.julia/v0.5/LRSLib/deps/src/lrslib-4bb57b5aac78deb1e9a25edf81bea16f5611596c/ine/test-062/porta/bv7.ine.ieq \n",
" inflating: /Users/oyama/.julia/v0.5/LRSLib/deps/src/lrslib-4bb57b5aac78deb1e9a25edf81bea16f5611596c/ine/test-062/porta/c30-15.ext.poi \n",
" inflating: /Users/oyama/.julia/v0.5/LRSLib/deps/src/lrslib-4bb57b5aac78deb1e9a25edf81bea16f5611596c/ine/test-062/porta/c40-20.ext.poi \n",
" inflating: /Users/oyama/.julia/v0.5/LRSLib/deps/src/lrslib-4bb57b5aac78deb1e9a25edf81bea16f5611596c/ine/test-062/porta/cp6.ine.ieq \n",
" inflating: /Users/oyama/.julia/v0.5/LRSLib/deps/src/lrslib-4bb57b5aac78deb1e9a25edf81bea16f5611596c/ine/test-062/porta/fq48-19.ine.ieq \n",
" inflating: /Users/oyama/.julia/v0.5/LRSLib/deps/src/lrslib-4bb57b5aac78deb1e9a25edf81bea16f5611596c/ine/test-062/porta/m6.ine.ieq \n",
" inflating: /Users/oyama/.julia/v0.5/LRSLib/deps/src/lrslib-4bb57b5aac78deb1e9a25edf81bea16f5611596c/ine/test-062/porta/mit.ine.ieq \n",
" inflating: /Users/oyama/.julia/v0.5/LRSLib/deps/src/lrslib-4bb57b5aac78deb1e9a25edf81bea16f5611596c/ine/test-062/porta/mit71-61.ine.ieq \n",
" inflating: /Users/oyama/.julia/v0.5/LRSLib/deps/src/lrslib-4bb57b5aac78deb1e9a25edf81bea16f5611596c/ine/test-062/porta/perm10.ine.ieq \n",
" inflating: /Users/oyama/.julia/v0.5/LRSLib/deps/src/lrslib-4bb57b5aac78deb1e9a25edf81bea16f5611596c/ine/test-062/porta/zfw91.ine.ieq \n",
" inflating: /Users/oyama/.julia/v0.5/LRSLib/deps/src/lrslib-4bb57b5aac78deb1e9a25edf81bea16f5611596c/ine/test-062/zfw91.ine \n",
" inflating: /Users/oyama/.julia/v0.5/LRSLib/deps/src/lrslib-4bb57b5aac78deb1e9a25edf81bea16f5611596c/ine/test-062/zfw91nn.ine \n",
" creating: /Users/oyama/.julia/v0.5/LRSLib/deps/src/lrslib-4bb57b5aac78deb1e9a25edf81bea16f5611596c/ine/test/\n",
" inflating: /Users/oyama/.julia/v0.5/LRSLib/deps/src/lrslib-4bb57b5aac78deb1e9a25edf81bea16f5611596c/ine/test/cross4.ine \n",
" inflating: /Users/oyama/.julia/v0.5/LRSLib/deps/src/lrslib-4bb57b5aac78deb1e9a25edf81bea16f5611596c/ine/test/cyclic17_8.ine \n",
" inflating: /Users/oyama/.julia/v0.5/LRSLib/deps/src/lrslib-4bb57b5aac78deb1e9a25edf81bea16f5611596c/ine/test/diamond.ine \n",
" inflating: /Users/oyama/.julia/v0.5/LRSLib/deps/src/lrslib-4bb57b5aac78deb1e9a25edf81bea16f5611596c/ine/test/in0.ine \n",
" inflating: /Users/oyama/.julia/v0.5/LRSLib/deps/src/lrslib-4bb57b5aac78deb1e9a25edf81bea16f5611596c/ine/test/in1.ine \n",
" inflating: /Users/oyama/.julia/v0.5/LRSLib/deps/src/lrslib-4bb57b5aac78deb1e9a25edf81bea16f5611596c/ine/test/in2.ine \n",
" inflating: /Users/oyama/.julia/v0.5/LRSLib/deps/src/lrslib-4bb57b5aac78deb1e9a25edf81bea16f5611596c/ine/test/in3.ine \n",
" inflating: /Users/oyama/.julia/v0.5/LRSLib/deps/src/lrslib-4bb57b5aac78deb1e9a25edf81bea16f5611596c/ine/test/in4.ine \n",
" inflating: /Users/oyama/.julia/v0.5/LRSLib/deps/src/lrslib-4bb57b5aac78deb1e9a25edf81bea16f5611596c/ine/test/in5.ine \n",
" inflating: /Users/oyama/.julia/v0.5/LRSLib/deps/src/lrslib-4bb57b5aac78deb1e9a25edf81bea16f5611596c/ine/test/in6.ine \n",
" inflating: /Users/oyama/.julia/v0.5/LRSLib/deps/src/lrslib-4bb57b5aac78deb1e9a25edf81bea16f5611596c/ine/test/in7.ine \n",
" inflating: /Users/oyama/.julia/v0.5/LRSLib/deps/src/lrslib-4bb57b5aac78deb1e9a25edf81bea16f5611596c/ine/test/inf.ine \n",
" inflating: /Users/oyama/.julia/v0.5/LRSLib/deps/src/lrslib-4bb57b5aac78deb1e9a25edf81bea16f5611596c/ine/test/kkd38_6.ine \n",
" inflating: /Users/oyama/.julia/v0.5/LRSLib/deps/src/lrslib-4bb57b5aac78deb1e9a25edf81bea16f5611596c/ine/test/kq20_11.ine \n",
" inflating: /Users/oyama/.julia/v0.5/LRSLib/deps/src/lrslib-4bb57b5aac78deb1e9a25edf81bea16f5611596c/ine/test/kq20_11a.ine \n",
" inflating: /Users/oyama/.julia/v0.5/LRSLib/deps/src/lrslib-4bb57b5aac78deb1e9a25edf81bea16f5611596c/ine/test/metric40_11.ine \n",
" inflating: /Users/oyama/.julia/v0.5/LRSLib/deps/src/lrslib-4bb57b5aac78deb1e9a25edf81bea16f5611596c/ine/test/metric80_16.ine \n",
" inflating: /Users/oyama/.julia/v0.5/LRSLib/deps/src/lrslib-4bb57b5aac78deb1e9a25edf81bea16f5611596c/ine/test/mit31_20.ine \n",
" inflating: /Users/oyama/.julia/v0.5/LRSLib/deps/src/lrslib-4bb57b5aac78deb1e9a25edf81bea16f5611596c/ine/test/trunc10.ine \n",
" inflating: /Users/oyama/.julia/v0.5/LRSLib/deps/src/lrslib-4bb57b5aac78deb1e9a25edf81bea16f5611596c/ine/test/trunc7.ine \n",
" inflating: /Users/oyama/.julia/v0.5/LRSLib/deps/src/lrslib-4bb57b5aac78deb1e9a25edf81bea16f5611596c/ine/test/truss2.ine \n",
" inflating: /Users/oyama/.julia/v0.5/LRSLib/deps/src/lrslib-4bb57b5aac78deb1e9a25edf81bea16f5611596c/ine/test/tsp5.ine \n",
" inflating: /Users/oyama/.julia/v0.5/LRSLib/deps/src/lrslib-4bb57b5aac78deb1e9a25edf81bea16f5611596c/lpdemo.c \n",
" inflating: /Users/oyama/.julia/v0.5/LRSLib/deps/src/lrslib-4bb57b5aac78deb1e9a25edf81bea16f5611596c/lpdemo2.c \n",
" inflating: /Users/oyama/.julia/v0.5/LRSLib/deps/src/lrslib-4bb57b5aac78deb1e9a25edf81bea16f5611596c/lrs.c \n",
" inflating: /Users/oyama/.julia/v0.5/LRSLib/deps/src/lrslib-4bb57b5aac78deb1e9a25edf81bea16f5611596c/lrs.cpp \n",
" inflating: /Users/oyama/.julia/v0.5/LRSLib/deps/src/lrslib-4bb57b5aac78deb1e9a25edf81bea16f5611596c/lrsgmp.c \n",
" inflating: /Users/oyama/.julia/v0.5/LRSLib/deps/src/lrslib-4bb57b5aac78deb1e9a25edf81bea16f5611596c/lrsgmp.h \n",
" inflating: /Users/oyama/.julia/v0.5/LRSLib/deps/src/lrslib-4bb57b5aac78deb1e9a25edf81bea16f5611596c/lrslib.c \n",
" inflating: /Users/oyama/.julia/v0.5/LRSLib/deps/src/lrslib-4bb57b5aac78deb1e9a25edf81bea16f5611596c/lrslib.h \n",
" inflating: /Users/oyama/.julia/v0.5/LRSLib/deps/src/lrslib-4bb57b5aac78deb1e9a25edf81bea16f5611596c/lrslong.c \n",
" inflating: /Users/oyama/.julia/v0.5/LRSLib/deps/src/lrslib-4bb57b5aac78deb1e9a25edf81bea16f5611596c/lrslong.h \n",
" inflating: /Users/oyama/.julia/v0.5/LRSLib/deps/src/lrslib-4bb57b5aac78deb1e9a25edf81bea16f5611596c/lrsmp.c \n",
" inflating: /Users/oyama/.julia/v0.5/LRSLib/deps/src/lrslib-4bb57b5aac78deb1e9a25edf81bea16f5611596c/lrsmp.h \n",
" inflating: /Users/oyama/.julia/v0.5/LRSLib/deps/src/lrslib-4bb57b5aac78deb1e9a25edf81bea16f5611596c/lrsnash.c \n",
" inflating: /Users/oyama/.julia/v0.5/LRSLib/deps/src/lrslib-4bb57b5aac78deb1e9a25edf81bea16f5611596c/lrsnashlib.c \n",
" inflating: /Users/oyama/.julia/v0.5/LRSLib/deps/src/lrslib-4bb57b5aac78deb1e9a25edf81bea16f5611596c/lrsnashlib.h \n",
" inflating: /Users/oyama/.julia/v0.5/LRSLib/deps/src/lrslib-4bb57b5aac78deb1e9a25edf81bea16f5611596c/makefile \n",
" inflating: /Users/oyama/.julia/v0.5/LRSLib/deps/src/lrslib-4bb57b5aac78deb1e9a25edf81bea16f5611596c/makefile.osx \n",
" inflating: /Users/oyama/.julia/v0.5/LRSLib/deps/src/lrslib-4bb57b5aac78deb1e9a25edf81bea16f5611596c/mit.ine \n",
" inflating: /Users/oyama/.julia/v0.5/LRSLib/deps/src/lrslib-4bb57b5aac78deb1e9a25edf81bea16f5611596c/mp5.ine \n",
" inflating: /Users/oyama/.julia/v0.5/LRSLib/deps/src/lrslib-4bb57b5aac78deb1e9a25edf81bea16f5611596c/mp5.mplrs \n",
" inflating: /Users/oyama/.julia/v0.5/LRSLib/deps/src/lrslib-4bb57b5aac78deb1e9a25edf81bea16f5611596c/mp5.plrs \n",
" inflating: /Users/oyama/.julia/v0.5/LRSLib/deps/src/lrslib-4bb57b5aac78deb1e9a25edf81bea16f5611596c/mplrs.c \n",
" inflating: /Users/oyama/.julia/v0.5/LRSLib/deps/src/lrslib-4bb57b5aac78deb1e9a25edf81bea16f5611596c/mplrs.h \n",
" inflating: /Users/oyama/.julia/v0.5/LRSLib/deps/src/lrslib-4bb57b5aac78deb1e9a25edf81bea16f5611596c/nashdemo.c \n",
" inflating: /Users/oyama/.julia/v0.5/LRSLib/deps/src/lrslib-4bb57b5aac78deb1e9a25edf81bea16f5611596c/plotD.gp \n",
" inflating: /Users/oyama/.julia/v0.5/LRSLib/deps/src/lrslib-4bb57b5aac78deb1e9a25edf81bea16f5611596c/plotL.gp \n",
" inflating: /Users/oyama/.julia/v0.5/LRSLib/deps/src/lrslib-4bb57b5aac78deb1e9a25edf81bea16f5611596c/plrs.cpp \n",
" inflating: /Users/oyama/.julia/v0.5/LRSLib/deps/src/lrslib-4bb57b5aac78deb1e9a25edf81bea16f5611596c/plrs.hpp \n",
" inflating: /Users/oyama/.julia/v0.5/LRSLib/deps/src/lrslib-4bb57b5aac78deb1e9a25edf81bea16f5611596c/rat2float.c \n",
" inflating: /Users/oyama/.julia/v0.5/LRSLib/deps/src/lrslib-4bb57b5aac78deb1e9a25edf81bea16f5611596c/redund.c \n",
" inflating: /Users/oyama/.julia/v0.5/LRSLib/deps/src/lrslib-4bb57b5aac78deb1e9a25edf81bea16f5611596c/setupnash.c \n",
" inflating: /Users/oyama/.julia/v0.5/LRSLib/deps/src/lrslib-4bb57b5aac78deb1e9a25edf81bea16f5611596c/setupnash2.c \n",
" inflating: /Users/oyama/.julia/v0.5/LRSLib/deps/src/lrslib-4bb57b5aac78deb1e9a25edf81bea16f5611596c/vedemo.c \n",
"cc -c -fPIC -O3 -DTIMES -DSIGNALS -DGMP -o lrslib-GMP-SHR.o lrslib.c\n"
]
},
{
"name": "stderr",
"output_type": "stream",
"text": [
"INFO: Attempting to Create directory /Users/oyama/.julia/v0.5/LRSLib/deps/usr\n",
"INFO: Attempting to Create directory /Users/oyama/.julia/v0.5/LRSLib/deps/usr/lib\n",
"INFO: Changing Directory to /Users/oyama/.julia/v0.5/LRSLib/deps/src/lrslib-4bb57b5aac78deb1e9a25edf81bea16f5611596c\n"
]
},
{
"name": "stdout",
"output_type": "stream",
"text": [
"cc -c -fPIC -O3 -DTIMES -DSIGNALS -DGMP -o lrsgmp-GMP-SHR.o lrsgmp.c\n",
"cc -shared -Wl,-install_name,liblrsgmp.dylib.0 -o liblrsgmp.dylib.0.0.0 lrslib-GMP-SHR.o lrsgmp-GMP-SHR.o -lgmp\n",
"ln -sf liblrsgmp.dylib.0.0.0 liblrsgmp.dylib\n",
"/Applications/Xcode.app/Contents/Developer/usr/bin/make LRSGMPLIB=liblrsgmp.dylib --file=makefile.osx\n",
"cc -c -O3 -DTIMES -DSIGNALS -DGMP -o 2nash-GMP.o 2nash.c\n",
"cc 2nash-GMP.o -L. -llrsgmp -L/usr/lib -lgmp -o 2nash\n",
"cc -c -O3 -DTIMES -DSIGNALS -DGMP -o lrs-GMP.o lrs.c\n",
"cc lrs-GMP.o -L. -llrsgmp -L/usr/lib -lgmp -o lrs\n",
"cc -O3 -DTIMES -DSIGNALS -DLRSLONG -o lrs1 lrs.c lrslib.c lrslong.c\n"
]
},
{
"name": "stderr",
"output_type": "stream",
"text": [
"2nash.c:57:41: warning: data argument not used by format string [-Wformat-extra-args]\n",
" printf(\"output file: out\\n\", argv[2], argv[1]);\n",
" ~~~~~~~~~~~~~~~~~~~~ ^\n",
"2nash.c:68:5: warning: implicit declaration of function 'kill' is invalid in C99 [-Wimplicit-function-declaration]\n",
" kill(0,9);\n",
" ^\n",
"2 warnings generated.\n"
]
},
{
"name": "stdout",
"output_type": "stream",
"text": [
"gcc -O3 -o lrsnash lrsnash.c lrsnashlib.c lrslib.c lrsgmp.c -lgmp -DGMP -Wno-return-type\n",
"gcc -O3 -o nashdemo nashdemo.c lrsnashlib.c lrslib.c lrsgmp.c -lgmp -DGMP -Wno-return-type\n",
"gcc -O3 -o 2nash 2nash.c\n",
"cc -c -O3 -DTIMES -DSIGNALS -DGMP -o redund-GMP.o redund.c\n",
"cc redund-GMP.o -L. -llrsgmp -L/usr/lib -lgmp -o redund\n"
]
},
{
"name": "stderr",
"output_type": "stream",
"text": [
"2nash.c:57:41: warning: data argument not used by format string [-Wformat-extra-args]\n",
" printf(\"output file: out\\n\", argv[2], argv[1]);\n",
" ~~~~~~~~~~~~~~~~~~~~ ^\n",
"2nash.c:68:5: warning: implicit declaration of function 'kill' is invalid in C99 [-Wimplicit-function-declaration]\n",
" kill(0,9);\n",
" ^\n",
"2 warnings generated.\n"
]
},
{
"name": "stdout",
"output_type": "stream",
"text": [
"cc -O3 -DTIMES -DSIGNALS -DLRSLONG -o redund1 redund.c lrslib.c lrslong.c\n",
"cc -O3 -DTIMES -DSIGNALS -o setnash setupnash.c lrslib.c lrsmp.c\n",
"cc -O3 -DTIMES -DSIGNALS -o setnash2 setupnash2.c lrslib.c lrsmp.c\n",
"rm 2nash-GMP.o lrs-GMP.o redund-GMP.o\n"
]
}
],
"source": [
"Pkg.build(\"LRSLib\")"
]
},
{
"cell_type": "code",
"execution_count": 5,
"metadata": {
"collapsed": false,
"scrolled": false
},
"outputs": [
{
"name": "stderr",
"output_type": "stream",
"text": [
"INFO: Computing test dependencies for LRSLib...\n",
"INFO: Installing Cbc v0.2.5\n",
"INFO: Installing Clp v0.2.2\n",
"INFO: Installing FactCheck v0.4.3\n",
"INFO: Building Homebrew\n"
]
},
{
"name": "stdout",
"output_type": "stream",
"text": [
"Already up-to-date.\n"
]
},
{
"name": "stderr",
"output_type": "stream",
"text": [
"INFO: Building Cbc\n",
"INFO: Testing LRSLib\n"
]
},
{
"name": "stdout",
"output_type": "stream",
"text": [
"Check consistency of LRSInequalityMatrix representation\n",
"3 facts verified.\n",
"Test representation conversion with the simplex\n",
"18 facts verified.\n",
"Simplex tests\n",
"80 facts verified.\n",
"Permutahedron tests\n",
" gmp v.6.1\n",
"*Input taken from file simplex.ine\n",
"*Input linearity in row 1 is redundant--converted to inequality"
]
},
{
"name": "stderr",
"output_type": "stream",
"text": [
"ERROR: LoadError: LoadError: InexactError()\n",
" in schedule_and_wait(::Task, ::Void) at ./event.jl:110\n",
" in consume(::Task) at ./task.jl:269\n",
" in done at ./task.jl:274 [inlined]\n",
" in enumtomat(::LRSLib.LRSGeneratorMatrix{3}) at /Users/oyama/.julia/v0.5/LRSLib/src/conversion.jl:40\n",
" in convert(::Type{Polyhedra.LiftedHRepresentation{3,Rational{BigInt}}}, ::LRSLib.LRSGeneratorMatrix{3}) at /Users/oyama/.julia/v0.5/LRSLib/src/conversion.jl:48\n",
" in getine(::LRSLib.LRSPolyhedron{3}) at /Users/oyama/.julia/v0.5/LRSLib/src/polyhedron.jl:43\n",
" in detecthlinearities!(::LRSLib.LRSPolyhedron{3}) at /Users/oyama/.julia/v0.5/LRSLib/src/polyhedron.jl:154\n",
" in inequality_fulltest(::LRSLib.LRSPolyhedron{3}, ::Array{Int64,2}, ::Array{Int64,1}, ::IntSet) at /Users/oyama/.julia/v0.5/Polyhedra/test/alltests.jl:33\n",
" in permutahedrontest(::LRSLib.LRSLibrary) at /Users/oyama/.julia/v0.5/Polyhedra/test/permutahedron.jl:9\n",
" in facts(::##121#124{LRSLib.LRSLibrary}, ::String) at /Users/oyama/.julia/v0.5/FactCheck/src/FactCheck.jl:449\n",
" in alltests(::LRSLib.LRSLibrary) at /Users/oyama/.julia/v0.5/Polyhedra/test/alltests.jl:95\n",
" in include_from_node1(::String) at ./loading.jl:488\n",
" in include_from_node1(::String) at /Applications/Julia-0.5.app/Contents/Resources/julia/lib/julia/sys.dylib:?\n",
" in include_from_node1(::String) at ./loading.jl:488\n",
" in include_from_node1(::String) at /Applications/Julia-0.5.app/Contents/Resources/julia/lib/julia/sys.dylib:?\n",
" in process_options(::Base.JLOptions) at ./client.jl:262\n",
" in _start() at ./client.jl:318\n",
" in _start() at /Applications/Julia-0.5.app/Contents/Resources/julia/lib/julia/sys.dylib:?\n",
"while loading /Users/oyama/.julia/v0.5/LRSLib/test/polyhedron.jl, in expression starting on line 4\n",
"while loading /Users/oyama/.julia/v0.5/LRSLib/test/runtests.jl, in expression starting on line 8\n",
"===============================[ ERROR: LRSLib ]================================\n",
"\n",
"failed process: Process(`/Applications/Julia-0.5.app/Contents/Resources/julia/bin/julia -Ccore2 -J/Applications/Julia-0.5.app/Contents/Resources/julia/lib/julia/sys.dylib --compile=yes --depwarn=yes --check-bounds=yes --code-coverage=none --color=no --compilecache=yes /Users/oyama/.julia/v0.5/LRSLib/test/runtests.jl`, ProcessExited(1)) [1]\n",
"\n",
"================================================================================\n",
"INFO: Removing Cbc v0.2.5\n",
"INFO: Removing Clp v0.2.2\n",
"INFO: Removing FactCheck v0.4.3\n"
]
},
{
"ename": "LoadError",
"evalue": "LoadError: LRSLib had test errors\nwhile loading In[5], in expression starting on line 1",
"output_type": "error",
"traceback": [
"LoadError: LRSLib had test errors\nwhile loading In[5], in expression starting on line 1",
"",
" in #test#61(::Bool, ::Function, ::Array{AbstractString,1}) at ./pkg/entry.jl:740",
" in (::Base.Pkg.Entry.#kw##test)(::Array{Any,1}, ::Base.Pkg.Entry.#test, ::Array{AbstractString,1}) at ./<missing>:0",
" in (::Base.Pkg.Dir.##2#3{Array{Any,1},Base.Pkg.Entry.#test,Tuple{Array{AbstractString,1}}})() at ./pkg/dir.jl:31",
" in cd(::Base.Pkg.Dir.##2#3{Array{Any,1},Base.Pkg.Entry.#test,Tuple{Array{AbstractString,1}}}, ::String) at ./file.jl:59",
" in #cd#1(::Array{Any,1}, ::Function, ::Function, ::Array{AbstractString,1}, ::Vararg{Array{AbstractString,1},N}) at ./pkg/dir.jl:31",
" in (::Base.Pkg.Dir.#kw##cd)(::Array{Any,1}, ::Base.Pkg.Dir.#cd, ::Function, ::Array{AbstractString,1}, ::Vararg{Array{AbstractString,1},N}) at ./<missing>:0",
" in #test#3(::Bool, ::Function, ::String, ::Vararg{String,N}) at ./pkg/pkg.jl:258",
" in test(::String, ::Vararg{String,N}) at ./pkg/pkg.jl:258"
]
}
],
"source": [
"Pkg.test(\"LRSLib\")"
]
},
{
"cell_type": "code",
"execution_count": 6,
"metadata": {
"collapsed": false
},
"outputs": [
{
"name": "stdout",
"output_type": "stream",
"text": [
" gmp v.6.1"
]
}
],
"source": [
"using Polyhedra\n",
"using LRSLib"
]
},
{
"cell_type": "code",
"execution_count": 7,
"metadata": {
"collapsed": false
},
"outputs": [
{
"data": {
"text/plain": [
"LRSLib.LRSPolyhedron{2}(Nullable{Polyhedra.HRepresentation{2,Rational{BigInt}}}(H-representation\n",
"begin\n",
" 3 3 rational\n",
" 1//1 -1//1 -1//1\n",
" 0//1 -1//1 1//1\n",
" 0//1 1//1 0//1\n",
"end),Nullable{LRSLib.LRSInequalityMatrix{2}}(),Nullable{Polyhedra.VRepresentation{2,Rational{BigInt}}}(),Nullable{LRSLib.LRSGeneratorMatrix{2}}(),false,false,false,false)"
]
},
"execution_count": 7,
"metadata": {},
"output_type": "execute_result"
}
],
"source": [
"A = [1 1;1 -1;-1 0]\n",
"b = [1,0,0]\n",
"hrep = SimpleHRepresentation(A, b)\n",
"poly = polyhedron(hrep, LRSLibrary())"
]
},
{
"cell_type": "code",
"execution_count": 8,
"metadata": {
"collapsed": false
},
"outputs": [
{
"data": {
"text/plain": [
"V-representation\n",
"begin\n",
" 3 3 rational\n",
" 0 0//1 0//1\n",
" 0 0//1 1//1\n",
" 0 1//2 1//2\n",
"end"
]
},
"execution_count": 8,
"metadata": {},
"output_type": "execute_result"
}
],
"source": [
"vrep = getvrep(poly)"
]
},
{
"cell_type": "code",
"execution_count": 9,
"metadata": {
"collapsed": false,
"scrolled": true
},
"outputs": [
{
"data": {
"text/plain": [
"3×2 Array{Rational{BigInt},2}:\n",
" 0//1 0//1\n",
" 0//1 1//1\n",
" 1//2 1//2"
]
},
"execution_count": 9,
"metadata": {},
"output_type": "execute_result"
}
],
"source": [
"SimpleVRepresentation(vrep).V"
]
},
{
"cell_type": "markdown",
"metadata": {},
"source": [
"From [Polyhedra.jl/test/permutahedron.jl](https://github.com/blegat/Polyhedra.jl/blob/master/test/permutahedron.jl):"
]
},
{
"cell_type": "code",
"execution_count": 10,
"metadata": {
"collapsed": false
},
"outputs": [
{
"data": {
"text/plain": [
"LRSLib.LRSPolyhedron{3}(Nullable{Polyhedra.HRepresentation{3,Rational{BigInt}}}(H-representation\n",
"linearity 1 1\n",
"begin\n",
" 7 4 rational\n",
" 6//1 -1//1 -1//1 -1//1\n",
" 3//1 -1//1 0//1 0//1\n",
" 3//1 0//1 -1//1 0//1\n",
" 3//1 0//1 0//1 -1//1\n",
" -1//1 1//1 0//1 0//1\n",
" -1//1 0//1 1//1 0//1\n",
" -1//1 0//1 0//1 1//1\n",
"end),Nullable{LRSLib.LRSInequalityMatrix{3}}(),Nullable{Polyhedra.VRepresentation{3,Rational{BigInt}}}(),Nullable{LRSLib.LRSGeneratorMatrix{3}}(),false,false,false,false)"
]
},
"execution_count": 10,
"metadata": {},
"output_type": "execute_result"
}
],
"source": [
"lib = LRSLibrary()\n",
"A = [1 1 1; 1 0 0; 0 1 0; 0 0 1; -1 0 0; 0 -1 0; 0 0 -1]\n",
"b = [6, 3, 3, 3, -1, -1, -1]\n",
"linset = IntSet([1])\n",
"V = [2 3 1; 1 3 2; 3 1 2; 3 2 1; 2 1 3; 1 2 3]\n",
"ine = SimpleHRepresentation(A, b, linset)\n",
"poly = polyhedron(ine, lib)"
]
},
{
"cell_type": "code",
"execution_count": 11,
"metadata": {
"collapsed": false
},
"outputs": [
{
"data": {
"text/plain": [
"V-representation\n",
"begin\n",
" 6 4 rational\n",
" 0 3//1 2//1 1//1\n",
" 0 2//1 3//1 1//1\n",
" 0 1//1 3//1 2//1\n",
" 0 1//1 2//1 3//1\n",
" 0 3//1 1//1 2//1\n",
" 0 2//1 1//1 3//1\n",
"end"
]
},
"execution_count": 11,
"metadata": {},
"output_type": "execute_result"
}
],
"source": [
"LRSLib.getextm(poly, :Fresh)"
]
},
{
"cell_type": "code",
"execution_count": 12,
"metadata": {
"collapsed": false
},
"outputs": [
{
"ename": "LoadError",
"evalue": "LoadError: InexactError()\nwhile loading In[12], in expression starting on line 1",
"output_type": "error",
"traceback": [
"LoadError: InexactError()\nwhile loading In[12], in expression starting on line 1",
"",
" in schedule_and_wait(::Task, ::Void) at ./event.jl:110",
" in consume(::Task) at ./task.jl:269",
" in done at ./task.jl:274 [inlined]",
" in enumtomat(::LRSLib.LRSGeneratorMatrix{3}) at /Users/oyama/.julia/v0.5/LRSLib/src/conversion.jl:40",
" in convert(::Type{Polyhedra.LiftedHRepresentation{3,Rational{BigInt}}}, ::LRSLib.LRSGeneratorMatrix{3}) at /Users/oyama/.julia/v0.5/LRSLib/src/conversion.jl:48",
" in getine(::LRSLib.LRSPolyhedron{3}) at /Users/oyama/.julia/v0.5/LRSLib/src/polyhedron.jl:43",
" in detecthlinearities!(::LRSLib.LRSPolyhedron{3}) at /Users/oyama/.julia/v0.5/LRSLib/src/polyhedron.jl:154"
]
}
],
"source": [
"detecthlinearities!(poly)"
]
},
{
"cell_type": "code",
"execution_count": 13,
"metadata": {
"collapsed": false
},
"outputs": [
{
"ename": "AssertionError",
"evalue": "AssertionError: ispoint == zero(Rational{BigInt}) || ispoint == one(Rational{BigInt})",
"output_type": "error",
"traceback": [
"AssertionError: ispoint == zero(Rational{BigInt}) || ispoint == one(Rational{BigInt})",
"",
" in extractrow(::LRSLib.LRSGeneratorMatrix{3}, ::Int64) at /Users/oyama/.julia/v0.5/LRSLib/src/matrix.jl:266",
" in nextvrep(::LRSLib.LRSGeneratorMatrix{3}, ::Int64) at /Users/oyama/.julia/v0.5/LRSLib/src/matrix.jl:208",
" in next(::Polyhedra.VRepIterator{3,Rational{BigInt},3,Rational{BigInt}}, ::Tuple{Int64,Int64}) at /Users/oyama/.julia/v0.5/Polyhedra/src/representation.jl:109",
" in show(::IOContext{Base.AbstractIOBuffer{Array{UInt8,1}}}, ::LRSLib.LRSGeneratorMatrix{3}) at /Users/oyama/.julia/v0.5/Polyhedra/src/show.jl:38",
" in limitstringmime(::MIME{Symbol(\"text/plain\")}, ::LRSLib.LRSGeneratorMatrix{3}) at /Users/oyama/.julia/v0.5/IJulia/src/execute_request.jl:31",
" in display_dict(::LRSLib.LRSGeneratorMatrix{3}) at /Users/oyama/.julia/v0.5/IJulia/src/execute_request.jl:46",
" in execute_request(::ZMQ.Socket, ::IJulia.Msg) at /Users/oyama/.julia/v0.5/IJulia/src/execute_request.jl:200",
" in eventloop(::ZMQ.Socket) at /Users/oyama/.julia/v0.5/IJulia/src/eventloop.jl:8",
" in (::IJulia.##9#15)() at ./task.jl:360"
]
}
],
"source": [
"LRSLib.getextm(poly, :Fresh)"
]
},
{
"cell_type": "code",
"execution_count": null,
"metadata": {
"collapsed": true
},
"outputs": [],
"source": []
}
],
"metadata": {
"kernelspec": {
"display_name": "Julia 0.5.0",
"language": "julia",
"name": "julia-0.5"
},
"language_info": {
"file_extension": ".jl",
"mimetype": "application/julia",
"name": "julia",
"version": "0.5.0"
}
},
"nbformat": 4,
"nbformat_minor": 0
}
Display the source blob
Display the rendered blob
Raw
test_LRSLib_2.ipynb
Loading
Sorry, something went wrong. Reload?
Sorry, we cannot display this file.
Sorry, this file is invalid so it cannot be displayed.
Display the source blob
Display the rendered blob
Raw
test_LRSLib_3.ipynb
Loading
Sorry, something went wrong. Reload?
Sorry, we cannot display this file.
Sorry, this file is invalid so it cannot be displayed.
Display the source blob
Display the rendered blob
Raw
test_LRSLib_4.ipynb
Loading
Sorry, something went wrong. Reload?
Sorry, we cannot display this file.
Sorry, this file is invalid so it cannot be displayed.
Display the source blob
Display the rendered blob
Raw
test_LRSLib_5.ipynb
Loading
Sorry, something went wrong. Reload?
Sorry, we cannot display this file.
Sorry, this file is invalid so it cannot be displayed.
Display the source blob
Display the rendered blob
Raw
test_LRSLib_6.ipynb
Loading
Sorry, something went wrong. Reload?
Sorry, we cannot display this file.
Sorry, this file is invalid so it cannot be displayed.
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment