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
verif_ehrhart: combine check_poly from barvinok_enumerate_e.cc
2007-02-14
Sven Verdoolaege
veri
f
_ehrhart: co
m
bine check_poly from barvinok_
e
numerat
e
_
e
.
cc
commit
|
commitdiff
|
tree
2007-02-14
Sven
Verdool
a
ege
verif_eh
r
h
art
.
c: check lower and
upper polynomi
a
l approximations
commit
|
commitdiff
|
tree
2007-02-14
Sve
n
Verd
o
olaege
verify
.
h
:
m
ove barvinok_op
t
io
n
s
into verify_options
commit
|
commitdiff
|
tree
2007-02-14
Sven Verdoolae
g
e
b
a
rvinok_enumerate
:
p
a
ss parameter names to check_p
o
ly
commit
|
commitdiff
|
tree
2007-02-14
Sven
V
erdool
a
ege
barvinok_enumerate: more po
l
yn
o
mmial approx
i
mat
i
o
ns
commit
|
commitdiff
|
tree
2007-02-14
Sven Verdoolaeg
e
evalue
.
c: add e
v
a
lue_frac2polyn
o
mia
l
commit
|
commitdiff
|
tree
2007-02-14
S
ven Verdoolae
g
e
evalu
e
.
c: e
x
tract evalue_
s
plit_domai
n
s_into_orthant
s
.
.
.
commit
|
commitdiff
|
tree
2007-02-12
Sv
e
n Verdoolaege
polysign
.
c
: fix cdd_polyhedr
o
n
_affine_sign prototype
commit
|
commitdiff
|
tree
2007-02-12
Sven Verdoolaege
Makefile: only check lexmin if it has been c
o
mpiled
commit
|
commitdiff
|
tree
2007-02-12
Sven Verd
o
olaege
add Para
m
_Polyhedron_Sca
l
e_Int
e
ger prototype
commit
|
commitdiff
|
tree
2007-02-12
Sven Ve
r
doola
e
ge
lattic
e
_
p
o
int
.
cc: add
s
anity check for
i
ndex of cone
commit
|
commitdiff
|
tree
2007-02-12
Sven Verdoola
e
ge
test: initialize nbMat
commit
|
commitdiff
|
tree
2007-02-12
Sven V
e
rdoolaege
barvi
n
ok_enumerate
:
optionally co
m
pute a pol
y
nomial
.
.
.
commit
|
commitdiff
|
tree
2007-02-12
Sven Verdoolaege
P
rovide re
p
l
acemen
t
for new PolyLib funct
i
on
P
aram
_
Polyhedro
.
.
.
commit
|
commitdiff
|
tree
2007-02-12
Sven Verdoola
e
ge
add evalue_div (adapted from PolyLib)
commit
|
commitdiff
|
tree
2007-02-12
Sven Verdoolaege
test: s
i
mple test for PolyLib's Smith
commit
|
commitdiff
|
tree
2007-02-12
Sven Verdoolaege
M
akefile
.
am
:
add
d
ependen
c
ies
f
o
r chec
k
s
commit
|
commitdiff
|
tree
2007-02-11
Sven Ve
r
doolaege
ge
n
fu
n
.
cc: short_rat::normalize: micr
o
-opti
m
iza
t
i
o
ns
commit
|
commitdiff
|
tree
2007-02-11
S
v
en Verdoolaege
QQ: ca
n
onic
a
li
z
e
o
n
read and mul
t
iplica
t
ion
commit
|
commitdiff
|
tree
2007-02-09
Sven Verdoolaege
d
oc: barv
i
nok_seri
e
s req
u
ire
s
polyhed
r
on
to ha
v
e
*
rev
.
.
.
commit
|
commitdiff
|
tree
2007-02-09
Sven Verdoolaege
M
akefile
.
a
m
: chec
k
b
arvinok_enumerate
-
-series
d
uri
n
g
.
.
.
commit
|
commitdiff
|
tree
2007-02-09
Sven
Verdoo
l
aege
barvinok
_
enu
m
erate: compute series o
f
polyhedra wi
t
h
.
.
.
commit
|
commitdiff
|
tree
2007-02-09
Sv
e
n Verd
o
olaege
test all spec
i
alization
a
lgorithms during make check
commit
|
commitdiff
|
tree
2007-02-09
S
ven
V
erdoo
l
aeg
e
pass
option
s
t
h
rou
g
h
to barvinok_count in barv
i
nok_enumera
t
e
.
.
.
commit
|
commitdiff
|
tree
2007-02-08
Sven Verdoolaege
H
a
ndle non-u
n
imo
d
ul
a
r con
e
s in dual
decompositi
o
n
commit
|
commitdiff
|
tree
2007-02-08
Sv
e
n Verdoolaege
b
arvin
o
k_stats:
rename unimodul
a
r_cones to b
a
se_cones
commit
|
commitdiff
|
tree
2007-02-08
Sven Verdoolaege
r
e
ducer
.
c
c
: extra sanity
c
hecks
commit
|
commitdiff
|
tree
2007-02-08
S
ven Verdoo
l
aege
Hand
l
e non-unimodular c
o
n
es
with a specified
m
a
x
imal
.
.
.
commit
|
commitdiff
|
tree
2007-02-07
Sv
e
n Verdoolaeg
e
decomposer
.
cc:
decompose: mino
r
clean-up
commit
|
commitdiff
|
tree
2007-02-06
Sven
Verd
o
olaege
barvinok_o
p
tions: includ
e
poin
t
er to barvinok_stats
.
.
.
commit
|
commitdiff
|
tree
2007-02-06
S
ven Verdoolaege
add barvino
k
_option
s
_fre
e
commit
|
commitdiff
|
tree
2007-02-06
S
ven Verdoolaege
b
a
rvinok_enumer
a
te: collect
s
t
ats on n
u
mbe
r
of unimodular
.
.
.
commit
|
commitdiff
|
tree
2007-02-06
Sven Verdoola
e
ge
decom
p
oser
.
c
c: polar_decompose:
re
m
o
v
e
c
omm
o
n
d
ivisor
.
.
.
commit
|
commitdiff
|
tree
2007-02-06
Sven Ver
d
oolaeg
e
partial_reducer: specialize list version
o
f ba
s
e
commit
|
commitdiff
|
tree
2007-02-05
Sven V
e
rd
o
o
l
aeg
e
r
e
ducer::reduce: bet
t
e
r handling o
f
terms
with comm
o
n
.
.
.
commit
|
commitdiff
|
tree
2007-02-05
Sven Verdoolaege
reducer:
:
re
d
uce: combine nu
m
erators with
eq
u
a
l unre
d
uced
.
.
.
commit
|
commitdiff
|
tree
2007-02-03
Sven Verdoolaege
QQ:
a
d
d operato
r
for multiplication of v
e
ct
o
r
by a
.
.
.
commit
|
commitdiff
|
tree
2007-02-02
Sven Verd
o
olaege
r
educer::reduce: tak
e
a list
of numera
t
ors as input
commit
|
commitdiff
|
tree
2007-02-02
Sven Verdoolaege
gen_f
u
n::
r
ea
d
: read gen_fun fro
m
file descript
o
r
commit
|
commitdiff
|
tree
2007-02-02
Sven Verdoolaege
add gen_fun::add(short_
r
a
t
*r)
commit
|
commitdiff
|
tree
2007-02-02
Sven Verdoolaege
NTL_QQ
.
cc:
su
p
port r
e
ad
i
n
g from stream
commit
|
commitdiff
|
tree
2007-02-02
S
v
en
Verdool
a
ege
gen_fun
:
add oper
a
tor
f
or pri
n
tin
g
t
o
s
tream
commit
|
commitdiff
|
tree
2007-02-02
Sven Verdoolaege
genfun
.
cc: add short_rat c
o
py constr
u
ctor
commit
|
commitdiff
|
tree
2007-02-02
Sven
Verdoolaege
dpol
y
_
r: micro-optimizations
commit
|
commitdiff
|
tree
2007-02-02
Sven
V
erdoolaege
dpoly: mark
some more arguments/methods const
commit
|
commitdiff
|
tree
2007-02-02
Sven Verdoolaege
shor
t
_rat::add: mark shor
t
_rat argument
co
n
st
commit
|
commitdiff
|
tree
2007-02-02
Sven Ve
r
d
ool
a
ege
NTL
_
QQ
:
attempt to s
p
eed-up
+
= op
e
rato
r
commit
|
commitdiff
|
tree
2007-02-02
Sven Verdool
a
ege
dpoly: add
s
ome documentation
commit
|
commitdiff
|
tree
2007-02-02
S
v
en Verdoolaege
d
p
oly: add some more operations
commit
|
commitdiff
|
tree
2007-02-02
Sven Ve
r
dool
a
ege
barvi
n
o
k/genfun
.
h:
fix commen
t
commit
|
commitdiff
|
tree
2007-02-02
Sv
e
n V
e
rdoolaege
add
.
g
itignore
commit
|
commitdiff
|
tree
2007-02-02
S
v
en Ve
r
d
o
olaege
QQ: add
oper
a
t
o
r
f
or mul
t
iplicat
i
on by a scalar (ZZ)
commit
|
commitdiff
|
tree
2007-01-18
Sven
V
erdoolaege
Mak
e
file
.
a
m
:
c
h
e
ck-series:
c
heck --primal a
s
well
commit
|
commitdiff
|
tree
2007-01-16
Sve
n
Verdoola
e
ge
M
a
k
efile
.
am: instal
l
(some) binaries
commit
|
commitdiff
|
tree
2007-01-15
Sven Verdoolaege
undefine CS fo
r
Solaris 10
commit
|
commitdiff
|
tree
2007-01-14
Sven Verdoolaege
b
a
rvinok
_
enu
m
erate: ha
n
dle line
s
in input
polyhedra
.
.
.
commit
|
commitdiff
|
tree
2007-01-10
Sven Ve
r
doolaeg
e
u
til
.
c:
move left_
i
n
verse f
r
om lexmin
.
c
c
commit
|
commitdiff
|
tree
2007-01-05
Sven Verdoolaeg
e
g
e
n_fun::c
o
eff
i
cient:
m
ove
p
r
i
nting
to sho
r
t_rat
commit
|
commitdiff
|
tree
2007-01-05
S
v
e
n
V
erdo
o
l
aege
gen_fun::coefficien
t
: ne
w
version returning ZZ
commit
|
commitdiff
|
tree
2007-01-05
Sven Verdoolaege
genfun
.
c
c
: mo
v
e coeffici
e
nt com
p
utati
o
n to
s
ho
r
t_r
a
t
commit
|
commitdiff
|
tree
2007-01-05
Sve
n
Ve
r
doolaeg
e
p
a
rtial_r
e
ducer: restart
c
omputa
t
i
on if ra
n
d
o
m vector
.
.
.
commit
|
commitdiff
|
tree
2007-01-05
Sven Verdoolaege
g
e
n_fun: expose cle
a
r_terms, a method for clearing
.
.
.
commit
|
commitdiff
|
tree
2007-01-05
S
v
e
n Verdoo
l
ae
g
e
gen
_
fun
:
:Had
a
mard_pr
o
duct: prop
a
gate full options
to
.
.
.
commit
|
commitdiff
|
tree
2007-01-05
Sven Verd
o
olaege
barvinok_enumerate: integ
r
ate verif_ehrha
r
t
commit
|
commitdiff
|
tree
2007-01-05
Sven Verdoolaege
barv
i
n
o
k_e
n
ume
r
ate
:
i
n
tegrate barvinok_series
commit
|
commitdiff
|
tree
2007-01-05
S
ve
n
Verdoo
l
aege
barvinok_en
u
m
e
rate: use
a
rgp
commit
|
commitdiff
|
tree
2007-01-05
Sven Verdoolaege
l
e
x
min: m
a
k
e
lexmin op
t
ions private
commit
|
commitdiff
|
tree
2007-01-05
Sven
Verdoolaege
R
eve
r
t "b
e
rnstein/con
f
igure
.
in
:
remove redunda
n
t change
.
.
.
commit
|
commitdiff
|
tree
2007-01-05
Sven
V
e
rdoolaege
barvin
o
k
.
c
c
: mak
e
use of sampling for counting infin
i
te
.
.
.
commit
|
commitdiff
|
tree
2007-01-05
Sven Ver
d
oolaege
barvinok
_
enumerate_e: re
s
pect
--table o
p
tion
commit
|
commitdiff
|
tree
2007-01-05
Sven Verdoolae
g
e
lexmin
.
c
c: move selection
of gbr solver to
op
t
i
o
ns
.
c
commit
|
commitdiff
|
tree
2007-01-05
Sven Verdool
a
ege
lexmin: use argp
commit
|
commitdiff
|
tree
2007-01-04
Sven V
e
rdool
a
ege
barvin
o
k_enu
m
era
t
e_e: extract ou
t
verif
i
ca
t
ion
o
ption
s
commit
|
commitdiff
|
tree
2007-01-04
Sven V
e
rdoolaeg
e
barvinok_enume
r
ate_e:
p
rint warni
n
g when --ome
g
a or
.
.
.
commit
|
commitdiff
|
tree
2007-01-04
Sven Verdo
o
laege
barvinok/polyl
i
b
.
h: define value_subtr
a
ct a
n
d
v
alue_addm
u
l
.
.
.
commit
|
commitdiff
|
tree
2007-01-04
S
ven Verdoolae
g
e
decompos
e
r
.
cc: decompose: micro-optimization
commit
|
commitdiff
|
tree
2007-01-04
Sv
e
n
V
e
rdoolaege
sig
n
ed
_
cone: st
o
re rays of cone
commit
|
commitdiff
|
tree
2007-01-04
Ha
r
ald De
v
os
omega/parser
.
y:
remove brackets around
type in new
commit
|
commitdiff
|
tree
2007-01-03
Sven V
e
r
doola
e
g
e
lexmi
n
:
disable use
o
f lo
o
kup-ta
b
les
commit
|
commitdiff
|
tree
2007-01-03
Sven
Verdool
a
ege
b
arvinok_
e
numerate_e
.
cc: fix arg
p
options parser
commit
|
commitdiff
|
tree
2007-01-03
S
v
en Verdoolaege
options
.
c: mo
v
e choice of use of loo
k
up-ta
b
l
e
to b
a
rvinok
_
op
.
.
.
commit
|
commitdiff
|
tree
2007-01-03
Sven Verdoolaege
lattice_point
.
cc: fix #ifndef USE_MODULO code path
commit
|
commitdiff
|
tree
2007-01-03
Sven Verdoolaege
d
ecomposer
.
cc
:
s
h
ort_vector: remove redu
n
dant cod
e
commit
|
commitdiff
|
tree
2007-01-03
Sven Verd
o
olae
g
e
decompo
s
e
r
.
c
c
:
s
hort_vector: ne
g
ate lambda i
f
z is
.
.
.
commit
|
commitdiff
|
tree
2007-01-03
Sv
e
n
Verdoolaege
barvinok
.
c
c
:
se
r
ies: only re
q
uire rays to be rev
l
ex
.
.
.
commit
|
commitdiff
|
tree
2007-01-03
Sven Verd
o
olaege
ba
r
vinok
.
c
c
: series
:
pass full option
s
to barvin
o
k_count
commit
|
commitdiff
|
tree
2007-01-03
Sv
e
n Verdoolaege
np_base:
:
handle:
p
ass
a
r
o
u
n
d rays matrix instea
d
of
.
.
.
commit
|
commitdiff
|
tree
2007-01-03
S
ven Verdool
a
ege
deco
m
p
o
ser
.
cc:
s
uppor
t
p
r
imal deco
m
position
commit
|
commitdiff
|
tree
2007-01-03
S
ven Verdo
o
l
aege
decomposer
.
cc: ba
r
v
i
nok_decompose: implement in terms
.
.
.
commit
|
commitdiff
|
tree
2007-01-03
Sven Verdoola
e
ge
barvinok_
e
n
u
merate:
r
esp
e
ct inc
r
e
mental_spec
i
a
lization
.
.
.
commit
|
commitdiff
|
tree
2007-01-03
Sv
e
n
Verdool
a
e
g
e
introduce sig
n
ed_c
o
ne struct
commit
|
commitdiff
|
tree
2007-01-03
Sven Ve
r
doolaeg
e
s
e
parate out decomposit
i
o
n
commit
|
commitdiff
|
tree
2007-01-03
Sven Verd
o
olaege
test: use argp parse
r
commit
|
commitdiff
|
tree
2006-12-28
Sve
n
Verdoolaege
up
d
ate argp from gnulib and a
d
d
p
ro
g
na
m
e module
commit
|
commitdiff
|
tree
2006-12-27
Sven Verd
o
olaeg
e
ba
r
vinok_enume
r
ate_
e
.
cc: don't exit o
n
unrecognized
.
.
.
commit
|
commitdiff
|
tree
2006-12-27
Sven V
e
rdoolae
g
e
lib/argp
.
h: remov
e
__NTH for __ar
g
p_usage inline f
u
nction
commit
|
commitdiff
|
tree
2006-12-27
Sv
e
n Verdoo
l
aege
barvinok_
e
nume
r
ate_e
.
cc: remove another
dupl
i
c
a
te definition
.
.
.
commit
|
commitdiff
|
tree
2006-12-27
Sven
V
erdoolaege
barvinok_
e
numerate_e: u
s
e argp parser
commit
|
commitdiff
|
tree
2006-12-27
S
ven
Ver
d
oolaege
barvinok_c
o
unt: use argp p
a
rser
commit
|
commitdiff
|
tree
2006-12-26
Sve
n
V
e
rdoolaege
options
.
c: ad
d
argp parse
commit
|
commitdiff
|
tree
next