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
evalue_bernstein_coefficients: handle floorings in evalue
2007-02-19
Sven Verdoolaege
evalue_berns
t
ein_coefficients: handle floor
i
ngs in
.
.
.
commit
|
commitdiff
|
tree
2007-02-18
Sven Verdoolaege
b
a
rvinok_maximize: new tool fo
r
maximizin
g
piecewise
.
.
.
commit
|
commitdiff
|
tree
2007-02-17
S
v
en
V
e
r
d
oolaege
eva
l
ue
.
c: evalue_frac2po
l
yn
o
mial: impr
o
ve acc
u
racy
commit
|
commitdiff
|
tree
2007-02-16
Sv
e
n
V
e
rdoolaege
e
v
alue
.
c
:
add comment
commit
|
commitdiff
|
tree
2007-02-16
Sven
V
erdool
a
ege
evalue
.
c: add
f
unct
i
o
n
f
o
r checking nesting of an e
v
alue
commit
|
commitdiff
|
tree
2007-02-16
Sven
Verdoo
l
aege
evalue
.
c: add missing terms
reorderings
in evalue
_
ran
g
e_redu
.
.
.
commit
|
commitdiff
|
tree
2007-02-16
Sven
V
e
rdoolaege
ev
a
lue
.
c
: make arg
u
m
e
n
t
s of ee
q
ual and ev
a
lue_denom
.
.
.
commit
|
commitdiff
|
tree
2007-02-16
Sven
V
er
d
oolaege
barvi
n
o
k
_
enumerate_e: add --verbose option
commit
|
commitdiff
|
tree
2007-02-16
Sven Ve
r
d
oolaege
b
ernstein: ma
r
k argume
n
t
of value2numeric const
commit
|
commitdiff
|
tree
2007-02-16
Sven Ve
r
doolaege
b
ernste
i
n
.
cc: add (option
a
l)
o
ptions argument to evalue_be
r
n
.
.
.
commit
|
commitdiff
|
tree
2007-02-16
Sven Verdoolaege
add miss
i
ng virtual destructors
commit
|
commitdiff
|
tree
2007-02-16
Sven Ve
r
doolaege
gen
f
un
.
cc: re
n
ame struct co
n
e
t
o
a
v
oi
d
conf
l
i
c
t
with
.
.
.
commit
|
commitdiff
|
tree
2007-02-16
Sven Verdoo
l
aege
doc: inte
g
er po
i
n
t
s
in the f
u
ndamental par
a
llelepiped
.
.
.
commit
|
commitdiff
|
tree
2007-02-14
S
v
e
n Verdoo
l
aege
ver
i
f
_
ehrhart
.
c: c
l
ean up indent
a
ti
o
n
commit
|
commitdiff
|
tree
2007-02-14
Sven V
e
rdoolaege
verif_ehrhart:
o
ptionally continue on error
commit
|
commitdiff
|
tree
2007-02-14
Sven Verdo
o
laege
ve
r
if_ehrhar
t
:
c
ombin
e
che
c
k_poly f
r
om b
a
rvin
o
k_enumerate_e
.
cc
commit
|
commitdiff
|
tree
2007-02-14
Sven Verdoolaeg
e
verif_ehrhart
.
c: check lower
and up
p
er pol
y
no
m
ial ap
p
roximations
commit
|
commitdiff
|
tree
2007-02-14
Sven V
e
r
doolaege
verify
.
h: m
o
v
e
b
a
rvin
o
k_options int
o
verify_opt
i
ons
commit
|
commitdiff
|
tree
2007-02-14
Sven Verd
o
olaege
barvin
o
k_e
n
ume
r
ate:
p
ass paramete
r
names t
o
check_p
o
l
y
commit
|
commitdiff
|
tree
2007-02-14
Sven V
e
rdo
o
l
aege
bar
v
ino
k
_
e
numera
t
e: mo
r
e
polynommial approxim
a
tions
commit
|
commitdiff
|
tree
2007-02-14
Sven Verdoolaege
eval
u
e
.
c: a
d
d evalue_frac2p
o
lyn
o
m
i
al
commit
|
commitdiff
|
tree
2007-02-14
Sven
Verdoolaege
eva
l
ue
.
c:
e
xt
r
act eval
u
e_spli
t
_d
o
m
ains
_
int
o
_
o
rthants
.
.
.
commit
|
commitdiff
|
tree
2007-02-12
S
v
en Ver
d
oolaege
po
l
y
s
ign
.
c: fix cdd_po
l
yhedro
n
_affine_s
i
gn prototype
commit
|
commitdiff
|
tree
2007-02-12
S
ven Verdool
a
ege
M
akefile: only check lex
m
in i
f
i
t
has b
e
e
n
compiled
commit
|
commitdiff
|
tree
2007-02-12
Sven Verdoolaege
add Param_P
o
lyhed
r
on_Scale_I
n
teger proto
t
ype
commit
|
commitdiff
|
tree
2007-02-12
Sven Verd
o
olaege
la
t
tice_point
.
cc: a
d
d sanit
y
c
h
e
ck for inde
x
of
c
o
n
e
commit
|
commitdiff
|
tree
2007-02-12
Sven Verdoolae
g
e
test:
i
nit
i
alize nbMat
commit
|
commitdiff
|
tree
2007-02-12
Sven V
e
rdoolaege
bar
v
in
o
k_enumerate: optionally
c
o
mpute a polynomial
.
.
.
commit
|
commitdiff
|
tree
2007-02-12
Sven Verdoolaege
P
rovide replaceme
n
t
f
o
r new PolyLib fun
c
tion
Par
a
m_
P
ol
y
h
edro
.
.
.
commit
|
commitdiff
|
tree
2007-02-12
Sv
e
n Verdoolaege
a
dd evalue_d
i
v (adapted fro
m
PolyLib)
commit
|
commitdiff
|
tree
2007-02-12
Sven Ver
d
oo
l
aege
test: sim
p
le tes
t
for
Po
l
y
L
i
b
's Smith
commit
|
commitdiff
|
tree
2007-02-12
S
v
en Verdoolaege
Makefile
.
am: add d
e
p
e
nden
c
ies for
c
hecks
commit
|
commitdiff
|
tree
2007-02-11
Sven V
e
rdoo
l
aege
gen
f
un
.
cc:
short_ra
t
::normalize: mic
r
o-optimi
z
ations
commit
|
commitdiff
|
tree
2007-02-11
Sv
e
n Verdoolaege
QQ: ca
n
onicalize on read an
d
multip
l
ication
commit
|
commitdiff
|
tree
2007-02-09
Sven Ver
d
o
o
laege
doc
:
b
arvinok_seri
e
s requires polyhedron to ha
v
e *rev
.
.
.
commit
|
commitdiff
|
tree
2007-02-09
Sven Verdoolaege
Makefile
.
am: check
b
a
rvinok_enumerate --series
dur
i
ng
.
.
.
commit
|
commitdiff
|
tree
2007-02-09
Sven Verdoolaege
barvinok_e
n
u
merate
:
com
p
u
t
e ser
i
e
s
of p
o
lyh
e
dra with
.
.
.
commit
|
commitdiff
|
tree
2007-02-09
Sven Ve
r
doolaege
te
s
t all specialization algorithms during make check
commit
|
commitdiff
|
tree
2007-02-09
Sven
Verdoolaege
p
ass option
s
thro
u
gh t
o
bar
v
inok_count in barvinok_enumerate
.
.
.
commit
|
commitdiff
|
tree
2007-02-08
Sven Verdoo
l
aeg
e
Han
d
le non-unimod
u
l
a
r cones
i
n dual decompositi
o
n
commit
|
commitdiff
|
tree
2007-02-08
Sven
Verdoola
e
ge
barvin
o
k_stats
:
r
e
nam
e
un
i
modula
r
_cones to base_cones
commit
|
commitdiff
|
tree
2007-02-08
Sv
e
n Verdoo
l
aege
re
d
ucer
.
cc: extra san
i
ty checks
commit
|
commitdiff
|
tree
2007-02-08
Sven Verd
o
o
l
aege
Handle non-unimod
u
lar cones with
a
sp
e
cified maximal
.
.
.
commit
|
commitdiff
|
tree
2007-02-07
S
v
en Verdoolaege
decomposer
.
c
c
: decompose: m
i
nor clean-up
commit
|
commitdiff
|
tree
2007-02-06
S
ven Ve
r
doolaege
barvinok_options: incl
u
de pointer to barvinok_stats
.
.
.
commit
|
commitdiff
|
tree
2007-02-06
Sve
n
Verdoolaege
a
d
d barvinok_options_free
commit
|
commitdiff
|
tree
2007-02-06
Sven
V
e
rdoo
l
aege
barvinok_enumerate: co
l
lect s
t
a
t
s
on n
u
m
b
er of
u
ni
m
odular
.
.
.
commit
|
commitdiff
|
tree
2007-02-06
Sven V
e
rdoo
l
aege
decomposer
.
cc:
polar_decompose: remove common divisor
.
.
.
commit
|
commitdiff
|
tree
2007-02-06
Sven Verdoolaege
partia
l
_reducer: spec
i
a
l
ize list versio
n
of base
commit
|
commitdiff
|
tree
2007-02-05
Sven
V
erdoolae
g
e
redu
c
er:
:
reduce: better handling
o
f terms with common
.
.
.
commit
|
commitdiff
|
tree
2007-02-05
Sven Verdoolaege
reducer::reduce: comb
i
ne nu
m
erators with
e
qual u
n
r
educed
.
.
.
commit
|
commitdiff
|
tree
2007-02-03
Sven V
e
rd
o
olaege
QQ: add
operator for
multiplicatio
n
of vector by
a
.
.
.
commit
|
commitdiff
|
tree
2007-02-02
Sven Verdoolaege
reduce
r
::reduce: take a list
of
n
umerat
o
rs
as input
commit
|
commitdiff
|
tree
2007-02-02
S
ven
V
erdoolaege
ge
n
_fun::read: read gen_fun from file descri
p
tor
commit
|
commitdiff
|
tree
2007-02-02
Sven Verd
o
olaege
add gen_fun::add(short
_
rat *r)
commit
|
commitdiff
|
tree
2007-02-02
Sven Ver
d
oolaege
NTL_
Q
Q
.
c
c
: supp
o
rt reading from
stream
commit
|
commitdiff
|
tree
2007-02-02
Sven Verdoo
l
aege
gen_
f
un: add ope
r
a
tor for printing to
s
tr
e
am
commit
|
commitdiff
|
tree
2007-02-02
Sven Verdoolaeg
e
genfun
.
cc: add short_rat copy constructor
commit
|
commitdiff
|
tree
2007-02-02
Sven V
e
rdool
a
ege
dpoly
_
r: micro-optimizati
o
ns
commit
|
commitdiff
|
tree
2007-02-02
Sv
e
n Verd
o
olaege
d
p
oly:
m
ark some
m
ore arg
u
ments/m
e
tho
d
s const
commit
|
commitdiff
|
tree
2007-02-02
Sve
n
Verdo
o
laege
short_rat:
:
a
dd: mark
sho
r
t_rat ar
g
umen
t
c
o
nst
commit
|
commitdiff
|
tree
2007-02-02
Sv
e
n Verdoolaege
NTL_QQ: a
t
tempt
t
o s
p
eed-up += operator
commit
|
commitdiff
|
tree
2007-02-02
Sven Verdo
o
laeg
e
dpoly: add some documentation
commit
|
commitdiff
|
tree
2007-02-02
Sven Verdool
a
ege
dpoly: add some m
o
re operations
commit
|
commitdiff
|
tree
2007-02-02
Sven Verdoolaege
barvinok/genfu
n
.
h:
fix com
m
en
t
commit
|
commitdiff
|
tree
2007-02-02
Sv
e
n
V
erdool
a
e
ge
add
.
gitignore
commit
|
commitdiff
|
tree
2007-02-02
Sven Ver
d
oolaege
Q
Q:
add operator for multipli
c
ation
b
y a sca
l
ar (ZZ)
commit
|
commitdiff
|
tree
2007-01-18
Sven Ver
d
oolaege
M
a
kefile
.
am
:
c
h
e
c
k
-s
e
ries:
c
h
eck --primal as well
commit
|
commitdiff
|
tree
2007-01-16
Sv
e
n
Verdoolaege
Makefile
.
am: install (some) b
i
naries
commit
|
commitdiff
|
tree
2007-01-15
Sven Verdoola
e
ge
undefine C
S
fo
r
Solaris
10
commit
|
commitdiff
|
tree
2007-01-14
Sven Verdoolae
g
e
barvin
o
k_enumerate: han
d
le lines in
input polyh
e
dr
a
.
.
.
commit
|
commitdiff
|
tree
2007-01-10
S
v
en V
e
rdoolaeg
e
util
.
c
:
mo
v
e left_
i
n
verse from lexmin
.
c
c
commit
|
commitdiff
|
tree
2007-01-05
Sven Ver
d
oo
l
aege
gen_fun::coefficient: m
o
ve printi
n
g t
o
short_ra
t
commit
|
commitdiff
|
tree
2007-01-05
S
ven V
e
rd
o
o
l
aege
gen_
f
un:
:
coeffici
e
nt
:
new version returning ZZ
commit
|
commitdiff
|
tree
2007-01-05
Sven
Verdool
a
e
ge
g
e
n
f
un
.
cc: mov
e
coefficient computation t
o
short_rat
commit
|
commitdiff
|
tree
2007-01-05
Sv
e
n
Verdool
a
ege
partial_r
e
ducer:
restart computation i
f
random vect
o
r
.
.
.
commit
|
commitdiff
|
tree
2007-01-05
Sven Verdoolaege
gen_f
u
n: expose clear_
t
e
r
m
s, a met
h
od for clea
r
ing
.
.
.
commit
|
commitdiff
|
tree
2007-01-05
Sv
e
n Verdo
o
laege
gen_fun
:
:Hadam
a
rd
_
p
r
od
u
c
t
:
propag
a
te full options to
.
.
.
commit
|
commitdiff
|
tree
2007-01-05
Sven Verd
o
olaege
barvinok_
e
n
u
merate:
i
ntegrate ver
i
f_ehr
h
art
commit
|
commitdiff
|
tree
2007-01-05
Sven Verd
o
ola
e
ge
barvinok
_
enu
m
e
r
ate:
i
nt
e
g
r
at
e
barvinok_series
commit
|
commitdiff
|
tree
2007-01-05
S
v
en Ve
r
doolaege
b
a
rvinok_enumerate: use
a
r
gp
commit
|
commitdiff
|
tree
2007-01-05
Sven Verdoolaege
lexmin
:
m
ake lexmin opt
i
ons private
commit
|
commitdiff
|
tree
2007-01-05
Sve
n
Verdoola
e
ge
Revert "bernstein/con
f
igure
.
i
n
: remov
e
redundant change
.
.
.
commit
|
commitdiff
|
tree
2007-01-05
Sven Verdoolaege
barvinok
.
c
c
: ma
k
e use of samp
l
ing fo
r
counti
n
g infinite
.
.
.
commit
|
commitdiff
|
tree
2007-01-05
Sven V
e
rdoolaege
barvi
n
ok_en
u
m
e
r
a
t
e
_e: respect
-
-table
o
ption
commit
|
commitdiff
|
tree
2007-01-05
S
ven V
e
rdoolaege
lexmin
.
c
c: move selection of gbr solver to options
.
c
commit
|
commitdiff
|
tree
2007-01-05
Sven
Ver
d
o
o
laege
lexmin: us
e
ar
g
p
commit
|
commitdiff
|
tree
2007-01-04
Sven Verdoola
e
ge
barvinok
_
enumerate_e: extract out veri
f
icati
o
n
o
ptions
commit
|
commitdiff
|
tree
2007-01-04
Sven Verdoolaege
barvinok_enumerate_e: print wa
r
ning when --omega or
.
.
.
commit
|
commitdiff
|
tree
2007-01-04
Sven V
e
rdoolae
g
e
b
a
r
vinok/polyli
b
.
h: define val
u
e_subtract and value_addmul
.
.
.
commit
|
commitdiff
|
tree
2007-01-04
Sven Verd
o
olaege
dec
o
mposer
.
cc: decomp
o
se:
micro-optimizati
o
n
commit
|
commitdiff
|
tree
2007-01-04
Sven Verdoola
e
ge
sign
e
d_cone:
store rays of cone
commit
|
commitdiff
|
tree
2007-01-04
H
arald
Dev
o
s
omega
/
parser
.
y: remove brackets
around type
in new
commit
|
commitdiff
|
tree
2007-01-03
Sve
n
V
e
rdoo
l
aege
l
e
x
m
in:
disable use of lookup-tables
commit
|
commitdiff
|
tree
2007-01-03
Sven Verdoolaege
barvi
n
ok_enum
e
r
a
t
e_e
.
cc: fix
a
r
gp options pa
r
ser
commit
|
commitdiff
|
tree
2007-01-03
S
ven Verdoolae
g
e
options
.
c:
m
ov
e
choice
of
use
o
f lookup-table
to
b
arvinok_o
p
.
.
.
commit
|
commitdiff
|
tree
2007-01-03
Sv
e
n Verd
o
o
l
a
ege
l
att
i
ce_point
.
cc: fix #i
f
ndef USE_MO
D
U
LO code pa
t
h
commit
|
commitdiff
|
tree
2007-01-03
Sven Verd
o
o
laeg
e
decomposer
.
cc: short_vector: remove redun
d
ant co
d
e
commit
|
commitdiff
|
tree
2007-01-03
Sven Verdoolaege
decomposer
.
c
c: short_v
e
c
t
or
:
negate
lambda if z is
.
.
.
commit
|
commitdiff
|
tree
2007-01-03
Sven V
e
r
doolaege
b
a
r
vinok
.
cc: series:
only require rays to b
e
revlex
.
.
.
commit
|
commitdiff
|
tree
next