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
version.c: show use of TOPCOM
2007-11-08
Sven V
e
rd
o
ol
a
ege
versi
o
n
.
c
:
show
use of T
O
PCO
M
commit
|
commitdiff
|
tree
2007-11-08
Sven
V
erdoolaege
configu
r
e
.
in: don't s
e
t w
i
th_{pol
y
,pip}lib_pr
e
fix from
.
.
.
commit
|
commitdiff
|
tree
2007-11-08
S
v
en V
e
rdoolae
g
e
Pol
y
hedron_Sample: be
satisfied w
i
th a reasonable
c
ho
i
c
e
.
.
.
commit
|
commitdiff
|
tree
2007-11-08
S
v
en
Verdoolae
g
e
cone_int
e
g
e
r_hu
l
l
:
optionally print
s
tats
commit
|
commitdiff
|
tree
2007-11-08
Sven Verdoolaege
ba
s
is_re
d
uct
i
on
:
k
eep trac
k
of number of LPs sol
v
ed
commit
|
commitdiff
|
tree
2007-11-08
Sven Verdoolaege
options: move
-
-
p
rint-stats to li
b
r
ary
commit
|
commitdiff
|
tree
2007-11-07
Sven Verdoolaege
bernst
e
in: rework test
i
ng
f
ramework to not depend
o
n
.
.
.
commit
|
commitdiff
|
tree
2007-11-07
Sven
V
erdoolae
g
e
bernstein: add p
i
e
c
ewise_lst::is_equal
commit
|
commitdiff
|
tree
2007-11-07
S
ven Verdoolaege
s
upp
o
r
t
n
ewer ver
s
ions of GiNaC (>= 1
.
3
.
8)
commit
|
commitdiff
|
tree
2007-11-07
Sven Ve
r
doolaege
stand
a
rd_co
n
straints: mov
e
from
topco
m
.
c to polys
i
gn
.
c
commit
|
commitdiff
|
tree
2007-11-07
Sve
n
Verdoolaeg
e
po
l
ysign
.
h: remove dependency on l
e
x
min
.
h
commit
|
commitdiff
|
tree
2007-11-07
Sven Verdoolae
g
e
z
solve:
a
dd banner
.
h to distribut
i
on
commit
|
commitdiff
|
tree
2007-11-06
S
v
en
V
erdoolaege
Polyhe
d
ron
_
Latti
c
e_
W
idth_Directio
n
s:
p
rin
t
p
r
ogress
.
.
.
commit
|
commitdiff
|
tree
2007-11-06
Sven Verdo
o
laege
ba
s
is
_
r
e
d
uction_
p
ip:
a
b
or
t
on in
v
a
l
i
d
(emp
t
y) input
.
.
.
commit
|
commitdiff
|
tree
2007-11-02
Sven Verdoolaege
R
E
ADME: explain how to get submo
d
ul
e
s
commit
|
commitdiff
|
tree
2007-11-02
S
ven
V
erdoolae
g
e
doc: document
lattice width comput
a
tion
commit
|
commitdiff
|
tree
2007-11-02
Sven Verd
o
o
lae
g
e
some lattice wid
t
h tests from Jon
Y
ag
g
ie
commit
|
commitdiff
|
tree
2007-11-01
Sven
V
erdoo
l
aege
Polyhed
r
on_Lattice_Width: dec
i
d
e
on fac
e
ts to close
.
.
.
commit
|
commitdiff
|
tree
2007-11-01
Sv
e
n Verdo
o
laege
add Polyhedron_La
t
tice_Width for computing
la
t
tice
.
.
.
commit
|
commitdiff
|
tree
2007-11-01
Sven Ve
r
doolaege
hil
b
ert
.
c: a
d
d Cone
_
Integer_Hull
for com
p
utin
g
vertices
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sve
n
Verdoolaege
polysign: add pip-b
a
cked version
commit
|
commitdiff
|
tree
2007-10-31
Sven
V
erdoolaege
p
olysign: add
constraints_opt to c
o
mp
u
te opti
m
um over
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
S
ven Verdoolaege
polysig
n
_cdd:
switc
h
to use of M
a
t
rix representat
i
on
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
S
v
en Verdoolaege
po
l
y
s
ign_glpk: swi
t
ch to use of Matrix representation
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sven V
e
r
d
o
o
l
aege
doc: document
c
om
p
utation of Hilber
t
basis of a
c
o
ne
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoolaege
Cone_Hilbe
r
t_Basis:
u
s
e stand
a
rd_cons
t
raints to
a
void
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoolaege
Use zsolve t
o
c
o
m
p
ute Hilbert basis o
f
a
cone
commit
|
commitdiff
|
tree
2007-10-31
Sven
Verdoolaege
compile zsolve
commit
|
commitdiff
|
tree
2007-10-31
S
ven Verdoo
l
aege
z
solve: don't instal
l
h
e
a
ders and executables
commit
|
commitdiff
|
tree
2007-10-31
Sven
Verdoola
e
ge
zsolve: initialize BackupTim
e
in ZSolveCo
n
text
commit
|
commitdiff
|
tree
2007-10-31
Sven V
e
rdoo
l
aege
zsolve: zs
o
lveSystem: add miss
i
ng verbosit
y
check
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoolae
g
e
zsolve: override L
I
BS from top level
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdool
a
ege
a
d
d 4ti2-
1
.
3
.
1
+
autoconf-0
.
1
banner
commit
|
commitdiff
|
tree
2007-10-31
Sven Verd
o
o
l
aege
add zsolve from 4t
i
2-1
.
3
.
1+a
u
toconf-0
.
1
commit
|
commitdiff
|
tree
2007-10-31
Sv
e
n Verdoolaege
param_ut
i
l
.
c: export bit_
v
ector_count
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoola
e
ge
topc
o
m
.
c:
e
xtr
a
ct part of code
for setting up standard
.
.
.
commit
|
commitdiff
|
tree
2007-10-30
S
ven Verdoo
l
aege
gen_fun::Hadamar
d
_
produc
t
: print
p
rogress i
n
dicat
o
r
.
.
.
commit
|
commitdiff
|
tree
2007-10-26
Sv
e
n Verdoolaege
m
ove --ve
r
bose option to library
commit
|
commitdiff
|
tree
2007-10-25
S
v
en Ver
d
o
olaege
gen_fun
:
:
s
u
m
mate: handle f
u
ll speci
a
lizati
o
n
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
Rep
l
ace increme
n
tal i
n
fini
t
e set counter by "
r
egula
r
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
m
a
k
e c
o
unter::
a
dd_falling_p
o
wers static
commit
|
commitdiff
|
tree
2007-10-25
Sven
V
erdoolaege
merge (most of
)
comm
o
n
part of counter
a
nd tcounter
commit
|
commitdiff
|
tree
2007-10-25
Sven
Verdool
a
ege
i
counter: h
a
n
d
le speciali
z
atio
n
of polynomia
l
s
commit
|
commitdiff
|
tree
2007-10-25
Sven
V
e
rdool
a
e
g
e
icounter: don
'
t b
o
t
h
er "
n
orm
a
lizin
g
"
t
he exponents
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
ven Verdool
a
ege
ex
p
or
t
neg_le
f
t_
h
ermite
commit
|
commitdiff
|
tree
2007-10-25
Sven
Verdoolaege
basis_
r
eduction_cdd:
chec
k
fo
r
possibly in
c
orrect o
u
t
put
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven V
e
r
d
o
ola
e
ge
P
o
lyhedr
o
n_Samp
l
e: handle polyhedron beco
m
ing empty
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
gen_
f
un::operator evalue *: always ret
u
rn a
va
l
id
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
gen_fun
:
:oper
a
tor evalue *
:
remove commented out debugging
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sve
n
V
e
rd
o
o
laege
b
a
rvinok_enumerate_e
.
cc: handle verific
a
tion
of problems
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Ve
r
doolaege
bar
v
ino
k
_enumerate_e: optionally print stats
commit
|
commitdiff
|
tree
2007-10-25
Sven Ve
r
doo
l
aege
b
a
rvinok_enumerate
_
e
:
support
verification of generating
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
v
en Verdoolaege
barvinok_enumerat
e
_e: support conversion of generating
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
ven
V
erdoolaeg
e
lattice
_
po
i
n
t
s
:
another micro-o
p
timiza
t
ion
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
l
a
t
t
ic
e
_points_fixed: nano-optimiz
a
t
i
on
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoola
e
ge
gen_fun::add: c
o
n
t
ext of su
m
s
hould be union o
f
contexts
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdo
o
laege
barvinok_enumer
a
te: use ve
r
ify
i
nfrastructure for
v
erifyi
n
g
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Ve
r
d
o
olaege
genfun
.
cc:
print
_
po
w
er: drop space
s
around "/" wh
e
n
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
v
en V
e
rdoolaeg
e
count_points_e: fall back to count_p
o
ints if there
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
v
en Verdoolaege
Makef
i
le
.
am: chec
k
-evalue: print n
a
me
of each
t
e
s
t
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Ve
r
doolaege
v
e
rify: add ch
e
c
k
_poly_
p
rint helper fu
n
ction
commit
|
commitdiff
|
tree
2007-10-25
S
ve
n
V
er
d
oo
l
aege
gen
_
f
u
n
: make sure context
is al
w
a
y
s set
commit
|
commitdiff
|
tree
2007-10-25
S
ven Verdoolaege
redu
c
er::r
e
duce
:
can
o
n
icalize
c
oe
f
f
i
c
i
ents in each
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sve
n
Ve
r
doolaege
short_rat:
:
print:
co
r
rectly pr
i
nt o
u
t ter
m
s
w
ith
a
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n
Ve
r
doolaeg
e
barvinok_s
e
ries
:
rech
e
ck
f
o
r equalitie
s
after computing
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
export Mat
r
ix_Rea
d
for read
i
ng M
a
trix
fro
m
a
str
e
am
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n Verdoo
l
aege
param_util
.
c: add Pa
r
am_Vertex_D
o
m
a
in
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoo
l
aeg
e
util
.
c: supporting_constra
i
nts:
r
eturn b
i
t vec
t
or
commit
|
commitdiff
|
tree
2007-10-25
Sven Ve
r
doolaege
polylib: update
for Matrix_
E
xtend
commit
|
commitdiff
|
tree
2007-10-25
S
v
en Ver
d
oolae
g
e
options
.
c
:
use Polyhe
d
ron_Sa
m
pl
e
fo
r
count
i
ng infinite
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
keep trac
k
of a
n
d
u
se satur
a
ting con
s
traints in Param_Polyhedron
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoola
e
ge
mo
v
e
value_gc
d
a
nd value_lc
m
to polylib
commit
|
commitdiff
|
tree
2007-10-25
Sve
n
Ver
d
oolaege
Ber
n
oulli_su
m
_
e
value: only com
p
ute
e
xact sum if approximatio
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven
Ver
d
o
o
laege
Bernoulli_sum
_
evalue: sum over variables
w
ith int
e
ger
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoo
l
aege
evalue
.
c:
exp
o
rt evalu
e
_
var
commit
|
commitdiff
|
tree
2007-10-25
S
ven
V
erdoolaege
Polyhedron_ExchangeColumn
s
: normalize c
o
nstraints after
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven
Verdoolaege
exp
o
rt
P
olyhedron_Exc
h
ange
C
olumns
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
evalue_polynomial:
o
ptimize e
v
aluation in
zero
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdo
o
la
e
g
e
ev
a
lu
e
.
c
:
e
m
ul: handle another special c
a
se
commit
|
commitdiff
|
tree
2007-10-25
Sven
Verdoolaege
evalue
.
c: eadd: handle some
s
peci
a
l cases
commit
|
commitdiff
|
tree
2007-10-25
S
v
en Verd
o
olaeg
e
i
ntroduc
e
and us
e
e
v
a
lu
e
_
free
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
eva
l
u
e
.
c: eadd: micro-optimize addition of two rationals
commit
|
commitdiff
|
tree
2007-10-25
Sven
Verd
o
olae
g
e
setting an approximation m
e
thod no
w
imp
l
ies po
l
ynomial
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
barvi
n
ok_su
m
mate: optionally us
e
Bern
o
ulli/Fau
l
h
aber
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
B
e
rnoulli_sum_eva
l
ue: use evalu
e
_fr
o
m_sectio
n
_array
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n Verdo
o
laeg
e
barvinok/p
o
ly
l
ib
.
h:
r
emo
v
e comp
a
t
i
bili
t
y with older
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
move Vector_Oppo
s
e to PolyLib
commit
|
commitdiff
|
tree
2007-10-25
Sven V
e
rd
o
olaege
po
l
ytope_
s
can: reenable
-
-dire
c
t option
commit
|
commitdiff
|
tree
2007-10-20
Sven Verdoolaege
remo
v
e_all_e
q
ualities:
kee
p
removing
e
qualities
u
ntil
.
.
.
commit
|
commitdiff
|
tree
2007-10-20
Sven
Verdool
a
ege
remove_
a
ll_eq
u
ali
t
i
es: handle empt
y
polyhedr
o
n dete
c
ted
.
.
.
commit
|
commitdiff
|
tree
2007-10-20
Sven
V
erdoolaege
remove_all_equaliti
e
s: minor code clean-up
commit
|
commitdiff
|
tree
2007-10-20
S
v
en Verdoolaege
export Polyh
e
dron_Matrix
_
View
commit
|
commitdiff
|
tree
2007-10-16
Sv
e
n
Verdoolaeg
e
pol
a
r_signed_cone_consumer: clean up me
m
ory
o
n inappr
o
priate
.
.
.
commit
|
commitdiff
|
tree
2007-10-05
Sven Verdoolaege
Param_Inner_Prod
u
c
t: fix use of valu
e
_
l
cm
commit
|
commitdiff
|
tree
2007-09-28
S
v
en Verdool
a
e
ge
doc: fix typo
in M
i
chele Vergne's name
commit
|
commitdiff
|
tree
2007-09-21
Sven Verdo
o
laege
Add
m
iss
i
ng files f
r
o
m
p
o
l
y
make client
t
o dist
r
ibuti
o
n
commit
|
commitdiff
|
tree
2007-09-21
S
v
en Verd
o
o
l
aege
U
s
e gmp's
g
cd
r
ath
e
r than P
o
lyLib's
commit
|
commitdiff
|
tree
2007-09-21
Sven Verdoolaege
polyma
k
e
/
REA
D
ME: mention --with
-
b
a
rvin
o
k configure
.
.
.
commit
|
commitdiff
|
tree
2007-09-21
Sven V
e
r
d
oolaege
po
l
y
mak
e
/
Makefile
.
in:
a
dd work-ar
o
und for po
l
ymake 2
.
3
commit
|
commitdiff
|
tree
2007-09-21
Sve
n
Verdo
o
laege
ev
a
lue
.
c: print
_
evalue
:
alw
a
ys print new
l
in
e
at the
.
.
.
commit
|
commitdiff
|
tree
next