repo.or.cz
/
barvinok
/
uuh.git
/
search
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
log
|
graphiclog1
|
graphiclog2
|
commit
|
commitdiff
|
tree
|
refs
|
edit
|
fork
first
·
prev
·
next
Avoid use of sys/times.h header when not available
2007-11-21
Sven Verdoola
e
ge
Po
s
sible
o
pti
m
izations for genera
l
ized basis red
u
c
t
i
on
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven
Verdoolaege
Support use of general
i
zed
ba
s
is reducti
o
n to compute
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven Verd
o
olaeg
e
add Po
l
yhedron_I
n
teg
e
r_Min
i
mum for computi
n
g
the
integer
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven Verdo
o
laege
doc: documen
t
generalized ba
s
is reduction b
a
sed integer
.
.
.
commit
|
commitdiff
|
tree
2007-11-21
Sven V
e
r
doolaege
doc/barv
i
nok
.
bib: add missing str
i
ng
commit
|
commitdiff
|
tree
2007-11-17
Sven Verd
o
ola
e
ge
add more
m
issing
assert
.
h #incl
u
des
commit
|
commitdiff
|
tree
2007-11-17
Sven Verdoo
l
a
e
g
e
evalue
.
c: add mi
s
si
n
g
inc
l
u
de
o
f allo
c
a
.
h
commit
|
commitdiff
|
tree
2007-11-17
Sven Verdoolaege
configure
.
in: pass
p
ath of GMP installatio
n
to
P
olyL
i
b
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
S
ven Ver
d
oolaege
c
onfigure
.
in: only co
m
p
i
le libbarvinok as a sta
t
ic
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
S
v
e
n Verdoolae
g
e
Polyhed
r
on_R
e
duced
_
B
a
s
is:
don't stop
too early when
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
Sven Verdoolaege
co
m
p
u
te_width_di
r
ections:
o
nly ke
e
p list of distinct
.
.
.
commit
|
commitdiff
|
tree
2007-11-15
Sven Verdool
a
e
g
e
zsolve:
d
on't in
s
ta
l
l libr
a
ry
commit
|
commitdiff
|
tree
2007-11-08
Sven V
e
rdoolaeg
e
versio
n
.
c: show use of T
O
PC
O
M
commit
|
commitdiff
|
tree
2007-11-08
Sven Verdool
a
ege
configure
.
in: don't
s
et with_{pol
y
,pip}lib_
p
refix
from
.
.
.
commit
|
commitdiff
|
tree
2007-11-08
Sven Ver
d
oolaege
Polyhe
d
r
o
n_Sam
p
le: be satisfied with a re
a
s
o
n
a
ble choice
.
.
.
commit
|
commitdiff
|
tree
2007-11-08
Sven V
e
rdoolae
g
e
co
n
e_integer_hull: optiona
l
ly pr
i
n
t
stats
commit
|
commitdiff
|
tree
2007-11-08
Sven Verdoolaeg
e
ba
s
is_reduction: keep trac
k
of nu
m
ber
o
f L
P
s s
o
lve
d
commit
|
commitdiff
|
tree
2007-11-08
Sven Verdoolaege
o
ptions: move --print-sta
t
s to l
i
brary
commit
|
commitdiff
|
tree
2007-11-07
Sven Ver
d
o
olaege
bern
s
tein: rework testing
framewo
r
k
t
o
n
o
t depend on
.
.
.
commit
|
commitdiff
|
tree
2007-11-07
Sven Verdoolaege
bernstein:
add piecewise_lst::is_equal
commit
|
commitdiff
|
tree
2007-11-07
Sven Verdoolaege
s
u
pp
o
rt ne
w
er versions of
G
iNaC (>= 1
.
3
.
8)
commit
|
commitdiff
|
tree
2007-11-07
Sv
e
n Ver
d
o
o
laege
s
t
andard_constraint
s
: move from topcom
.
c
t
o polysign
.
c
commit
|
commitdiff
|
tree
2007-11-07
Sve
n
V
e
rdoolaege
pol
y
sign
.
h:
r
e
move d
e
pendency o
n
lexmin
.
h
commit
|
commitdiff
|
tree
2007-11-07
Sven Verd
o
o
laege
zsolve: add banner
.
h to distri
b
u
t
ion
commit
|
commitdiff
|
tree
2007-11-06
S
v
en Verd
o
olaege
Po
l
yhedro
n
_La
t
tice_Width_Dire
c
tions: print p
r
ogre
s
s
.
.
.
commit
|
commitdiff
|
tree
2007-11-06
Sven Verdoola
e
ge
basis_reduction_p
i
p
:
abort on invali
d
(empty)
i
nput
.
.
.
commit
|
commitdiff
|
tree
2007-11-02
Sven Verdoola
e
ge
README: explai
n
how to get s
u
b
modules
commit
|
commitdiff
|
tree
2007-11-02
S
v
e
n
Verdoolaege
doc: document l
a
ttice
w
idth computat
i
o
n
commit
|
commitdiff
|
tree
2007-11-02
Sven Verdoolaege
s
om
e
la
t
tice width tests
from
Jon Yagg
i
e
commit
|
commitdiff
|
tree
2007-11-01
Sven Verdoolaege
P
o
ly
h
e
d
ron_Lattice_Width:
d
eci
d
e on facets to close
.
.
.
commit
|
commitdiff
|
tree
2007-11-01
Sven Verdo
o
laege
a
d
d P
o
lyhedron_Lattice_Wid
t
h fo
r
computi
n
g lattice
.
.
.
commit
|
commitdiff
|
tree
2007-11-01
Sven Verdoolaege
hilb
e
rt
.
c:
add Cone_Int
e
ger_Hull for com
p
uting vertices
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sven
V
e
r
d
o
o
laege
polys
i
gn: add pip
-
backed versi
o
n
commit
|
commitdiff
|
tree
2007-10-31
Sven Verd
o
ol
a
ege
polys
i
gn: a
d
d constraints_opt t
o
com
p
ut
e
opti
m
um over
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sven
V
erd
o
olaege
p
o
l
ys
i
gn
_
cdd: switch
to
use o
f
Matri
x
representatio
n
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdool
a
ege
p
o
lysign_glpk: switch
to use
o
f Mat
r
ix
representa
t
i
on
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoolaege
doc:
d
ocument c
o
mputa
t
ion of Hil
b
ert basis o
f
a con
e
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoolaege
Cone_Hilbert_Basis: u
s
e standard_cons
t
ra
i
nts to avoid
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
S
ven Verdoola
e
g
e
Us
e
z
solve to compu
t
e
Hilb
e
rt basis of
a cone
commit
|
commitdiff
|
tree
2007-10-31
Sven Verd
o
olaege
compile z
s
o
lv
e
commit
|
commitdiff
|
tree
2007-10-31
Sven
Verdoolaege
zsolv
e
: don't
install headers
a
nd executables
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoola
e
ge
z
solve:
initial
i
ze
Backup
T
i
m
e in ZSolveContext
commit
|
commitdiff
|
tree
2007-10-31
S
v
en Verdoolaege
zsolve: zsolve
S
ystem:
a
dd missing verbosity check
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdo
o
la
e
ge
zso
l
v
e
:
ov
e
r
ride LIBS from top
level
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoolaege
add 4ti2-1
.
3
.
1+autoconf-0
.
1 banner
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoolae
g
e
add zsolve from 4
t
i2-1
.
3
.
1+autoconf-0
.
1
commit
|
commitdiff
|
tree
2007-10-31
Sven Verd
o
o
l
aege
param_util
.
c
: export
b
it
_
vector_
c
ount
commit
|
commitdiff
|
tree
2007-10-31
S
v
en Verdo
o
laege
topcom
.
c
:
extract
part of code for
setting u
p
sta
n
dard
.
.
.
commit
|
commitdiff
|
tree
2007-10-30
Sven Verdoolaege
gen_fu
n
::Ha
d
ama
r
d_product: pri
n
t progress indi
c
ato
r
.
.
.
commit
|
commitdiff
|
tree
2007-10-26
Sven Verd
o
olaege
mov
e
--verbose
optio
n
to library
commit
|
commitdiff
|
tree
2007-10-25
S
v
en
V
erd
o
o
l
a
ege
ge
n
_fun::summate:
h
and
l
e
f
u
ll specializ
a
tion
commit
|
commitdiff
|
tree
2007-10-25
S
v
en Verdoolaege
R
e
pl
a
ce incrementa
l
infinit
e
set counter by
"regu
l
ar
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
ven Ve
r
doolae
g
e
m
ake counte
r
::add_fa
l
ling_powers stat
i
c
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdo
o
laege
merge
(mo
s
t
of) common
p
art of counte
r
and tcoun
t
er
commit
|
commitdiff
|
tree
2007-10-25
S
ven Verdoolaege
ico
u
nt
e
r: han
d
le specialization
of polynomials
commit
|
commitdiff
|
tree
2007-10-25
Sven
V
e
r
d
oolaege
icounter:
d
on't bother "nor
m
alizing" th
e
exponents
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
ven Verdoolaege
export n
e
g_left_her
m
ite
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
b
a
s
i
s_reduction_cdd: che
c
k for possibly
incorre
c
t output
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
ven Ve
r
doolaege
Polyhedron_Sample: handle
poly
h
e
d
ron becoming
e
mpty
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n Ver
d
o
o
laege
gen_
f
u
n
::operator evalue *: a
l
ways return
a
valid
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
gen_fun
:
:op
e
r
a
t
or eval
u
e *: remo
v
e
c
o
mmented out
d
ebug
g
in
g
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
v
en
V
e
rdoola
e
ge
barvinok_enumerate_e
.
c
c
: hand
l
e ver
i
fication of
p
roblem
s
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
v
en Verdoola
e
ge
b
a
rvinok_e
n
umerate_e: optionally print st
a
ts
commit
|
commitdiff
|
tree
2007-10-25
Sve
n
Ve
r
d
o
olaeg
e
barvin
o
k_e
n
ume
r
ate
_
e: support verificatio
n
of
g
enerat
i
ng
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaeg
e
barvinok_enumerate_e: suppo
r
t conversio
n
o
f
gen
e
r
at
i
ng
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
lattice_poi
n
ts: another micro-optim
i
zation
commit
|
commitdiff
|
tree
2007-10-25
Sven Verd
o
ol
a
ege
lattice_points_fi
x
ed: nan
o
-
o
ptimi
z
a
tion
commit
|
commitdiff
|
tree
2007-10-25
Sve
n
Verdoolaege
g
e
n_fun::
a
dd: conte
x
t of sum sh
o
uld be union of context
s
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven
Verdool
a
e
ge
barvinok_enumerate: use ve
r
ify infrastructure for v
e
rifying
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sve
n
Verd
o
olaege
ge
n
fu
n
.
cc: print
_
power:
d
rop spaces around "/" when
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven
V
e
rdoola
e
ge
count_points_e:
fall ba
c
k
t
o
count_points
i
f there
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
Makefile
.
am: check-evalue: pri
n
t
name of e
a
ch t
e
st
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n Ve
r
doolaeg
e
verify: add c
h
eck_
p
oly_print helper
f
u
nction
commit
|
commitdiff
|
tree
2007-10-25
S
ven
Verdool
a
ege
gen_fu
n
:
make sur
e
contex
t
is always set
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaeg
e
reducer::reduce: canonicalize coefficien
t
s in eac
h
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven
V
e
r
d
o
o
laege
short_rat::print: correc
t
ly prin
t
out terms with a
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolae
g
e
bar
v
in
o
k_ser
i
es: re
c
heck for equaliti
e
s
after computing
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdo
o
laege
export Mat
r
i
x
_Read for reading Matrix from a stre
a
m
commit
|
commitdiff
|
tree
2007-10-25
Sven
Verdo
o
l
a
ege
par
a
m_util
.
c: add Param_V
e
rtex_Dom
a
in
commit
|
commitdiff
|
tree
2007-10-25
Sven V
e
rdoola
e
ge
util
.
c
:
supporting
_
constrai
n
t
s: retur
n
bit v
e
ctor
commit
|
commitdiff
|
tree
2007-10-25
Sven V
e
rdoola
e
ge
polylib: update
f
o
r
M
atrix_Ex
t
en
d
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
opti
o
ns
.
c: us
e
Polyhedron
_
Sample for
counting in
f
inite
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sve
n
Ve
r
d
o
olaege
keep track of and
use saturating constraints in P
a
ram_Polyhedron
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdool
a
eg
e
move value_gcd and value_
l
cm to
poly
l
ib
commit
|
commitdiff
|
tree
2007-10-25
Sven V
e
rdoolaege
Bernoull
i
_sum_evalue: on
l
y
comp
u
t
e exa
c
t sum if appr
o
xi
m
atio
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdo
o
laege
Bern
o
ulli
_
sum_eval
u
e: sum over variables w
i
th integer
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven
V
erdoolaege
evalue
.
c: expor
t
eva
l
ue_var
commit
|
commitdiff
|
tree
2007-10-25
S
v
e
n Verdoolaege
Polyh
e
dron_Ex
c
hangeColu
m
n
s
: normalize constraints af
t
er
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdo
o
laeg
e
export Pol
y
hedron_E
x
chang
e
Column
s
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n
V
erdoo
l
ae
g
e
evalue_polynomi
a
l
:
optimi
z
e
evaluation in
zero
commit
|
commitdiff
|
tree
2007-10-25
Sven Verd
o
ol
a
ege
e
v
alue
.
c
: emul: handle
a
nother special
c
ase
commit
|
commitdiff
|
tree
2007-10-25
Sven V
e
rdoolaege
evalue
.
c: ea
d
d: handl
e
s
ome
s
p
ecial
cases
commit
|
commitdiff
|
tree
2007-10-25
Sven Ve
r
doolaege
intr
o
d
u
ce and
u
se evalue_f
r
ee
commit
|
commitdiff
|
tree
2007-10-25
Sven
V
er
d
oolaege
eva
l
ue
.
c: eadd: micro-optimi
z
e a
d
dition of two
r
atio
n
als
commit
|
commitdiff
|
tree
2007-10-25
S
v
en
V
erd
o
olaege
se
t
ting
an approx
i
mation m
e
thod now implies
polynomial
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven
V
erdoo
l
aege
barvinok_summate:
o
p
tionally use Be
r
noulli/Faulhaber
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
B
ernoulli_sum_eval
u
e: use eva
l
ue_f
r
om_se
c
tion_array
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
v
e
n
V
erdoolaege
barvinok/polyl
i
b
.
h: remove
compatibil
i
t
y
with older
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Ver
d
oolaege
move
V
ector_
O
ppose to PolyLi
b
commit
|
commitdiff
|
tree
2007-10-25
Sve
n
Ve
r
doo
l
aeg
e
polytope_scan: reenabl
e
--dir
e
ct option
commit
|
commitdiff
|
tree
next