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
QQ: add operator for multiplication by a scalar (ZZ)
2007-02-02
Sven Verdool
a
ege
Q
Q
: add oper
a
tor for mu
l
tipl
i
cat
i
on by a sc
a
la
r
(
ZZ)
commit
|
commitdiff
|
tree
2007-01-18
Sven Verdoo
l
a
eg
e
Makefile
.
am: ch
e
ck-
s
e
ries: ch
e
ck --primal a
s
we
l
l
commit
|
commitdiff
|
tree
2007-01-16
Sven Verdoo
l
ae
g
e
Makefile
.
am:
i
n
s
t
all (some)
binari
e
s
commit
|
commitdiff
|
tree
2007-01-15
Sven Verdoolaege
undefine CS for S
o
laris 1
0
commit
|
commitdiff
|
tree
2007-01-14
Sv
e
n Verdoolae
g
e
barvinok_enumerate: handle lines in i
n
put polyhedra
.
.
.
commit
|
commitdiff
|
tree
2007-01-10
Sven
V
erdoolaeg
e
util
.
c: move left_inverse from lexmin
.
cc
commit
|
commitdiff
|
tree
2007-01-05
Sven
Verdoolaege
g
en_fun:
:
coeff
i
cient: move
p
rinting to
s
h
ort_rat
commit
|
commitdiff
|
tree
2007-01-05
Sven Ve
r
d
oolaeg
e
gen_
f
un::coefficie
n
t
: new version r
e
tur
n
ing
Z
Z
commit
|
commitdiff
|
tree
2007-01-05
Sv
e
n V
e
rdoolaege
gen
f
un
.
c
c
: move coefficient c
o
mputation to
s
hort_rat
commit
|
commitdiff
|
tree
2007-01-05
Sven
V
erdoolaeg
e
partia
l
_reducer: restar
t
computa
t
ion if rand
o
m vector
.
.
.
commit
|
commitdiff
|
tree
2007-01-05
Sven Verdoolaege
ge
n
_fun: expose clear_
t
erms, a
method for clea
r
in
g
.
.
.
commit
|
commitdiff
|
tree
2007-01-05
S
ven Verdoolaege
ge
n
_fun
:
:Hada
m
ard_product: propa
g
ate full o
p
ti
o
ns t
o
.
.
.
commit
|
commitdiff
|
tree
2007-01-05
S
v
en Verdoolaege
barvinok_e
n
um
e
rate: integ
r
a
te
v
erif_e
h
rhart
commit
|
commitdiff
|
tree
2007-01-05
Sven
V
erdoola
e
ge
barv
i
nok
_
enumer
a
te: inte
g
rate barvinok_
s
eri
e
s
commit
|
commitdiff
|
tree
2007-01-05
Sven Verdo
o
laege
barvinok_enumerat
e
: use
a
rgp
commit
|
commitdiff
|
tree
2007-01-05
Sven Verdoolaege
l
exmin
:
make
l
ex
m
in opti
o
ns pr
i
vate
commit
|
commitdiff
|
tree
2007-01-05
Sve
n
V
e
r
d
oolaege
Re
v
ert "ber
n
stein/co
n
figure
.
in
:
remo
v
e redun
d
ant
c
h
ange
.
.
.
commit
|
commitdiff
|
tree
2007-01-05
S
v
en Verdoolaege
b
arvinok
.
cc: ma
k
e
use of sampling for counting infini
t
e
.
.
.
commit
|
commitdiff
|
tree
2007-01-05
Sven Verdoolaege
barvinok_e
n
u
m
erate_e: respect --table option
commit
|
commitdiff
|
tree
2007-01-05
Sven Ver
d
oolaeg
e
lexmin
.
c
c: mov
e
selecti
o
n of gbr sol
v
er to o
p
tio
n
s
.
c
commit
|
commitdiff
|
tree
2007-01-05
S
v
en Verdoolaege
lex
m
i
n:
u
s
e argp
commit
|
commitdiff
|
tree
2007-01-04
Sven
V
erdoolaeg
e
barvin
o
k
_
enumerate_e: e
x
tra
c
t
out ver
i
ficati
o
n
o
ptions
commit
|
commitdiff
|
tree
2007-01-04
Sven Verdoolaege
barvinok_enumera
t
e_e: print
warning when --ome
g
a o
r
.
.
.
commit
|
commitdiff
|
tree
2007-01-04
Sven Verdoolaege
bernstein/configure
.
in:
r
e
mov
e
redundan
t
c
h
a
n
g
e
to
.
.
.
commit
|
commitdiff
|
tree
2007-01-04
S
ven Ve
r
doolae
g
e
barvinok/p
o
l
y
lib
.
h
:
define
v
alue_sub
t
ract
and
v
a
lue_addm
u
l
.
.
.
commit
|
commitdiff
|
tree
2007-01-04
Sven Ve
r
doolaege
decompo
s
er
.
cc: decompose: micro-o
p
t
i
mizat
i
on
commit
|
commitdiff
|
tree
2007-01-04
Sv
e
n Verd
o
o
l
ae
g
e
signe
d
_cone: store rays
o
f c
o
ne
commit
|
commitdiff
|
tree
2007-01-03
Sven Verdoolaeg
e
lexmin: disable
u
se of
l
o
ok
u
p-tabl
e
s
commit
|
commitdiff
|
tree
2007-01-03
S
v
e
n
Ve
r
doolaege
barvinok
_
enu
m
erat
e
_
e
.
cc: fix argp optio
n
s parse
r
commit
|
commitdiff
|
tree
2007-01-03
Sven Verdoolaege
optio
n
s
.
c:
move choice o
f
use of
l
ookup-ta
b
le to b
a
rv
i
nok_o
p
.
.
.
commit
|
commitdiff
|
tree
2007-01-03
Sven V
e
rd
o
olaege
l
attice_po
i
nt
.
cc:
f
ix #if
n
def USE_MODU
L
O code path
commit
|
commitdiff
|
tree
2007-01-03
Sven Verdoolae
g
e
decompos
e
r
.
cc: short_vector: re
m
o
v
e redund
a
nt co
d
e
commit
|
commitdiff
|
tree
2007-01-03
Sven
V
erdoolaege
d
e
comp
o
ser
.
c
c
:
short_vector: negate l
a
mb
d
a if z is
.
.
.
commit
|
commitdiff
|
tree
2007-01-03
Sven
V
erdoolae
g
e
barvinok
.
cc: serie
s
:
only require rays
to
b
e r
e
vlex
.
.
.
commit
|
commitdiff
|
tree
2007-01-03
S
ven
Ve
r
doola
e
ge
ba
r
vino
k
.
cc: ser
i
e
s
: pa
s
s ful
l
optio
n
s to
barvi
n
ok_co
u
n
t
commit
|
commitdiff
|
tree
2007-01-03
Sv
e
n V
e
rdool
a
ege
n
p
_base::
h
andle
:
pass around rays matrix i
n
stead
o
f
.
.
.
commit
|
commitdiff
|
tree
2007-01-03
Sven Verdoolaeg
e
de
c
omp
o
ser
.
cc: support
p
r
i
m
al
decomposition
commit
|
commitdiff
|
tree
2007-01-03
Sven
V
e
r
doola
e
g
e
decomposer
.
cc: bar
v
inok_
d
ecompo
s
e: im
p
lem
e
nt in
t
e
r
m
s
.
.
.
commit
|
commitdiff
|
tree
2007-01-03
Sven
V
erdoo
l
aege
barvinok_enumera
t
e: respect
incremental_specialization
.
.
.
commit
|
commitdiff
|
tree
2007-01-03
Sven Verd
o
ol
a
ege
int
r
oduce signed_cone stru
c
t
commit
|
commitdiff
|
tree
2007-01-03
Sven Ve
r
doolaeg
e
separate out decomposition
commit
|
commitdiff
|
tree
2007-01-03
Sven Ver
d
oolaege
test: use argp parser
commit
|
commitdiff
|
tree
2006-12-28
Sven Ve
r
doolaege
update argp from gnulib
a
n
d add pro
g
nam
e
module
commit
|
commitdiff
|
tree
2006-12-27
Sven
V
erdoolaege
barvin
o
k_enumerat
e
_e
.
c
c
: d
o
n't exit on u
n
recognized
.
.
.
commit
|
commitdiff
|
tree
2006-12-27
Sve
n
Verdoolae
g
e
lib/argp
.
h:
r
emove _
_
NTH fo
r
_
_
argp_usage inline functi
o
n
commit
|
commitdiff
|
tree
2006-12-27
Sve
n
Verdoolaeg
e
barv
i
nok
_
e
n
um
e
rate_e
.
cc: r
e
m
ove
another duplicate d
e
finition
.
.
.
commit
|
commitdiff
|
tree
2006-12-27
Sven Verdoolaege
barvinok_enum
e
rate_
e
: u
s
e argp
parser
commit
|
commitdiff
|
tree
2006-12-27
Sven Verdoolaege
barvinok_count:
u
se argp parser
commit
|
commitdiff
|
tree
2006-12-26
Sven Verdoolae
g
e
options
.
c:
a
dd
a
rgp parse
commit
|
commitdiff
|
tree
2006-12-26
Sven Verdoolaege
add argp from gnulib
commit
|
commitdiff
|
tree
2006-12-26
Sven Verdoolaege
scarf
.
c
c: make compatible with ol
d
er vers
i
ons of P
o
l
y
Lib
commit
|
commitdiff
|
tree
2006-12-26
Sven Verdo
o
l
aege
add missing assert
.
h #inc
l
ud
e
s
commit
|
commitdiff
|
tree
2006-12-26
S
v
en Verdoolaege
Makefile
.
am: add remove_e
q
ualities
.
h
t
o dist
r
ibut
i
on
commit
|
commitdiff
|
tree
2006-12-26
Sven Verdoolaeg
e
configure
.
in:
only confi
g
ure bernstein if GiNaC
w
as
.
.
.
commit
|
commitdiff
|
tree
2006-12-22
S
v
en Verdool
a
ege
be
r
n
stein:
c
onfigure
.
in
:
ch
e
ck
for GiNaC
commit
|
commitdiff
|
tree
2006-12-19
S
ven Verdoola
e
ge
ber
n
s
tein: remove e
x
tr
a
q
ual
i
f
i
cations fr
o
m pol
y
nomia
l
.
.
.
commit
|
commitdiff
|
tree
2006-12-19
S
v
en Verdo
o
l
a
ege
b
e
r
nstein/src/m
a
i
n
.
cpp:
remove redun
d
ant incl
u
de
commit
|
commitdiff
|
tree
2006-12-18
Sv
e
n Verdoolaege
short_rat:
:
normalize: mak
e
powe
r
s in the denom
i
nator
.
.
.
commit
|
commitdiff
|
tree
2006-12-18
Sv
e
n Verdo
o
l
a
ege
gen_fun:
:
su
b
sti
t
ute:
n
orm
a
lize terms
commit
|
commitdiff
|
tree
2006-12-18
Sven Ve
r
d
oolaege
dpoly_r:
s
t
ore t
e
rms i
n
a se
t
ra
t
her than in a vect
o
r
commit
|
commitdiff
|
tree
2006-12-18
Sven Verdoolaeg
e
g
e
n_
f
un: store
terms
in a set rather t
h
an i
n
a
vector
commit
|
commitdiff
|
tree
2006-12-11
Sven Ve
r
d
o
ol
a
eg
e
lexmin: allow
emptiness check through counting
commit
|
commitdiff
|
tree
2006-12-11
Sven
V
e
r
dool
a
ege
l
exmin
.
cc: move cons
t
ruction
o
f subdom
a
ins to
e
d
omain
.
c
c
commit
|
commitdiff
|
tree
2006-12-11
Sven Ver
d
oolaege
edomain
.
cc: move sample computation completely to EDomain
commit
|
commitdiff
|
tree
2006-12-11
Sven Verdoolaege
lex
m
in
.
cc: part
i
a
l_order::c
o
m
pare: use substitution
.
.
.
commit
|
commitdiff
|
tree
2006-12-11
Sven Verdoolaege
lexmin
.
cc:
indicat
o
r::com
b
ine: mo
r
e
efficient way of
.
.
.
commit
|
commitdiff
|
tree
2006-12-11
S
ven Verdoolaege
lexmin
.
cc: keep
hea
d
s in partial order
s
eparate
commit
|
commitdiff
|
tree
2006-12-11
Sven Verdool
a
e
ge
edomain
.
cc: EDomain:
:
add_ge
_
constraint: simplif
y
new
.
.
.
commit
|
commitdiff
|
tree
2006-12-11
Sven Verd
o
olaege
lexmi
n
.
c
c
: par
t
ial
_
order::compare: add cache of comp
a
rison
.
.
.
commit
|
commitdiff
|
tree
2006-12-11
Sv
e
n Ve
r
d
o
olaege
lexm
i
n: make sure l
e
set in partial orde
r
only contains
.
.
.
commit
|
commitdiff
|
tree
2006-12-11
S
ven
Verdoola
e
ge
l
exmin: more s
a
n
i
ty chec
k
s
commit
|
commitdiff
|
tree
2006-12-11
Sven Verdoo
l
aege
lemxin: use stabl
e
ord
e
ring of
i
n
di
c
at
o
r_terms in
p
artial_or
.
.
.
commit
|
commitdiff
|
tree
2006-12-11
Sve
n
V
e
rdoo
l
aege
genfun
.
cc
:
move l
e
x_cmp to mat_util
.
cc
commit
|
commitdiff
|
tree
2006-12-11
Sve
n
Verdoolae
g
e
l
exm
i
n: ind
i
cator
:
:
combin
e
: di
r
ectly add
s
ome known
.
.
.
commit
|
commitdiff
|
tree
2006-12-11
S
v
e
n V
e
rd
o
olaege
barv
i
nok/polyli
b
.
h
:
separ
a
te in
c
lude of polylib header
commit
|
commitdiff
|
tree
2006-12-09
S
ven Verdoolaege
lex
m
in
:
o
ptionally
compute sign of affin
e
functi
o
n
.
.
.
commit
|
commitdiff
|
tree
2006-12-09
Sven Verdoolaege
lexmin: optionally
sk
i
p reduction of evalues
in domains
commit
|
commitdiff
|
tree
2006-12-09
Sven Verdoolaege
evalue_frac2floo
r
: only make ar
g
ument nonnega
t
i
ve if
.
.
.
commit
|
commitdiff
|
tree
2006-12-09
Sven Verdoolaege
lexmin: Polyhedron_not_e
m
pty:
b
e
c
a
r
eful ab
o
ut empty
.
.
.
commit
|
commitdiff
|
tree
2006-12-09
S
ven Verdoolaege
lexmin: indicator_te
r
m
:
:
is_op
p
o
si
t
e: assume numerators
.
.
.
commit
|
commitdiff
|
tree
2006-12-09
Sven Verdoolaege
remove_all_equ
a
lities: handle compress_variables returni
n
g
.
.
.
commit
|
commitdiff
|
tree
2006-12-09
Sven Verdoolae
g
e
lexm
i
n: optionally
u
s
e c
d
d during basis reduction
commit
|
commitdiff
|
tree
2006-12-09
Sven Verdo
o
laege
Polyhedro
n
_Reduced_Basis:
o
pt
i
onal
l
y use cdd to
s
olve
.
.
.
commit
|
commitdiff
|
tree
2006-12-09
Sven Ver
d
oolaege
configure
.
i
n
:
c
heck for cddlib
commit
|
commitdiff
|
tree
2006-12-09
Sven Verdoolaege
lexmin: Polyhedron_n
o
t_empty: continue removing equaliti
e
s
commit
|
commitdiff
|
tree
2006-12-09
Sven Verdoolaege
lexmin: han
d
le
equalities am
o
ng
p
arameters
commit
|
commitdiff
|
tree
2006-12-09
S
v
en
Verdoolaege
r
e
move_al
l
_equalities:
i
g
nore
i
d
e
n
tity
p
a
ramete
r
com
p
r
ession
commit
|
commitdiff
|
tree
2006-12-09
Sv
e
n
V
e
r
doo
l
aege
remove_
e
q
ualities
.
c: extracted
f
rom barvinok
.
cc
commit
|
commitdiff
|
tree
2006-12-09
Sven Verdoolaeg
e
genfun: add shor
t
_rat::normalize
commit
|
commitdiff
|
tree
2006-12-09
Sven
Verdo
o
laege
genfun: add
s
hort_rat c
o
nstructors
commit
|
commitdiff
|
tree
2006-12-09
Sven Verdoo
l
aege
evalue
.
c
:
e
val
u
e_den
o
m: impr
o
ve comment
commit
|
commitdiff
|
tree
2006-12-09
S
ven Verdoolaeg
e
lexmin
:
Polyhed
r
on_not_empty: c
h
eck result
returned
.
.
.
commit
|
commitdiff
|
tree
2006-12-07
Sven Verdo
o
laege
barvinok
.
cc: series: r
e
move equal
i
ties using Preimage
.
.
.
commit
|
commitdiff
|
tree
2006-12-07
Sven Verdoolaege
barv
i
no
k
_count: collect stats on numbe
r
of unimodular
.
.
.
commit
|
commitdiff
|
tree
2006-12-07
Sven
Verdoolaege
ut
i
l
.
c: tri
a
ngulate_cone
:
use big
g
e
r r
a
ndom
v
alues
commit
|
commitdiff
|
tree
2006-12-07
Sven Verdoolaege
s
ample
.
c: Polyhed
r
on_Re
m
o
v
eFixedColumns: copy
c
o
n
s
ta
n
ts
.
.
.
commit
|
commitdiff
|
tree
2006-12-06
Sven
V
erdoola
e
ge
bernstein: pie
c
e
wise_ls
t
::evaluate: fix typo
commit
|
commitdiff
|
tree
2006-12-06
Sven Ve
r
doolaege
configure
.
in
:
only add -lbernstein to barvinok
.
pc if
.
.
.
commit
|
commitdiff
|
tree
2006-11-13
Sven Verdoolaege
c
o
nfigure
.
i
n
:
re
n
ame --with-ginac to -
-
witho
u
t
-
bernstein
commit
|
commitdiff
|
tree
2006-11-10
Sven Verdoolaege
c
on
f
i
gure
.
i
n
:
allo
w
buil
d
wi
t
h
o
ut GiN
a
C (and
th
e
refo
r
e
.
.
.
commit
|
commitdiff
|
tree
next