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
support newer versions of GiNaC (>= 1.3.8)
2007-11-07
Sv
e
n Verdoolaege
support
n
ewer versions of GiNaC (>= 1
.
3
.
8
)
commit
|
commitdiff
|
tree
2007-11-07
Sven Verdoolae
g
e
standar
d
_con
s
tr
a
ints: mov
e
from to
p
c
om
.
c to p
o
l
y
si
g
n
.
c
commit
|
commitdiff
|
tree
2007-11-07
Sven
Ve
r
doo
l
a
e
g
e
polysign
.
h: remove
depend
e
ncy on lex
m
in
.
h
commit
|
commitdiff
|
tree
2007-11-07
Sven Verdo
o
laege
zsolve: a
d
d
banne
r
.
h to di
s
tribution
commit
|
commitdiff
|
tree
2007-11-06
Sven
Verd
o
olaeg
e
Polyh
e
dron_Lattice_Width
_
D
i
rections: p
r
int progres
s
.
.
.
commit
|
commitdiff
|
tree
2007-11-06
Sven Verdoolaege
basis_reduction_pip: abort on invalid (emp
t
y) input
.
.
.
commit
|
commitdiff
|
tree
2007-11-02
S
v
en Verdoolaege
README
:
explain how to
get submodules
commit
|
commitdiff
|
tree
2007-11-02
Sv
e
n
V
e
r
d
o
olaege
doc: d
o
cument latt
i
ce widt
h
c
ompu
t
at
i
on
commit
|
commitdiff
|
tree
2007-11-02
Sven Verdoolaege
s
ome
l
attice width test
s
from Jon
Ya
g
gie
commit
|
commitdiff
|
tree
2007-11-01
Sven Verdool
a
ege
P
o
ly
h
edro
n
_Lattic
e
_
Width:
d
ecide
o
n
facets to close
.
.
.
commit
|
commitdiff
|
tree
2007-11-01
Sven Verd
o
olaege
add Pol
y
hedron_Lattice_Width for
c
omputing
l
attice
.
.
.
commit
|
commitdiff
|
tree
2007-11-01
Sv
e
n
Verdoolaege
hilbert
.
c
: add Cone_
I
nteger_Hull f
o
r c
o
mputing vertices
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdool
a
ege
p
o
lysign: add pip-backed version
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoola
e
ge
poly
s
ign:
a
dd constraints_opt to compute op
t
imu
m
o
ver
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sven Ve
r
doolaege
poly
s
ign_cdd
:
s
w
itch to use of
M
a
trix repres
e
ntation
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
S
v
en Verdoolaege
polysign_glpk: switch to use of
M
atrix represent
a
tion
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sv
e
n
V
erdoolaege
d
oc: document
c
omputation of H
i
lbert
b
asis
o
f a c
o
ne
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoolaege
C
on
e
_H
i
lbert_Basis: use standard_cons
t
raints to avoid
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sv
e
n Verdoolaeg
e
U
se zso
l
v
e
t
o
compute Hilbert basis o
f
a
c
o
ne
commit
|
commitdiff
|
tree
2007-10-31
Sv
e
n Verdoolaege
compil
e
zsolve
commit
|
commitdiff
|
tree
2007-10-31
Sve
n
Verdoo
l
a
e
ge
zsolve: don't install
h
eade
r
s and execut
a
bles
commit
|
commitdiff
|
tree
2007-10-31
Sve
n
Verdoolaege
zsolve
:
initiali
z
e BackupT
i
me in ZSolveCon
t
ext
commit
|
commitdiff
|
tree
2007-10-31
Sven
V
erdoolaege
zsolve
:
zsolveSystem: add missing ve
r
b
osity check
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoolaege
zsolve: over
r
ide LIBS f
r
om to
p
l
e
ve
l
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoolaege
add 4ti
2
-1
.
3
.
1+a
u
t
o
conf-
0
.
1 banner
commit
|
commitdiff
|
tree
2007-10-31
Sv
e
n
Verdo
o
laege
add zsolve from 4
t
i2-1
.
3
.
1+aut
o
conf-0
.
1
commit
|
commitdiff
|
tree
2007-10-31
Sven
Verdoolaege
param_ut
i
l
.
c: export b
i
t_vector_count
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdo
o
l
a
ege
t
opcom
.
c:
ext
r
a
ct p
a
rt of code for
setting up
s
tandard
.
.
.
commit
|
commitdiff
|
tree
2007-10-30
Sven
V
er
d
oolaege
gen_
f
un::Hadamard_product
:
print progress i
n
di
c
a
tor
.
.
.
commit
|
commitdiff
|
tree
2007-10-26
Sven Verd
o
olaege
move --verbose option to libr
a
r
y
commit
|
commitdiff
|
tree
2007-10-25
Sven
V
erdoolaege
gen_fun::
s
u
mmate:
h
andle full
s
pecialization
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
Rep
l
a
c
e increme
n
tal i
n
finite set coun
t
er by "regular
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolae
g
e
ma
k
e
c
o
unter
:
:add_falling_powers stati
c
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
merge (m
o
st
o
f) com
m
on part o
f
counter and t
c
o
unter
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
icounter: handle spe
c
ialization of polynomi
a
l
s
commit
|
commitdiff
|
tree
2007-10-25
Sven
V
erdoolaege
i
c
ounter: don't bother
"n
o
rmal
i
zing"
the exponen
t
s
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
export neg_l
e
ft_
h
er
m
ite
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n Verdoolaege
basi
s
_reductio
n
_cd
d
:
c
h
eck
f
or p
o
ssib
l
y incorre
c
t output
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verd
o
olaege
Polyhedr
o
n
_Sample: ha
n
dl
e
polyhedron
becoming e
m
pty
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n
V
erd
o
olaege
gen_fun::
o
per
a
tor ev
a
lue *: always return a valid
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
v
e
n
Verdoolaege
ge
n
_fun::operator evalue
*
: remove commented o
u
t
d
ebugging
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
v
e
n V
e
rdoolae
g
e
barvinok_enu
m
erate_e
.
cc:
h
an
d
le verification of problems
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sve
n
Verdool
a
ege
barvinok_
e
nume
r
ate_
e
: optionall
y
print
stats
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdo
o
l
aeg
e
bar
v
i
n
ok_enumerate_e: support ve
r
ifi
c
ation of gene
r
at
i
n
g
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Ver
d
oo
l
aege
bar
v
inok_enu
m
erate_e: support c
o
nv
e
rsion of ge
n
erating
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven
V
e
r
doolaege
lattic
e
_point
s
:
another
m
icro-o
p
timization
commit
|
commitdiff
|
tree
2007-10-25
S
v
en Verdoolaeg
e
latti
c
e
_
point
s
_
fixed: nano-
o
pt
i
mization
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
gen_fun::add: context of sum should be union
of c
o
nt
e
xts
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdo
o
laege
b
a
r
vinok_enum
e
rate: use
ver
i
fy i
n
frastructure
for ve
r
ifying
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Ver
d
oolae
g
e
ge
n
fu
n
.
cc: print_power: drop spaces around "/" when
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven V
e
rdoolaege
count_points_e: fall
back to count_points i
f
there
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n
V
erd
o
olae
g
e
Makef
i
le
.
am:
c
heck-evalue
:
print nam
e
o
f each test
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
v
e
n Verdoolaege
veri
f
y
:
add ch
e
c
k
_poly_print helper
funct
i
on
commit
|
commitdiff
|
tree
2007-10-25
S
v
e
n
Verdoolaege
gen_fun
:
m
ake sur
e
context is alw
a
ys set
commit
|
commitdiff
|
tree
2007-10-25
Sven
V
erd
o
ol
a
ege
re
d
uce
r
:
:red
u
c
e: canoni
c
alize coeffici
e
nts in each
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven
Verdoolaege
short
_
rat::print: correctly print
out te
r
ms
w
ith a
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven
Verdool
a
eg
e
barvinok_seri
e
s: r
e
check for equalities
a
fter c
o
mputing
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdool
a
ege
expo
r
t
M
atrix_Read for
re
a
ding Matri
x
from
a stream
commit
|
commitdiff
|
tree
2007-10-25
Sven
V
erdoolaege
pa
r
am_
u
t
il
.
c: add Param_Vertex_Doma
i
n
commit
|
commitdiff
|
tree
2007-10-25
Sve
n
V
erdoolaege
util
.
c
: supporting
_
constrain
t
s
: return
b
it vect
o
r
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdo
o
laege
polylib:
u
pdate for Ma
t
rix_Extend
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n Verdoo
l
a
e
ge
o
ptio
n
s
.
c:
us
e
Polyhedron_Sa
m
ple for counting infini
t
e
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Ver
d
oolaege
keep
t
rack of
a
n
d
u
se s
a
turating constraints i
n
Param_Po
l
yhed
r
o
n
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoo
l
aege
move value_gcd
a
nd val
u
e
_
lcm to polyli
b
commit
|
commitdiff
|
tree
2007-10-25
Sven
V
er
d
oolae
g
e
Bernoulli_sum_evalue: only compute exac
t
s
um i
f
a
ppr
o
ximati
o
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
Bernoul
l
i_su
m
_eval
u
e: sum over variables wit
h
inte
g
er
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n Verdoolaege
e
value
.
c: exp
o
rt evalue_var
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n Ver
d
oo
l
aege
Polyhe
d
ron_ExchangeColumns: normal
i
ze c
o
n
s
tr
a
in
t
s
a
ft
e
r
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven
V
e
rdoo
l
a
e
ge
export Polyhedr
o
n_ExchangeC
o
l
u
m
n
s
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoo
l
aege
evalue_po
l
ynomial: optimize e
v
a
lu
a
tio
n
in zero
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoo
l
a
ege
e
value
.
c
: emu
l
: hand
l
e
a
nothe
r
special ca
s
e
commit
|
commitdiff
|
tree
2007-10-25
S
v
e
n
Ve
r
do
o
l
aeg
e
evalue
.
c: e
a
dd: h
a
n
d
l
e s
o
m
e
sp
e
cia
l
cases
commit
|
commitdiff
|
tree
2007-10-25
Sven Ver
d
oolaege
introduce and u
s
e e
v
alue_free
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdo
o
l
a
ege
eval
u
e
.
c: eadd: micro-optimize addition of
t
wo r
a
t
ionals
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
setting an
approxi
m
ation method now implies polyn
o
mial
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sve
n
Verdoola
e
ge
ba
r
vinok_summate: op
t
ionally use Berno
u
l
l
i/Faulhaber
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
Bernou
l
l
i
_sum_ev
a
lue: use eva
l
ue
_
f
r
o
m
_section_a
r
ray
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoo
l
aege
bar
v
i
nok/po
l
ylib
.
h: remove
c
ompatibility with o
l
der
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoo
l
a
e
ge
move Vect
o
r_Oppos
e
to
P
o
lyLib
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaeg
e
poly
t
ope_scan: reenab
l
e --direct option
commit
|
commitdiff
|
tree
2007-10-20
Sven Verdoolaege
r
emove_all_equalities: keep remov
i
ng
e
qualitie
s
u
n
til
.
.
.
commit
|
commitdiff
|
tree
2007-10-20
Sv
e
n V
e
r
doolaege
remove_a
l
l_equalities: handle empty polyhedron detected
.
.
.
commit
|
commitdiff
|
tree
2007-10-20
S
ven Verdoolaege
remove
_
all_equalities: minor code clean-up
commit
|
commitdiff
|
tree
2007-10-20
S
v
en Verdoolaege
export
Po
l
yhe
d
r
on_M
a
trix_View
commit
|
commitdiff
|
tree
2007-10-16
S
ven Ver
d
oolaeg
e
polar
_
s
i
gned_cone_con
s
umer: c
l
ean up memory o
n
inappro
p
r
iate
.
.
.
commit
|
commitdiff
|
tree
2007-10-05
Sv
e
n Verdoolaege
Param
_
I
n
ne
r
_
Produ
c
t: fix use of value_lc
m
commit
|
commitdiff
|
tree
2007-09-28
Sve
n
Verdoolaege
doc: fix typo in Michele
V
ergne's n
a
me
commit
|
commitdiff
|
tree
2007-09-21
Sven
V
erd
o
olaege
Add
m
issing files from polymake
c
li
e
nt
t
o distr
i
bution
commit
|
commitdiff
|
tree
2007-09-21
Sven Verdoola
e
ge
Use gmp's gcd rather than P
o
lyLib's
commit
|
commitdiff
|
tree
2007-09-21
S
ven
Verdool
a
eg
e
polyma
k
e/README: mention --wi
t
h-barvi
n
ok configure
.
.
.
commit
|
commitdiff
|
tree
2007-09-21
Sven Ve
r
d
ool
a
ege
polymake/Makefile
.
in
:
a
dd w
o
r
k-around for po
l
ymake 2
.
3
commit
|
commitdiff
|
tree
2007-09-21
S
ven Verdoola
e
ge
evalue
.
c: print_evalue: always p
r
int n
e
w
line at the
.
.
.
commit
|
commitdiff
|
tree
2007-09-20
Sven Ve
r
doo
l
aeg
e
o
ptions
.
c: fix typo in -
-
approximatio
n
-method description
commit
|
commitdiff
|
tree
2007-09-15
S
ven Verdoolaege
topcom: fix heuristic for se
l
ecti
n
g r
o
ws to u
s
e
a
s
.
.
.
commit
|
commitdiff
|
tree
2007-09-11
Sven Ver
d
oolaege
b
a
rvinok 0
.
25
commit
|
commitdiff
|
tree
2007-09-11
Sven Verd
o
olaege
Merge branch '
t
opcom'
commit
|
commitdiff
|
tree
2007-09-11
S
ven Verdoolaege
D
o
cumen
t
TOPCOM
b
ase
d
ch
a
mb
e
r
decomposition
commit
|
commitdiff
|
tree
2007-09-11
Sven Verdoolae
g
e
test T
O
PCOM cham
b
er de
c
om
p
osit
i
on
commit
|
commitdiff
|
tree
2007-09-11
Sv
e
n Verdoolaege
Optionally
u
se TO
P
COM to
compute cham
b
er
d
ecompositions
.
commit
|
commitdiff
|
tree
2007-09-11
Sven Verdoolaege
lexmin:
add
(pr
o
tect
e
d) missing algorithm include
commit
|
commitdiff
|
tree
next