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
reducer::reduce: take a list of numerators as input
2007-02-02
Sven Verdool
a
e
ge
redu
c
e
r::redu
c
e: take
a
l
ist of numerators a
s
input
commit
|
commitdiff
|
tree
2007-02-02
Sve
n
Verdoolaege
gen_fu
n
:
:re
a
d: read gen_
f
un from file de
s
criptor
commit
|
commitdiff
|
tree
2007-02-02
S
v
en Verdoo
l
aege
add gen_fun::add(short
_
r
a
t *r)
commit
|
commitdiff
|
tree
2007-02-02
Sven Verdoolaege
NTL
_
QQ
.
cc: s
u
p
port readin
g
from stream
commit
|
commitdiff
|
tree
2007-02-02
Sven Verdoola
e
ge
gen_fun: add
operator fo
r
printing
t
o st
r
eam
commit
|
commitdiff
|
tree
2007-02-02
Sven Verdo
o
laege
gen
f
un
.
cc: add shor
t
_rat
copy
c
o
n
s
tr
u
ctor
commit
|
commitdiff
|
tree
2007-02-02
Sven Ver
d
o
olaege
d
poly_r:
m
icro-o
p
timiza
t
ions
commit
|
commitdiff
|
tree
2007-02-02
Sven Verdoo
l
aege
dpol
y
: mark some
m
ore
argument
s
/
m
ethods
c
onst
commit
|
commitdiff
|
tree
2007-02-02
Sven Verdool
a
ege
short_ra
t
::ad
d
: ma
r
k
short_rat argument c
o
n
s
t
commit
|
commitdiff
|
tree
2007-02-02
Sven
Verd
o
olaege
NTL_Q
Q
: attempt to speed-up += operato
r
commit
|
commitdiff
|
tree
2007-02-02
Sven Verdoolaege
dpoly: ad
d
some documentat
i
on
commit
|
commitdiff
|
tree
2007-02-02
Sven Verdoolaege
dpoly: add some more operations
commit
|
commitdiff
|
tree
2007-02-02
S
ven Ver
d
o
olae
g
e
ba
r
vinok/gen
f
un
.
h
: fix com
m
ent
commit
|
commitdiff
|
tree
2007-02-02
Sven V
e
rdoolae
g
e
a
dd
.
gitignore
commit
|
commitdiff
|
tree
2007-02-02
Sven
Verdoolaege
Q
Q
: ad
d
operator for multip
l
ication by a
s
cal
a
r (ZZ)
commit
|
commitdiff
|
tree
2007-01-18
S
ven Verdoolaege
Makefile
.
a
m
: chec
k
-ser
i
e
s
:
che
c
k --
p
rimal as well
commit
|
commitdiff
|
tree
2007-01-16
Sven Ve
r
doolaege
Makefile
.
am: install (some) bi
n
a
r
ies
commit
|
commitdiff
|
tree
2007-01-15
Sven Verdoolaege
undefine CS
f
o
r
Solar
i
s 10
commit
|
commitdiff
|
tree
2007-01-14
Sv
e
n Verdo
o
laege
b
arvi
n
ok_enumer
a
te: handle lines in input polyhedra
.
.
.
commit
|
commitdiff
|
tree
2007-01-10
Sven Verdoolaege
util
.
c: move
l
eft_inverse
f
rom l
e
xmin
.
cc
commit
|
commitdiff
|
tree
2007-01-05
S
ven Ve
r
doolaege
g
e
n_fun::coe
f
fici
e
n
t: mo
v
e
printin
g
to short_rat
commit
|
commitdiff
|
tree
2007-01-05
Sven Verdoolaeg
e
gen_fun::coeff
i
cient: new version ret
u
rning ZZ
commit
|
commitdiff
|
tree
2007-01-05
Sven Verd
o
olaeg
e
genfun
.
cc:
move coeffici
e
n
t
c
omputat
i
on to short
_
rat
commit
|
commitdiff
|
tree
2007-01-05
S
v
en Verdool
a
ege
partial_red
u
cer: restar
t
c
om
p
utat
i
o
n
if r
a
ndom vector
.
.
.
commit
|
commitdiff
|
tree
2007-01-05
S
v
en
V
er
d
oolaege
gen_fun:
expose clear_terms, a method
for clea
r
ing
.
.
.
commit
|
commitdiff
|
tree
2007-01-05
S
v
e
n
Verdoolaege
gen_fun::Hadamard_product:
p
ropag
a
te fu
l
l opti
o
ns to
.
.
.
commit
|
commitdiff
|
tree
2007-01-05
Sv
e
n
V
erdoolaege
bar
v
inok_enumerate: integrate verif_ehrhar
t
commit
|
commitdiff
|
tree
2007-01-05
S
ven Verdo
o
la
e
ge
bar
v
inok_enumerate: integrate barvino
k
_
serie
s
commit
|
commitdiff
|
tree
2007-01-05
Sv
e
n
V
e
rdoolaege
b
arv
i
n
o
k_enumera
t
e
:
use
ar
g
p
commit
|
commitdiff
|
tree
2007-01-05
S
ven Verd
o
ola
e
ge
l
exmin: make lexmin o
p
tio
n
s privat
e
commit
|
commitdiff
|
tree
2007-01-05
Sven Verdoolae
g
e
R
evert "be
r
nstein/configure
.
in:
remo
v
e re
d
u
n
dant chan
g
e
.
.
.
commit
|
commitdiff
|
tree
2007-01-05
Sven V
e
rdoolaege
barvinok
.
c
c
: make u
s
e
o
f sampling f
o
r counting infinit
e
.
.
.
commit
|
commitdiff
|
tree
2007-01-05
Sven V
e
rdool
a
ege
barvinok_e
n
umerate_
e
: respect --table option
commit
|
commitdiff
|
tree
2007-01-05
S
v
en Verdoolaeg
e
lexmin
.
cc: move selection o
f
gbr
solve
r
t
o options
.
c
commit
|
commitdiff
|
tree
2007-01-05
Sven V
e
rdoolae
g
e
lexm
i
n
:
u
se argp
commit
|
commitdiff
|
tree
2007-01-04
Sven V
e
r
d
oolae
g
e
b
a
rvinok_enumerate_e:
extract out verification options
commit
|
commitdiff
|
tree
2007-01-04
Sven Verdo
o
laege
barvinok_enumerate_e
:
pri
n
t war
n
i
n
g
wh
e
n --omeg
a
or
.
.
.
commit
|
commitdiff
|
tree
2007-01-04
Sven
Verdoolaege
b
a
rvinok/p
o
ly
l
ib
.
h: define value_subtr
a
ct and valu
e
_addmu
l
.
.
.
commit
|
commitdiff
|
tree
2007-01-04
S
v
en Verdoolaege
decompose
r
.
cc: decompose: m
i
cr
o
-op
t
imiza
t
ion
commit
|
commitdiff
|
tree
2007-01-04
S
v
en Verdoo
l
aege
sig
n
ed
_
c
o
ne
:
store rays of con
e
commit
|
commitdiff
|
tree
2007-01-04
Harald Devos
omega/parser
.
y: remove brackets around t
y
pe in new
commit
|
commitdiff
|
tree
2007-01-03
Sven Verdoolaeg
e
lexmin: disable use
o
f lookup-tables
commit
|
commitdiff
|
tree
2007-01-03
Sven Ve
r
dool
a
eg
e
barv
i
n
ok_enumera
t
e_e
.
cc: fix
a
rgp op
t
ions parser
commit
|
commitdiff
|
tree
2007-01-03
Sven
V
erdoola
e
ge
op
t
i
ons
.
c:
mo
v
e c
h
oice
of us
e
of
l
ookup-table to
b
a
rvinok_op
.
.
.
commit
|
commitdiff
|
tree
2007-01-03
Sven
Verd
o
ol
a
ege
l
a
ttice_point
.
cc:
f
ix #ifndef USE_MO
D
ULO code
p
ath
commit
|
commitdiff
|
tree
2007-01-03
S
ven Verdoolaege
decompos
e
r
.
cc: sho
r
t_vector: remove redund
a
n
t
code
commit
|
commitdiff
|
tree
2007-01-03
S
v
en Verdoolaege
deco
m
poser
.
cc: short_vector: negate la
m
bda
if z is
.
.
.
commit
|
commitdiff
|
tree
2007-01-03
Sven
V
e
rdoolaeg
e
barv
i
nok
.
cc
:
s
erie
s
:
o
nl
y
requir
e
rays to
b
e revlex
.
.
.
commit
|
commitdiff
|
tree
2007-01-03
Sven V
e
rdoolaege
b
a
rvinok
.
cc: s
e
r
i
es: pass
full options to barv
i
nok
_
count
commit
|
commitdiff
|
tree
2007-01-03
Sven Verdool
a
eg
e
np_base::handle:
pa
s
s around
ra
y
s mat
r
i
x instead
of
.
.
.
commit
|
commitdiff
|
tree
2007-01-03
Sven Ver
d
oola
e
ge
decompo
s
er
.
cc: sup
p
ort pr
i
mal decom
p
o
s
ition
commit
|
commitdiff
|
tree
2007-01-03
Sv
e
n Verdoolaege
d
e
co
m
poser
.
cc: barvinok_decompose:
i
mplement in terms
.
.
.
commit
|
commitdiff
|
tree
2007-01-03
Sven Verdool
a
e
ge
barvinok_enu
m
e
r
ate: re
s
pect i
n
cremen
t
a
l
_spec
i
alizat
i
on
.
.
.
commit
|
commitdiff
|
tree
2007-01-03
Sven Ve
r
doolaege
i
n
troduce
sign
e
d_con
e
s
t
ruct
commit
|
commitdiff
|
tree
2007-01-03
Sven Verdo
o
laege
separate out dec
o
mposition
commit
|
commitdiff
|
tree
2007-01-03
Sv
e
n Verdoo
l
aege
t
e
st
:
use argp parser
commit
|
commitdiff
|
tree
2006-12-28
S
v
en Ver
d
o
o
l
a
e
ge
upd
a
te argp from gnu
l
i
b and add pro
g
name m
o
d
u
le
commit
|
commitdiff
|
tree
2006-12-27
Sven Verdoolaege
b
a
rvino
k
_enumerate_e
.
c
c
:
don
'
t exi
t
on
u
n
r
ecogni
z
ed
.
.
.
commit
|
commitdiff
|
tree
2006-12-27
Sven
V
e
r
doolaege
lib
/
argp
.
h: remove _
_
NTH for __
a
rg
p
_us
a
ge inlin
e
function
commit
|
commitdiff
|
tree
2006-12-27
Sven
Verdoolaege
b
a
rvino
k
_e
n
u
merate_
e
.
cc: r
e
move a
n
other duplicate definition
.
.
.
commit
|
commitdiff
|
tree
2006-12-27
S
ve
n
Verdool
a
ege
barvinok_enumerate_e: use argp
parser
commit
|
commitdiff
|
tree
2006-12-27
Sven Verdoolaege
b
a
rvino
k
_count: use a
r
gp
p
arser
commit
|
commitdiff
|
tree
2006-12-26
S
v
en Ver
d
o
ol
a
eg
e
o
p
t
ions
.
c: add argp
parse
commit
|
commitdiff
|
tree
2006-12-26
S
ven Verdo
o
laege
add arg
p
from
g
nulib
commit
|
commitdiff
|
tree
2006-12-26
Sven Verdoolaege
s
carf
.
cc: make
co
m
patib
l
e with
o
lder version
s
o
f PolyLib
commit
|
commitdiff
|
tree
2006-12-26
Sven Verdoolaege
ad
d
missing assert
.
h
#includes
commit
|
commitdiff
|
tree
2006-12-26
S
v
en Verdoolaege
M
a
ke
f
ile
.
a
m: add r
e
move_eq
u
alit
i
es
.
h to d
i
stribution
commit
|
commitdiff
|
tree
2006-12-26
Sven Verdo
o
l
a
e
ge
configure
.
in: on
l
y config
u
re bernstein if
G
i
N
aC was
.
.
.
commit
|
commitdiff
|
tree
2006-12-22
Sven
Verdo
o
laege
bernstei
n
: confi
g
ure
.
i
n
: c
h
eck fo
r
GiN
a
C
commit
|
commitdiff
|
tree
2006-12-19
S
ven Verdoolaege
b
e
rn
s
tein: remov
e
extra qu
a
lifications f
r
om polynomial
.
.
.
commit
|
commitdiff
|
tree
2006-12-19
Sven Verdo
o
laege
ber
n
stein/src/main
.
cpp: re
m
ove red
u
nd
a
nt include
commit
|
commitdiff
|
tree
2006-12-18
S
ven Verdo
o
laege
short_rat::normalize: m
a
ke powers in t
h
e denominator
.
.
.
commit
|
commitdiff
|
tree
2006-12-18
Sven Verdoola
e
ge
g
e
n
_f
u
n::substitute:
n
ormalize terms
commit
|
commitdiff
|
tree
2006-12-18
Sven Verdoolaege
dpoly_r
:
store term
s
in a
se
t
rathe
r
than
in a vec
t
or
commit
|
commitdiff
|
tree
2006-12-18
Sven Verdoolaege
gen_fun: store term
s
in a set rather than
i
n a vect
o
r
commit
|
commitdiff
|
tree
2006-12-11
S
ven
Ve
r
d
oolaege
lexmi
n
: allow empti
n
ess check throu
g
h
cou
n
ting
commit
|
commitdiff
|
tree
2006-12-11
Sven
Verdoolaege
lexmin
.
c
c: move constructio
n
o
f subdomains to edomai
n
.
cc
commit
|
commitdiff
|
tree
2006-12-11
Sven Verdoolaege
edoma
i
n
.
cc: mov
e
sample co
m
putation completely to EDo
m
ain
commit
|
commitdiff
|
tree
2006-12-11
S
ven Verdoola
e
ge
le
x
min
.
cc: partial_order::compare: u
s
e subst
i
tution
.
.
.
commit
|
commitdiff
|
tree
2006-12-11
Sve
n
V
erdoo
l
aeg
e
lexmin
.
cc:
indicator::combine: mor
e
effic
i
ent way of
.
.
.
commit
|
commitdiff
|
tree
2006-12-11
S
ven Ve
r
do
o
la
e
ge
lexmin
.
cc: keep
he
a
ds in p
a
r
t
ial order separate
commit
|
commitdiff
|
tree
2006-12-11
S
ven Verdoo
l
a
ege
e
d
omain
.
cc
:
EDoma
i
n:
:
ad
d
_ge_constrai
n
t: simplify ne
w
.
.
.
commit
|
commitdiff
|
tree
2006-12-11
Sven
Verdoolaege
l
exmin
.
c
c
:
p
a
r
tial_order
:
:
c
ompare:
a
dd ca
c
he
o
f compa
r
ison
.
.
.
commit
|
commitdiff
|
tree
2006-12-11
Sven Verdoolaege
le
x
m
in: make sure le set i
n
parti
a
l order only conta
i
ns
.
.
.
commit
|
commitdiff
|
tree
2006-12-11
Sven Verdool
a
ege
lexmin: more sanit
y
checks
commit
|
commitdiff
|
tree
2006-12-11
S
v
en Verdoolaege
lem
x
i
n
: use
s
table ordering of indicator_t
e
rms in
partial_or
.
.
.
commit
|
commitdiff
|
tree
2006-12-11
Sv
e
n Verdoolaeg
e
ge
n
fun
.
cc: move lex_cmp to
mat_uti
l
.
cc
commit
|
commitdiff
|
tree
2006-12-11
Sven Ve
r
d
o
olaege
lexmin
:
indi
c
ator::combine: directly add some known
.
.
.
commit
|
commitdiff
|
tree
2006-12-11
Sven Verdoolaege
ba
r
vinok/polylib
.
h: separa
t
e include of polylib h
e
ader
commit
|
commitdiff
|
tree
2006-12-09
Sv
e
n Verdoolaege
lexmin: o
p
tional
l
y
c
o
mpute sign of affine
f
unct
i
on
.
.
.
commit
|
commitdiff
|
tree
2006-12-09
Sven Verdoolaege
lexmin: opt
i
onal
l
y skip reduction of evalues in domains
commit
|
commitdiff
|
tree
2006-12-09
Sv
e
n Verdoola
e
ge
eval
u
e_f
r
ac2flo
o
r: only
make argument n
o
nnegat
i
ve
i
f
.
.
.
commit
|
commitdiff
|
tree
2006-12-09
Sven Verdoolaege
l
e
xmin:
P
olyhedron
_
not_empty
:
b
e
c
are
f
u
l abo
u
t em
p
ty
.
.
.
commit
|
commitdiff
|
tree
2006-12-09
Sve
n
V
e
r
doolae
g
e
l
exmin: indicator
_
term::is_o
p
posite: assume numerators
.
.
.
commit
|
commitdiff
|
tree
2006-12-09
Sven Verdoola
e
g
e
r
e
move_a
l
l_e
q
ualities: han
d
le compres
s
_variables returning
.
.
.
commit
|
commitdiff
|
tree
2006-12-09
Sven
V
e
rd
o
olaege
lexmin
:
optional
l
y
u
s
e
cdd
during basis re
d
uc
t
i
o
n
commit
|
commitdiff
|
tree
2006-12-09
S
ven
V
erdoolaege
Polyhedron_Re
d
uced_Basis: opti
o
nally use cdd to solve
.
.
.
commit
|
commitdiff
|
tree
2006-12-09
Sven Verdoolaege
configure
.
in: check f
o
r cddli
b
commit
|
commitdiff
|
tree
2006-12-09
Sven
Verd
o
olae
g
e
lexmi
n
:
P
olyhedr
o
n_not
_
empty: cont
i
nue re
m
o
v
ing
equalities
commit
|
commitdiff
|
tree
2006-12-09
Sv
e
n
Ve
r
doolaege
lexmin: handle equalities among
p
arameters
commit
|
commitdiff
|
tree
next