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
doc: integer points in the fundamental parallelepiped of simple cone
2007-02-16
Sven Verdoolaege
do
c
: integer
points in
the f
u
nda
m
enta
l
p
arallelepipe
d
.
.
.
commit
|
commitdiff
|
tree
2007-02-14
Sven Verdoolaege
v
erif_
e
hrhart
.
c:
c
lean up indenta
t
io
n
commit
|
commitdiff
|
tree
2007-02-14
Sven Verdo
o
laege
verif_ehrhart: optiona
l
ly
continue on e
r
ror
commit
|
commitdiff
|
tree
2007-02-14
Sv
e
n V
e
rdoolae
g
e
verif_ehrh
a
rt:
c
ombine check_p
o
ly f
r
om barvino
k
_enumerate_e
.
cc
commit
|
commitdiff
|
tree
2007-02-14
Sven Verdoolaege
v
erif_ehrhart
.
c:
c
heck lowe
r
and
u
p
per
polynomial appr
o
x
i
mations
commit
|
commitdiff
|
tree
2007-02-14
Sven
V
erdoolaege
verify
.
h: move
barvinok_optio
n
s into ver
i
fy_optio
n
s
commit
|
commitdiff
|
tree
2007-02-14
Sve
n
Verdool
a
ege
ba
r
v
i
no
k
_e
n
umerat
e
: pass paramete
r
names
to ch
e
ck_
p
oly
commit
|
commitdiff
|
tree
2007-02-14
S
ven Verdool
a
ege
barvin
o
k_
e
numerate: more
p
ol
y
nommial ap
p
roximations
commit
|
commitdiff
|
tree
2007-02-14
Sven Verdoolaege
evalue
.
c: add
e
va
l
ue_frac2polynomial
commit
|
commitdiff
|
tree
2007-02-14
Sven Verdoo
l
a
e
g
e
evalue
.
c:
extract evalue_split_domains_into_o
r
t
hants
.
.
.
commit
|
commitdiff
|
tree
2007-02-12
Sven Verdoo
l
aege
polysign
.
c: fix
cdd_polyhedro
n
_af
f
ine_sign pro
t
otype
commit
|
commitdiff
|
tree
2007-02-12
Sv
e
n Ver
d
oolaeg
e
Makefile: only c
h
eck lexmin if it ha
s
been
c
omp
i
led
commit
|
commitdiff
|
tree
2007-02-12
Sven Verdoolaege
add Param
_
Polyhedr
o
n_Scale_Integ
e
r prototyp
e
commit
|
commitdiff
|
tree
2007-02-12
Sven Verdoolaege
lattice_point
.
c
c: add sanit
y
check for
i
nd
e
x of con
e
commit
|
commitdiff
|
tree
2007-02-12
Sv
e
n V
e
rdo
o
lae
g
e
test:
initialize nbMat
commit
|
commitdiff
|
tree
2007-02-12
Sv
e
n
Verdoolaege
barvinok_enumerate: opti
o
n
ally compute a polynomial
.
.
.
commit
|
commitdiff
|
tree
2007-02-12
Sv
e
n Verdoola
e
ge
Provide replacement for new
Poly
L
ib func
t
ion Param_P
o
lyhedro
.
.
.
commit
|
commitdiff
|
tree
2007-02-12
Sv
e
n Verdoolaege
a
dd evalue_
d
iv (adapted from Po
l
yLib)
commit
|
commitdiff
|
tree
2007-02-12
Sven
V
er
d
oo
l
aege
t
e
st
:
simple t
e
st
f
o
r PolyLib's
S
m
i
th
commit
|
commitdiff
|
tree
2007-02-12
Sven Ve
r
d
o
olaege
Makefile
.
am: add
d
ependencies for checks
commit
|
commitdiff
|
tree
2007-02-11
Sven Ver
d
oolaege
ge
n
f
un
.
cc: short_rat::no
r
ma
l
i
z
e: micro-optimiza
t
i
o
n
s
commit
|
commitdiff
|
tree
2007-02-11
Sve
n
Verdoolaeg
e
Q
Q
: cano
n
icalize o
n
read and m
u
lti
p
l
i
cation
commit
|
commitdiff
|
tree
2007-02-09
Sven Verd
o
ol
a
e
ge
doc:
barvinok_series r
e
q
uires polyhedron to have *rev
.
.
.
commit
|
commitdiff
|
tree
2007-02-09
Sve
n
Verdoolaege
Make
f
i
l
e
.
am: check barvi
n
ok_enumerate --seri
e
s duri
n
g
.
.
.
commit
|
commitdiff
|
tree
2007-02-09
Sven Verdoolaege
test
all sp
e
cializ
a
tion al
g
orithms during m
a
ke
check
commit
|
commitdiff
|
tree
2007-02-09
Sven Verdoolaege
p
as
s
options t
h
rough
t
o
barvinok_count in ba
r
vinok_enume
r
ate
.
.
.
commit
|
commitdiff
|
tree
2007-02-08
Sven
V
erdoo
l
aeg
e
Handle non-unimo
d
u
lar cones
i
n dual decom
p
osition
commit
|
commitdiff
|
tree
2007-02-08
Sven Verdo
o
laege
barvinok
_
stat
s
:
r
ename u
n
imodular_cones to base_c
o
nes
commit
|
commitdiff
|
tree
2007-02-08
Sven Verdoolaege
reduce
r
.
cc: extra sanity che
c
ks
commit
|
commitdiff
|
tree
2007-02-08
S
ve
n
Verdoolae
g
e
H
a
ndle non-unimodular cones w
i
th a specified
ma
x
ima
l
.
.
.
commit
|
commitdiff
|
tree
2007-02-07
Sv
e
n Verdoola
e
g
e
d
ecomposer
.
c
c: dec
o
mpose: mino
r
clean
-
u
p
commit
|
commitdiff
|
tree
2007-02-06
Sven Ve
r
do
o
laege
barvinok_options: inclu
d
e p
o
in
t
er to
barvinok_stats
.
.
.
commit
|
commitdiff
|
tree
2007-02-06
S
v
en Verdo
o
laege
add barvinok_option
s
_free
commit
|
commitdiff
|
tree
2007-02-06
Sven Verdoolae
g
e
barvinok
_
enumerate: collect st
a
ts on number o
f
unimodula
r
.
.
.
commit
|
commitdiff
|
tree
2007-02-06
S
ven Verdoola
e
ge
decomposer
.
cc: pol
a
r_decompose: remove common divisor
.
.
.
commit
|
commitdiff
|
tree
2007-02-06
Sven
V
erdool
a
ege
partial_reduce
r
: spe
c
i
aliz
e
list v
e
rsion of b
a
se
commit
|
commitdiff
|
tree
2007-02-05
Sven Verd
o
olaege
re
d
u
cer::redu
c
e: better handling of terms with commo
n
.
.
.
commit
|
commitdiff
|
tree
2007-02-05
Sven Verdoo
l
aeg
e
reducer:
:
reduce: combine numerato
r
s with eq
u
al unreduc
e
d
.
.
.
commit
|
commitdiff
|
tree
2007-02-03
Sven Ver
d
oolaege
QQ: add operato
r
for
multipl
i
c
ation of vector
b
y a
.
.
.
commit
|
commitdiff
|
tree
2007-02-02
Sven Verdoolaege
r
e
ducer
:
:reduce: t
a
ke
a list of numerators as input
commit
|
commitdiff
|
tree
2007-02-02
Sven Verdoola
e
ge
gen_f
u
n::
r
ead: read
g
e
n_fun
f
rom file descriptor
commit
|
commitdiff
|
tree
2007-02-02
S
ven Verdoolaege
add
gen_
f
un::add(sho
r
t
_
rat *r
)
commit
|
commitdiff
|
tree
2007-02-02
Sven V
e
r
d
oola
e
g
e
NTL_QQ
.
cc: support readi
n
g from stream
commit
|
commitdiff
|
tree
2007-02-02
Sven Verdool
a
e
g
e
g
en
_
fun
:
add ope
r
ator f
o
r printing
to
s
trea
m
commit
|
commitdiff
|
tree
2007-02-02
S
v
en Ver
d
oo
l
aege
genfun
.
cc:
a
dd short_rat co
p
y constr
u
ctor
commit
|
commitdiff
|
tree
2007-02-02
Sven Verdo
o
laege
dpol
y
_
r: micro
-
optimizations
commit
|
commitdiff
|
tree
2007-02-02
Sven V
e
rdoolaeg
e
dpoly: mark some mor
e
ar
g
uments/methods const
commit
|
commitdiff
|
tree
2007-02-02
S
v
e
n Verdoolaege
s
h
o
r
t_ra
t
::add:
mark short_rat argument const
commit
|
commitdiff
|
tree
2007-02-02
S
v
en Verdoolaege
NTL_QQ: attempt to speed
-
up +=
o
perato
r
commit
|
commitdiff
|
tree
2007-02-02
Sve
n
V
erdoola
e
ge
dpoly:
add some documenta
t
ion
commit
|
commitdiff
|
tree
2007-02-02
Sven V
e
r
d
oolaege
dpoly: ad
d
s
ome mor
e
operations
commit
|
commitdiff
|
tree
2007-02-02
S
ven Verdoolaeg
e
barvinok/genfun
.
h: fi
x
comm
e
nt
commit
|
commitdiff
|
tree
2007-02-02
Sven
V
e
r
d
oolaege
add
.
gitignore
commit
|
commitdiff
|
tree
2007-02-02
Sv
e
n Verdoo
l
aege
QQ: add operator
f
or
m
ul
t
ipl
i
catio
n
by
a sca
l
a
r (ZZ)
commit
|
commitdiff
|
tree
2007-01-18
Sven
V
er
d
ool
a
ege
Mak
e
f
ile
.
am: check-series: ch
e
c
k --primal
as
w
ell
commit
|
commitdiff
|
tree
2007-01-16
Sven Verdo
o
laege
Mak
e
file
.
am: install (some) b
i
naries
commit
|
commitdiff
|
tree
2007-01-15
S
ven Verdoolae
g
e
und
e
fine
C
S
f
or
S
o
laris
10
commit
|
commitdiff
|
tree
2007-01-14
Sven Verdoolaege
barvinok
_
enumer
a
te:
h
a
n
dle lines
i
n
inpu
t
pol
y
h
edra
.
.
.
commit
|
commitdiff
|
tree
2007-01-10
S
v
en Verdoolaege
util
.
c: move
l
eft_inverse from lexmin
.
c
c
commit
|
commitdiff
|
tree
2007-01-05
Sven Verdoola
e
ge
ge
n
_fu
n
::c
o
e
f
ficient:
mo
v
e pri
n
ti
n
g to short_
r
at
commit
|
commitdiff
|
tree
2007-01-05
S
ven Ve
r
doolaeg
e
g
en_fun::coe
f
ficient: new vers
i
on returning
ZZ
commit
|
commitdiff
|
tree
2007-01-05
Sven Verdool
a
e
g
e
genfun
.
cc: move coef
f
i
cient
c
o
m
pu
t
ation to short
_
rat
commit
|
commitdiff
|
tree
2007-01-05
Sven Verdoolaege
parti
a
l_reducer:
r
est
a
rt
computation if ra
n
dom vector
.
.
.
commit
|
commitdiff
|
tree
2007-01-05
Sven V
e
r
d
o
olaege
gen_
f
u
n
: expose clear_terms, a method for
cl
e
aring
.
.
.
commit
|
commitdiff
|
tree
2007-01-05
Sven Verdoolaege
g
en_fun::Hadamard_p
r
oduct: propagate full options t
o
.
.
.
commit
|
commitdiff
|
tree
2007-01-05
S
v
e
n
Verdool
a
ege
barvin
o
k_enumerat
e
: inte
g
rate ver
i
f_eh
r
hart
commit
|
commitdiff
|
tree
2007-01-05
Sven Ve
r
doo
l
aege
b
a
rvinok_en
u
merate: integr
a
t
e barvin
o
k_se
r
i
es
commit
|
commitdiff
|
tree
2007-01-05
S
v
e
n Verd
o
olaege
barv
i
nok
_
enum
e
rate: use argp
commit
|
commitdiff
|
tree
2007-01-05
Sven Verd
o
ola
e
ge
lex
m
in: make lexmin
o
p
tions private
commit
|
commitdiff
|
tree
2007-01-05
Sven
V
er
d
ool
a
ege
Re
v
er
t
"
bernstein/configure
.
in:
remove redund
a
n
t change
.
.
.
commit
|
commitdiff
|
tree
2007-01-05
Sven Verdo
o
laege
b
arvinok
.
cc:
m
ake use of sampling for cou
n
ting inf
i
nite
.
.
.
commit
|
commitdiff
|
tree
2007-01-05
Sve
n
V
e
rdoolaege
barvinok_enumerate_
e
: resp
e
c
t --table o
p
tion
commit
|
commitdiff
|
tree
2007-01-05
Sve
n
Verdoolaege
lexmin
.
cc:
move select
i
o
n of gbr solver to options
.
c
commit
|
commitdiff
|
tree
2007-01-05
Sven Verdool
a
ege
lexmin: use argp
commit
|
commitdiff
|
tree
2007-01-04
Sven Verdoolaege
b
a
rv
i
nok_enumerate_e:
e
xtract out ve
r
ificatio
n
opti
o
ns
commit
|
commitdiff
|
tree
2007-01-04
Sve
n
V
erdoo
l
ae
g
e
barvin
o
k_enumerate_e:
p
r
i
n
t
wa
r
ning
w
hen
--omega or
.
.
.
commit
|
commitdiff
|
tree
2007-01-04
Sven V
e
rdoolaege
barv
i
nok/p
o
l
y
l
i
b
.
h: de
f
ine value_subtract and value_addmul
.
.
.
commit
|
commitdiff
|
tree
2007-01-04
Sven Verdoolaege
decomposer
.
cc: decompose: m
i
cro-o
p
timizat
i
on
commit
|
commitdiff
|
tree
2007-01-04
Sven Ve
r
doola
e
ge
signed_co
n
e: st
o
re ray
s
o
f cone
commit
|
commitdiff
|
tree
2007-01-03
Sven Ve
r
d
o
ol
a
ege
l
e
xmin: dis
a
ble
u
se of lookup-tables
commit
|
commitdiff
|
tree
2007-01-03
Sven Verdoolaeg
e
barvinok_e
n
um
e
rate_e
.
cc: fix arg
p
optio
n
s
parser
commit
|
commitdiff
|
tree
2007-01-03
Sven Ve
r
doolaege
option
s
.
c
:
move choic
e
of use of lookup-t
a
ble to barvinok_op
.
.
.
commit
|
commitdiff
|
tree
2007-01-03
Sven
Verdool
a
eg
e
la
t
tic
e
_point
.
cc: fix #ifndef
U
S
E_MODULO code path
commit
|
commitdiff
|
tree
2007-01-03
Sven
V
erd
o
olaege
dec
o
mposer
.
cc: shor
t
_vector
:
re
m
o
ve re
d
undan
t
code
commit
|
commitdiff
|
tree
2007-01-03
S
ven Ver
d
oolaege
dec
o
mposer
.
cc: shor
t
_vector: negate lambda if z is
.
.
.
commit
|
commitdiff
|
tree
2007-01-03
Sv
e
n Verdool
a
ege
barvi
n
ok
.
cc: seri
e
s: on
l
y requ
i
re rays
t
o
be
revlex
.
.
.
commit
|
commitdiff
|
tree
2007-01-03
S
ve
n
Verd
o
olaege
barvinok
.
c
c
: series:
p
a
s
s full options to barvinok_co
u
nt
commit
|
commitdiff
|
tree
2007-01-03
Sven Verdoolae
g
e
np_base::handle
:
pass around ray
s
matrix in
s
tead
of
.
.
.
commit
|
commitdiff
|
tree
2007-01-03
Sven Verdoolaege
dec
o
m
p
o
s
er
.
cc:
s
upport p
r
imal decom
p
osi
t
io
n
commit
|
commitdiff
|
tree
2007-01-03
Sven Verdoolaeg
e
decompo
s
e
r
.
cc:
b
arvino
k
_
d
ecompose: impleme
n
t
in terms
.
.
.
commit
|
commitdiff
|
tree
2007-01-03
Sven Verdoo
l
ae
g
e
barvinok_en
u
merate: respect incre
m
ental_s
p
ecialization
.
.
.
commit
|
commitdiff
|
tree
2007-01-03
Sven
V
erdo
o
l
a
ege
introduce signed_cone
str
u
ct
commit
|
commitdiff
|
tree
2007-01-03
Sven Verdoo
l
aege
separate out decompositio
n
commit
|
commitdiff
|
tree
2007-01-03
Sve
n
V
erdoolae
g
e
test: use argp parser
commit
|
commitdiff
|
tree
2006-12-28
Sven Verd
o
olaege
update argp
f
rom g
n
u
li
b
and a
d
d prognam
e
m
o
dule
commit
|
commitdiff
|
tree
2006-12-27
S
v
en V
e
rdo
o
l
aege
b
a
rvinok
_
enu
m
erate_e
.
cc:
don't exit
on unre
c
o
g
n
ized
.
.
.
commit
|
commitdiff
|
tree
2006-12-27
Sven Verdo
o
laege
lib/argp
.
h: remove _
_
NTH for __argp_usage inlin
e
function
commit
|
commitdiff
|
tree
2006-12-27
S
ve
n
Verdoolaege
barvinok_enumer
a
t
e_e
.
cc:
remove ano
t
her
d
u
p
licate
definition
.
.
.
commit
|
commitdiff
|
tree
2006-12-27
S
ven
V
erdoolaege
barvinok_enu
m
erate_e:
u
s
e argp parse
r
commit
|
commitdiff
|
tree
2006-12-27
Sven Ve
r
d
o
olaeg
e
barvi
n
o
k
_
c
o
u
nt: use argp pa
r
s
er
commit
|
commitdiff
|
tree
next