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
add some tests for implementation of projection theorem
2008-01-16
Sven Verdo
o
laege
add s
o
me
t
ests fo
r
i
m
p
l
emen
t
ation of projec
t
i
on t
h
eorem
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolaeg
e
doc: document n
e
w opti
o
ns and n
e
w appl
i
cations
commit
|
commitdiff
|
tree
2008-01-16
Sven
V
e
r
doolaege
AUTHORS: updat
e
supp
o
rt information
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolaege
g
enfun
.
cc: s
h
o
rt
_
ra
t
::print
:
co
r
re
c
tly
p
rint pol
y
nomial
s
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sv
e
n V
e
rdoolaege
Export s
e
ries
a
s ba
r
vinok_enumerate
_
ser
i
e
s
a
nd
us
e
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
S
ven Verdoo
l
aege
r
emove_parame
t
er_equ
a
lities: sto
p
"remo
v
ing" equ
a
li
t
ies
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven
V
erdool
a
eg
e
series: leave free
i
ng of P a
r
gument to ca
l
l
ing
function
commit
|
commitdiff
|
tree
2008-01-16
S
v
en Verdoolaege
doc:
d
ocume
n
t imp
l
e
mentation of the project
i
on theo
r
em
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdool
a
ege
add barvinok_enumerate_e_series imple
m
ent
i
ng the projection
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven
V
erd
o
olaege
genf
u
n
.
cc: fix and document parallel polytopes class
commit
|
commitdiff
|
tree
2008-01-16
Sven Verdoolaege
On
l
y
c
ompi
l
e zsolve if gc
c
3
.
4 or later
i
s
a
vailab
l
e
commit
|
commitdiff
|
tree
2008-01-16
S
v
en Verdoolaege
Move GiNaC-ind
e
pendent part o
f
libra
r
y
t
o barvinok
.
.
.
commit
|
commitdiff
|
tree
2008-01-16
Sven
V
e
r
doolaege
polylib: update
commit
|
commitdiff
|
tree
2007-11-22
Sven Ve
r
d
o
olaege
d
o
c: how t
o
count the number
of elem
e
nts in possibl
y
.
.
.
commit
|
commitdiff
|
tree
2007-11-22
Sven
V
erdoolaege
d
o
c/
i
m
p
lementation
.
tex:
avoid multi
p
l
y
defined lab
e
l
commit
|
commitdiff
|
tree
2007-11-21
Sven
Verdool
a
e
g
e
l
attice_widt
h
.
c
:
try vertices
of previous integer
hulls
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven Ve
r
doolaege
doc: document
i
nteger hull computation
commit
|
commitdiff
|
tree
2007-11-21
S
ven Verdoolaege
hull
.
c: a
d
d all poi
n
ts found by sampl
i
n
g
direct
l
y to
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven V
e
rd
o
olaege
Possib
l
e
optimizations for gene
r
alized bas
i
s redu
c
ti
o
n
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven Verdoo
l
aege
S
u
pport use o
f
generalized basis reduction to compute
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven Verdoolaeg
e
add Polyh
e
dron_Int
e
ger_Mi
n
imum for computi
n
g the integer
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sv
e
n
V
erdoolaege
doc
:
document gene
r
aliz
e
d b
a
sis r
e
duc
t
ion
b
ased
i
nteger
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven Verdoolaege
doc/barvi
n
o
k
.
bib:
a
dd mi
s
sing s
t
ring
commit
|
commitdiff
|
tree
2007-11-17
Sven Verdoolaege
add more missin
g
assert
.
h #inc
l
udes
commit
|
commitdiff
|
tree
2007-11-15
Sv
e
n Ve
r
doola
e
ge
c
onfigure
.
i
n
: only compile
libbarvinok
a
s
a stat
i
c
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
Sven Verdoo
l
a
e
g
e
P
o
lyhedron_Reduc
e
d_Ba
s
is: don't sto
p
too ear
l
y
when
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
Sven Ver
d
oolaege
compute_width_direction
s
: only keep li
s
t
of disti
n
ct
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
Sven
Ver
d
o
o
laege
zsolve
:
d
on't install library
commit
|
commitdiff
|
tree
2007-11-08
Sven Verd
o
olaeg
e
version
.
c: show use of TO
P
COM
commit
|
commitdiff
|
tree
2007-11-08
Sven Verdoolaeg
e
c
onfigu
r
e
.
in: don
'
t set with_{poly,pip}
l
ib_pref
i
x fro
m
.
.
.
commit
|
commitdiff
|
tree
2007-11-08
Sven Verdool
a
e
g
e
Pol
y
hedron_Samp
l
e
:
be
s
at
i
sfi
e
d
w
i
th a reasonable cho
i
ce
.
.
.
commit
|
commitdiff
|
tree
2007-11-08
Sven V
e
rdoolaege
cone_int
e
ge
r
_
hull:
optio
n
ally
p
r
int stats
commit
|
commitdiff
|
tree
2007-11-08
Sve
n
Verdool
a
e
g
e
basi
s
_r
e
duction: k
e
ep track of number
of LPs solved
commit
|
commitdiff
|
tree
2007-11-08
Sven
Verdool
a
ege
options: mo
v
e --
p
rint-stats to library
commit
|
commitdiff
|
tree
2007-11-07
Sven
V
er
d
oolaege
b
ernste
i
n
: re
w
ork test
i
ng
framework
to not d
e
p
e
nd on
.
.
.
commit
|
commitdiff
|
tree
2007-11-07
Sven Verdool
a
ege
ber
n
stein: ad
d
piecew
i
se_lst:
:
is_equ
a
l
commit
|
commitdiff
|
tree
2007-11-07
Sven Verdoolaege
s
upp
o
rt newer v
e
r
sions
o
f
G
iNaC
(>= 1
.
3
.
8)
commit
|
commitdiff
|
tree
2007-11-07
Sven Verdoolaege
s
tandard_co
n
s
traints:
m
ove from topcom
.
c to
polysign
.
c
commit
|
commitdiff
|
tree
2007-11-07
Sven Verd
o
olaege
polysign
.
h: remove d
e
p
end
e
ncy on lexmin
.
h
commit
|
commitdiff
|
tree
2007-11-07
S
ven
V
erdoola
e
ge
z
solve: ad
d
banner
.
h
to
distributi
o
n
commit
|
commitdiff
|
tree
2007-11-06
Sv
e
n Verdoolae
g
e
P
o
lyhe
d
ron_Lattice_Width_Di
r
ec
t
ions:
p
r
i
nt prog
r
ess
.
.
.
commit
|
commitdiff
|
tree
2007-11-06
S
ve
n
Verdoolaege
ba
s
is
_
reduction_
p
ip:
ab
o
rt on
invalid (
e
mpty) input
.
.
.
commit
|
commitdiff
|
tree
2007-11-02
Sven V
e
rdoolaege
REA
D
ME: expla
i
n
how to get
submo
d
u
l
es
commit
|
commitdiff
|
tree
2007-11-02
S
v
e
n Verdoolaege
doc: document
l
a
t
t
i
ce widt
h
computatio
n
commit
|
commitdiff
|
tree
2007-11-02
S
ven Verdoolaege
some lat
t
ice width tests fr
o
m Jon Yag
g
ie
commit
|
commitdiff
|
tree
2007-11-01
Sven Ver
d
oola
e
g
e
P
olyh
e
dron
_
Lattice_Width:
d
e
c
ide on facets to close
.
.
.
commit
|
commitdiff
|
tree
2007-11-01
Sven Ve
r
doolae
g
e
add Poly
h
e
d
ron_L
a
t
tice_Width for computing lattic
e
.
.
.
commit
|
commitdiff
|
tree
2007-11-01
S
ven Verdoolaege
h
i
lb
e
r
t
.
c: add Cone_I
n
teger_
H
ull
for computing
v
ertices
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sv
e
n
Verdoo
l
aege
polysign:
add
pip-bac
k
ed
version
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoolaege
polysi
g
n:
ad
d
cons
t
rai
n
ts_opt to comp
u
te optimum over
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sven
Verd
o
olaeg
e
polys
i
gn_cdd: switch to u
s
e of Matrix representat
i
on
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sve
n
V
e
rdoolaege
polysig
n
_glpk: switch to u
s
e of Matri
x
representation
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
S
v
en
Verdoolaege
d
o
c: docume
n
t comp
u
tatio
n
of H
i
l
bert
b
asis of a c
o
ne
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoolae
g
e
Cone_Hil
b
ert_B
a
sis: use standard_const
r
aints to
avoid
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoolaege
Use
zsolve to compute
H
ilb
e
rt basis of a con
e
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoolaege
compile zsolve
commit
|
commitdiff
|
tree
2007-10-31
Sve
n
Verdoolaege
zsolve
:
don
'
t install headers and exec
u
table
s
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoolaeg
e
zs
o
lve: initi
a
lize Backu
p
Time in
Z
SolveConte
x
t
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdo
o
laege
zsolve
:
z
s
o
l
ve
S
ystem:
a
dd
m
i
s
sing ve
r
bo
s
ity check
commit
|
commitdiff
|
tree
2007-10-31
S
v
e
n
V
erdool
a
ege
zsolve: over
r
ide LIB
S
fro
m
top l
e
vel
commit
|
commitdiff
|
tree
2007-10-31
Sv
e
n
V
erdoolaege
add 4ti
2
-
1
.
3
.
1+autoconf-0
.
1
b
anner
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdo
o
laege
a
dd zs
o
lve from 4ti2-1
.
3
.
1+autoco
n
f-0
.
1
commit
|
commitdiff
|
tree
2007-10-31
Sven Verd
o
olaege
p
aram_util
.
c:
e
xport bit_vect
o
r_count
commit
|
commitdiff
|
tree
2007-10-31
S
v
en Ve
r
doolaege
topcom
.
c: extract
p
art
o
f
code for setting up standard
.
.
.
commit
|
commitdiff
|
tree
2007-10-30
Sven Ve
r
doolaeg
e
gen_fu
n
::Hadamard_pro
d
uct: print progress indicat
o
r
.
.
.
commit
|
commitdiff
|
tree
2007-10-26
S
ven Verdoola
e
ge
move --v
e
rbose
o
ption
t
o library
commit
|
commitdiff
|
tree
2007-10-25
Sven
Verdoolaege
gen_f
u
n::summate:
handle full specializ
a
t
i
on
commit
|
commitdiff
|
tree
2007-10-25
Sve
n
Verdool
a
ege
R
eplace incremental infi
n
ite
s
et count
e
r b
y
"regular
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sve
n
Verdool
a
ege
make counte
r
::a
d
d_falling_powers
st
a
t
ic
commit
|
commitdiff
|
tree
2007-10-25
Sve
n
Verd
o
o
l
aege
m
erge (most of) common part of counter and tcoun
t
er
commit
|
commitdiff
|
tree
2007-10-25
S
v
en Ver
d
oolae
g
e
icounter: h
a
ndle specializ
a
tion
o
f polynomials
commit
|
commitdiff
|
tree
2007-10-25
Sve
n
Verdoolaege
icounter: don't bother
"
n
o
rmalizing" the
e
xponents
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verd
o
olaege
expo
r
t neg_left_he
r
mite
commit
|
commitdiff
|
tree
2007-10-25
S
v
en
Verdoola
e
g
e
basis_
r
eduction_cdd: c
h
eck for
possibly
i
ncorrect output
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
v
en Ver
d
oolaege
Polyhedron_Samp
l
e: handle polyhedron beco
m
ing empty
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdool
a
ege
gen_f
u
n::operator
e
value *: always r
e
t
urn a va
l
id
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Ve
r
d
o
olaege
gen_
f
un::opera
t
or evalue
*: rem
o
ve commented out debugging
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven
Ver
d
o
o
lae
g
e
barvinok_enumera
t
e_
e
.
cc: handle verification of problems
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
barvinok_en
u
mera
t
e_e
:
optionally
p
rint sta
t
s
commit
|
commitdiff
|
tree
2007-10-25
S
v
en
Verdoo
l
ae
g
e
b
a
r
vinok_enumera
t
e
_e:
s
upport verifi
c
ation of gen
e
rat
i
ng
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
v
en Verdool
a
ege
b
arvinok_enumerate_e:
s
up
p
or
t
con
v
e
rsion
of generating
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdool
a
ege
lattice_p
o
ints:
a
n
oth
e
r micr
o
-o
p
timizati
o
n
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
la
t
ti
c
e_p
o
ints_fixe
d
: nano-
o
ptimization
commit
|
commitdiff
|
tree
2007-10-25
S
v
en V
e
rdoolaege
gen_fun::add:
cont
e
xt of sum should be
union of contexts
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sve
n
V
erd
o
olaege
ba
r
vinok_e
n
umerate: use
v
erif
y
infrastru
c
ture for
verifying
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven
Verdoo
l
ae
g
e
ge
n
fun
.
cc: print_
p
ower: d
r
op
s
paces aroun
d
"/" whe
n
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Ve
r
doolaege
coun
t
_
points_e: fall b
a
ck
to co
u
nt_po
i
n
t
s if th
e
re
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaeg
e
Makefile
.
am: check-ev
a
lue: pri
n
t name of ea
c
h test
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaeg
e
ver
i
fy
:
add
chec
k
_pol
y
_
p
rint help
e
r
func
t
ion
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
gen_fun: make
sure context
i
s
alw
a
ys set
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdool
a
ege
reducer::reduce:
canonical
i
z
e coeffi
c
i
e
nts in each
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
sh
o
rt_rat:
:
p
r
int: corre
c
tly p
r
int out
t
erm
s
with
a
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
v
en V
e
rdoolaege
barvin
o
k_series: rec
h
eck for equalities after computing
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n Verdoolaege
e
x
p
ort M
a
trix_Read fo
r
rea
d
ing
M
atrix
from a strea
m
commit
|
commitdiff
|
tree
2007-10-25
Sven V
e
r
d
o
olaeg
e
p
a
r
am_
u
til
.
c:
add Para
m
_Vertex_D
o
main
commit
|
commitdiff
|
tree
2007-10-25
Sven Ve
r
doolaege
u
t
il
.
c:
s
uppo
r
ti
n
g_cons
t
raints: r
e
turn bit vector
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n Verdoola
e
ge
polylib: update fo
r
Ma
t
rix_Extend
commit
|
commitdiff
|
tree
2007-10-25
S
ven Verd
o
o
l
a
e
ge
o
ptions
.
c:
u
se Polyhe
d
ron_Sample for co
u
ntin
g
in
f
inite
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolae
g
e
kee
p
track of
a
n
d use satura
t
ing constraints
in Par
a
m_Pol
y
h
e
dron
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
move value_gcd and value_l
c
m to po
l
yli
b
commit
|
commitdiff
|
tree
next