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
barvinok_enumerate: use argp
2007-01-05
Sv
e
n V
e
rd
o
olaege
b
arvinok
_
enumerate: u
s
e argp
commit
|
commitdiff
|
tree
2007-01-05
Sven Verdoolaeg
e
lexmin: m
a
ke lexmin options
p
rivat
e
commit
|
commitdiff
|
tree
2007-01-05
S
v
en Verdoolaege
Revert "bern
s
tein/configure
.
in: remove redunda
n
t chang
e
.
.
.
commit
|
commitdiff
|
tree
2007-01-05
Sven Ver
d
oo
l
aeg
e
b
a
rvinok
.
cc
:
ma
k
e use o
f
sampling for countin
g
i
n
finite
.
.
.
commit
|
commitdiff
|
tree
2007-01-05
Sven Ver
d
oolaege
barvinok_enume
r
ate_
e
: respect --table option
commit
|
commitdiff
|
tree
2007-01-05
Sven Verdoolaege
lexmin
.
cc: move selec
t
ion of
g
b
r solver to o
p
tions
.
c
commit
|
commitdiff
|
tree
2007-01-05
Sven
Verdoolaege
lexmin: use argp
commit
|
commitdiff
|
tree
2007-01-04
Sven Ve
r
doola
e
ge
barvinok
_
en
u
mera
t
e_e: extract out verification options
commit
|
commitdiff
|
tree
2007-01-04
Sven
Ve
r
doolaege
b
arvinok_e
n
umera
t
e_e: print warning when -
-
omega or
.
.
.
commit
|
commitdiff
|
tree
2007-01-04
Sven Verdoo
l
aege
bernst
e
i
n/configure
.
i
n: rem
o
v
e redu
n
dant chang
e
to
.
.
.
commit
|
commitdiff
|
tree
2007-01-04
Sven Ver
d
oolaege
barvino
k
/
p
o
lylib
.
h
: defi
n
e valu
e
_subtract and value_addmul
.
.
.
commit
|
commitdiff
|
tree
2007-01-04
Sven
Verdoolaege
decom
p
os
e
r
.
c
c
:
de
c
omp
o
se: m
i
cro-o
p
timization
commit
|
commitdiff
|
tree
2007-01-04
Sven Verd
o
olaege
signed_co
n
e: store ra
y
s
o
f
cone
commit
|
commitdiff
|
tree
2007-01-04
Hara
l
d D
e
vos
omega/
p
arser
.
y: remove br
a
ckets ar
o
un
d
type in new
commit
|
commitdiff
|
tree
2007-01-03
Sven
V
e
rdoolaege
lexmin: disable use of l
o
o
kup-tables
commit
|
commitdiff
|
tree
2007-01-03
Sven Verdoolaege
b
ar
v
inok_enumerate_e
.
cc: fix
a
rgp opt
i
ons parser
commit
|
commitdiff
|
tree
2007-01-03
Sven Verdoola
e
ge
options
.
c:
m
o
v
e choice of
use of looku
p
-table to ba
r
vinok_op
.
.
.
commit
|
commitdiff
|
tree
2007-01-03
Sven
V
e
rdoolaege
lattice_p
o
i
nt
.
cc:
f
ix #ifnde
f
U
S
E_M
O
D
U
LO code path
commit
|
commitdiff
|
tree
2007-01-03
S
v
e
n
Verdool
a
ege
decomposer
.
cc: short
_
v
e
ctor:
r
emove redunda
n
t code
commit
|
commitdiff
|
tree
2007-01-03
S
v
e
n Verdo
o
la
e
g
e
decompo
s
er
.
cc
:
sho
r
t
_vect
o
r: negat
e
l
a
mbda if z is
.
.
.
commit
|
commitdiff
|
tree
2007-01-03
Sven Verdoo
l
aege
barvinok
.
c
c
: series: o
n
ly requi
r
e rays to b
e
rev
l
ex
.
.
.
commit
|
commitdiff
|
tree
2007-01-03
S
v
e
n
Ve
r
doolaege
barvinok
.
c
c
: s
e
ries: p
a
ss fu
l
l
o
p
tions
t
o barvinok_count
commit
|
commitdiff
|
tree
2007-01-03
Sven V
e
r
doolaege
np_base
:
:handle: pass aro
u
n
d
rays mat
r
ix
ins
t
ead of
.
.
.
commit
|
commitdiff
|
tree
2007-01-03
S
v
e
n
Verdo
o
laeg
e
dec
o
mposer
.
c
c
:
s
upport
prim
a
l
de
c
omposition
commit
|
commitdiff
|
tree
2007-01-03
Sven Verdoo
l
a
ege
decom
p
oser
.
c
c:
b
a
rvinok_deco
m
pose: implement in terms
.
.
.
commit
|
commitdiff
|
tree
2007-01-03
Sven Verdool
a
ege
barvinok_en
u
m
e
rate: respe
c
t incrementa
l
_
s
pecializati
o
n
.
.
.
commit
|
commitdiff
|
tree
2007-01-03
S
v
en Verdoolaege
intr
o
duce signed_cone struct
commit
|
commitdiff
|
tree
2007-01-03
Sven Verdoolaege
separ
a
te o
u
t deco
m
position
commit
|
commitdiff
|
tree
2007-01-03
Sven Verdo
o
l
a
e
g
e
tes
t
: use arg
p
parser
commit
|
commitdiff
|
tree
2006-12-28
S
v
en Verdoolae
g
e
update ar
g
p from
g
nuli
b
and add
p
rogname mo
d
u
le
commit
|
commitdiff
|
tree
2006-12-27
S
v
en Ve
r
doolae
g
e
b
a
rvinok_enumera
t
e_e
.
cc: don't exit
on
u
nrecognized
.
.
.
commit
|
commitdiff
|
tree
2006-12-27
Sven Verdoolaege
lib/argp
.
h: re
m
o
v
e
_
_NTH for __argp_usage inlin
e
f
unction
commit
|
commitdiff
|
tree
2006-12-27
Sven V
e
r
d
o
olaeg
e
barvinok_enumerate_e
.
cc
:
remove another duplicate defi
n
ition
.
.
.
commit
|
commitdiff
|
tree
2006-12-27
Sven Verdoolaege
b
arv
i
nok_enum
e
rate
_
e:
use argp parser
commit
|
commitdiff
|
tree
2006-12-27
Sven Verd
o
olaege
barv
i
nok_count: use
argp parser
commit
|
commitdiff
|
tree
2006-12-26
S
v
e
n V
e
rdoolaege
opt
i
ons
.
c
:
add
a
rgp pars
e
commit
|
commitdiff
|
tree
2006-12-26
Sven Verd
o
olaege
add argp from gnul
i
b
commit
|
commitdiff
|
tree
2006-12-26
S
ve
n
Verd
o
olaege
s
carf
.
cc: make
c
omp
a
tible with old
e
r versions of PolyLib
commit
|
commitdiff
|
tree
2006-12-26
Sven
Verdoolae
g
e
add mi
s
sing
assert
.
h #includes
commit
|
commitdiff
|
tree
2006-12-26
S
v
e
n Verdoolae
g
e
Mak
e
file
.
a
m:
add
r
emove_e
q
ualities
.
h to distrib
u
tion
commit
|
commitdiff
|
tree
2006-12-26
Sven Verdoolaege
configure
.
in
:
o
n
ly c
o
nfigure berns
t
ein
i
f GiNaC w
a
s
.
.
.
commit
|
commitdiff
|
tree
2006-12-22
Sven Verdoolae
g
e
bernstei
n
: configure
.
in
:
check for GiNaC
commit
|
commitdiff
|
tree
2006-12-19
S
v
e
n Verdo
o
l
a
eg
e
bernstein:
remo
v
e
e
xtra qualificati
o
n
s from polynomial
.
.
.
commit
|
commitdiff
|
tree
2006-12-19
Sv
e
n Verdoo
l
ae
g
e
berns
t
ein/src/main
.
cpp:
r
emove red
u
ndant include
commit
|
commitdiff
|
tree
2006-12-18
Sven Ver
d
oo
l
a
ege
short_ra
t
::normalize: make powers in the den
o
mina
t
o
r
.
.
.
commit
|
commitdiff
|
tree
2006-12-18
S
ve
n
Verdoolaege
gen_fun::su
b
stitute: normalize terms
commit
|
commitdiff
|
tree
2006-12-18
Sve
n
V
e
rdoolaege
d
poly_r: st
o
re
t
e
rms in a set rather than i
n
a vector
commit
|
commitdiff
|
tree
2006-12-18
S
ven
V
erd
o
olaege
g
en
_
fun: store ter
m
s i
n
a set rath
e
r than in a vector
commit
|
commitdiff
|
tree
2006-12-11
Sven Verdoolaege
lexmin:
a
llow emptiness check
t
hrou
g
h counting
commit
|
commitdiff
|
tree
2006-12-11
Sven Verdoola
e
ge
lexmin
.
cc: move const
r
uction o
f
subdomains to e
d
omain
.
c
c
commit
|
commitdiff
|
tree
2006-12-11
Sven V
e
rdo
o
laege
edomain
.
cc:
move sample compu
t
ation com
p
l
e
te
l
y
to
E
Domain
commit
|
commitdiff
|
tree
2006-12-11
Sven
Verdoolaege
lexmin
.
cc: partial
_
order::comp
a
r
e
:
u
se s
u
bstitution
.
.
.
commit
|
commitdiff
|
tree
2006-12-11
S
v
en Verdoolaege
lexmin
.
cc
:
i
n
d
ic
a
tor::combine: more efficie
n
t way of
.
.
.
commit
|
commitdiff
|
tree
2006-12-11
S
v
en Verdoolaege
lexmin
.
c
c
:
kee
p
heads
i
n partial order separate
commit
|
commitdiff
|
tree
2006-12-11
Sve
n
Ve
r
doola
e
g
e
edomain
.
c
c:
E
D
omai
n
:
:a
d
d
_ge_constra
i
nt
:
si
m
plify new
.
.
.
commit
|
commitdiff
|
tree
2006-12-11
Sven Verdoo
l
aege
l
exmin
.
cc: partial_ord
e
r::com
p
are: a
d
d cache of comparison
.
.
.
commit
|
commitdiff
|
tree
2006-12-11
Sven Ver
d
oo
l
aege
lexmin: make sur
e
le set in pa
r
tial order
only contain
s
.
.
.
commit
|
commitdiff
|
tree
2006-12-11
Sven V
e
rd
o
olaege
lexmin: m
o
re
san
i
ty checks
commit
|
commitdiff
|
tree
2006-12-11
Sven Verdoolaege
lemxin: use s
t
able orde
r
ing o
f
ind
i
c
a
tor_te
r
ms
i
n
p
a
rtial_or
.
.
.
commit
|
commitdiff
|
tree
2006-12-11
S
v
en Verdool
a
e
g
e
g
e
n
fun
.
c
c:
move lex_cmp to mat_u
t
il
.
cc
commit
|
commitdiff
|
tree
2006-12-11
Sven Verdoo
l
aege
lexmin:
indicato
r
:
:
combin
e
: direct
l
y a
d
d so
m
e
known
.
.
.
commit
|
commitdiff
|
tree
2006-12-11
Sven Verd
o
olaege
b
arv
i
nok/polylib
.
h: separate
i
nclud
e
of
p
o
l
ylib header
commit
|
commitdiff
|
tree
2006-12-09
Sven Verdool
a
ege
lex
m
in:
o
p
tionally compute
s
i
g
n of affine f
u
ncti
o
n
.
.
.
commit
|
commitdiff
|
tree
2006-12-09
Sv
e
n
Verdoolaege
lexm
i
n: optional
l
y
s
kip red
u
ction of
e
v
alues in do
m
ains
commit
|
commitdiff
|
tree
2006-12-09
Sve
n
Verdoolae
g
e
eva
l
ue_frac2floor: o
n
l
y
make argumen
t
n
onnegative i
f
.
.
.
commit
|
commitdiff
|
tree
2006-12-09
Sven
Verdoolaege
lex
m
in:
Poly
h
edron_not_
e
mpty: be careful ab
o
ut empty
.
.
.
commit
|
commitdiff
|
tree
2006-12-09
S
ven Ve
r
doolaege
l
exmin:
i
ndi
c
ator_ter
m
::is_opposite
:
assume numera
t
ors
.
.
.
commit
|
commitdiff
|
tree
2006-12-09
S
v
en Verdoolaege
re
m
ove_a
l
l
_
equalitie
s
: h
a
ndle compress
_
v
ariables returni
n
g
.
.
.
commit
|
commitdiff
|
tree
2006-12-09
Sve
n
Verdo
o
laege
lexmin: optio
n
ally use cdd durin
g
basis reducti
o
n
commit
|
commitdiff
|
tree
2006-12-09
Sv
e
n
V
erdool
a
ege
P
o
lyhedron_Reduced_Bas
i
s: opt
i
ona
l
ly use
c
dd
t
o s
o
lve
.
.
.
commit
|
commitdiff
|
tree
2006-12-09
Sven Verdoolaege
configure
.
in: check for cdd
l
ib
commit
|
commitdiff
|
tree
2006-12-09
Sven Verdoolaege
lexmin
:
Polyhedron_not_em
p
ty: conti
n
u
e
removing equalities
commit
|
commitdiff
|
tree
2006-12-09
Sven Verdoolaege
lexmin: hand
l
e equalities
a
mong pa
r
ameters
commit
|
commitdiff
|
tree
2006-12-09
Sv
e
n
Verdoolaeg
e
remove_all_e
q
ualities: ignore identity parameter compress
i
on
commit
|
commitdiff
|
tree
2006-12-09
Sve
n
Verdoolaege
remove_equalities
.
c: extrac
t
e
d
fro
m
b
arvinok
.
cc
commit
|
commitdiff
|
tree
2006-12-09
Sven Verdoo
l
a
e
ge
genfun: add short_rat
:
:norma
l
i
z
e
commit
|
commitdiff
|
tree
2006-12-09
Sven V
e
rdoolaege
genfun: add short_rat cons
t
ructor
s
commit
|
commitdiff
|
tree
2006-12-09
Sve
n
V
e
rdool
a
eg
e
evalue
.
c
:
e
value_denom
:
im
p
rove comment
commit
|
commitdiff
|
tree
2006-12-09
S
v
en
Verdoolae
g
e
lexmin: Pol
y
hedron_n
o
t_e
m
pty: c
h
eck
result returned
.
.
.
commit
|
commitdiff
|
tree
2006-12-07
S
ven Verd
o
olaege
barv
i
nok
.
cc
:
se
r
ies: remov
e
equali
t
i
es using Preimage
.
.
.
commit
|
commitdiff
|
tree
2006-12-07
S
ven Verdoo
l
aege
barvinok_
c
ou
n
t: col
l
ect stats on nu
m
ber of u
n
im
o
dular
.
.
.
commit
|
commitdiff
|
tree
2006-12-07
Sven Verdoola
e
g
e
util
.
c: triangulate_cone:
use bi
g
ger random val
u
es
commit
|
commitdiff
|
tree
2006-12-07
Sven
V
erdoolaege
sample
.
c: Polyh
e
dron_RemoveFixedC
o
lumns: c
o
py constants
.
.
.
commit
|
commitdiff
|
tree
2006-12-06
Sven Ve
r
doolaege
berns
t
ein:
piecewis
e
_l
s
t::evaluate: fix t
y
po
commit
|
commitdiff
|
tree
2006-12-06
Sv
e
n Verdoolae
g
e
c
onfi
g
ure
.
in: only add -lbernstein to bar
v
i
nok
.
pc if
.
.
.
commit
|
commitdiff
|
tree
2006-11-13
Sven Verdoolaege
con
f
ig
u
re
.
i
n
: rename --
w
ith-ginac to -
-
without-b
e
rnste
i
n
commit
|
commitdiff
|
tree
2006-11-10
S
ven Verd
o
olae
g
e
con
f
igure
.
in: allow build
w
ithout G
i
Na
C
(
a
nd therefore
.
.
.
commit
|
commitdiff
|
tree
2006-11-10
Sven Verdoolaege
con
f
igure
.
in: add -
l
ber
n
stein to barvin
o
k
.
pc if it
.
.
.
commit
|
commitdiff
|
tree
2006-11-09
Sven Verdoolaege
util
.
c:
compress_va
r
iab
l
e
s: correct c
h
eck for scaling
commit
|
commitdiff
|
tree
2006-11-09
Sven
Ve
r
d
oo
l
a
e
g
e
u
til
.
c: some d
o
cum
e
nt
a
ti
o
n
for co
m
pre
s
s_varia
b
les
commit
|
commitdiff
|
tree
2006-11-09
Sven
Verdoolae
g
e
verif_ehrhar
t
:
add --pri
n
t-all option
t
o replace
P
RINT_ALL_
R
.
.
.
commit
|
commitdiff
|
tree
2006-11-09
Sven Verdoolaege
mat_util:
m
ake arguments
o
f lex_cmp con
s
t
commit
|
commitdiff
|
tree
2006-11-09
Sv
e
n Ver
d
oolae
g
e
add AUTHORS f
i
le
commit
|
commitdiff
|
tree
2006-10-31
Sven Verdoo
l
a
e
g
e
b
ump version
commit
|
commitdiff
|
tree
2006-10-31
Sven
Ve
r
d
oolaege
Makefile
.
am: make sure correct file
s
are incl
u
ded in
.
.
.
commit
|
commitdiff
|
tree
2006-10-31
Sv
e
n
Verdoolaege
doc:
mention rest
r
iction of barvin
o
k_enu
m
erate_sc
a
rf
_
series
commit
|
commitdiff
|
tree
2006-10-31
Sven Ver
d
oolaege
d
o
c: minimal doc
u
mentation f
o
r th
e
l
exmin appli
c
ation
commit
|
commitdiff
|
tree
2006-10-31
Sven V
e
rdoolaege
bernst
e
in
/
configure
.
i
n: set AC
_
CONFIG_AUX_DIR
t
o b
e
rnstein
.
.
.
commit
|
commitdiff
|
tree
2006-10-31
Sven Verd
o
olaege
do
c
:
do
c
ument
polyt
o
pe_sample
commit
|
commitdiff
|
tree
2006-10-31
Sven Verdoo
l
a
ege
doc
:
document
p
olyhe
d
ron_sampl
e
commit
|
commitdiff
|
tree
next