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
short_rat::add: mark short_rat argument const
2007-02-02
Sven V
e
r
d
oolaege
short
_
rat::add: mark shor
t
_r
a
t argument c
o
nst
commit
|
commitdiff
|
tree
2007-02-02
S
ven Verdoolaege
N
TL_QQ:
a
ttempt t
o
speed-up += operator
commit
|
commitdiff
|
tree
2007-02-02
Sven Verdoo
l
ae
g
e
dpoly: add some documentation
commit
|
commitdiff
|
tree
2007-02-02
Sven Verdoolaege
dpoly: add some
more op
e
rations
commit
|
commitdiff
|
tree
2007-02-02
S
ven Verdool
a
e
g
e
barvino
k
/genfun
.
h: fi
x
com
m
ent
commit
|
commitdiff
|
tree
2007-02-02
Sven Verdoo
l
aege
add
.
git
i
gnore
commit
|
commitdiff
|
tree
2007-02-02
Sven Verdoolaege
QQ: add oper
a
t
or for
m
ultiplication by a s
c
a
lar (ZZ
)
commit
|
commitdiff
|
tree
2007-01-18
Sven V
e
rd
o
olaege
M
a
ke
f
ile
.
a
m
: check-series: check
-
-
p
r
imal as
well
commit
|
commitdiff
|
tree
2007-01-16
Sven Verdoolaege
M
ake
f
ile
.
am
:
install (some) binaries
commit
|
commitdiff
|
tree
2007-01-15
Sven Verdoolae
g
e
undefine CS for Solaris 10
commit
|
commitdiff
|
tree
2007-01-14
Sve
n
Verdool
a
e
ge
b
a
rvinok_
e
numerate: handle lines in input p
o
lyhedra
.
.
.
commit
|
commitdiff
|
tree
2007-01-10
Sven Ve
r
d
o
olaege
u
til
.
c
:
m
o
ve left_inverse from
l
e
xmin
.
cc
commit
|
commitdiff
|
tree
2007-01-05
Sv
e
n Verd
o
olaege
gen_fu
n
:
:
coefficient
:
move printing to shor
t
_
r
a
t
commit
|
commitdiff
|
tree
2007-01-05
S
v
en Ve
r
doola
e
ge
gen_
f
u
n
:
:coeffici
e
nt: new
vers
i
on returni
n
g
Z
Z
commit
|
commitdiff
|
tree
2007-01-05
Sven Verdoolaege
genf
u
n
.
cc: move
coeffici
e
nt co
m
p
ut
a
tion to short_rat
commit
|
commitdiff
|
tree
2007-01-05
Sven Verdoola
e
g
e
parti
a
l_reduce
r
: restart comput
a
tio
n
i
f ran
d
om vector
.
.
.
commit
|
commitdiff
|
tree
2007-01-05
S
v
e
n
Verdo
o
la
e
ge
gen_
f
un: expose clear_t
e
rms, a method for clearing
.
.
.
commit
|
commitdiff
|
tree
2007-01-05
Sven Verdoolaege
gen_fu
n
:
:
Hadamard_produ
c
t: propagat
e
full o
p
tion
s
to
.
.
.
commit
|
commitdiff
|
tree
2007-01-05
Sven V
e
rdoola
e
ge
b
a
rvinok_enu
m
erate
:
integrate veri
f
_ehrhart
commit
|
commitdiff
|
tree
2007-01-05
Sven Verdoolaege
barvinok_enumerat
e
:
integrate barvinok_series
commit
|
commitdiff
|
tree
2007-01-05
S
v
en Verdoo
l
a
ege
barvi
n
ok
_
enumerate:
use ar
g
p
commit
|
commitdiff
|
tree
2007-01-05
Sven Verdo
o
laege
l
exmin: mak
e
lexm
i
n o
p
tions private
commit
|
commitdiff
|
tree
2007-01-05
Sve
n
Verdoolae
g
e
Revert "ber
n
stein
/
config
u
re
.
in: remov
e
re
d
und
a
nt
c
hange
.
.
.
commit
|
commitdiff
|
tree
2007-01-05
Sven Verdool
a
ege
barvinok
.
cc: make use of
s
amp
l
in
g
f
or counting i
n
finit
e
.
.
.
commit
|
commitdiff
|
tree
2007-01-05
Sven Verdo
o
laege
barvinok_
e
num
e
r
ate_e: respect --table option
commit
|
commitdiff
|
tree
2007-01-05
Sv
e
n Verdoolaeg
e
lexmi
n
.
cc: move selection o
f
gbr solver to opt
i
o
ns
.
c
commit
|
commitdiff
|
tree
2007-01-05
S
ven Verdoolaege
l
exmi
n
: use argp
commit
|
commitdiff
|
tree
2007-01-04
Sven Verdoolaege
b
a
rvinok_enumerat
e
_e: ex
t
ra
c
t out verificati
o
n options
commit
|
commitdiff
|
tree
2007-01-04
Sven Verdo
o
laege
barvinok_enumera
t
e
_
e
: print war
n
i
ng when
-
-
o
meg
a
or
.
.
.
commit
|
commitdiff
|
tree
2007-01-04
Sven Verdoolaege
barv
i
nok/p
o
lyl
i
b
.
h: define va
l
ue_subtra
c
t and valu
e
_
a
d
d
m
u
l
.
.
.
commit
|
commitdiff
|
tree
2007-01-04
Sven
Verdo
o
laege
d
ecompo
s
er
.
cc: decomp
o
se:
micro-optimization
commit
|
commitdiff
|
tree
2007-01-04
Sven Verdo
o
lae
g
e
sig
n
ed_cone: s
t
o
r
e rays of cone
commit
|
commitdiff
|
tree
2007-01-04
Harald Devos
o
m
ega/parser
.
y:
r
em
o
ve br
a
c
k
ets aroun
d
typ
e
i
n
ne
w
commit
|
commitdiff
|
tree
2007-01-03
Sven Ve
r
doola
e
ge
lexmin: di
s
abl
e
use o
f
looku
p
-table
s
commit
|
commitdiff
|
tree
2007-01-03
Sven Verdo
o
l
aeg
e
barvinok_e
n
u
m
erate_e
.
cc: fix argp options
p
arser
commit
|
commitdiff
|
tree
2007-01-03
S
v
en Verdoolaege
optio
n
s
.
c: move
c
hoice of
use of lookup-
t
able to barvinok_o
p
.
.
.
commit
|
commitdiff
|
tree
2007-01-03
Sv
e
n Ver
d
oo
l
aege
lattice_point
.
cc: fix #ifndef USE_M
O
DUL
O
code path
commit
|
commitdiff
|
tree
2007-01-03
Sven
Verdoo
l
aege
de
c
omposer
.
c
c: short_vecto
r
: remove redun
d
ant code
commit
|
commitdiff
|
tree
2007-01-03
S
ven
V
erdoolaege
de
c
omposer
.
cc: short_vector: negate lambda if z
is
.
.
.
commit
|
commitdiff
|
tree
2007-01-03
Sven Verdoolaege
barvinok
.
cc: series: only
r
equire rays to be r
e
vle
x
.
.
.
commit
|
commitdiff
|
tree
2007-01-03
Sven Verdool
a
ege
ba
r
v
i
nok
.
cc:
s
e
r
i
es: pass full options
t
o barv
i
nok_count
commit
|
commitdiff
|
tree
2007-01-03
Sven Verdoola
e
ge
np_base::handl
e
: pass
aroun
d
rays matrix instead
o
f
.
.
.
commit
|
commitdiff
|
tree
2007-01-03
Sven Verdo
o
laeg
e
decompos
e
r
.
cc:
support primal decompos
i
ti
o
n
commit
|
commitdiff
|
tree
2007-01-03
Sv
e
n
Ve
r
doolaege
decomposer
.
c
c
: barvinok
_
decompose
:
implement
in t
e
rms
.
.
.
commit
|
commitdiff
|
tree
2007-01-03
Sven Verdoolaeg
e
b
a
rvinok_
e
numerat
e
:
respect incr
e
mental_specialization
.
.
.
commit
|
commitdiff
|
tree
2007-01-03
Sven Verdoolaege
introduce s
i
gn
e
d_cone struc
t
commit
|
commitdiff
|
tree
2007-01-03
Sven Verdoolaege
sepa
r
at
e
o
ut d
e
c
o
m
p
o
si
t
io
n
commit
|
commitdiff
|
tree
2007-01-03
Sven Verdoolaege
test: u
s
e argp parser
commit
|
commitdiff
|
tree
2006-12-28
Sven Verd
o
olae
g
e
update ar
g
p from gnulib and add progname
module
commit
|
commitdiff
|
tree
2006-12-27
Sven Ver
d
oolaege
barvin
o
k_enu
m
er
a
te_
e
.
cc:
d
on't
e
xi
t
on unrecog
n
iz
e
d
.
.
.
commit
|
commitdiff
|
tree
2006-12-27
Sven Verdoolaege
lib/argp
.
h:
remo
v
e __NTH for __argp_usa
g
e in
l
ine
function
commit
|
commitdiff
|
tree
2006-12-27
Sven Ver
d
oolaege
barvinok_en
u
me
r
at
e
_e
.
cc: remov
e
anoth
e
r du
p
licate definiti
o
n
.
.
.
commit
|
commitdiff
|
tree
2006-12-27
S
v
e
n
Verd
o
olaege
barvinok
_
enumerate_e: use argp pa
r
ser
commit
|
commitdiff
|
tree
2006-12-27
S
v
en Verdoolaege
barvinok_c
o
unt: use
argp
parser
commit
|
commitdiff
|
tree
2006-12-26
Sven
Ver
d
oolaege
options
.
c:
add
a
r
g
p parse
commit
|
commitdiff
|
tree
2006-12-26
S
ven Verdool
a
ege
add argp from g
n
u
l
ib
commit
|
commitdiff
|
tree
2006-12-26
Sven
V
erdo
o
laege
scarf
.
cc:
make compatible wit
h
old
e
r
version
s
of P
o
l
y
Lib
commit
|
commitdiff
|
tree
2006-12-26
Sven V
e
rdoolae
g
e
add missing assert
.
h #i
n
cl
u
des
commit
|
commitdiff
|
tree
2006-12-26
Sven
V
er
d
o
olaege
Makef
i
l
e
.
a
m: add
remov
e
_equalities
.
h t
o
dis
t
ribution
commit
|
commitdiff
|
tree
2006-12-26
Sven
V
erdo
o
lae
g
e
configu
r
e
.
in: only conf
i
gure
bernstein if GiN
a
C
w
as
.
.
.
commit
|
commitdiff
|
tree
2006-12-22
Sven
V
erdool
a
ege
bernstein: config
u
r
e
.
i
n: che
c
k for GiNaC
commit
|
commitdiff
|
tree
2006-12-19
Sv
e
n
Ve
r
doolaege
bernst
e
in:
remov
e
e
x
tra qualifications fr
o
m polynomial
.
.
.
commit
|
commitdiff
|
tree
2006-12-19
Sven Ve
r
doo
l
aege
be
r
nstein/src
/
m
ain
.
cpp
:
remo
v
e redun
d
a
n
t
inc
l
ude
commit
|
commitdiff
|
tree
2006-12-18
S
v
en V
e
rdo
o
la
e
g
e
short_rat::
n
ormali
z
e
: mak
e
powers in the
d
enominator
.
.
.
commit
|
commitdiff
|
tree
2006-12-18
S
ven
V
erdoo
l
aege
g
e
n_f
u
n::substitute: normalize ter
m
s
commit
|
commitdiff
|
tree
2006-12-18
Sven Ve
r
doolaege
dpoly_r: st
o
re
t
e
rms in
a
set rathe
r
t
h
an in a vector
commit
|
commitdiff
|
tree
2006-12-18
Sven
Verdoolaege
g
e
n
_fu
n
: st
o
re terms in a
s
e
t rather
than in a vector
commit
|
commitdiff
|
tree
2006-12-11
Sven Verdoolaege
lexmin: allow
e
mptiness check th
r
ough counti
n
g
commit
|
commitdiff
|
tree
2006-12-11
S
v
en Verdoo
l
aege
lex
m
in
.
c
c
: move constructio
n
of
subd
o
mai
n
s t
o
edomain
.
cc
commit
|
commitdiff
|
tree
2006-12-11
Sven Verdool
a
ege
e
domain
.
cc:
move s
a
mple c
o
mputation
c
om
p
letely to EDoma
i
n
commit
|
commitdiff
|
tree
2006-12-11
Sve
n
Verdoola
e
ge
lexmin
.
cc: p
a
rtial_order::co
m
pare: use substitut
i
o
n
.
.
.
commit
|
commitdiff
|
tree
2006-12-11
Sven Verdool
a
ege
lexmin
.
c
c: i
n
di
c
ator
:
:combine: m
o
re efficient way of
.
.
.
commit
|
commitdiff
|
tree
2006-12-11
Sven Verdoolaege
lexmin
.
cc: k
e
ep heads in partial
order separate
commit
|
commitdiff
|
tree
2006-12-11
Sven V
e
rdoolaege
edomain
.
cc
:
E
D
omain::add_ge_con
s
tr
a
int: simplify new
.
.
.
commit
|
commitdiff
|
tree
2006-12-11
Sven Verdoolaege
l
e
xmin
.
c
c
:
p
artial_order
:
:comp
a
re: a
d
d cach
e
of comparison
.
.
.
commit
|
commitdiff
|
tree
2006-12-11
Sven Verdoolaege
lexmin: make sure le set in partial order only c
o
ntains
.
.
.
commit
|
commitdiff
|
tree
2006-12-11
S
v
en Verdo
o
l
aege
lexmin: mor
e
sanity chec
k
s
commit
|
commitdiff
|
tree
2006-12-11
S
ven Verdoolaege
lemxin:
use stable ordering o
f
indicat
o
r_te
r
ms in partial
_
or
.
.
.
commit
|
commitdiff
|
tree
2006-12-11
S
v
e
n Verdoolaege
genfu
n
.
c
c:
mo
v
e le
x
_cmp to mat_util
.
cc
commit
|
commitdiff
|
tree
2006-12-11
Sve
n
Verdoola
e
ge
l
e
xmin: in
d
icat
o
r::comb
i
n
e: directl
y
a
dd some known
.
.
.
commit
|
commitdiff
|
tree
2006-12-11
Sve
n
Ve
r
do
o
laeg
e
barvinok/polylib
.
h:
s
epar
a
te include of pol
y
lib header
commit
|
commitdiff
|
tree
2006-12-09
S
ve
n
Ve
r
d
o
ol
a
e
ge
l
e
xmin: o
p
t
ionally compute sig
n
of affi
n
e f
u
nction
.
.
.
commit
|
commitdiff
|
tree
2006-12-09
Sven Verdoolaege
lexmin: optionally
s
ki
p
reduction
of e
v
alues in d
o
mains
commit
|
commitdiff
|
tree
2006-12-09
Sven Verdoolaege
ev
a
lue_
f
r
a
c2fl
o
or: o
n
l
y
make ar
g
um
e
nt nonneg
a
tive i
f
.
.
.
commit
|
commitdiff
|
tree
2006-12-09
Sven Verdoola
e
ge
l
exmin: Polyhedron_no
t
_empty: be careful about empty
.
.
.
commit
|
commitdiff
|
tree
2006-12-09
Sven Verdo
o
laege
lexmin: i
n
dicator_term
:
:is_oppo
s
ite:
assume numerators
.
.
.
commit
|
commitdiff
|
tree
2006-12-09
Sven Verdoola
e
ge
r
emove_all_equalities
:
handle
c
om
p
ress_variables r
e
turni
n
g
.
.
.
commit
|
commitdiff
|
tree
2006-12-09
Sven Verd
o
olaeg
e
l
exmi
n
: opti
o
nally
us
e
cd
d
during
basis
r
eduction
commit
|
commitdiff
|
tree
2006-12-09
Sven Verdoolaege
Polyhedron_Reduced_Basi
s
: op
t
ionally use cdd to
solve
.
.
.
commit
|
commitdiff
|
tree
2006-12-09
S
ven
V
erdoolaege
conf
i
gure
.
in: check
f
o
r
c
d
dlib
commit
|
commitdiff
|
tree
2006-12-09
S
v
en Verdoolae
g
e
lexmin
:
P
ol
y
hedron_no
t
_emp
t
y: contin
u
e
re
m
oving eq
u
alities
commit
|
commitdiff
|
tree
2006-12-09
Sven Verdoolaege
lexmin: handle
e
qu
a
lities among par
a
meters
commit
|
commitdiff
|
tree
2006-12-09
S
v
en Verdo
o
laege
remove_al
l
_equalities
:
ignore identity para
m
e
t
er
compression
commit
|
commitdiff
|
tree
2006-12-09
S
v
en Verdoolaege
rem
o
ve_eq
u
aliti
e
s
.
c: extracted from barvinok
.
cc
commit
|
commitdiff
|
tree
2006-12-09
Sv
e
n Verdoolaege
genfun: add short_rat::
n
ormalize
commit
|
commitdiff
|
tree
2006-12-09
Sven
Verdoolaeg
e
genf
u
n: add short_rat constructor
s
commit
|
commitdiff
|
tree
2006-12-09
Sven Ver
d
o
o
lae
g
e
evalu
e
.
c:
ev
a
lue_denom: improve comm
e
nt
commit
|
commitdiff
|
tree
2006-12-09
Sven V
e
rdoolaege
lexmin: Poly
h
edron_not_empty:
c
heck resu
l
t retu
r
ned
.
.
.
commit
|
commitdiff
|
tree
2006-12-07
S
ven Verdoolaege
barvinok
.
cc: seri
e
s:
r
e
move
equalities using Pre
i
ma
g
e
.
.
.
commit
|
commitdiff
|
tree
2006-12-07
Sv
e
n Verdo
o
l
a
ege
b
a
r
vinok
_
count:
c
ollect s
t
ats on nu
m
ber of
u
nimo
d
ular
.
.
.
commit
|
commitdiff
|
tree
next