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
lexmin.cc: define max_term over an EDomain rather than a Polyhedron
2006-07-20
Sven V
e
rdoolaege
po
l
yhedron_
s
a
m
p
le: c
o
mpute
s
an
i
nte
g
er vector
in a
.
.
.
commit
|
commitdiff
|
tree
2006-07-19
Sven
Verdoolaege
con
f
igu
r
e
.
i
n
: check for g
l
p
k
commit
|
commitdiff
|
tree
2006-07-13
Sve
n
Verd
o
olaege
scar
f
.
c
c:
simpl
e
x::shrunk_polyhedron: only process
.
.
.
commit
|
commitdiff
|
tree
2006-07-13
Sven Verdoo
l
a
e
ge
gen_fun::add: p
e
r
form
trivia
l
reduction step
commit
|
commitdiff
|
tree
2006-07-13
Sven Ve
r
doolaege
g
e
n
fun
.
cc: reorder terms in numerator
commit
|
commitdiff
|
tree
2006-07-13
Sven Verdoolaege
sca
r
f
.
cc:
n
ormalize_matrix: simplif
y
n==3 case some
.
.
.
commit
|
commitdiff
|
tree
2006-07-13
Sv
e
n Verd
o
olae
g
e
scarf
.
c
c
: sup
p
ort so
m
e c
a
ses of 4 c
o
n
s
t
r
ai
n
ts
commit
|
commitdiff
|
tree
2006-07-13
S
v
en Verdoolaege
barvinok_enumer
a
te
_
e: --print-all
f
or printing all
.
.
.
commit
|
commitdiff
|
tree
2006-07-13
Sven Ve
r
do
o
l
a
ege
scarf
.
cc: normaliz
e
_matrix: s
i
mplify n=
=
3 cas
e
commit
|
commitdiff
|
tree
2006-07-10
Sven Ver
d
o
o
lae
g
e
scarf
.
cc:
p
r
oject
o
u
t
2 variables using Scar
f
complex
commit
|
commitdiff
|
tree
2006-07-08
Sven V
e
rdoolae
g
e
util
.
c
:
exp
o
rt Ex
t
ended_Euclid
commit
|
commitdiff
|
tree
2006-07-05
S
v
en Ve
r
doolaege
configure
.
in:
m
ake --ena
b
le-frac
t
ional t
h
e de
f
ault
commit
|
commitdiff
|
tree
2006-06-29
Sven V
e
rdoolaege
barvinok_coun
t
:
check whether unboun
d
ed po
l
yhedra actually
.
.
.
commit
|
commitdiff
|
tree
2006-06-29
Sven Verdoolaege
polymak
e
/configur
e
.
in
:
a
l
low specification of location
.
.
.
commit
|
commitdiff
|
tree
2006-06-29
Sven Verdoolaege
r
e
d
u
c
e_doma
i
n:
d
e
cl
a
re var
i
abl
e
at star
t
of
c
ode bloc
k
.
commit
|
commitdiff
|
tree
2006-06-28
S
v
en Verdo
o
laege
remove_equalitie
s
: stop
removi
n
f equ
a
lities if
input
.
.
.
commit
|
commitdiff
|
tree
2006-06-28
S
v
en Verdoolaeg
e
barvinok_c
o
unt:
s
top
c
ounting if
f
irst
factor is
empt
y
commit
|
commitdiff
|
tree
2006-06-28
Sven Verdoolaege
barvino
k
_cou
n
t
_f: check for emptiness of P (again)
commit
|
commitdiff
|
tree
2006-06-28
Sven
Verdo
o
la
e
ge
bar
v
inok_cou
n
t:
t
ell PolyLib
we are only i
n
terested
.
.
.
commit
|
commitdiff
|
tree
2006-06-22
Sven
V
e
r
d
oolaeg
e
v
er
s
i
o
n 0
.
21
commit
|
commitdiff
|
tree
2006-06-22
Sven Verd
o
o
laege
README: document optional
i
nst
a
l
latio
n
of Omega a
n
d
.
.
.
commit
|
commitdiff
|
tree
2006-06-22
S
ven Verdo
o
laege
doc: document Omega interfac
e
commit
|
commitdiff
|
tree
2006-06-22
S
ven Ver
d
o
o
l
aege
doc: (minim
a
lly) document polym
a
ke clie
n
ts
commit
|
commitdiff
|
tree
2006-06-22
Sven Ve
r
doolaege
doc: furt
h
er docu
m
ent
barvinok_ehrhart
commit
|
commitdiff
|
tree
2006-06-22
Sv
e
n
V
e
r
d
o
o
laege
docume
n
t barvinok_union
commit
|
commitdiff
|
tree
2006-06-22
S
v
en Verdoolaege
doc: document b
a
rv
i
nok_ehrhart
commit
|
commitdiff
|
tree
2006-06-21
Sven Verdoolaege
d
oc
:
document s
o
me option
s
commit
|
commitdiff
|
tree
2006-06-21
Sven Verdoola
e
ge
doc: add re
f
erence for NTL
commit
|
commitdiff
|
tree
2006-06-21
S
ve
n
Verdoo
l
aege
d
o
c: de
s
cribe verti
c
es based in
p
ut specification
commit
|
commitdiff
|
tree
2006-06-21
Sven Verdoolaege
doc:
typ
o
commit
|
commitdiff
|
tree
2006-06-21
S
v
en
Verdoola
e
ge
do
c
: add su
b
s
ections
commit
|
commitdiff
|
tree
2006-06-21
Sven Verdo
o
laege
use "git describe" to
d
escribe version
commit
|
commitdiff
|
tree
2006-06-21
Sven
Ver
d
oolaege
a
dd doc to d
i
stribu
t
io
n
commit
|
commitdiff
|
tree
2006-06-21
Sven
Verdoolaege
doc:
warn that th
e
output may lo
o
k different
commit
|
commitdiff
|
tree
2006-06-21
S
v
e
n Ve
r
doolaege
doc: barvino
k
_coun
t
no longe
r
p
e
rforms manual co
u
nting
.
commit
|
commitdiff
|
tree
2006-06-21
Sven V
e
rdoolae
g
e
doc: repl
a
c
e
"
App
e
ndix" by
"
Section"
commit
|
commitdiff
|
tree
2006-06-21
Sve
n
Verdoolaege
doc:
r
eflect rena
m
e
o
f cdd
2
pol
y
l
i
b
.
p
l
to lat
t
e
2
p
olyli
b
.
pl
commit
|
commitdiff
|
tree
2006-06-21
S
ven Verdoolaege
doc: resolve unde
f
ined
r
eferences through my thesis
commit
|
commitdiff
|
tree
2006-06-21
Sven Verdoolae
g
e
do
c
: add title
pag
e
commit
|
commitdiff
|
tree
2006-06-21
S
ve
n
Verdoolaege
doc
:
u
s
er guide
commit
|
commitdiff
|
tree
2006-06-21
Sven Verd
o
olae
g
e
rename c
d
d
2
pol
y
lib
.
pl
t
o latte2polylib
.
pl
commit
|
commitdiff
|
tree
2006-06-19
Sve
n
Ver
d
oolae
g
e
polymake/h_s
t
ar_vector
.
cc
:
client to comput
e
t
he h
.
.
.
commit
|
commitdiff
|
tree
2006-06-18
S
v
en Verdoolaege
po
l
ymake/conv
e
rt
.
cc: extract polymake_con
s
traints2polylib
.
.
.
commit
|
commitdiff
|
tree
2006-06-18
Sv
e
n Verdoolaege
util
.
c
:
expor
t
Co
n
e_over_Polyhedron
commit
|
commitdiff
|
tree
2006-06-18
Sv
e
n Verdoo
l
a
e
ge
barvinok
_
ehrh
a
rt: compute ehrhart (
q
u
asi-)
p
ol
y
nomia
l
.
.
.
commit
|
commitdiff
|
tree
2006-06-17
Sven
Verdo
o
laege
b
arvinok
_
count: allow polytope
t
o
be specifie
d
b
y
i
t
s
.
.
.
commit
|
commitdiff
|
tree
2006-06-02
Sven Verd
o
olaege
barv
i
nok_count
:
ha
n
d
l
e
i
nfini
t
e polyhedra
w
ith no
i
nt
e
ger
.
.
.
commit
|
commitdiff
|
tree
2006-06-02
Sve
n
V
e
rdo
o
laege
barvinok_count:
s
top counting if
o
n
e
of the fact
o
rs
.
.
.
commit
|
commitdiff
|
tree
2006-06-02
Sven Verdo
o
lae
g
e
evalue_frac
2
floo
r
_in_domain: allow argu
m
e
n
t of resulting
.
.
.
commit
|
commitdiff
|
tree
2006-06-02
Sven Verdoolaege
util
.
c: spec
i
fically i
n
dicate empty sets in Poly
h
edro
n
_
p
p
r
int
commit
|
commitdiff
|
tree
2006-06-02
S
v
e
n Ver
d
ool
a
e
g
e
util
.
c: mov
e
align_matrix from barvinok
.
cc
commit
|
commitdiff
|
tree
2006-06-02
S
v
en V
e
rdool
a
ege
mat_u
t
il
.
cc: some use
f
u
l functio
n
s ext
r
ac
t
ed
from gen
f
un
.
cc
commit
|
commitdiff
|
tree
2006-06-02
Sven Verdoolae
g
e
evalu
e
.
c: export reduce_eval
u
e
_in_domain
commit
|
commitdiff
|
tree
2006-06-02
Sven Ve
r
doolaege
e
value
.
c
:
r
e
name redu
c
e_in_d
o
main to ev
a
l
u
e_
r
ange_r
e
d
uction_
.
.
.
commit
|
commitdiff
|
tree
2006-06-02
Sven Ve
r
do
o
laege
bar
v
ino
k
.
cc:
r
emove ancie
n
t debugging
c
o
d
e
commit
|
commitdiff
|
tree
2006-06-02
Sv
e
n
Verdo
o
l
aege
evalue
.
c: expo
r
t evalue_fr
a
c2floor_
i
n_domain
commit
|
commitdiff
|
tree
2006-05-24
S
ven V
e
rdoolaege
g
en_
f
u
n:
:
substitute: add m
o
r
e detailed e
x
planation
commit
|
commitdiff
|
tree
2006-05-24
Sv
e
n Ve
r
doolaege
reduce_domain: handle NU
L
L CEq
commit
|
commitdiff
|
tree
2006-05-24
Sven V
e
rdoo
l
aege
barvinok
.
cc: move reduce_d
o
mai
n
into
s
eparate
file
commit
|
commitdiff
|
tree
2006-05-24
Sven V
e
r
doolaege
util
.
c: add Pol
y
hedron_pp
r
in
t
commit
|
commitdiff
|
tree
2006-05-18
Sve
n
Verdoolaege
lattice_point
.
cc: l
a
tt
i
ce point
s
computation e
x
tracted
.
.
.
commit
|
commitdiff
|
tree
2006-05-18
Sv
e
n
V
e
rdoolaege
co
n
vers
i
on
.
cc: add va
l
ues2zz and
r
a
ys2 from ba
r
vi
n
ok
.
c
c
commit
|
commitdiff
|
tree
2006-05-18
Sven
V
er
d
oo
l
a
e
ge
evalue
.
c: add evalue_zer
o
commit
|
commitdiff
|
tree
2006-05-18
Sven
Verdo
o
laege
decomposer: extract out
v
ertex_de
c
omposer from barvinok
.
cc
commit
|
commitdiff
|
tree
2006-05-18
S
ven Verdoo
l
a
e
g
e
bar
v
i
n
o
k
.
cc: extract o
u
t some
f
u
nct
i
o
n
ality into decomposer
.
.
.
commit
|
commitdiff
|
tree
2006-05-12
Sven Verdoolaege
util
.
c
: docum
e
nt
Euclid
fu
n
ction
commit
|
commitdiff
|
tree
2006-05-10
Sven V
e
rdoolaege
o
cc: plug s
o
me
mo
r
e (potential)
m
emory leaks
commit
|
commitdiff
|
tree
2006-05-10
Sven Verdoo
l
aege
occ
:
don'
t
use freed variable in error messa
g
e
commit
|
commitdiff
|
tree
2006-04-10
Sven Ver
d
oolaege
barvinok
.
c
c
: add some
documentation to lattice
p
o
int
.
.
.
commit
|
commitdiff
|
tree
2006-04-05
Sve
n
V
e
rdoolae
g
e
ba
r
vinok_enumer
a
te_uni
o
n
:
call
g
en_fu
n
::add_u
n
ion
commit
|
commitdiff
|
tree
2006-04-05
Sve
n
Verdoolaege
gen_f
u
n: add add_unio
n
method
commit
|
commitdiff
|
tree
2006-04-03
S
ven Verd
o
olaege
barv
i
nok
.
cc: d
o
cumen
t
Spl
i
tOnVar and remove some
re
d
un
d
ant
.
.
.
commit
|
commitdiff
|
tree
2006-04-03
S
ven Verdoola
e
ge
r
emove inappropriate
u
ses of Po
l
yhe
d
ro
n
2Param_Simp
l
ifi
e
d
D
omain
commit
|
commitdiff
|
tree
2006-02-22
Sven Verdoolaege
version 0
.
20
commit
|
commitdiff
|
tree
2006-02-22
Sven
V
erdoolaege
create c
o
r
r
ect
G
IT_HEAD_ID
i
n distribution
commit
|
commitdiff
|
tree
2006-02-22
S
ven V
e
rdoolaege
barvinok_union: document input
f
o
r
mat
commit
|
commitdiff
|
tree
2006-02-21
Sven Verdoolaege
Merge branch 'new_pip
l
ib'
commit
|
commitdiff
|
tree
2006-02-16
Sven Verdoolaege
only
r
un tests th
a
t r
e
qui
r
e
piplib wh
e
n pi
p
lib i
s
available
commit
|
commitdiff
|
tree
2006-02-16
Sven Verdoolaege
barvinok_enumerate_e: only link in omeg
a
libraries
.
.
.
commit
|
commitdiff
|
tree
2006-02-16
Sven Verdoolaege
chec
k
f
or piplib 1
.
3
.
6
commit
|
commitdiff
|
tree
2006-02-15
Sven Verdoolaege
some
examples fr
o
m
Rachid to test barvinok_en
u
merate_e
commit
|
commitdiff
|
tree
2006-02-15
Sven V
e
r
doolaege
add bar
v
inok_union
.
c
commit
|
commitdiff
|
tree
2006-02-15
Sven
V
e
r
doolaege
add barvinok_enumerate_unio
n
function
commit
|
commitdiff
|
tree
2006-02-15
S
v
en Verdoolaege
ge
n
_fu
n
: add Hadam
a
rd_product method
commit
|
commitdiff
|
tree
2006-02-15
Sven Ver
d
oolaeg
e
gen_f
u
n
:
:o
p
erato
r
e
v
alue *(): fix memor
y
leaks
.
commit
|
commitdiff
|
tree
2006-02-15
Sve
n
V
e
rdoolaege
genfun
.
cc:prin
t
_power: remo
v
e
s
p
a
ces
around
"
*
"
in
.
.
.
commit
|
commitdiff
|
tree
2006-02-15
Sven Verdoolaege
barvinok_series: return empty
g
e
n
_fun for
empty pol
y
tope
.
commit
|
commitdiff
|
tree
2006-02-14
S
v
en Ver
d
oolaege
ba
r
vinok_series: remov
e
unused variables
.
commit
|
commitdiff
|
tree
2006-02-14
Sven Verd
o
olaege
barv
i
no
k
.
cc: extract out some code co
m
mon to genera
t
in
g
.
.
.
commit
|
commitdiff
|
tree
2006-02-14
S
v
en Ve
r
doo
l
aege
b
ar
v
in
o
k
.
cc: introduce
n
p_
b
ase, a base cl
a
ss for non
.
.
.
commit
|
commitdiff
|
tree
2006-02-14
Sven Verdoolae
g
e
barv
i
nok
.
cc: do virtual polar_decomposer
i
nheritance
.
.
.
commit
|
commitdiff
|
tree
2006-02-10
Sven Verdoolae
g
e
barvinok_series: re
m
ove some more
equali
t
ies
f
rom the
.
.
.
commit
|
commitdiff
|
tree
2006-02-10
Sven Verdoo
l
a
ege
check for compress_parms funct
i
on
commit
|
commitdiff
|
tree
2006-02-10
Sven Ver
d
o
o
laege
gen_fun: add
s
ubstitute method
.
commit
|
commitdiff
|
tree
2006-02-09
Sven Verdool
a
e
ge
b
a
r
vino
k
/genfun
.
h: a bit m
o
re documentation
.
commit
|
commitdiff
|
tree
2006-02-09
Sven Verdoolaege
a
dapt de
t
ermination of g
i
t HE
A
D to r
e
cent
g
it ve
r
si
o
ns
commit
|
commitdiff
|
tree
2006-02-08
S
ven
V
erdoolaege
verify_
m
a
in
.
c
c: fix
t
y
p
o that
w
oul
d
let chec
k
_series
.
.
.
commit
|
commitdiff
|
tree
2006-02-08
Sven
Ve
r
doolaege
verify_ma
i
n
.
cc: also print expli
c
it function when verbo
s
e
commit
|
commitdiff
|
tree
2006-02-08
Sven Verdoola
e
ge
g
en_fun::add: no
r
malize c
o
e
f
ficients
commit
|
commitdiff
|
tree
2006-01-29
Sven
V
erdoolaege
test barvinok_enum
e
rate
_
e
--omega
commit
|
commitdiff
|
tree
next