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
add Param_Polyhedron_Scale_Integer prototype
2007-02-12
S
v
en V
e
rdoolaeg
e
a
d
d
Param_
P
o
l
yh
e
d
r
o
n_Scale_Integer prototype
commit
|
commitdiff
|
tree
2007-02-12
Sven Verdoolaege
lattice_poi
n
t
.
cc:
a
dd sanity ch
e
ck for index of co
n
e
commit
|
commitdiff
|
tree
2007-02-12
Sven Ve
r
doolaege
test:
i
niti
a
lize nbMat
commit
|
commitdiff
|
tree
2007-02-12
Sve
n
Verdoolaege
bar
v
inok_en
u
merate:
o
pt
i
onally
compute
a
p
olynomial
.
.
.
commit
|
commitdiff
|
tree
2007-02-12
Sve
n
Verdoolaege
Provide replacement for n
e
w Poly
L
ib funct
i
on P
a
r
am_Polyhedro
.
.
.
commit
|
commitdiff
|
tree
2007-02-12
S
v
en
Verdoo
l
aeg
e
a
dd ev
a
l
ue_
d
iv (ad
a
pted fro
m
Poly
L
i
b
)
commit
|
commitdiff
|
tree
2007-02-12
Sven Verdo
o
laege
test
:
simple test for PolyLib's Smith
commit
|
commitdiff
|
tree
2007-02-12
S
v
en Verdoola
e
ge
Ma
k
efi
l
e
.
am:
a
dd
d
e
pend
e
ncie
s
for checks
commit
|
commitdiff
|
tree
2007-02-11
Sve
n
Ve
r
doola
e
ge
g
e
nfun
.
cc:
s
hort_
r
at::no
r
m
alize:
micr
o
-op
t
imizations
commit
|
commitdiff
|
tree
2007-02-11
Sven Verdoolaege
QQ: canonicalize on
r
ead and multi
p
licat
i
on
commit
|
commitdiff
|
tree
2007-02-09
Sv
e
n Ver
d
ool
a
ege
doc: bar
v
i
nok_series
r
equ
i
r
e
s
polyh
e
d
ron to h
a
ve
*
r
ev
.
.
.
commit
|
commitdiff
|
tree
2007-02-09
S
v
en V
e
r
doolae
g
e
Mak
e
file
.
am: c
h
eck barvinok_enumerate --series du
r
ing
.
.
.
commit
|
commitdiff
|
tree
2007-02-09
Sv
e
n Verdoolaege
b
a
rv
i
no
k
_enumera
t
e: compute series
o
f
polyhedra w
i
th
.
.
.
commit
|
commitdiff
|
tree
2007-02-09
S
v
en Verdo
o
la
e
ge
u
t
il
.
c: move P
o
lyhedron_has_pos
i
tive_
r
ays fr
o
m barvinok
.
cc
commit
|
commitdiff
|
tree
2007-02-09
Sve
n
Verdool
a
ege
te
s
t
a
ll
s
pecial
i
z
a
tion algor
i
t
hms during make check
commit
|
commitdiff
|
tree
2007-02-09
Sven Verdoolaege
p
a
s
s
options th
r
oug
h
to barvinok_count
i
n barvinok_enumerate
.
.
.
commit
|
commitdiff
|
tree
2007-02-08
Sven
Ver
d
o
o
l
aege
Handle non-unimodular cones in dual
decomposition
commit
|
commitdiff
|
tree
2007-02-08
Sven Verdool
a
ege
barvinok_st
a
ts: rena
m
e
u
nimo
d
ular_co
n
e
s to base_
c
ones
commit
|
commitdiff
|
tree
2007-02-08
Sven Verdoolaeg
e
reducer
.
cc: extra
s
anity
c
he
c
ks
commit
|
commitdiff
|
tree
2007-02-08
Sven Verdoolae
g
e
Handle
non
-
un
i
m
odu
l
ar
c
ones with a spe
c
ified maximal
.
.
.
commit
|
commitdiff
|
tree
2007-02-07
Sve
n
Verdoolaege
decomposer
.
cc:
d
ecompose
:
m
i
nor clean-up
commit
|
commitdiff
|
tree
2007-02-06
S
v
e
n Verdoolaege
barvinok
_
options: include
p
ointer t
o
barvin
o
k_s
t
a
ts
.
.
.
commit
|
commitdiff
|
tree
2007-02-06
S
ven Verdoola
e
g
e
add
b
a
r
vinok_option
s
_fr
e
e
commit
|
commitdiff
|
tree
2007-02-06
Sve
n
Verdoo
l
aege
barvi
n
ok
_
enum
e
rate: col
l
ect sta
t
s on n
u
mber of unimodu
l
ar
.
.
.
commit
|
commitdiff
|
tree
2007-02-06
Sv
e
n Verdoola
e
ge
decomposer
.
cc:
p
olar_decompose: remove common divisor
.
.
.
commit
|
commitdiff
|
tree
2007-02-06
Sven Verdoolaege
pa
r
tial_re
d
u
c
e
r
:
s
p
e
cia
l
ize list vers
i
on of bas
e
commit
|
commitdiff
|
tree
2007-02-05
Sv
e
n
Ve
r
doolaege
reducer
:
:reduce: better hand
l
ing of terms
with c
o
m
m
on
.
.
.
commit
|
commitdiff
|
tree
2007-02-05
Sven Verdo
o
l
a
ege
r
e
ducer
:
:reduce: com
b
i
ne numerators w
i
th equa
l
u
n
reduced
.
.
.
commit
|
commitdiff
|
tree
2007-02-03
S
ven
V
erdoolaege
Q
Q: ad
d
operato
r
fo
r
multiplication
o
f vector by a
.
.
.
commit
|
commitdiff
|
tree
2007-02-02
Sven Verdo
o
laege
redu
c
er::reduce: take a lis
t
o
f numerat
o
r
s as input
commit
|
commitdiff
|
tree
2007-02-02
Sven Verdo
o
laeg
e
gen_fun::read
:
read ge
n
_fun from f
i
le descriptor
commit
|
commitdiff
|
tree
2007-02-02
Sven Verdoolaege
add gen_fu
n
::add(sh
o
rt_rat *r)
commit
|
commitdiff
|
tree
2007-02-02
Sven Ve
r
dool
a
ege
NT
L
_QQ
.
c
c: suppor
t
reading fr
o
m
s
tream
commit
|
commitdiff
|
tree
2007-02-02
Sven
V
erd
o
o
l
aege
ge
n
_fun: add operator for printing to stream
commit
|
commitdiff
|
tree
2007-02-02
Sven V
e
r
doolaege
genfun
.
cc: add
short_rat copy constru
c
t
or
commit
|
commitdiff
|
tree
2007-02-02
Sven Verdoolaege
dpo
l
y_r: micro-optimization
s
commit
|
commitdiff
|
tree
2007-02-02
Sven Verdoo
l
a
e
ge
dpoly:
m
ark som
e
m
o
r
e
arguments/methods const
commit
|
commitdiff
|
tree
2007-02-02
Sven Verdoolaeg
e
short_r
a
t:
:
add: mark sh
o
r
t
_rat argument const
commit
|
commitdiff
|
tree
2007-02-02
Sven Verdoola
e
ge
NTL_
Q
Q
:
attempt
t
o speed-up += operato
r
commit
|
commitdiff
|
tree
2007-02-02
Sven Verdoo
l
aeg
e
d
poly: add some documen
t
atio
n
commit
|
commitdiff
|
tree
2007-02-02
Sven Verdo
o
laege
dpo
l
y: add some more operations
commit
|
commitdiff
|
tree
2007-02-02
Sven
V
erdoo
l
a
e
ge
b
arvin
o
k/genfun
.
h: fix
com
m
ent
commit
|
commitdiff
|
tree
2007-02-02
Sven Verdoolaege
add
.
gitignore
commit
|
commitdiff
|
tree
2007-02-02
Sven Verdoolaeg
e
QQ: add o
p
e
rator for
multipl
i
ca
t
ion
by a scalar (ZZ)
commit
|
commitdiff
|
tree
2007-01-18
Sven
V
erdoolaeg
e
M
a
kefile
.
a
m
: check
-
s
e
ries: che
c
k --primal
a
s w
e
ll
commit
|
commitdiff
|
tree
2007-01-16
S
v
en Verdo
o
l
aege
Make
f
ile
.
am: i
n
stall (some) binar
i
es
commit
|
commitdiff
|
tree
2007-01-15
S
v
en Verdoolaege
undef
i
ne CS for Solari
s
1
0
commit
|
commitdiff
|
tree
2007-01-14
Sven
V
erdool
a
ege
barvinok_enumerate
:
h
an
d
le lines
in i
n
pu
t
polyhedra
.
.
.
commit
|
commitdiff
|
tree
2007-01-10
Sven Verdo
o
laege
util
.
c: move l
e
ft_inv
e
rse from lexmin
.
cc
commit
|
commitdiff
|
tree
2007-01-05
Sv
e
n Verdoolae
g
e
gen_fun::coeffi
c
ient: mov
e
printing to short_rat
commit
|
commitdiff
|
tree
2007-01-05
S
ve
n
Verdoolaege
gen_fun::coeffi
c
i
ent: new v
e
rsion returning Z
Z
commit
|
commitdiff
|
tree
2007-01-05
S
v
en Verdoolaege
genfun
.
cc: move
c
o
e
f
f
ic
i
ent c
o
mputation to short_
r
at
commit
|
commitdiff
|
tree
2007-01-05
S
ven Ver
d
o
olaege
partial_reduce
r
:
restart computation
i
f
random vecto
r
.
.
.
commit
|
commitdiff
|
tree
2007-01-05
Sve
n
Verdoolaege
gen_fun:
expose cl
e
ar
_
te
r
ms, a me
t
hod for cl
e
aring
.
.
.
commit
|
commitdiff
|
tree
2007-01-05
Sven
V
erdoolaege
gen_fu
n
::Hadama
r
d_pr
o
duct: propagate full optio
n
s to
.
.
.
commit
|
commitdiff
|
tree
2007-01-05
Sven Verdoolaege
barvinok_
e
numerate: integrate verif
_
e
hrh
a
r
t
commit
|
commitdiff
|
tree
2007-01-05
Sven Verdo
o
l
a
ege
barvinok_en
u
merate: int
e
grate barvin
o
k_
s
eries
commit
|
commitdiff
|
tree
2007-01-05
Sven Verdoolaege
b
a
r
v
inok_enumerate: use argp
commit
|
commitdiff
|
tree
2007-01-05
Sv
e
n
Verdoo
l
ae
g
e
lexmin: m
a
ke
lexmin options p
r
i
v
a
t
e
commit
|
commitdiff
|
tree
2007-01-05
Sven Verdoolaege
Revert "bernste
i
n/configure
.
in: remove redundant
c
hange
.
.
.
commit
|
commitdiff
|
tree
2007-01-05
S
v
en Ver
d
oo
l
a
e
ge
barvinok
.
cc: make
u
se of s
a
mpling for
c
o
unting infinite
.
.
.
commit
|
commitdiff
|
tree
2007-01-05
S
v
e
n V
e
rdool
a
e
ge
barv
i
n
ok_
e
numerate_e:
r
espect --table option
commit
|
commitdiff
|
tree
2007-01-05
Sve
n
Verdoola
e
g
e
lexmin
.
c
c: mov
e
s
e
lection
o
f
gbr s
o
lver
to op
t
io
n
s
.
c
commit
|
commitdiff
|
tree
2007-01-05
Sven Verdoolaege
lexmin
:
u
se ar
g
p
commit
|
commitdiff
|
tree
2007-01-04
Sven Verdoo
l
aege
barvinok_enumerate_e: extract out ve
r
ifi
c
ation opt
i
ons
commit
|
commitdiff
|
tree
2007-01-04
Sven V
e
rdoo
l
ae
g
e
barvin
o
k_enum
e
rate_e:
print warning
w
h
e
n --
o
mega or
.
.
.
commit
|
commitdiff
|
tree
2007-01-04
Sven
Verdoolaege
b
e
rnstein/config
u
re
.
in: remove
r
edun
d
ant change
to
.
.
.
commit
|
commitdiff
|
tree
2007-01-04
S
ven Verdoolaege
b
arvin
o
k
/polyl
i
b
.
h: de
f
ine
value_su
b
tract and value_addmul
.
.
.
commit
|
commitdiff
|
tree
2007-01-04
Sven Verdoo
l
aege
de
c
om
p
ose
r
.
cc:
d
ecompose: micro
-
optimization
commit
|
commitdiff
|
tree
2007-01-04
S
ven Verdoolaeg
e
signed_c
o
ne: s
t
ore
rays of cone
commit
|
commitdiff
|
tree
2007-01-03
Sven Verdoola
e
ge
lexmin: di
s
able use of lookup-t
a
ble
s
commit
|
commitdiff
|
tree
2007-01-03
Sven Verdoolaege
barvin
o
k_enumerate_e
.
c
c:
f
i
x
argp options parse
r
commit
|
commitdiff
|
tree
2007-01-03
Sve
n
Verdoolaege
options
.
c
: move choice of us
e
of lookup-
t
abl
e
to ba
r
v
i
n
ok_op
.
.
.
commit
|
commitdiff
|
tree
2007-01-03
S
v
en Verdoolaege
lattice
_
point
.
c
c: fix #
i
f
n
d
ef USE_
M
O
D
ULO code path
commit
|
commitdiff
|
tree
2007-01-03
Sv
e
n V
e
r
d
oolaege
d
e
composer
.
cc:
s
hort_vector: remove redundant code
commit
|
commitdiff
|
tree
2007-01-03
Sven V
e
r
d
oo
l
aege
decompose
r
.
cc: short_vector: negate la
m
bda if z is
.
.
.
commit
|
commitdiff
|
tree
2007-01-03
Sven
V
erdoolae
g
e
barv
i
nok
.
cc:
s
e
ries: only require rays to be re
v
lex
.
.
.
commit
|
commitdiff
|
tree
2007-01-03
Sven Verdo
o
laege
b
ar
v
in
o
k
.
c
c: serie
s
: pass ful
l
option
s
to bar
v
i
n
ok_coun
t
commit
|
commitdiff
|
tree
2007-01-03
Sven Ve
r
do
o
la
e
ge
np_base::handle: pas
s
around rays mat
r
ix instea
d
of
.
.
.
commit
|
commitdiff
|
tree
2007-01-03
Sven Verdoolaege
decomposer
.
cc: su
p
por
t
pr
i
mal decompos
i
tion
commit
|
commitdiff
|
tree
2007-01-03
Sven Ve
r
do
o
laege
d
e
composer
.
cc: barvinok
_
decom
p
o
s
e
:
i
m
p
l
ement
i
n
t
e
rms
.
.
.
commit
|
commitdiff
|
tree
2007-01-03
Sven
Ve
r
d
o
o
laeg
e
barvinok_enu
m
erat
e
: respect
i
ncr
e
mental
_
speciali
z
ation
.
.
.
commit
|
commitdiff
|
tree
2007-01-03
Sven
Verdoolaege
introd
u
ce s
i
gned_cone s
t
ru
c
t
commit
|
commitdiff
|
tree
2007-01-03
Sven V
e
rdo
o
l
a
ege
separate
o
ut d
e
c
o
mposition
commit
|
commitdiff
|
tree
2007-01-03
S
v
e
n
Verdoolaege
t
e
st: use argp parser
commit
|
commitdiff
|
tree
2006-12-28
Sv
e
n Verdoo
l
aege
update ar
g
p from g
n
ulib an
d
add
p
rogname
module
commit
|
commitdiff
|
tree
2006-12-27
Sve
n
Ve
r
doolaeg
e
barv
i
nok_enumerate_e
.
cc: don't
ex
i
t on
u
nrecognized
.
.
.
commit
|
commitdiff
|
tree
2006-12-27
Sven
Verdo
o
la
e
ge
lib/argp
.
h: remove __NTH
f
or _
_
argp_u
s
a
g
e inline
fun
c
tion
commit
|
commitdiff
|
tree
2006-12-27
Sv
e
n V
e
rd
o
olaege
barvinok_enumerate_e
.
cc: remo
v
e another duplicate definition
.
.
.
commit
|
commitdiff
|
tree
2006-12-27
Sven Verdoola
e
ge
barvinok_enumerat
e
_e: use argp par
s
er
commit
|
commitdiff
|
tree
2006-12-27
Sven Verdo
o
l
a
ege
barvinok_count: use a
r
gp parser
commit
|
commitdiff
|
tree
2006-12-26
Sve
n
Verdoolaeg
e
options
.
c:
a
dd argp
parse
commit
|
commitdiff
|
tree
2006-12-26
S
v
en Verdoolaege
a
d
d argp from gn
u
lib
commit
|
commitdiff
|
tree
2006-12-26
Sven V
e
rd
o
olaege
scarf
.
cc: make compa
t
ible wi
t
h ol
d
er vers
i
o
n
s
o
f
PolyLib
commit
|
commitdiff
|
tree
2006-12-26
Sven
V
er
d
oolaege
a
d
d missin
g
assert
.
h #includes
commit
|
commitdiff
|
tree
2006-12-26
S
v
en Verdo
o
laege
Makefile
.
am: add remov
e
_eq
u
alities
.
h to
distribu
t
ion
commit
|
commitdiff
|
tree
2006-12-26
S
v
en Verd
o
olaege
con
f
i
g
u
r
e
.
i
n
:
o
nly
c
onfi
g
ure bernst
e
in if
G
iNaC was
.
.
.
commit
|
commitdiff
|
tree
2006-12-22
Sven Verdoolaege
be
r
nstein: co
n
figure
.
in: check for GiNaC
commit
|
commitdiff
|
tree
2006-12-19
Sven Verd
o
o
l
a
e
ge
bernstein: remove extra qualificati
o
ns fro
m
polynomial
.
.
.
commit
|
commitdiff
|
tree
2006-12-19
Sven Verdoolaege
bernstein
/
src/
m
ain
.
cpp:
remove redundant incl
u
de
commit
|
commitdiff
|
tree
next