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
bernstein: numeric2value: fix typo to allow correct conversion of big values
2008-03-10
Sven Verdoolaeg
e
e
v
alue: reduce_evalue
:
add note
o
n
some
m
issed opportunities
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
Sv
e
n Verdoolae
g
e
b
e
rnstein
.
cc: handle input with unions + relation
v
iolated
.
.
.
commit
|
commitdiff
|
tree
2008-03-10
Sven Ve
r
doolaege
maxi
m
ize
.
cc: deal with unions
in in
p
u
t during verifi
c
at
i
on
commit
|
commitdiff
|
tree
2008-03-10
Sven Verdoolaege
evalue
_
substit
u
te:
p
roperly handle re
l
ations
commit
|
commitdiff
|
tree
2008-03-10
Sven Verdoolaege
evalue
.
c: clean up emu
l
and eadd
commit
|
commitdiff
|
tree
2008-03-10
Sve
n
V
e
r
d
o
o
laege
evalue_read: correctly r
e
ad
variable names
commit
|
commitdiff
|
tree
2008-03-10
Sven Verdoolaege
e
v
alue_read: accept t
o
p level "
r
elation"
commit
|
commitdiff
|
tree
2008-03-10
S
v
en
V
erdoolae
g
e
up
d
ate
polylib
commit
|
commitdiff
|
tree
2008-02-29
Sven Ver
d
oolaege
evalue_b
a
cksubstitute: add required modulo con
s
traints
commit
|
commitdiff
|
tree
2008-02-26
Sv
e
n
Verdo
o
laege
eva
l
u
e
.
c: *_pa
r
titi
o
ns: simplify co
n
straints be
f
ore
.
.
.
commit
|
commitdiff
|
tree
2008-02-01
Sv
e
n Verdoolaege
doc: m
o
re specific info
r
m
a
tion on
buggy cddlib versions
commit
|
commitdiff
|
tree
2008-01-28
Sve
n
Verdoolaege
config
u
re
.
in: req
u
ire cdd
l
i
b
0
.
94e
b
y t
e
s
t
ing
f
or bug
.
.
.
commit
|
commitdiff
|
tree
2008-01-18
Sven V
e
rdoolaege
co
n
fig
u
r
e
.
in
:
only c
o
mpile occ
if code_gen library
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven Ver
d
o
o
laege
b
a
r
vinok 0
.
2
6
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolaege
add some tes
t
s for imple
m
entation o
f
project
i
on theorem
commit
|
commitdiff
|
tree
2008-01-16
S
ven
Verdoolaege
doc: docume
n
t new op
t
ions and
new applications
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoo
l
ae
g
e
AUTHOR
S
:
u
p
d
ate support inform
a
tion
commit
|
commitdiff
|
tree
2008-01-16
Sven V
e
rdoolaege
genfun
.
cc
:
s
hort_r
a
t:
:
prin
t
: correctly pr
i
n
t
polynomials
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven Verd
o
olaege
Ex
p
ort s
e
ries as barvinok_enu
m
e
r
ate_serie
s
and use
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
S
ven
V
erdoolaege
r
e
m
ove_parameter_equalities: stop
"
r
e
movi
n
g" eq
u
al
i
ties
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolaege
series: leave freeing of
P
ar
g
ument to ca
l
lin
g
function
commit
|
commitdiff
|
tree
2008-01-16
Sven
V
e
rdoolaege
doc: document im
p
le
m
entation of the
p
roject
i
on theore
m
commit
|
commitdiff
|
tree
2008-01-16
Sv
e
n
V
erdoola
e
ge
a
dd barvinok
_
enumer
a
te_e_series implementing the projection
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdool
a
ege
genfun
.
cc:
fix
and docu
m
ent parallel p
o
lytop
e
s class
commit
|
commitdiff
|
tree
2008-01-16
Sv
e
n Verdoolaege
O
n
l
y
comp
i
le zs
o
lve i
f
gcc 3
.
4 or later is
ava
i
lable
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdo
o
laege
Move GiNaC-indepen
d
en
t
part of l
i
brary to barvi
n
ok
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven V
e
rdoo
l
aege
polylib: update
commit
|
commitdiff
|
tree
2007-11-22
Sven Verdoolaege
doc:
how to count the numb
e
r of e
l
em
e
nt
s
in p
o
ssibly
.
.
.
commit
|
commitdiff
|
tree
2007-11-22
Sven
Verdo
o
l
a
ege
doc/implementation
.
tex
:
avoid m
u
l
t
i
pl
y
defined label
commit
|
commitdiff
|
tree
2007-11-21
S
ven Verdool
a
ege
l
a
t
t
ice_wid
t
h
.
c:
tr
y
ver
t
ices of
p
rev
i
ous inte
g
er hulls
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven Verd
o
o
l
aege
doc: document
i
nteger hul
l
comp
u
t
ation
commit
|
commitdiff
|
tree
2007-11-21
Sven Verdoolaege
hul
l
.
c: add all poi
n
ts found by sampling
d
ir
e
ctl
y
t
o
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven Verdo
o
laege
Po
s
sible optimizati
o
n
s
for gener
a
lize
d
basis reduction
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven
V
erdoolaege
Support use of ge
n
e
r
a
lized basis reduction to
c
ompute
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
S
v
en Verd
o
olaege
add Polyhedro
n
_In
t
ege
r
_Minimum for computing the inte
g
er
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven V
e
r
d
ool
a
ege
d
oc: docume
n
t generalize
d
basis red
u
ction based
integer
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven
V
erdo
o
laege
doc/barvin
o
k
.
bib: add missing string
commit
|
commitdiff
|
tree
2007-11-17
Sven
Ver
d
oolae
g
e
a
dd more
m
issing a
s
sert
.
h
#
in
c
ludes
commit
|
commitdiff
|
tree
2007-11-17
Sven Verd
o
o
l
aege
evalue
.
c: add
missing include of alloca
.
h
commit
|
commitdiff
|
tree
2007-11-17
S
v
en Ve
r
doolaege
c
onfigure
.
i
n
:
p
ass path of
G
MP
i
nstallation to Poly
L
ib
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
Sven Verdo
o
laege
configure
.
in: only comp
i
l
e l
i
bbar
v
i
n
ok a
s
a static
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
Sven Ve
r
doolaege
Polyhedron_Re
d
u
c
ed
_
Basis:
d
o
n't
stop too
e
ar
l
y when
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
Sven Verdoolaege
c
ompute_width_directions: on
l
y k
e
ep
l
ist of distinc
t
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
Sven Verdoo
l
aege
zsolve
:
don't install library
commit
|
commitdiff
|
tree
2007-11-08
Sve
n
Verdool
a
ege
vers
i
on
.
c: show use o
f
T
O
P
COM
commit
|
commitdiff
|
tree
2007-11-08
Sv
e
n Verdool
a
e
ge
c
onfigure
.
in
:
don't set with_{
p
oly
,
pip}l
i
b_pre
f
ix fr
o
m
.
.
.
commit
|
commitdiff
|
tree
2007-11-08
Sve
n
Verd
o
olaege
Polyhedron_Samp
l
e: be satisfied wi
t
h a reasonable choice
.
.
.
commit
|
commitdiff
|
tree
2007-11-08
Sven
V
erdo
o
laege
cone_int
e
ge
r
_hul
l
: option
a
l
l
y pri
n
t
stats
commit
|
commitdiff
|
tree
2007-11-08
Sven Verdoolaege
basis_red
u
ction: keep track of number of LPs solved
commit
|
commitdiff
|
tree
2007-11-08
Sven
Verdo
o
laege
o
p
ti
o
ns:
move --print-stat
s
to l
i
brar
y
commit
|
commitdiff
|
tree
2007-11-07
Sv
e
n Ve
r
doolae
g
e
bernstein: r
e
work testing
f
ramework to not depend on
.
.
.
commit
|
commitdiff
|
tree
2007-11-07
Sven Verdoolaeg
e
bernstein: add p
i
ecewise_lst::is_equ
a
l
commit
|
commitdiff
|
tree
2007-11-07
Sven Verdoolaege
support
n
ewer
v
ersion
s
of GiNaC (>= 1
.
3
.
8)
commit
|
commitdiff
|
tree
2007-11-07
Sven Verdoola
e
ge
stand
a
rd_con
s
t
raints: move from
t
opcom
.
c t
o
polysign
.
c
commit
|
commitdiff
|
tree
2007-11-07
Sv
e
n Verdo
o
l
aeg
e
polysign
.
h: remove depende
n
cy
o
n lexm
i
n
.
h
commit
|
commitdiff
|
tree
2007-11-07
Sven Verdo
o
laege
zsolve:
a
dd b
a
nner
.
h to distribution
commit
|
commitdiff
|
tree
2007-11-06
Sven
V
e
rd
o
olaege
Polyhedron_Lattice_W
i
dth_Dire
c
tions: pri
n
t
p
rogress
.
.
.
commit
|
commitdiff
|
tree
2007-11-06
Sven Verdoolaege
b
a
sis_red
u
c
tion_pip: abor
t
o
n
invalid (em
p
ty)
i
nput
.
.
.
commit
|
commitdiff
|
tree
2007-11-02
S
v
en Ver
d
oo
l
aeg
e
REA
D
ME
:
exp
l
a
i
n
h
ow
t
o
get
su
b
mo
d
ules
commit
|
commitdiff
|
tree
2007-11-02
S
ven Verdoolaege
doc: doc
u
me
n
t latti
c
e width computation
commit
|
commitdiff
|
tree
2007-11-02
Sven Verdoolaege
s
o
me lattice width tests from Jon Ya
g
gie
commit
|
commitdiff
|
tree
2007-11-01
Sven Verdo
o
laeg
e
Po
l
yhe
d
ron_
L
attic
e
_W
i
dth: decide on f
a
cet
s
to close
.
.
.
commit
|
commitdiff
|
tree
2007-11-01
Sven Ve
r
doolaege
add Polyh
e
d
r
on_Latti
c
e_Width for co
m
puting
l
attice
.
.
.
commit
|
commitdiff
|
tree
2007-11-01
Sven Verdoolaeg
e
hilb
e
rt
.
c: ad
d
Cone_Integer_
H
ull for
c
omputing vertic
e
s
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sven V
e
r
d
oolaege
polysign: ad
d
pip-backed
vers
i
o
n
commit
|
commitdiff
|
tree
2007-10-31
Sv
e
n Ve
r
d
oolaege
p
o
lysign: add const
r
ai
n
ts_opt to c
o
mp
u
te optimum over
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
S
v
e
n
Verdoolaeg
e
polysign_
c
dd: switch to
use of Ma
t
rix r
e
prese
n
t
a
tion
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoolaege
polysig
n
_glpk: swi
t
ch to use of
Matrix representation
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sven
Verdool
a
ege
doc: documen
t
comput
a
t
ion o
f
Hilbert basis o
f
a cone
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoola
e
g
e
Cone_Hilbert_Basis
:
use standard
_
constrai
n
ts to avoi
d
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoola
e
ge
Use zsol
v
e to compute
H
ilbert
bas
i
s of a cone
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoolae
g
e
com
p
i
le zsolve
commit
|
commitdiff
|
tree
2007-10-31
Sven V
e
rdoolaege
zso
l
ve: don't
i
n
stall heade
r
s a
n
d execu
t
a
bles
commit
|
commitdiff
|
tree
2007-10-31
Sve
n
Verdoolaege
zsolve: in
i
t
ialize Backup
T
i
m
e in
Z
Solve
C
ontext
commit
|
commitdiff
|
tree
2007-10-31
S
ven Ve
r
doolaege
zsolve:
zsolve
S
ys
t
em:
a
dd miss
i
n
g
verbosity check
commit
|
commitdiff
|
tree
2007-10-31
Sven Ver
d
oolaege
zsolve: override LIBS from
top
level
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdo
o
laege
add
4
ti
2
-
1
.
3
.
1
+
au
t
oconf-0
.
1 ban
n
er
commit
|
commitdiff
|
tree
2007-10-31
Sven Ver
d
oolaege
add zsolve from 4ti2-
1
.
3
.
1
+
autoconf-0
.
1
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoola
e
ge
param_util
.
c: export bit_ve
c
tor
_
count
commit
|
commitdiff
|
tree
2007-10-31
S
ven Verdoola
e
ge
t
opcom
.
c: ex
t
ract
p
art of code f
o
r setting up st
a
n
d
a
rd
.
.
.
commit
|
commitdiff
|
tree
2007-10-30
Sven Verdool
a
ege
gen
_
fun::Hadamard_product: p
r
i
n
t pro
g
ress indicator
.
.
.
commit
|
commitdiff
|
tree
2007-10-26
Sven Verdoolaege
move --verbose option to libr
a
ry
commit
|
commitdiff
|
tree
2007-10-25
S
v
en Ve
r
doolaege
g
e
n
_
fun::summate:
h
andle full specialization
commit
|
commitdiff
|
tree
2007-10-25
Sve
n
V
e
rdoolaege
R
ep
l
ace increment
a
l infinite set counter by "regul
a
r
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
ven
V
erdoo
l
a
ege
make
c
ounter::add_falling_powers s
t
atic
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
m
e
rge (most
o
f) common part o
f
cou
n
ter and tcounter
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdool
a
eg
e
icounter: h
a
n
dle
s
peciali
z
ation of p
o
ly
n
omials
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
icounte
r
:
d
o
n
't
b
other "norm
a
liz
i
ng" the
e
xponents
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
e
x
p
ort neg_left_hermite
commit
|
commitdiff
|
tree
2007-10-25
S
v
e
n
Verdoolaege
basis_re
d
u
c
t
i
o
n
_cdd: check f
o
r pos
s
i
b
l
y
i
ncorrect
o
utput
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoo
l
aeg
e
Polyh
e
dron_Sample:
handle polyhe
d
ron
becoming
e
mp
t
y
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven V
e
rdoolaeg
e
gen_f
u
n::op
e
rator evalue
*:
a
lways
r
e
t
u
rn
a va
l
id
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoola
e
g
e
gen_fun::operator
e
value *: r
e
m
o
ve commented out d
e
bugging
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
ven
V
e
rdoolaege
barv
i
nok_
e
numer
a
te_e
.
c
c:
h
andle
verification o
f
problems
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
ven Ve
r
doolaege
b
a
rvinok_
e
numerate_e: optional
l
y print
stats
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
barvinok_enumerate_e: support verificat
i
on
o
f
g
e
nerating
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven
Verdoolaege
barvinok_enumerate_e: support
c
onversion of generating
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n Verdoolaege
lattice_points: a
n
other micro-optimi
z
a
tion
commit
|
commitdiff
|
tree
2007-10-25
S
ven Verd
o
olaege
la
t
tice_poi
n
ts_fixed: nano-
o
pt
i
mization
commit
|
commitdiff
|
tree
2007-10-25
Sven
V
e
rdoolaege
gen_fu
n
::add:
c
ontex
t
o
f
sum
s
hould
b
e unio
n
of contexts
.
.
.
commit
|
commitdiff
|
tree
next