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.c: extract evalue_split_domains_into_orthants from barvinok.cc
2007-02-14
Sven Ver
d
o
o
la
e
ge
evalue
.
c: extrac
t
evalue_s
p
lit_d
o
m
ains_i
n
t
o
_o
r
thants
.
.
.
commit
|
commitdiff
|
tree
2007-02-12
S
ven Verdo
o
l
a
ege
pol
y
sig
n
.
c: fix
cdd_polyhedron_affin
e
_sign
p
rototype
commit
|
commitdiff
|
tree
2007-02-12
Sve
n
Verdool
a
ege
Make
f
i
le
:
only check lexmin if it has been compiled
commit
|
commitdiff
|
tree
2007-02-12
Sven
Verdoolaege
add
Param_Polyhedr
o
n_Scale_Int
e
ger prot
o
t
yp
e
commit
|
commitdiff
|
tree
2007-02-12
Sven
V
erdoolaege
lattice_
p
o
i
nt
.
c
c
: a
d
d sanity check f
o
r
i
n
dex of co
n
e
commit
|
commitdiff
|
tree
2007-02-12
Sven Ve
r
doolaege
test:
initialize n
b
M
a
t
commit
|
commitdiff
|
tree
2007-02-12
Sven Verdoo
l
aege
barvinok
_
enumerate: o
p
tionally compute a poly
n
omi
a
l
.
.
.
commit
|
commitdiff
|
tree
2007-02-12
Sven Verdool
a
ege
P
ro
v
i
d
e
replacement for new
PolyLib functio
n
Param_Polyhedro
.
.
.
commit
|
commitdiff
|
tree
2007-02-12
Sven Verdoolaege
add evalue_d
i
v (a
d
apted from PolyLib)
commit
|
commitdiff
|
tree
2007-02-12
Sven V
e
r
doo
l
aege
test: simpl
e
test for PolyLi
b
's Smith
commit
|
commitdiff
|
tree
2007-02-12
Sven Verdool
a
eg
e
Makefile
.
a
m: add dep
e
nd
e
ncies for
c
h
ecks
commit
|
commitdiff
|
tree
2007-02-11
S
ven
Verdoo
l
a
e
g
e
ge
n
fun
.
cc: short_rat::normal
i
ze: mi
c
ro-optimizations
commit
|
commitdiff
|
tree
2007-02-11
S
ven Verdoolaeg
e
QQ:
c
anonicalize o
n
read and multip
l
i
c
a
t
ion
commit
|
commitdiff
|
tree
2007-02-09
Sven Verdoolaege
doc: barvinok_series
requi
r
es
p
olyhed
r
on to have *rev
.
.
.
commit
|
commitdiff
|
tree
2007-02-09
Sven V
e
rdoolaege
M
ak
e
file
.
am: check b
a
r
v
inok_enumerate
-
-series during
.
.
.
commit
|
commitdiff
|
tree
2007-02-09
Sve
n
Verdo
o
la
e
ge
barvinok_enumerat
e
: compu
t
e s
e
ries of pol
y
he
d
ra with
.
.
.
commit
|
commitdiff
|
tree
2007-02-09
Sven Verdool
a
ege
u
t
il
.
c: move
P
olyhedron_has_positive_ray
s
from barvinok
.
cc
commit
|
commitdiff
|
tree
2007-02-09
Sven Ver
d
oolaege
test all
s
pec
i
alization
a
lgorithms during make ch
e
c
k
commit
|
commitdiff
|
tree
2007-02-09
Sven V
e
rdoolaeg
e
pass option
s
through
to bar
v
i
n
o
k_coun
t
in barv
i
no
k
_enumerate
.
.
.
commit
|
commitdiff
|
tree
2007-02-08
S
v
en Ve
r
d
o
o
laege
Handle n
o
n-un
i
m
o
dular cones in dua
l
de
c
ompositio
n
commit
|
commitdiff
|
tree
2007-02-08
S
ven V
e
rdoolaeg
e
ba
r
v
i
nok_stats: re
n
ame unimo
d
ular_cones t
o
b
a
se_con
e
s
commit
|
commitdiff
|
tree
2007-02-08
Sven
Verd
o
olaege
re
d
uce
r
.
c
c:
e
xtr
a
sanity checks
commit
|
commitdiff
|
tree
2007-02-08
Sven Verdoolae
g
e
H
a
ndle
n
on-unimodular
c
o
nes wit
h
a specifi
e
d maxima
l
.
.
.
commit
|
commitdiff
|
tree
2007-02-07
S
ven Ve
r
doolaege
deco
m
poser
.
cc:
d
ecom
p
os
e
: minor
c
lean-up
commit
|
commitdiff
|
tree
2007-02-06
Sven Verdo
o
laeg
e
barvinok_o
p
tion
s
:
i
n
clud
e
p
o
in
t
er to barvinok_stats
.
.
.
commit
|
commitdiff
|
tree
2007-02-06
Sven Verdo
o
laege
add barvinok_options_free
commit
|
commitdiff
|
tree
2007-02-06
Sven
V
erdoolaege
barvino
k
_enumer
a
te: collect
s
tats on number of uni
m
odular
.
.
.
commit
|
commitdiff
|
tree
2007-02-06
Sven Verdo
o
laege
decompo
s
e
r
.
cc: pola
r
_de
c
ompose: remove common diviso
r
.
.
.
commit
|
commitdiff
|
tree
2007-02-06
S
v
en Verdoolaege
pa
r
t
i
al_
r
educer: s
p
e
ciali
z
e list version of ba
s
e
commit
|
commitdiff
|
tree
2007-02-05
S
ven Verdoolaege
reduc
e
r::redu
c
e: bette
r
handli
n
g of terms with common
.
.
.
commit
|
commitdiff
|
tree
2007-02-05
Sven Verdoolaege
redu
c
er::reduce: combine num
e
r
a
t
ors
with equ
a
l un
r
educe
d
.
.
.
commit
|
commitdiff
|
tree
2007-02-03
Sven Verd
o
olaege
QQ:
add operator for multiplicat
i
on
o
f vector b
y
a
.
.
.
commit
|
commitdiff
|
tree
2007-02-02
Sv
e
n Verd
o
olaege
reducer::re
d
u
ce: take a l
i
st of numerat
o
r
s as inp
u
t
commit
|
commitdiff
|
tree
2007-02-02
Sven Verdoolaege
gen_fun
:
:read: read g
e
n_
f
un from file descriptor
commit
|
commitdiff
|
tree
2007-02-02
Sven Verdoo
l
ae
g
e
a
d
d gen_fun::add(short
_
rat *r)
commit
|
commitdiff
|
tree
2007-02-02
Sv
e
n Verdoolaege
NTL_QQ
.
c
c: suppo
r
t re
a
d
ing from stream
commit
|
commitdiff
|
tree
2007-02-02
Sven
V
er
d
ool
a
ege
ge
n
_fun: add ope
r
ator for printing to strea
m
commit
|
commitdiff
|
tree
2007-02-02
S
ven Verdo
o
l
a
eg
e
genfun
.
cc
:
ad
d
sho
r
t_
r
at copy constructor
commit
|
commitdiff
|
tree
2007-02-02
Sven
Ver
d
oolaege
dpol
y
_r: mic
r
o-optimi
z
ations
commit
|
commitdiff
|
tree
2007-02-02
Sven Verdoolaege
dpoly: mark so
m
e mor
e
arguments/methods const
commit
|
commitdiff
|
tree
2007-02-02
Sven Verdoo
l
a
e
ge
short_
r
at::add: mark short_rat argument const
commit
|
commitdiff
|
tree
2007-02-02
Sven
V
erdoolaege
N
TL_QQ: attempt to
s
pe
e
d
-
up += operator
commit
|
commitdiff
|
tree
2007-02-02
S
ven Ve
r
d
oolaege
d
poly:
a
dd some
d
ocumentation
commit
|
commitdiff
|
tree
2007-02-02
Sven V
e
rdoolaege
d
p
oly
:
add some mo
r
e operations
commit
|
commitdiff
|
tree
2007-02-02
Sve
n
Ve
r
dool
a
e
g
e
bar
v
inok
/
genfun
.
h: fix comment
commit
|
commitdiff
|
tree
2007-02-02
Sve
n
Verdo
o
laege
add
.
gitignore
commit
|
commitdiff
|
tree
2007-02-02
Sven Verd
o
o
laege
Q
Q
: add operator for
m
ultiplicati
o
n b
y
a scalar (Z
Z
)
commit
|
commitdiff
|
tree
2007-01-18
Sven
V
erdoo
l
a
e
ge
Make
f
ile
.
a
m:
c
heck-s
e
r
i
e
s: check
--primal as well
commit
|
commitdiff
|
tree
2007-01-16
Sve
n
Verd
o
olaeg
e
Makefil
e
.
am: install (so
m
e) binaries
commit
|
commitdiff
|
tree
2007-01-15
Sven V
e
rdoolae
g
e
undefine CS for
S
olar
i
s
10
commit
|
commitdiff
|
tree
2007-01-14
Sven Verdoolaege
bar
v
inok_enumerate: handle lines in input
p
olyhedra
.
.
.
commit
|
commitdiff
|
tree
2007-01-10
Sven Verdoolaege
util
.
c: move left_inve
r
s
e
from lexmin
.
cc
commit
|
commitdiff
|
tree
2007-01-05
S
v
e
n Verdoola
e
ge
gen_fun::coefficien
t
: move printing to short_rat
commit
|
commitdiff
|
tree
2007-01-05
Sven Verdoolaege
gen
_
fun::coefficient: n
e
w version returning
Z
Z
commit
|
commitdiff
|
tree
2007-01-05
Sven
V
erd
o
olaege
genfun
.
cc
:
move coeffi
c
ien
t
computation to shor
t
_
rat
commit
|
commitdiff
|
tree
2007-01-05
Sven V
e
rdoolaege
parti
a
l_reduce
r
: restart
co
m
p
utat
i
on
if rand
o
m
ve
c
tor
.
.
.
commit
|
commitdiff
|
tree
2007-01-05
S
v
en
Verdo
o
laege
g
e
n_fu
n
: expose cle
a
r_
t
erms, a method
f
or clearing
.
.
.
commit
|
commitdiff
|
tree
2007-01-05
Sven Verd
o
olaege
gen_fun::Hadamard_pr
o
duct
:
propagate full optio
n
s to
.
.
.
commit
|
commitdiff
|
tree
2007-01-05
Sven
V
e
rdoolaege
ba
r
vino
k
_enumerat
e
: integrat
e
veri
f
_
ehrha
r
t
commit
|
commitdiff
|
tree
2007-01-05
Sven
Verdoolaege
ba
r
vinok_e
n
u
merat
e
: integra
t
e barvinok_se
r
ies
commit
|
commitdiff
|
tree
2007-01-05
Sven
V
er
d
oola
e
ge
b
a
rvinok_
e
numerate: use
a
rgp
commit
|
commitdiff
|
tree
2007-01-05
Sv
e
n Ver
d
o
olaege
lexm
i
n: make lexmin options private
commit
|
commitdiff
|
tree
2007-01-05
Sven Ver
d
oolaege
Reve
r
t
"
bernste
i
n/configure
.
i
n: rem
o
ve r
e
dunda
n
t change
.
.
.
commit
|
commitdiff
|
tree
2007-01-05
S
v
en
V
erdoolaege
barvin
o
k
.
cc:
make use of
sampl
i
ng for counti
n
g i
n
finite
.
.
.
commit
|
commitdiff
|
tree
2007-01-05
Sven Verdoola
e
ge
barvinok_enumerat
e
_
e:
res
p
ect
-
-
table opt
i
on
commit
|
commitdiff
|
tree
2007-01-05
Sven Verdoolaege
lexmin
.
cc: m
o
ve s
e
lection of gbr sol
v
er to options
.
c
commit
|
commitdiff
|
tree
2007-01-05
Sven Verdoolae
g
e
lexmi
n
:
use argp
commit
|
commitdiff
|
tree
2007-01-04
S
v
e
n Verdoolae
g
e
barv
i
nok_
e
numerate_
e
: extract out verificat
i
on option
s
commit
|
commitdiff
|
tree
2007-01-04
Sven Ver
d
o
ol
a
ege
barvinok_enum
e
ra
t
e_
e
: print warning when -
-
omeg
a
or
.
.
.
commit
|
commitdiff
|
tree
2007-01-04
Sve
n
Verdoolaege
ber
n
ste
i
n
/configu
r
e
.
in: remove red
u
nd
a
nt change
t
o
.
.
.
commit
|
commitdiff
|
tree
2007-01-04
Sv
e
n Verdoolaege
barvinok/polylib
.
h:
define va
l
ue_subtract and value_addmul
.
.
.
commit
|
commitdiff
|
tree
2007-01-04
Sve
n
Verdoolaege
decomposer
.
cc: deco
m
pose
:
micro-optimizatio
n
commit
|
commitdiff
|
tree
2007-01-04
Sven Verdoolaege
signed_con
e
:
store rays of cone
commit
|
commitdiff
|
tree
2007-01-03
Sven Verdoola
e
ge
lexmin: di
s
a
ble u
s
e of lo
o
ku
p
-tables
commit
|
commitdiff
|
tree
2007-01-03
Sven Verdoolaege
bar
v
inok_enumerate_e
.
cc: fix a
r
g
p options
parser
commit
|
commitdiff
|
tree
2007-01-03
Sven Verdoo
l
aege
op
t
i
ons
.
c: mov
e
c
h
o
i
c
e
o
f
us
e
of
loo
k
u
p-table
to
b
a
rvinok_op
.
.
.
commit
|
commitdiff
|
tree
2007-01-03
Sven V
e
rdoo
l
a
e
g
e
lattice_point
.
cc: fix #ifn
d
e
f
USE_MODUL
O
c
o
d
e path
commit
|
commitdiff
|
tree
2007-01-03
Sven Verdoolaege
decomposer
.
cc: short_vector: re
m
ove redundan
t
c
ode
commit
|
commitdiff
|
tree
2007-01-03
Sven Verdoolaege
dec
o
mp
o
s
er
.
c
c
: sho
r
t
_vector: negate l
a
m
bda i
f
z is
.
.
.
commit
|
commitdiff
|
tree
2007-01-03
S
v
en Verdoolaege
b
arvinok
.
cc:
s
e
ries:
only require rays to
b
e rev
l
ex
.
.
.
commit
|
commitdiff
|
tree
2007-01-03
Sve
n
Verdool
a
ege
bar
v
in
o
k
.
cc:
s
e
ri
e
s: pas
s
full options
t
o
barvinok_
c
ount
commit
|
commitdiff
|
tree
2007-01-03
Sven Verdoolaege
n
p_base::handl
e
:
pass around rays matr
i
x in
s
t
e
ad of
.
.
.
commit
|
commitdiff
|
tree
2007-01-03
Sv
e
n Ver
d
oolaege
decomposer
.
cc: s
u
p
p
ort
primal decom
p
o
si
t
ion
commit
|
commitdiff
|
tree
2007-01-03
Sv
e
n
Ver
d
oo
l
aege
decomposer
.
cc: b
a
rvinok
_
decompose: i
m
plement in te
r
ms
.
.
.
commit
|
commitdiff
|
tree
2007-01-03
Sven Ve
r
doolaeg
e
b
ar
v
inok_enum
e
r
a
te: respect
i
ncrem
e
ntal_specialization
.
.
.
commit
|
commitdiff
|
tree
2007-01-03
Sven Ve
r
doo
l
a
e
ge
introduce signed_cone str
u
c
t
commit
|
commitdiff
|
tree
2007-01-03
Sven
V
erdo
o
la
e
ge
s
ep
a
r
a
t
e ou
t
decomposition
commit
|
commitdiff
|
tree
2007-01-03
Sven Verdoolaeg
e
test: use
argp parser
commit
|
commitdiff
|
tree
2006-12-28
Sve
n
Verdoo
l
aege
upda
t
e
a
rgp from
gnulib an
d
add progname module
commit
|
commitdiff
|
tree
2006-12-27
Sven
V
e
rdoolaege
barvin
o
k
_enumerat
e
_e
.
cc: don't exit o
n
u
n
recogni
z
ed
.
.
.
commit
|
commitdiff
|
tree
2006-12-27
Sven Verdoolaege
lib/ar
g
p
.
h: remove __NTH
f
o
r __argp_usage
inl
i
ne function
commit
|
commitdiff
|
tree
2006-12-27
Sven Verdoolaege
barvino
k
_
enumerate_e
.
cc: re
m
ove a
n
other duplic
a
te d
e
f
inition
.
.
.
commit
|
commitdiff
|
tree
2006-12-27
Sv
e
n Verd
o
ol
a
e
g
e
bar
v
inok_en
u
merate_e: use argp parser
commit
|
commitdiff
|
tree
2006-12-27
Sven Verdool
a
ege
barvinok_
c
ount:
u
s
e argp p
a
rser
commit
|
commitdiff
|
tree
2006-12-26
Sven Verdoolaege
o
ptions
.
c: ad
d
argp
p
ars
e
commit
|
commitdiff
|
tree
2006-12-26
S
ven Verdoolae
g
e
add argp fro
m
gnulib
commit
|
commitdiff
|
tree
2006-12-26
Sven V
e
rdoo
l
a
e
g
e
scarf
.
cc: make com
p
atibl
e
wit
h
o
l
der versions of PolyLib
commit
|
commitdiff
|
tree
2006-12-26
S
v
en
V
erdool
a
e
ge
add missing ass
e
rt
.
h #incl
u
des
commit
|
commitdiff
|
tree
2006-12-26
Sven V
e
rdoolaege
M
ake
f
i
l
e
.
am: add
r
emove_eq
u
alities
.
h
to distribu
t
ion
commit
|
commitdiff
|
tree
2006-12-26
Sven V
e
rdoolaege
configure
.
i
n
: onl
y
configu
r
e
b
e
rnstein if GiNaC was
.
.
.
commit
|
commitdiff
|
tree
next