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
doc: update now published papers
2008-03-24
Sven
V
erdool
a
ege
d
oc: update now publish
e
d pap
e
rs
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdoolaege
for_each
_
l
o
wer_upper_bound: allow a
b
sence of lower
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sve
n
Verdoolaeg
e
Revert "ea
d
d_partitions: try to
co
m
bine multip
l
e
d
omains
.
.
.
commit
|
commitdiff
|
tree
2008-03-24
Sven Verdo
o
l
aege
evalue_read_parti
t
ion: put partiti
o
ns back in the same
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
Sv
e
n V
e
rdoo
l
a
ege
evalue: r
e
d
u
ce_evalu
e
:
add
note
o
n
s
o
me m
i
s
s
ed opportunities
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
Sven Ve
r
doo
l
aege
bernstein
.
cc: h
a
ndle input wit
h
un
i
ons + relat
i
o
n
v
iolated
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
Sven Verdoola
e
ge
maximize
.
cc
:
d
eal with u
n
ions in input du
r
ing veri
f
ication
commit
|
commitdiff
|
tree
2008-03-10
Sven
V
erdo
o
laege
evalue_substitute: properly hand
l
e rel
a
ti
o
ns
commit
|
commitdiff
|
tree
2008-03-10
S
ven Verd
o
o
laeg
e
eva
l
u
e
.
c:
clean up emu
l
a
n
d eadd
commit
|
commitdiff
|
tree
2008-03-10
Sven
V
erdoola
e
ge
ev
a
lue_read: correctly read vari
a
ble names
commit
|
commitdiff
|
tree
2008-03-10
Sv
e
n Verdoolaege
evalue_read: accept top
level
"relation
"
commit
|
commitdiff
|
tree
2008-03-10
S
v
e
n
V
er
d
oolaeg
e
update pol
y
lib
commit
|
commitdiff
|
tree
2008-02-29
Sven Verdoo
l
aege
evalue
_
backs
u
bstitu
t
e: add
r
equire
d
modulo co
n
straints
commit
|
commitdiff
|
tree
2008-02-26
Sven Verdoolaege
evalue
.
c: *_partit
i
ons
:
s
i
mpli
f
y
constr
a
ints be
f
ore
.
.
.
commit
|
commitdiff
|
tree
2008-02-01
S
v
en
Verdoolaege
doc: more specific inform
a
tio
n
on buggy cddl
i
b
versions
commit
|
commitdiff
|
tree
2008-01-28
S
ven Verdool
a
ege
c
onfigure
.
in
:
require cddlib 0
.
94e by testing for bug
.
.
.
commit
|
commitdiff
|
tree
2008-01-18
Sven Verdoolaege
configure
.
i
n
: only c
o
m
p
i
le occ
if cod
e
_gen libr
a
ry
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
S
v
e
n
V
e
rdoolaege
bar
v
i
n
ok 0
.
26
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolaege
add s
o
m
e tests for
i
mplemen
t
ation of projection theorem
commit
|
commitdiff
|
tree
2008-01-16
S
v
en Verdoolaeg
e
doc: doc
u
ment new options and new
a
pplicati
o
ns
commit
|
commitdiff
|
tree
2008-01-16
S
v
en Verdoolaege
AUTHO
R
S:
u
p
date su
p
port information
commit
|
commitdiff
|
tree
2008-01-16
S
ven
Ver
d
oolaege
genfun
.
c
c
:
s
hort
_
rat::print: correctl
y
pri
n
t polynom
i
als
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven V
e
rd
o
olaege
Export se
r
ies as bar
v
i
nok_enu
m
era
t
e_serie
s
and use
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolaege
rem
o
ve_p
a
rameter_equalities: stop "removing" equalities
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolaege
se
r
ie
s
:
l
eave
f
reeing of P a
r
gu
m
ent to calling function
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolaege
doc:
d
ocu
m
ent implem
e
nt
a
t
i
on of the projection theorem
commit
|
commitdiff
|
tree
2008-01-16
Sv
e
n V
e
rdoolaege
ad
d
barvinok_enumerate_e_series implementi
n
g
the projecti
o
n
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdo
o
la
e
ge
ge
n
fun
.
cc: fix and
d
ocument parall
e
l polytop
e
s class
commit
|
commitdiff
|
tree
2008-01-16
Sven
V
erdoola
e
g
e
Only compil
e
z
s
olve if gcc
3
.
4 or l
a
ter is avai
l
a
b
le
commit
|
commitdiff
|
tree
2008-01-16
Sv
e
n Verdoolaege
Move GiN
a
C-in
d
ependent part o
f
lib
r
ary to barvinok
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven
V
er
d
oolae
g
e
polyli
b
: up
d
ate
commit
|
commitdiff
|
tree
2007-11-22
Sven
V
erdool
a
ege
doc: ho
w
to co
u
nt
t
h
e num
b
er
of elements in
possibly
.
.
.
commit
|
commitdiff
|
tree
2007-11-22
Sven V
e
rdoola
e
ge
do
c
/implementation
.
tex:
a
vo
i
d
multiply defined l
a
bel
commit
|
commitdiff
|
tree
2007-11-21
Sven Verd
o
olaeg
e
l
a
t
t
ice_width
.
c
:
tr
y
vertices
of previous integer hulls
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven Ve
r
do
o
l
a
e
g
e
doc: document integer hul
l
computation
commit
|
commitdiff
|
tree
2007-11-21
Sven Ver
d
oo
l
aege
hull
.
c: a
d
d all
p
oints found by s
a
mpling directly
t
o
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven
V
e
r
doo
l
a
ege
Possible optimizati
o
ns for
g
e
n
eralized basi
s
r
e
duc
t
ion
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven Verdoolaege
Support use
of
gener
a
lized
b
a
sis re
d
uction to
compu
t
e
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven Verdo
o
laege
add Polyhed
r
on
_
Integer_M
i
nimum
for computing the int
e
ger
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven Ve
r
doo
l
aege
doc:
d
ocu
m
e
n
t generalized basis reduction base
d
int
e
ger
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven Verdool
a
ege
doc/barvinok
.
bib: a
d
d
missing string
commit
|
commitdiff
|
tree
2007-11-17
Sv
e
n Verdo
o
laege
a
dd more missing assert
.
h
#includes
commit
|
commitdiff
|
tree
2007-11-17
S
v
en Ver
d
o
olaege
ev
a
lue
.
c: add missin
g
inc
l
ude of
a
ll
o
ca
.
h
commit
|
commitdiff
|
tree
2007-11-17
Sven Verdoolaege
configure
.
in: pass path of
GMP installation to Po
l
yLib
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
Sven Verdoolaege
c
o
n
figure
.
in: o
n
ly compi
l
e libbarvinok
as a sta
t
ic
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
S
ven Verdoolaeg
e
Polyhedron_Reduced_B
a
s
is
:
don't stop too ear
l
y
w
h
e
n
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
S
ve
n
Verdoola
e
ge
c
o
mpute_width_d
i
rections: only
keep
l
is
t
of distin
c
t
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
Sv
e
n Verdoo
l
aeg
e
zsolve: don't
ins
t
all library
commit
|
commitdiff
|
tree
2007-11-08
Sven Verdoolaege
ver
s
ion
.
c
:
s
how use
of TOPCOM
commit
|
commitdiff
|
tree
2007-11-08
Sven Ver
d
oolaege
conf
i
gure
.
in: don't se
t
with_{poly,
p
ip}li
b
_prefix from
.
.
.
commit
|
commitdiff
|
tree
2007-11-08
Sven Verdoolaege
Polyhedron_
S
a
m
ple
:
be
s
atisfi
e
d w
i
th a reasonable
choice
.
.
.
commit
|
commitdiff
|
tree
2007-11-08
S
v
en Verdoolaege
cone
_
int
e
ger_hull: opt
i
o
n
a
l
ly
p
rint stats
commit
|
commitdiff
|
tree
2007-11-08
Sven Verdoolaege
basis_red
u
ction:
k
eep
t
rack of num
b
e
r o
f
L
Ps
s
olved
commit
|
commitdiff
|
tree
2007-11-08
Sven Verdoolaege
opti
o
ns: move --pri
n
t-stats to libra
r
y
commit
|
commitdiff
|
tree
2007-11-07
Sven Verdoolaege
ber
n
stei
n
:
r
e
w
ork testing
framework to not depen
d
on
.
.
.
commit
|
commitdiff
|
tree
2007-11-07
Sven Verdoolaege
berns
t
ein: add piece
w
ise_lst::is_equa
l
commit
|
commitdiff
|
tree
2007-11-07
Sven Verdoolaege
su
p
po
r
t
n
e
we
r
v
ersions of GiNaC (>= 1
.
3
.
8)
commit
|
commitdiff
|
tree
2007-11-07
Sven Ve
r
d
o
o
l
aege
standar
d
_constraints:
move from t
o
p
co
m
.
c to polysign
.
c
commit
|
commitdiff
|
tree
2007-11-07
Sven V
e
r
doolaeg
e
polysign
.
h:
r
emov
e
dependency on
l
exmin
.
h
commit
|
commitdiff
|
tree
2007-11-07
Sven Verdoolaege
zsol
v
e:
a
d
d
banner
.
h to distribut
i
on
commit
|
commitdiff
|
tree
2007-11-06
S
v
en Ve
r
doo
l
aege
Polyhedron_Lattice
_
Wid
t
h_D
i
rections: print progress
.
.
.
commit
|
commitdiff
|
tree
2007-11-06
Sven Ve
r
doolaeg
e
basis_red
u
cti
o
n_pip: abort on
i
nvalid (empty) input
.
.
.
commit
|
commitdiff
|
tree
2007-11-02
Sven Verdoolaege
R
E
A
D
ME
:
expla
i
n how to g
e
t s
u
b
m
odules
commit
|
commitdiff
|
tree
2007-11-02
Sven Verdoolae
g
e
d
o
c: do
c
ume
n
t lattice
w
idt
h
comp
u
tati
o
n
commit
|
commitdiff
|
tree
2007-11-02
Sven Verdo
o
laege
s
ome lattice
width tests from Jon Ya
g
gie
commit
|
commitdiff
|
tree
2007-11-01
Sven Ver
d
ool
a
eg
e
Polyhedron
_
Lattice_Width: decide
o
n facet
s
to
c
lose
.
.
.
commit
|
commitdiff
|
tree
2007-11-01
S
ven
Verdoola
e
ge
a
d
d Polyhedron_Lattice_Width
f
or computing la
t
t
ice
.
.
.
commit
|
commitdiff
|
tree
2007-11-01
Sven Verdoolaege
h
i
l
b
ert
.
c: add
C
one_
I
nteg
e
r_
H
u
ll fo
r
co
m
puti
n
g vertices
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sven Verd
o
olaege
polysign: add pip-backe
d
version
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoolaeg
e
polysign
:
a
dd
constraints_opt to co
m
pute op
t
im
u
m over
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdo
o
laege
pol
y
sign_c
d
d:
switch to u
s
e of M
a
trix representation
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
S
ven Verdoo
l
a
e
g
e
p
olysign_g
l
pk: switch
t
o use of Mat
r
ix representation
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sven V
e
rdoolaege
do
c
: d
o
cument
c
o
m
p
u
t
ation of Hil
b
ert basis of a cone
commit
|
commitdiff
|
tree
2007-10-31
Sve
n
Verdo
o
laege
Cone_Hilbert_Bas
i
s
:
use st
a
ndard_constraints to avoid
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sve
n
Verdoolaege
Use zsolve to com
p
ute Hilbert
b
asis of a con
e
commit
|
commitdiff
|
tree
2007-10-31
Sven
V
e
r
dool
a
e
g
e
c
o
mpile
z
s
o
l
v
e
commit
|
commitdiff
|
tree
2007-10-31
Sven
V
erdoolae
g
e
zsolve: don't
install head
e
r
s
and e
x
ecutables
commit
|
commitdiff
|
tree
2007-10-31
Sven
V
erdoolaege
zsolve: initialize B
a
ckupTime in ZSolveContext
commit
|
commitdiff
|
tree
2007-10-31
S
ven Verdoolaege
zsolve:
zs
o
l
v
eSyste
m
: add missing ve
r
bos
i
ty check
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoolaege
zsolve:
o
verrid
e
LIBS from top
l
ev
e
l
commit
|
commitdiff
|
tree
2007-10-31
Sve
n
Verdool
a
ege
add 4ti2-1
.
3
.
1+autoconf-0
.
1 banne
r
commit
|
commitdiff
|
tree
2007-10-31
Sven Ve
r
doolaege
a
d
d
z
solve f
r
om 4ti2-1
.
3
.
1+autoconf-0
.
1
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoolaege
pa
r
am_uti
l
.
c: export
bit_vector_count
commit
|
commitdiff
|
tree
2007-10-31
S
v
en Verdoola
e
ge
topcom
.
c
:
extract part of code for setting up sta
n
d
ard
.
.
.
commit
|
commitdiff
|
tree
2007-10-30
Sven
Verd
o
o
l
ae
g
e
g
e
n_fun::Hada
m
ard_prod
u
ct: print
progr
e
ss indicator
.
.
.
commit
|
commitdiff
|
tree
2007-10-26
S
v
en
V
erdoolaege
move -
-
verb
o
se
option to library
commit
|
commitdiff
|
tree
2007-10-25
S
v
en Verdoolaege
gen_fun::
s
u
mmate: handle full sp
e
c
i
alizat
i
on
commit
|
commitdiff
|
tree
2007-10-25
S
v
en Verd
o
olaege
Replac
e
incre
m
e
n
tal infinite set counter by "r
e
g
ula
r
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoo
l
aege
m
ake counter::ad
d
_falling_power
s
stat
i
c
commit
|
commitdiff
|
tree
2007-10-25
Sven Verd
o
olaege
mer
g
e (most of) common
part of
cou
n
ter
a
nd tcounter
commit
|
commitdiff
|
tree
2007-10-25
Sven
Verdoolaege
icounter: h
a
ndle spec
i
aliza
t
ion of poly
n
o
mials
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
icounter:
don'
t
bother "nor
m
alizing
"
the expo
n
ents
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
ven Verdoolaege
export neg_left_hermite
commit
|
commitdiff
|
tree
2007-10-25
S
ven
Verd
o
olaege
ba
s
is_
r
edu
c
t
i
on_
c
dd: check
f
or p
o
ssibly incorre
c
t output
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdo
o
laege
P
olyhedron_Sample: handle p
o
lyhedro
n
becoming empty
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven V
e
r
d
ool
a
ege
gen_fun::op
e
r
ator eva
l
ue *:
a
lways retur
n
a vali
d
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
gen_f
u
n
:
:
o
perator ev
a
lue *
:
remove commented
out
d
ebugging
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
barvinok_enu
m
erate_e
.
cc: han
d
le verif
i
cation
o
f
pr
o
blems
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdo
o
laege
b
a
rvinok_enu
m
erate_e: optiona
l
ly p
r
int stats
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
barvinok_en
u
merate_e: support
v
er
i
fication of gen
e
rating
.
.
.
commit
|
commitdiff
|
tree
next