repo.or.cz
/
barvinok.git
/
search
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
log
|
graphiclog1
|
graphiclog2
|
commit
|
commitdiff
|
tree
|
refs
|
edit
|
fork
first
·
prev
·
next
bfcounter.cc: move some more code from barvinok.cc
2006-07-26
Sven
Verdool
a
ege
bf
c
o
unter
.
c
c
: move s
o
me
more
c
o
de from barvinok
.
c
c
commit
|
commitdiff
|
tree
2006-07-26
Sven Verdoo
l
aege
g
e
n
_
f
un
.
h: short_r
a
t: use
QQ instead of
pair of ZZs
commit
|
commitdiff
|
tree
2006-07-26
Sven V
e
rd
o
olaege
N
T
L
_QQ
.
cc: a ration
a
l NTL t
y
pe
commit
|
commitdiff
|
tree
2006-07-26
S
ven V
e
r
doola
e
ge
ve
r
ify_
m
ain
.
cc: small memo
r
y c
l
ean-up
commit
|
commitdiff
|
tree
2006-07-26
S
ven Verdoolaege
barvinok_series:
m
ove choice
o
f which gf_base subcla
s
s
.
.
.
commit
|
commitdiff
|
tree
2006-07-26
Sven Verdoolaege
b
a
rvinok
.
cc:
m
o
v
e some fu
n
c
t
i
o
nali
t
y into s
e
parate
.
.
.
commit
|
commitdiff
|
tree
2006-07-26
S
v
en Verdoolaege
barvinok
.
cc: mo
v
e Polyhedr
o
n argument
t
o
start method
.
.
.
commit
|
commitdiff
|
tree
2006-07-26
Sven Verdoo
l
aege
barvinok
.
c
c
: m
o
ve start
and handle_pol
a
r
into
n
p_bas
e
.
.
.
commit
|
commitdiff
|
tree
2006-07-26
S
ve
n
Verdoolaege
gen
_
fun: add shift
m
et
h
od
commit
|
commitdiff
|
tree
2006-07-26
Sven Verdoola
e
g
e
gen_fun: add copy co
n
s
t
ructor
commit
|
commitdiff
|
tree
2006-07-26
Sven
Verdoolaege
zz2value
s
:
make
first argum
e
nt c
o
n
s
t
commit
|
commitdiff
|
tree
2006-07-26
Sven Verdoola
e
ge
zz2value: make
f
irst argument const
commit
|
commitdiff
|
tree
2006-07-20
S
v
e
n
Verdo
o
l
a
ege
Poly
h
ed
r
on_
i
s_infin
i
te: us
e
Polyhedron
_
Sample
i
f
availa
b
l
e
.
commit
|
commitdiff
|
tree
2006-07-20
Sv
e
n
Verdool
a
ege
polyhed
r
on_sample: computes an in
t
eger vector in a
.
.
.
commit
|
commitdiff
|
tree
2006-07-19
Sven
V
erd
o
olaege
c
o
n
f
igure
.
in: check for glpk
commit
|
commitdiff
|
tree
2006-07-13
Sven V
e
r
d
oolaeg
e
scarf
.
c
c: simpl
e
x
::shrunk_
p
olyhedron: only
proc
e
s
s
.
.
.
commit
|
commitdiff
|
tree
2006-07-13
Sven Verdoolaege
gen_fu
n
::add: perf
o
rm trivial r
e
ductio
n
step
commit
|
commitdiff
|
tree
2006-07-13
Sve
n
Ve
r
doolaege
ge
n
fu
n
.
cc: reorder term
s
in numerator
commit
|
commitdiff
|
tree
2006-07-13
Sven Verdoolaege
s
c
arf
.
cc: normalize
_
matrix: simplify
n==3 ca
s
e so
m
e
.
.
.
commit
|
commitdiff
|
tree
2006-07-13
S
v
en Verdoolaege
scarf
.
cc: supp
o
rt
some cases
o
f 4
c
onstraints
commit
|
commitdiff
|
tree
2006-07-13
Sve
n
V
e
rdoolaege
barvinok_enumerate_
e
:
-
-p
r
int-all
f
o
r printing all
.
.
.
commit
|
commitdiff
|
tree
2006-07-13
Sven Verdoolaege
scarf
.
cc: normalize_matrix:
s
i
m
pli
f
y n==3 ca
s
e
commit
|
commitdiff
|
tree
2006-07-10
Sve
n
Verd
o
olaeg
e
scar
f
.
c
c:
project out 2 variables using Scarf c
o
m
p
lex
commit
|
commitdiff
|
tree
2006-07-08
Sven
V
erdoolae
g
e
u
t
il
.
c:
export Extended_Euclid
commit
|
commitdiff
|
tree
2006-07-05
Sven Ve
r
dool
a
ege
co
n
figu
r
e
.
in: m
a
ke
--enable-fractional th
e
default
commit
|
commitdiff
|
tree
2006-06-29
S
v
en Verdoolaege
bar
v
i
nok_count: ch
e
c
k
whe
t
her unbounded polyhedra ac
t
ua
l
ly
.
.
.
commit
|
commitdiff
|
tree
2006-06-29
Sven
Ve
r
d
o
olae
g
e
pol
y
m
ake/co
n
figur
e
.
i
n
: allow specification of lo
c
ation
.
.
.
commit
|
commitdiff
|
tree
2006-06-29
S
v
en Verdoolaege
reduce
_
domain:
d
eclare varia
b
le at start of cod
e
block
.
commit
|
commitdiff
|
tree
2006-06-28
Sven Verdool
a
e
ge
remove_equalities: s
t
op removi
n
f
e
q
ualities i
f
i
nput
.
.
.
commit
|
commitdiff
|
tree
2006-06-28
S
v
en Verdoolaege
barvi
n
ok_cou
n
t:
s
t
o
p
c
ounting if first fac
t
or is empty
commit
|
commitdiff
|
tree
2006-06-28
Sven Verd
o
ol
a
eg
e
ba
r
vi
n
ok_count_
f
: check for emptiness of P (again
)
commit
|
commitdiff
|
tree
2006-06-28
Sven Verd
o
o
l
a
ege
b
arvinok_count
:
tell Pol
y
Lib
we are
o
nly inte
r
e
s
ted
.
.
.
commit
|
commitdiff
|
tree
2006-06-22
Sven V
e
r
doolaege
version 0
.
2
1
commit
|
commitdiff
|
tree
2006-06-22
Sven Ver
d
oolaege
README: document o
p
tional
i
n
s
t
allation of Omega and
.
.
.
commit
|
commitdiff
|
tree
2006-06-22
Sven Verdoola
e
ge
doc: d
o
cu
m
ent Omega interface
commit
|
commitdiff
|
tree
2006-06-22
Sven Verdo
o
l
a
ege
doc: (minimally)
d
ocument
polymake clie
n
ts
commit
|
commitdiff
|
tree
2006-06-22
Sve
n
Verdoolaege
do
c
: further d
o
cu
m
ent barvinok_ehrhart
commit
|
commitdiff
|
tree
2006-06-22
S
v
en Verdoolaege
d
o
c
u
ment ba
r
vino
k
_union
commit
|
commitdiff
|
tree
2006-06-22
Sven Verdoolaege
doc
:
document barvinok_eh
r
hart
commit
|
commitdiff
|
tree
2006-06-21
Sve
n
Verdoolae
g
e
do
c
: document som
e
op
t
ions
commit
|
commitdiff
|
tree
2006-06-21
Sv
e
n V
e
rdoolae
g
e
doc:
add refe
r
ence for NTL
commit
|
commitdiff
|
tree
2006-06-21
Sven Ve
r
doolaege
doc
:
de
s
cribe vertices
b
a
sed in
p
ut specification
commit
|
commitdiff
|
tree
2006-06-21
Sven Ve
r
doolaege
doc:
t
ypo
commit
|
commitdiff
|
tree
2006-06-21
Sven Ver
d
oolae
g
e
do
c
: add subsec
t
ions
commit
|
commitdiff
|
tree
2006-06-21
Sven Ve
r
doo
l
aeg
e
u
se
"
g
it describe" to describe version
commit
|
commitdiff
|
tree
2006-06-21
Sven
V
e
rdoolaege
add doc to distribution
commit
|
commitdiff
|
tree
2006-06-21
Sven
V
er
d
oolaege
doc:
warn that the o
u
tput m
a
y look
diff
e
rent
commit
|
commitdiff
|
tree
2006-06-21
S
ven Verdo
o
laege
do
c
:
ba
r
vinok_count
n
o
longer p
e
r
forms manual counting
.
commit
|
commitdiff
|
tree
2006-06-21
Sven V
e
rd
o
olaege
doc:
r
e
place
"
Appe
n
dix" by "Section"
commit
|
commitdiff
|
tree
2006-06-21
Sven Verdoolaege
doc: re
f
lect rename of
c
d
d
2
polylib
.
pl to
l
a
tte
2
pol
y
lib
.
p
l
commit
|
commitdiff
|
tree
2006-06-21
Sven Ver
d
oolaege
do
c
: resolve un
d
efined
r
eferences thro
u
gh m
y
thes
i
s
commit
|
commitdiff
|
tree
2006-06-21
S
ven Verdoolaege
doc: add title
page
commit
|
commitdiff
|
tree
2006-06-21
Sven
V
erdoolaege
d
o
c: user
g
uide
commit
|
commitdiff
|
tree
2006-06-21
Sven Verdoolaege
r
e
n
ame cdd2
p
o
l
yl
i
b
.
pl to
l
a
t
te2polylib
.
pl
commit
|
commitdiff
|
tree
2006-06-19
S
ve
n
Verdoola
e
ge
pol
y
make
/
h_
s
tar_vector
.
cc: c
l
ient
t
o
com
p
ute t
h
e h
.
.
.
commit
|
commitdiff
|
tree
2006-06-18
S
v
en
V
erdoola
e
ge
poly
m
ake/convert
.
cc: extract p
o
l
ymake_co
n
straints2pol
y
l
ib
.
.
.
commit
|
commitdiff
|
tree
2006-06-18
S
ven
V
e
r
d
oolaege
util
.
c
:
e
x
p
o
rt Cone_over_Polyhedr
o
n
commit
|
commitdiff
|
tree
2006-06-18
Sven V
e
rdoolaege
barvinok
_
ehrhart: compute ehrha
r
t (q
u
as
i
-)p
o
l
ynomial
.
.
.
commit
|
commitdiff
|
tree
2006-06-17
Sven V
e
rdoolaege
barvi
n
ok_count: allow polytope
t
o
be s
p
ecified b
y
its
.
.
.
commit
|
commitdiff
|
tree
2006-06-02
S
v
en Verdool
a
ege
b
a
rvinok_count: handl
e
infinite p
o
lyhedra with no
i
nte
g
er
.
.
.
commit
|
commitdiff
|
tree
2006-06-02
Sven
Ver
d
o
o
l
a
ege
b
arvino
k
_count:
s
top
counting if
o
ne of the f
a
ctors
.
.
.
commit
|
commitdiff
|
tree
2006-06-02
S
ven Verdool
a
eg
e
e
value_fr
a
c2floor_in_dom
a
in: al
l
ow
a
rgume
n
t of res
u
lting
.
.
.
commit
|
commitdiff
|
tree
2006-06-02
Sven Verdoolaeg
e
u
t
il
.
c: speci
f
ically
i
ndicate empty sets in
Polyhedron_ppri
n
t
commit
|
commitdiff
|
tree
2006-06-02
Sven Ve
r
doo
l
aege
util
.
c: move align_ma
t
rix f
r
om barvinok
.
cc
commit
|
commitdiff
|
tree
2006-06-02
Sve
n
Verdoolaege
mat
_
uti
l
.
cc: some useful functions
e
xtract
e
d fro
m
genfun
.
cc
commit
|
commitdiff
|
tree
2006-06-02
Sven Verdoolaege
eval
u
e
.
c: export red
u
c
e
_
e
value_i
n
_domain
commit
|
commitdiff
|
tree
2006-06-02
Sven Verdoo
l
a
e
ge
e
v
al
u
e
.
c: rename
r
educe_in_d
o
main to e
v
alue_range_re
d
uctio
n
_
.
.
.
commit
|
commitdiff
|
tree
2006-06-02
Sven
V
erdoolaeg
e
b
a
r
vin
o
k
.
c
c: remove ancient deb
u
g
gi
n
g code
commit
|
commitdiff
|
tree
2006-06-02
Sven
V
erd
o
olae
g
e
evalue
.
c: export
evalue_frac2
f
loor_in_
d
omain
commit
|
commitdiff
|
tree
2006-05-24
Sven Verdoolaege
gen
_
fun:
:
s
u
bstitute:
a
dd more deta
i
led explanatio
n
commit
|
commitdiff
|
tree
2006-05-24
Sven Verdoo
l
aege
red
u
c
e_domain:
h
a
n
dle NULL C
E
q
commit
|
commitdiff
|
tree
2006-05-24
Sven
V
erdoolaege
barvinok
.
cc: move reduce_domain in
t
o s
e
parate
f
ile
commit
|
commitdiff
|
tree
2006-05-24
Sven Verdoo
l
aege
ut
i
l
.
c
:
add Polyhe
d
ro
n
_ppri
n
t
commit
|
commitdiff
|
tree
2006-05-18
S
v
en Ve
r
do
o
laege
lattic
e
_po
i
n
t
.
cc: lattice
p
o
ints computation
extr
a
c
t
ed
.
.
.
commit
|
commitdiff
|
tree
2006-05-18
Sven Verdoolaege
conv
e
r
si
o
n
.
c
c
: add v
a
lues2zz and
rays2 fr
o
m barvinok
.
cc
commit
|
commitdiff
|
tree
2006-05-18
Sven Verdoolaege
evalue
.
c: add evalue_zero
commit
|
commitdiff
|
tree
2006-05-18
Sven Ver
d
oolaege
decomposer: e
x
tract ou
t
vertex_decomposer fr
o
m
barvinok
.
cc
commit
|
commitdiff
|
tree
2006-05-18
Sv
e
n Verdoolaege
barvinok
.
cc: extract
ou
t
some functionalit
y
in
t
o
deco
m
poser
.
.
.
commit
|
commitdiff
|
tree
2006-05-12
Sven Verd
o
olaege
util
.
c: d
o
cument
E
uclid function
commit
|
commitdiff
|
tree
2006-05-10
S
ven Verdoola
e
ge
occ: plug some
mor
e
(potential) memory l
e
aks
commit
|
commitdiff
|
tree
2006-05-10
Sven Verdoolaege
occ: d
o
n't us
e
freed variabl
e
in error mes
s
a
g
e
commit
|
commitdiff
|
tree
2006-04-10
Sven Ve
r
d
o
olaege
b
a
r
v
inok
.
cc
:
add some documentation to
l
attice point
.
.
.
commit
|
commitdiff
|
tree
2006-04-05
S
v
e
n Verdoo
l
a
e
ge
ba
r
vinok_enumerate_u
n
i
o
n: call g
e
n_fun::add
_
un
i
on
commit
|
commitdiff
|
tree
2006-04-05
Sven Verdoolaege
g
e
n_fun: add add_union
me
t
h
o
d
commit
|
commitdiff
|
tree
2006-04-03
S
v
en Verdoolaege
barvinok
.
cc:
do
c
ument SplitOnVar and rem
o
ve some redundant
.
.
.
commit
|
commitdiff
|
tree
2006-04-03
Sven Verd
o
olaege
remo
v
e inapprop
r
iate u
s
es
o
f Polyhed
r
on2P
a
ram_SimplifiedDomain
commit
|
commitdiff
|
tree
2006-02-22
S
ve
n
Verdoo
l
aege
ver
s
ion 0
.
20
commit
|
commitdiff
|
tree
2006-02-22
Sven Verdoolaege
crea
t
e correct GIT_HEAD_ID in distributio
n
commit
|
commitdiff
|
tree
2006-02-22
S
v
en
V
erdoolaege
barvinok_union: doc
u
ment
i
nput format
commit
|
commitdiff
|
tree
2006-02-21
Sven Verd
o
olaege
M
erge branch '
n
e
w
_piplib'
commit
|
commitdiff
|
tree
2006-02-16
Sven Verdoo
l
a
e
ge
only run tests
th
a
t
r
equire
p
iplib when pip
l
i
b
i
s ava
i
lab
l
e
commit
|
commitdiff
|
tree
2006-02-16
Sven Verdoolaege
b
arvinok_enumerate_e:
only
l
ink in omega libraries
.
.
.
commit
|
commitdiff
|
tree
2006-02-16
Sve
n
Verdoola
e
g
e
check for p
i
plib 1
.
3
.
6
commit
|
commitdiff
|
tree
2006-02-15
Sven
V
erd
o
o
l
aege
some examples from
R
achid
to te
s
t barvinok_enum
e
rate_e
commit
|
commitdiff
|
tree
2006-02-15
Sv
e
n Verdo
o
lae
g
e
add barvinok_un
i
o
n
.
c
commit
|
commitdiff
|
tree
2006-02-15
Sven Verdoolaege
a
d
d barvinok_enumerate_un
i
on functio
n
commit
|
commitdiff
|
tree
2006-02-15
Sv
e
n Verdoola
e
ge
gen_fun: add Ha
d
amard_product m
e
thod
commit
|
commitdiff
|
tree
2006-02-15
Sven Verdoolaege
g
en_fun::operator evalu
e
*(): fix
m
emory l
e
aks
.
commit
|
commitdiff
|
tree
2006-02-15
Sven
V
erdoolaege
g
e
nfun
.
c
c:p
r
int_power: remove spaces around "*" in
.
.
.
commit
|
commitdiff
|
tree
2006-02-15
Sven Verdoolaege
barvinok_series: return em
p
ty g
e
n_f
u
n for empty polytope
.
commit
|
commitdiff
|
tree
next