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_e: extract out verification options
2007-01-04
Sven Verdoola
e
ge
bar
v
i
nok_enumerate_e
:
e
x
trac
t
out verification options
commit
|
commitdiff
|
tree
2007-01-04
Sv
e
n Ver
d
oola
e
ge
bar
v
i
nok_
e
num
e
rate_
e
: print warning when --o
m
ega or
.
.
.
commit
|
commitdiff
|
tree
2007-01-04
Sven Verdoolaeg
e
ba
r
vinok/pol
y
l
i
b
.
h
:
d
ef
i
n
e va
l
ue_subtract
a
nd
v
alu
e
_addmul
.
.
.
commit
|
commitdiff
|
tree
2007-01-04
Sven Verdool
a
e
ge
decomposer
.
cc: decompose: micro-optimization
commit
|
commitdiff
|
tree
2007-01-04
Sven Verdoolaege
signed_cone: store rays of cone
commit
|
commitdiff
|
tree
2007-01-03
Sven Ver
d
oolaege
lexmin:
d
isable use
of l
o
okup-tables
commit
|
commitdiff
|
tree
2007-01-03
Sven Verdoolaege
barvinok_
e
numerate
_
e
.
cc: fix argp options pa
r
ser
commit
|
commitdiff
|
tree
2007-01-03
S
v
en Verd
o
olaeg
e
options
.
c: move choi
c
e of us
e
of lookup-table t
o
barvi
n
o
k
_op
.
.
.
commit
|
commitdiff
|
tree
2007-01-03
Sven
Ver
d
ool
a
ege
lat
t
ice_point
.
c
c
:
f
ix #ifnd
e
f
USE_MO
D
U
LO code
path
commit
|
commitdiff
|
tree
2007-01-03
S
v
en
V
erdoolaege
d
e
c
ompo
s
er
.
cc: short_vector: re
m
ove re
d
u
n
dant code
commit
|
commitdiff
|
tree
2007-01-03
Sven V
e
rdoolaege
decomposer
.
cc: short_
v
e
ctor: nega
t
e lambda if z is
.
.
.
commit
|
commitdiff
|
tree
2007-01-03
S
ven Verdoo
l
aege
b
a
rvinok
.
cc: series
:
only requi
r
e rays
to
be revlex
.
.
.
commit
|
commitdiff
|
tree
2007-01-03
S
v
en Ver
d
o
olaege
barvinok
.
c
c: series: pass fu
l
l
o
ptions to ba
r
vin
o
k_coun
t
commit
|
commitdiff
|
tree
2007-01-03
Sv
e
n Verdool
a
ege
np_base:
:
handle: pa
s
s around ray
s
matrix
instead of
.
.
.
commit
|
commitdiff
|
tree
2007-01-03
Sven V
e
rdoolaege
deco
m
poser
.
cc: sup
p
o
rt prim
a
l decom
p
osition
commit
|
commitdiff
|
tree
2007-01-03
Sv
e
n Verdoolaege
decompos
e
r
.
cc: barvi
n
ok_de
c
ompose: impl
e
men
t
in
t
erms
.
.
.
commit
|
commitdiff
|
tree
2007-01-03
S
v
en V
e
rdoolaege
barvinok_enumerate: resp
e
ct incremental_spe
c
ialization
.
.
.
commit
|
commitdiff
|
tree
2007-01-03
Sven Ve
r
d
o
o
l
aege
introduce signed_co
n
e struct
commit
|
commitdiff
|
tree
2007-01-03
Sven Ver
d
oolaege
s
epara
t
e out deco
m
position
commit
|
commitdiff
|
tree
2007-01-03
Sven Ve
r
dool
a
ege
test: use a
r
gp parser
commit
|
commitdiff
|
tree
2006-12-28
Sven Verdoola
e
ge
update argp f
r
o
m
g
n
ulib
and add progname module
commit
|
commitdiff
|
tree
2006-12-27
Sven V
e
rdool
a
ege
barvinok_enumerat
e
_
e
.
c
c:
d
o
n't exit on un
r
eco
g
niz
e
d
.
.
.
commit
|
commitdiff
|
tree
2006-12-27
Sv
e
n
Verd
o
o
l
aege
lib/ar
g
p
.
h:
r
emove
_
_NTH f
o
r __
a
rg
p
_usa
g
e
i
n
line function
commit
|
commitdiff
|
tree
2006-12-27
Sven V
e
rdoolaege
bar
v
inok
_
e
n
umerat
e
_e
.
cc: remove another duplicat
e
definition
.
.
.
commit
|
commitdiff
|
tree
2006-12-27
Sve
n
Verdoolaege
barvinok_en
u
merate_e: use argp parser
commit
|
commitdiff
|
tree
2006-12-27
Sven Verd
o
olaege
ba
r
vinok_c
o
unt: us
e
argp parser
commit
|
commitdiff
|
tree
2006-12-26
Sven Ve
r
dool
a
ege
options
.
c: add argp par
s
e
commit
|
commitdiff
|
tree
2006-12-26
Sven Verdo
o
laege
add argp from gnulib
commit
|
commitdiff
|
tree
2006-12-26
S
v
en Verdoolaege
scarf
.
cc: m
a
ke compa
t
ibl
e
w
i
th old
e
r
v
ersions of PolyLib
commit
|
commitdiff
|
tree
2006-12-26
S
v
e
n Verdoolaege
a
dd missing a
s
sert
.
h
#
i
n
clu
d
es
commit
|
commitdiff
|
tree
2006-12-26
Sven Verdoolaege
Makefi
l
e
.
am: add rem
o
ve_equal
i
ties
.
h to distribution
commit
|
commitdiff
|
tree
2006-12-26
Sven Verdool
a
ege
configure
.
in: only
c
o
nfigu
r
e bernstein
i
f GiNaC w
a
s
.
.
.
commit
|
commitdiff
|
tree
2006-12-22
S
v
e
n
Verdoolaege
bernstei
n
: c
o
n
f
ig
u
re
.
in:
check for GiNaC
commit
|
commitdiff
|
tree
2006-12-19
Sven Ve
r
dool
a
ege
bernste
i
n
:
remove
ext
r
a qualificat
i
ons from polynom
i
al
.
.
.
commit
|
commitdiff
|
tree
2006-12-19
Sven
V
erdoolaege
ber
n
stein/s
r
c/main
.
cpp
:
re
m
ove redu
n
dant include
commit
|
commitdiff
|
tree
2006-12-18
Sven V
e
rdoolaege
short_rat:
:
normalize: m
a
k
e
powers in the denominator
.
.
.
commit
|
commitdiff
|
tree
2006-12-18
S
ven Ve
r
doolaege
gen_fun::s
u
b
s
t
itute
:
normalize terms
commit
|
commitdiff
|
tree
2006-12-18
Sven Verd
o
o
l
aege
d
p
oly_r: store terms in a set rather than in a
v
ector
commit
|
commitdiff
|
tree
2006-12-18
Sv
e
n Verdoola
e
ge
gen_f
u
n: stor
e
t
erms in a s
e
t
ra
t
her than in a vector
commit
|
commitdiff
|
tree
2006-12-11
Sven
Verdoolaege
lexmin:
a
llow emptiness
c
heck through cou
n
ting
commit
|
commitdiff
|
tree
2006-12-11
Sv
e
n Ver
d
oolaege
lexmi
n
.
cc:
move construction of subdomai
n
s
to edomain
.
cc
commit
|
commitdiff
|
tree
2006-12-11
Sven Verd
o
olaege
edomain
.
cc:
m
ove sam
p
le compu
t
a
t
ion c
o
mpl
e
tely to EDomain
commit
|
commitdiff
|
tree
2006-12-11
Sven Verdoolaege
l
e
xmin
.
c
c
: partial_order::compare: us
e
subs
t
itution
.
.
.
commit
|
commitdiff
|
tree
2006-12-11
S
v
en Verdoola
e
ge
le
x
mi
n
.
cc: indicator::co
m
bine: more
e
f
f
icient w
a
y
o
f
.
.
.
commit
|
commitdiff
|
tree
2006-12-11
Sve
n
Ver
d
oolaeg
e
l
e
xm
i
n
.
c
c
:
k
eep h
e
ads in parti
a
l or
d
e
r separa
t
e
commit
|
commitdiff
|
tree
2006-12-11
Sven Ve
r
doolaege
ed
o
main
.
c
c
: EDo
m
ain::add_ge_constraint:
s
implify new
.
.
.
commit
|
commitdiff
|
tree
2006-12-11
Sven Verdoola
e
ge
lexmi
n
.
cc
:
partial_ord
e
r::compare: add
cache of c
o
mpar
i
son
.
.
.
commit
|
commitdiff
|
tree
2006-12-11
Sven Verdo
o
l
aege
lexmin:
m
ake
s
ure le se
t
in
p
artial order
o
nly contai
n
s
.
.
.
commit
|
commitdiff
|
tree
2006-12-11
Sven Verdoola
e
ge
lexmin:
m
or
e
s
a
ni
t
y checks
commit
|
commitdiff
|
tree
2006-12-11
Sven Verdoolaege
lem
x
in
:
use sta
b
le or
d
ering of indicato
r
_te
r
m
s
in p
a
rtia
l
_or
.
.
.
commit
|
commitdiff
|
tree
2006-12-11
Sven Verdoolaege
genfun
.
cc: move lex_cm
p
t
o ma
t
_util
.
cc
commit
|
commitdiff
|
tree
2006-12-11
Sven Verdool
a
e
g
e
lexmin: indicator::
c
ombine: directl
y
add some kn
o
wn
.
.
.
commit
|
commitdiff
|
tree
2006-12-11
Sven Ver
d
oolaege
barvi
n
ok
/
polylib
.
h: sepa
r
ate
incl
u
de of polylib heade
r
commit
|
commitdiff
|
tree
2006-12-09
S
ven Ve
r
doolaege
lexmin
:
optio
n
a
l
l
y
compute sign of affine f
u
nction
.
.
.
commit
|
commitdiff
|
tree
2006-12-09
Sven Ver
d
oolaege
lexm
i
n: o
p
tionally s
k
ip red
u
ction of
e
values in dom
a
ins
commit
|
commitdiff
|
tree
2006-12-09
Sven Ver
d
oolaege
eval
u
e_frac2flo
o
r: onl
y
make
argument nonnegative if
.
.
.
commit
|
commitdiff
|
tree
2006-12-09
Sven Verdool
a
ege
lexmi
n
: Polyhedron_not
_
em
p
ty:
b
e careful about e
m
pty
.
.
.
commit
|
commitdiff
|
tree
2006-12-09
S
v
en Verdoolaege
lexmin: indicat
o
r
_
te
r
m::
i
s_oppo
s
i
t
e: a
s
sume numerators
.
.
.
commit
|
commitdiff
|
tree
2006-12-09
Sven
Verdo
o
l
a
e
ge
remove_a
l
l_equalities:
h
andle compress_
v
a
r
iables returning
.
.
.
commit
|
commitdiff
|
tree
2006-12-09
Sven V
e
rdoolaege
lexm
i
n: opt
i
onally
u
se cdd duri
n
g basis r
e
d
uction
commit
|
commitdiff
|
tree
2006-12-09
Sven Verdoolaege
Polyh
e
dro
n
_Reduced_Basis
:
optiona
l
l
y use cdd to solve
.
.
.
commit
|
commitdiff
|
tree
2006-12-09
Sven Verdoolaege
co
n
figure
.
in
:
check for cddlib
commit
|
commitdiff
|
tree
2006-12-09
Sven V
e
rdoolaege
lex
m
i
n
:
Poly
h
edron_not_emp
t
y: continue rem
o
vi
n
g equ
a
lities
commit
|
commitdiff
|
tree
2006-12-09
Sven V
e
rdoolaege
lexmin: ha
n
dle equal
i
t
i
es among parameters
commit
|
commitdiff
|
tree
2006-12-09
Sven Ve
r
d
oolae
g
e
remove_
a
l
l_equalities: ig
n
ore
i
dentity
p
arameter
compres
s
ion
commit
|
commitdiff
|
tree
2006-12-09
Sven Ver
d
oola
e
ge
remove_equalitie
s
.
c
: e
x
tracted f
r
o
m barvinok
.
cc
commit
|
commitdiff
|
tree
2006-12-09
S
ven Verdo
o
laege
g
e
n
fun: add
short_rat::no
r
m
alize
commit
|
commitdiff
|
tree
2006-12-09
Sven Verdoolaege
ge
n
fun
:
add short_rat constructors
commit
|
commitdiff
|
tree
2006-12-09
Sven Verd
o
olaege
evalu
e
.
c: evalue_denom:
i
mpr
o
ve comm
e
nt
commit
|
commitdiff
|
tree
2006-12-09
Sven Ve
r
do
o
laege
l
exmin: Pol
y
hedron_no
t
_e
m
pty: c
h
eck res
u
lt
ret
u
r
ned
.
.
.
commit
|
commitdiff
|
tree
2006-12-07
Sven Verdoola
e
ge
bar
v
inok
.
cc: series: remove eq
u
alit
i
es using Preim
a
ge
.
.
.
commit
|
commitdiff
|
tree
2006-12-07
Sv
e
n
Ve
r
d
oolaege
bar
v
inok
_
count:
collect st
a
ts on
number of unim
o
dular
.
.
.
commit
|
commitdiff
|
tree
2006-12-07
Sven
Verdoolaege
util
.
c
:
t
ria
n
gulate_cone: use bigger ra
n
d
om v
a
lues
commit
|
commitdiff
|
tree
2006-12-07
Sven Verdoolae
g
e
sample
.
c
:
Po
l
yhed
r
on_RemoveFixedColumns: copy con
s
t
a
nts
.
.
.
commit
|
commitdiff
|
tree
2006-12-06
Sven Ve
r
do
o
la
e
ge
bernstei
n
:
p
iecewise
_
lst::ev
a
luate
:
fix
t
ypo
commit
|
commitdiff
|
tree
2006-12-06
Sven
Verdoolaege
configure
.
i
n: o
n
ly add -lber
n
stein to
barvin
o
k
.
pc if
.
.
.
commit
|
commitdiff
|
tree
2006-11-13
Sven Verdo
o
lae
g
e
config
u
r
e
.
in: rename -
-
with-ginac to --without-bernstein
commit
|
commitdiff
|
tree
2006-11-10
Sven Ver
d
oo
l
a
e
ge
configur
e
.
in: all
o
w
bu
i
ld without
G
iNaC (and th
e
refore
.
.
.
commit
|
commitdiff
|
tree
2006-11-10
S
ven Verdoolaege
c
onfigure
.
in: add -lbernstein to barvinok
.
pc i
f
it
.
.
.
commit
|
commitdiff
|
tree
2006-11-09
Sven
Verdoolaege
util
.
c
: comp
r
es
s
_variables: corre
c
t check for scaling
commit
|
commitdiff
|
tree
2006-11-09
Sven Verdool
a
ege
ut
i
l
.
c
: som
e
do
c
umentation for compre
s
s
_varia
b
les
commit
|
commitdiff
|
tree
2006-11-09
Sven Verd
o
ol
a
ege
verif_ehrhart
:
add --p
r
in
t
-all option to replac
e
PRINT_AL
L
_R
.
.
.
commit
|
commitdiff
|
tree
2006-11-09
Sven Verdool
a
e
ge
ma
t
_
util: make argument
s
of lex_c
m
p
const
commit
|
commitdiff
|
tree
2006-11-09
S
ven Verdoolaege
a
d
d
AUTHORS file
commit
|
commitdiff
|
tree
2006-10-31
Sven Verdoolaege
bu
m
p version
commit
|
commitdiff
|
tree
2006-10-31
Sven Verdoolaege
Makefile
.
am: make sure
c
orrect
files are included in
.
.
.
commit
|
commitdiff
|
tree
2006-10-31
Sven
Verdoolae
g
e
doc: mentio
n
restriction of barvinok_enumer
a
te_scarf_seri
e
s
commit
|
commitdiff
|
tree
2006-10-31
S
ven Verdool
a
ege
doc:
m
ini
m
a
l
doc
u
m
e
ntation f
o
r
the
lexmi
n
application
commit
|
commitdiff
|
tree
2006-10-31
Sven Verdoo
l
aege
bernstein/co
n
figure
.
in
:
set AC_
C
ON
F
IG_AUX_DIR to be
r
nstein
.
.
.
commit
|
commitdiff
|
tree
2006-10-31
Sv
e
n
Ve
r
doolaege
doc
:
docu
m
ent polyto
p
e_sample
commit
|
commitdiff
|
tree
2006-10-31
S
ven Verdo
o
l
a
e
ge
d
o
c:
d
o
cume
n
t polyhedron_sample
commit
|
commitdiff
|
tree
2006-10-31
Sven Verdoo
l
aege
d
oc: i
n
clude b
a
rvinok
l
i
b
ra
r
y ver
s
io
n
i
n
ti
t
le
commit
|
commitdiff
|
tree
2006-10-31
Sven
V
erdoolaege
conf
i
gure
.
in: fix
t
y
po
commit
|
commitdiff
|
tree
2006-10-31
S
v
en Ve
r
doolaege
doc: bib: name Ke
v
i
n M
.
W
o
ods
c
on
s
istently
commit
|
commitdiff
|
tree
2006-10-31
Sven
V
erdoolaege
doc:
d
oc
u
m
ent
e
xtra occ operati
o
ns
commit
|
commitdiff
|
tree
2006-10-31
Sven
V
erdoolaege
doc: updat
e
gen_fun documenta
t
ion
commit
|
commitdiff
|
tree
2006-10-31
Sven
V
er
d
oolaege
doc
:
r
eflect cha
n
ge of argument type of eadd
commit
|
commitdiff
|
tree
2006-10-31
Sven
Verdool
a
ege
doc: d
o
cument barvinok_enumerat
e
_scarf
commit
|
commitdiff
|
tree
2006-10-31
Sven Verdoolaege
d
o
c: add an
o
ther p
a
per refering to bar
v
inok
commit
|
commitdiff
|
tree
2006-10-31
Sven V
e
rdoolaege
doc
:
typos
commit
|
commitdiff
|
tree
next