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: rework testing framework to not depend on order of GiNaC expressions
2007-11-07
Sv
e
n Verdoolaege
b
er
n
stein: rework t
e
sting framewo
r
k to not d
e
pend
o
n
.
.
.
commit
|
commitdiff
|
tree
2007-11-07
Sven V
e
rdoo
l
aege
bern
s
tein: add piecewise_ls
t
::
i
s
_equal
commit
|
commitdiff
|
tree
2007-11-07
Sv
e
n Verdoo
l
a
ege
supp
o
r
t newer versions of
G
iNa
C
(>= 1
.
3
.
8)
commit
|
commitdiff
|
tree
2007-11-07
Sven Verdoolaege
standa
r
d_constraints: move
f
r
o
m topco
m
.
c
t
o pol
y
sign
.
c
commit
|
commitdiff
|
tree
2007-11-07
Sve
n
V
erdoolae
g
e
pol
y
sign
.
h: remo
v
e dependency on lex
m
in
.
h
commit
|
commitdiff
|
tree
2007-11-07
Sven Verdoolaege
z
sol
v
e: a
d
d
b
an
n
er
.
h to distribution
commit
|
commitdiff
|
tree
2007-11-06
Sven
V
erdoolae
g
e
Polyhedron_Lattice_
W
idth
_
Dir
e
ct
i
ons: print pr
o
gress
.
.
.
commit
|
commitdiff
|
tree
2007-11-06
S
v
e
n Verdo
o
laege
basis_redu
c
tion_p
i
p: abort on invalid
(
empty)
input
.
.
.
commit
|
commitdiff
|
tree
2007-11-02
S
ven
V
erdoola
e
ge
REA
D
ME: expl
a
in
h
o
w
to get submodules
commit
|
commitdiff
|
tree
2007-11-02
Sven Verdoolaege
do
c
:
document lattice width computa
t
ion
commit
|
commitdiff
|
tree
2007-11-02
Sven
V
erdoo
l
aege
some la
t
tic
e
w
i
dth tests
f
r
o
m
Jon Y
a
g
g
i
e
commit
|
commitdiff
|
tree
2007-11-01
Sven
V
e
rd
o
olaege
Po
l
yh
e
d
r
on_
L
attice_
W
idth: decide on face
t
s to
close
.
.
.
commit
|
commitdiff
|
tree
2007-11-01
Sv
e
n V
e
rdoolaege
a
dd Polyhedron_Lattice_
W
i
dth for c
o
mputi
n
g lattice
.
.
.
commit
|
commitdiff
|
tree
2007-11-01
Sven Verd
o
olaege
hil
b
ert
.
c: add Cone_Integer_Hull for
c
omputing ver
t
ices
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoolaege
polysig
n
:
add pi
p
-backed
v
ersion
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoolaege
polysign: add constraints_opt t
o
com
p
ute opti
m
um
o
ve
r
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoolaege
polys
i
gn_cdd: swi
t
ch to
use of Matrix represe
n
t
a
tion
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoolaege
po
l
ysign_
g
lpk: switch
to us
e
of Matrix represen
t
ation
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sven V
e
rdoola
e
ge
doc: document c
o
mputation
of Hilbert
basis
o
f a cone
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoolaege
Cone_Hilbe
r
t_Basis: u
s
e standard
_
co
n
straints to avoid
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoolaege
U
se zsolve
to compute
H
i
lbert basi
s
of a cone
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoolaege
compile zsolve
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoolaege
zsolve: don't
i
nst
a
ll headers an
d
execu
t
a
b
le
s
commit
|
commitdiff
|
tree
2007-10-31
S
ven Verdo
o
laeg
e
zsolve: i
n
itiali
z
e BackupTime in ZSolveC
o
n
text
commit
|
commitdiff
|
tree
2007-10-31
Sve
n
Verdoolae
g
e
zsolve: zsolveSystem:
add
missing
v
e
rb
o
sity
check
commit
|
commitdiff
|
tree
2007-10-31
S
ven
V
erdoolaege
zs
o
lve: override
L
IBS from top
l
evel
commit
|
commitdiff
|
tree
2007-10-31
S
v
e
n Verdoolaege
a
d
d 4ti2-1
.
3
.
1+autoconf-0
.
1 banner
commit
|
commitdiff
|
tree
2007-10-31
Sv
e
n Verdoolaege
a
d
d zsolve from 4ti2-
1
.
3
.
1+autoco
n
f-
0
.
1
commit
|
commitdiff
|
tree
2007-10-31
Sven
V
erdoolaege
param_
u
til
.
c: export bit_
v
ector_
c
ount
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoolaege
t
o
pcom
.
c
: extract part of code f
o
r se
t
ting
up st
a
ndard
.
.
.
commit
|
commitdiff
|
tree
2007-10-30
S
v
en
V
erdoo
l
aege
gen_f
u
n::Hadamard_product:
p
r
i
nt prog
r
ess
i
ndicator
.
.
.
commit
|
commitdiff
|
tree
2007-10-26
Sven Verdo
o
laeg
e
move --v
e
r
bose option to library
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaeg
e
gen_fun::su
m
mate:
h
a
n
dle
f
ull specialization
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdo
o
laege
Re
p
lace increm
e
ntal infinite set counter b
y
"reg
u
l
ar
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaeg
e
m
ake c
o
unt
e
r
:
:ad
d
_falling_
p
o
wers stat
i
c
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n Verdoo
l
ae
g
e
m
e
rge (most of) common part of counter and tcounter
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
icounter: h
a
ndle specializat
i
on of polynomials
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n
V
erdoolaege
icounter: don't
bother
"normalizing" the exp
o
n
ents
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
export neg_le
f
t_h
e
rmite
commit
|
commitdiff
|
tree
2007-10-25
Sve
n
Verdoo
l
aege
basi
s
_redu
c
tion_cdd: check f
o
r possibly incorrect output
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven
Verdo
o
la
e
ge
Polyhedron_
S
ample: handle
po
l
yhedron beco
m
ing empt
y
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n Ver
d
oolaege
ge
n
_fun::op
e
rator evalue *: a
l
w
ays return a valid
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven
V
erdo
o
l
aege
gen_fun::operator eval
u
e
*
: remove comme
n
ted out debugg
i
ng
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sve
n
Verdoolaege
barvinok_
e
nu
m
erate_e
.
cc:
h
a
n
dle
verification of problems
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
v
e
n
Verdoola
e
ge
barvinok_enumerate_e: option
a
lly prin
t
stats
commit
|
commitdiff
|
tree
2007-10-25
Sve
n
Verdo
o
laege
barvinok_en
u
merate
_
e: supp
o
rt verificati
o
n of
generating
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
barvinok_enumerate_e: suppo
r
t
conversion
o
f gene
r
ating
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven V
e
rdoo
l
a
e
g
e
lat
t
i
c
e_
p
oints
:
another
m
i
cro-optimiza
t
i
o
n
commit
|
commitdiff
|
tree
2007-10-25
Sven V
e
r
d
o
olaege
lattice_poin
t
s_fixe
d
:
n
a
no-opt
i
mization
commit
|
commitdiff
|
tree
2007-10-25
S
ven Ver
d
oolaege
ge
n
_fun::add: context of
sum
s
h
ould
b
e
u
nion of c
o
ntext
s
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n Verdoolaege
b
a
rvinok_enumerate: use
v
erify infras
t
ructure for verifying
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
ven Verdoolaege
ge
n
f
un
.
cc: print_power:
d
rop spaces around
"
/" when
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
count_points_e
:
fall
back to co
u
nt_points
i
f
there
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sve
n
Verdoolaege
M
a
ke
f
ile
.
a
m
:
che
c
k-ev
a
lue: print name of
e
ac
h
test
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
v
en Verdool
a
ege
verify: add check_poly_p
r
i
nt
h
elper
f
unctio
n
commit
|
commitdiff
|
tree
2007-10-25
Sven
V
erdo
o
l
a
e
g
e
gen_fun:
m
ak
e
sure cont
e
xt is always se
t
commit
|
commitdiff
|
tree
2007-10-25
Sve
n
V
e
rdoolaeg
e
re
d
uce
r
::reduce:
c
a
nonicalize coe
f
fi
c
ients i
n
e
ach
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Ver
d
oolaege
sho
r
t_rat
:
:p
r
int: correctl
y
print out terms with a
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
v
en
Verdoo
l
aege
barvinok_series: recheck for
e
qualit
i
es after compu
t
i
ng
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
v
e
n Verdoolaege
expor
t
M
atrix_R
e
ad
f
o
r
r
eading Matrix
f
rom a s
t
ream
commit
|
commitdiff
|
tree
2007-10-25
S
v
en Verdoolaege
param_util
.
c
: add
Param_Vertex_Domain
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n Verdoolaege
util
.
c: su
p
p
o
rting_constraints: return
b
it v
e
ctor
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
polylib: up
d
ate for Mat
r
ix_
E
xtend
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
o
p
tions
.
c:
u
se Po
l
yhedron_Sample for co
u
ntin
g
inf
i
nite
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
v
en Verdo
o
laege
ke
e
p track of and use sa
t
urating constraints in Para
m
_Polyhed
r
on
commit
|
commitdiff
|
tree
2007-10-25
S
v
e
n Verd
o
olaege
mov
e
value_gcd and value_lcm
t
o polylib
commit
|
commitdiff
|
tree
2007-10-25
S
v
en Ve
r
dool
a
ege
B
er
n
oulli_su
m
_evalue: only comput
e
exact sum if ap
p
roximati
o
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven
Verdoolaeg
e
Bernoul
l
i_sum_evalue:
s
um ov
e
r var
i
ables
wi
t
h
i
nte
g
er
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Ve
r
doo
l
aeg
e
ev
a
lue
.
c: export e
v
al
u
e_var
commit
|
commitdiff
|
tree
2007-10-25
Sven Ve
r
doolaege
Polyhed
r
on_ExchangeColumns: norma
l
i
z
e constraints
afte
r
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n V
e
rdoolaege
e
x
port
Polyh
e
dro
n
_ExchangeCol
u
mns
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoo
l
aege
evalue_p
o
lynomial: optimize evaluation
i
n zero
commit
|
commitdiff
|
tree
2007-10-25
Sven
Verdoolaege
eva
l
ue
.
c
:
emul: han
d
le another
s
pecial c
a
se
commit
|
commitdiff
|
tree
2007-10-25
S
v
en Verdoolaege
evalue
.
c: ead
d
: handl
e
s
o
m
e special cases
commit
|
commitdiff
|
tree
2007-10-25
S
v
en
V
erdoola
e
ge
introduce and use
e
v
alue_free
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n V
e
rdoolaege
ev
a
l
u
e
.
c: eadd: micro-opti
m
ize
a
d
ditio
n
o
f
two rationals
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
setting
an approx
i
m
atio
n
m
e
thod now implies poly
n
omial
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
barvin
o
k_summate: o
p
tionally use Bernoul
l
i/
F
a
u
lhaber
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaeg
e
Bernoulli_su
m
_
e
value: use ev
a
lue_
f
r
om_section_arr
a
y
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven
V
erdoolaege
b
arvinok/polylib
.
h
:
remove compatib
i
li
t
y
with older
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
ven
V
erdool
a
ege
move Vect
o
r_
O
pp
o
se to PolyLib
commit
|
commitdiff
|
tree
2007-10-25
Sven Ve
r
doolaege
polytope_
s
can: reenable --direc
t
opt
i
on
commit
|
commitdiff
|
tree
2007-10-20
Sven Verdoolaege
remov
e
_
al
l
_
e
qualities: keep
removing
e
q
u
alities
unt
i
l
.
.
.
commit
|
commitdiff
|
tree
2007-10-20
S
v
en
V
erdoolaeg
e
r
e
move_all_equalities: handle
empty
po
l
yh
e
dron detecte
d
.
.
.
commit
|
commitdiff
|
tree
2007-10-20
Sv
e
n Verdoolae
g
e
remove_all_eq
u
alities: m
i
no
r
code cle
a
n-up
commit
|
commitdiff
|
tree
2007-10-20
Sven Verdo
o
la
e
ge
export
P
olyhe
d
ron_Matrix_View
commit
|
commitdiff
|
tree
2007-10-16
Sven Verdoolaege
po
l
ar_signed_cone_consu
m
er: clean up mem
o
ry on inappropriate
.
.
.
commit
|
commitdiff
|
tree
2007-10-05
Sven Verdoo
l
a
ege
Param_Inner_Product: fix use
o
f v
a
lue_l
c
m
commit
|
commitdiff
|
tree
2007-09-28
Sven
Verdoolaege
doc: fix typo
i
n Mi
c
hele Vergne's name
commit
|
commitdiff
|
tree
2007-09-21
Sve
n
V
erdoo
l
aege
Add missing
files from polyma
k
e cl
i
en
t
to distribution
commit
|
commitdiff
|
tree
2007-09-21
S
ven Verdoolaege
Use gmp's
gcd ra
t
her than Pol
y
Lib's
commit
|
commitdiff
|
tree
2007-09-21
Sven Verdoolaege
pol
y
make/README:
mention -
-
wit
h
-barv
i
no
k
configure
.
.
.
commit
|
commitdiff
|
tree
2007-09-21
Sven Verdo
o
l
aege
polymak
e
/
Makefile
.
in: add wo
r
k-around for poly
m
ak
e
2
.
3
commit
|
commitdiff
|
tree
2007-09-21
Sven
V
erdool
a
e
g
e
evalue
.
c: p
r
int_evalue: a
l
ways p
r
int new
l
ine
a
t
the
.
.
.
commit
|
commitdiff
|
tree
2007-09-20
Sven Verdoolaege
o
ptions
.
c
:
fix typo in --approximation-meth
o
d
desc
r
ip
t
ion
commit
|
commitdiff
|
tree
2007-09-15
Sven Verdoolaeg
e
topcom: fix heuri
s
tic fo
r
select
i
n
g
rows to use as
.
.
.
commit
|
commitdiff
|
tree
2007-09-11
Sven V
e
rdoolaege
barvinok
0
.
25
commit
|
commitdiff
|
tree
2007-09-11
Sven Ve
r
doolaege
Merge
b
r
anch 'topcom'
commit
|
commitdiff
|
tree
2007-09-11
Sven Verdoolaege
Doc
u
me
n
t TOPCOM bas
e
d
c
hamber decompo
s
it
i
o
n
commit
|
commitdiff
|
tree
2007-09-11
Sven Verdoolae
g
e
test TOPCO
M
chambe
r
d
ecomposit
i
on
commit
|
commitdiff
|
tree
next