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
remove_all_equalities: handle compress_variables returning empty polytope
2006-12-09
Sven Verdoolae
g
e
r
emove_a
l
l_e
q
ualities
:
h
an
d
l
e
compress_variables returning
.
.
.
commit
|
commitdiff
|
tree
2006-12-09
Sven Verdool
a
ege
lexmin:
optionally use cdd during basis red
u
cti
o
n
commit
|
commitdiff
|
tree
2006-12-09
Sven Verdoola
e
ge
P
olyhedron_Reduce
d
_Basis
:
opti
o
nally use cdd
to solve
.
.
.
commit
|
commitdiff
|
tree
2006-12-09
S
ven
V
erdoolaege
configu
r
e
.
i
n
: check for cddlib
commit
|
commitdiff
|
tree
2006-12-09
Sven Ve
r
doolaege
lexmin: Polyhedron_no
t
_
e
mpty:
con
t
i
n
ue removin
g
equal
i
tie
s
commit
|
commitdiff
|
tree
2006-12-09
Sven Verd
o
olaege
lexmin: handle eq
u
a
l
i
t
i
es amon
g
para
m
ete
r
s
commit
|
commitdiff
|
tree
2006-12-09
Sven
V
erdoolaeg
e
remove
_
all_equalities: ignor
e
ident
i
ty parameter compressi
o
n
commit
|
commitdiff
|
tree
2006-12-09
Sven Verdoolaege
re
m
ove_eq
u
alities
.
c: ex
t
racted from barv
i
nok
.
cc
commit
|
commitdiff
|
tree
2006-12-09
Sven Verd
o
olaege
genf
u
n: add short_rat
:
:normalize
commit
|
commitdiff
|
tree
2006-12-09
Sve
n
Verdoolaege
gen
f
un: add shor
t
_
r
at constructo
r
s
commit
|
commitdiff
|
tree
2006-12-09
Sve
n
V
e
rdoola
e
g
e
evalue
.
c:
evalue
_
denom
:
i
m
prove comment
commit
|
commitdiff
|
tree
2006-12-09
Sven Verdoo
l
aege
lexmin: Polyhedro
n
_not_emp
t
y:
check
r
e
sul
t
returned
.
.
.
commit
|
commitdiff
|
tree
2006-12-07
Sven
Ve
r
doolaeg
e
b
a
rvinok
.
cc:
s
eries: remo
v
e
e
qualitie
s
usin
g
Preimag
e
.
.
.
commit
|
commitdiff
|
tree
2006-12-07
Sven
V
erdoolae
g
e
barvinok_c
o
unt: coll
e
c
t
stats on number of unim
o
dular
.
.
.
commit
|
commitdiff
|
tree
2006-12-07
Sven Verdoolaege
util
.
c: tri
a
ngulate_con
e
: use bigger rando
m
va
l
u
e
s
commit
|
commitdiff
|
tree
2006-12-07
Sven Verdo
o
l
aege
s
a
mple
.
c: Po
l
yhedron_RemoveFixedColumn
s
:
c
o
py
c
onstants
.
.
.
commit
|
commitdiff
|
tree
2006-12-06
S
v
en Verd
o
olae
g
e
bernst
e
in: piecewise
_
lst::
e
valuate: fix typo
commit
|
commitdiff
|
tree
2006-12-06
Sven Verdo
o
l
aege
confi
g
u
r
e
.
in: o
n
ly add -lbern
s
t
e
in to b
a
r
v
inok
.
p
c
if
.
.
.
commit
|
commitdiff
|
tree
2006-11-13
Sven
V
erdoolaege
configur
e
.
in
:
rename --with-gin
a
c to --witho
u
t-be
r
nstein
commit
|
commitdiff
|
tree
2006-11-10
Sven Verdoolaege
configur
e
.
in: allow
bu
i
l
d witho
u
t GiNaC
(and therefore
.
.
.
commit
|
commitdiff
|
tree
2006-11-10
Sven Verdoolaege
conf
i
gure
.
in: add
-
lberns
t
e
i
n
to barvinok
.
pc i
f
it
.
.
.
commit
|
commitdiff
|
tree
2006-11-09
Sven Ve
r
doolaege
util
.
c
:
c
ompress
_
variables:
c
orr
e
ct check for scaling
commit
|
commitdiff
|
tree
2006-11-09
S
ve
n
Verdoola
e
g
e
util
.
c:
s
ome documentation for com
p
ress_variab
l
es
commit
|
commitdiff
|
tree
2006-11-09
Sven Verdoolaege
verif
_
e
h
rhart: add --print
-
all option to repla
c
e PR
I
NT_ALL_R
.
.
.
commit
|
commitdiff
|
tree
2006-11-09
Sven Verd
o
o
lae
g
e
mat_util: m
a
ke arguments of
lex_cmp const
commit
|
commitdiff
|
tree
2006-11-09
Sven
V
erdoolaeg
e
a
dd AUTHORS file
commit
|
commitdiff
|
tree
2006-10-31
S
v
en Verdool
a
e
g
e
bump versio
n
commit
|
commitdiff
|
tree
2006-10-31
Sven
V
erd
o
olae
g
e
M
a
kefile
.
am: make sure
c
orrect fi
l
es are included in
.
.
.
commit
|
commitdiff
|
tree
2006-10-31
Sv
e
n Verdoo
l
aege
do
c
:
mentio
n
res
t
r
i
c
tion of barvi
n
o
k_enu
m
erate_scarf_
s
eries
commit
|
commitdiff
|
tree
2006-10-31
Sven Verdoolaege
doc: minimal docume
n
tation for the
lexmin application
commit
|
commitdiff
|
tree
2006-10-31
Sven Verdoolaege
b
e
rnste
i
n/configure
.
in: set A
C
_C
O
NFIG_AUX_DIR to bernstein
.
.
.
commit
|
commitdiff
|
tree
2006-10-31
Sven V
e
rdoolaege
doc: document polyt
o
pe_sample
commit
|
commitdiff
|
tree
2006-10-31
Sven Verdoolaege
doc: document polyh
e
dron_
s
ample
commit
|
commitdiff
|
tree
2006-10-31
Sven
Verdoolae
g
e
doc:
include barv
i
nok
l
ibrary v
e
rsion
i
n
titl
e
commit
|
commitdiff
|
tree
2006-10-31
Sv
e
n V
e
rdool
a
ege
configure
.
i
n: fi
x
t
y
po
commit
|
commitdiff
|
tree
2006-10-31
S
v
en
V
erdoolaege
doc: bib:
n
ame Kevin M
.
Woods consistently
commit
|
commitdiff
|
tree
2006-10-31
Sven Ve
r
doolaege
doc: d
o
cument extr
a
oc
c
operatio
n
s
commit
|
commitdiff
|
tree
2006-10-31
S
ven V
e
rdoo
l
aege
do
c
: update gen_fun
d
o
c
umentation
commit
|
commitdiff
|
tree
2006-10-31
S
ven
Verdo
o
l
a
eg
e
doc: reflect change
o
f argument
t
y
p
e of eadd
commit
|
commitdiff
|
tree
2006-10-31
Sven Ve
r
doolaege
doc: document
barvinok_enumerate
_
scar
f
commit
|
commitdiff
|
tree
2006-10-31
Sven Verdoolaege
d
oc: ad
d
a
n
other paper re
f
ering to b
a
rv
i
n
ok
commit
|
commitdiff
|
tree
2006-10-31
Sven Verdoolaege
doc: typos
commit
|
commitdiff
|
tree
2006-10-31
Sven
V
erdoolaege
doc: document bernstein data structures and functions
commit
|
commitdiff
|
tree
2006-10-31
Sven
Verdoolaeg
e
bernstein: pie
c
ewi
s
e
_
lst::simplify
_
d
o
mains: add MaxRays
.
.
.
commit
|
commitdiff
|
tree
2006-10-30
Sven Verdoolaege
be
r
ns
t
ei
n
: mak
e
p
oly argument of be
r
ns
t
ein
E
xpansi
o
n
.
.
.
commit
|
commitdiff
|
tree
2006-10-30
Sven Verdoolaege
reducer
.
h
: only u
s
e infinite_icount
e
r when dim==1
commit
|
commitdiff
|
tree
2006-10-28
Sv
e
n Verdoolaege
doc: fix ty
p
o
commit
|
commitdiff
|
tree
2006-10-28
Sven
V
erdoo
l
aege
remove
a
few duplicate
d
e
f
i
nitions of MAXRAYS
commit
|
commitdiff
|
tree
2006-10-28
Sv
e
n Verdoolaege
util
.
c: move du
p
l
i
c
ate
P
olyhe
d
ron_Read
commit
|
commitdiff
|
tree
2006-10-28
Sven V
e
rd
o
olaeg
e
bar
v
inok
.
cc: add
_wi
t
h_options version
of barvinok_en
u
me
r
ate_e
commit
|
commitdiff
|
tree
2006-10-28
Sve
n
Verdoolaege
evalue
.
c: remove
inc
l
ude of
c
onfig
.
h
commit
|
commitdiff
|
tree
2006-10-28
Sven Verdoolaege
version
.
c: s
h
o
w
use of Omega, GLPK and GiN
a
C
commit
|
commitdiff
|
tree
2006-10-28
Sven Verdoolaege
version
.
c:
move barvinok_v
e
rsion
from
util
.
c
commit
|
commitdiff
|
tree
2006-10-28
Sv
e
n Verdoola
e
ge
doc: d
o
cument Polyhedron
_
Reduc
e
d_Basis and Poly
h
ed
r
o
n
_Sample
commit
|
commitdiff
|
tree
2006-10-27
Sven Verd
o
o
laege
export Polyhedron_Sample
a
nd Pol
y
h
e
dron_Reduce
d
_Basis
commit
|
commitdiff
|
tree
2006-10-27
Sven Verdoolaege
doc:
r
ename "usage" section
to "applications" sect
i
on
commit
|
commitdiff
|
tree
2006-10-27
Sven
Verdoolaege
bar
v
i
nok_opti
o
ns:
rename emptines
s
_check to lexmin_emptiness
.
.
.
commit
|
commitdiff
|
tree
2006-10-27
Sven Ve
r
doolaege
do
c
: document barvi
n
ok_options
commit
|
commitdiff
|
tree
2006-10-27
Sven Verdoolaege
scarf
.
cc: export functions t
o
library
commit
|
commitdiff
|
tree
2006-10-27
S
v
en Verdoo
l
aege
scarf
.
c
c
: use barv
i
no
k
_o
p
tions
instead o
f
M
ax
R
ays
commit
|
commitdiff
|
tree
2006-10-27
Sven Verdo
o
la
e
g
e
b
a
r
v
inok/barvinok
.
h
:
export _with_options versions
.
.
.
commit
|
commitdiff
|
tree
2006-10-25
Sven Ver
d
oolaege
barvino
k
_enumerate_e: remo
v
e direct include of po
l
ylib
.
.
.
commit
|
commitdiff
|
tree
2006-10-25
Sven Ve
r
doolaege
b
er
n
stein: min
i
mal documentati
o
n
commit
|
commitdiff
|
tree
2006-10-25
Sven Verdoolaege
RE
A
DME: bernstein req
u
i
res GiNaC
commit
|
commitdiff
|
tree
2006-10-25
Sven Ver
d
oolaege
d
o
c: add reference to
b
e
rnste
i
n t
e
chrep
o
r
t
commit
|
commitdiff
|
tree
2006-10-25
Sve
n
V
e
rdoolaege
Merge br
a
nch 'bernstein'
commit
|
commitdiff
|
tree
2006-10-25
Sven Verdoolaege
bernst
e
in/s
r
c
/TOD
O
: remove; e
v
e
rything has been done
commit
|
commitdiff
|
tree
2006-10-10
Sven Ver
d
oolaege
doc: a
d
d another publication
t
hat
r
efers
t
o barvinok
commit
|
commitdiff
|
tree
2006-10-10
Sven Verdoola
e
g
e
LLL
:
use
reductio
n
parameter 1 by default
commit
|
commitdiff
|
tree
2006-10-07
Sven Verdoolaege
decom
p
o
ser
.
cc: short
_
ve
c
tor:
allow sp
e
cificati
o
n of
.
.
.
commit
|
commitdiff
|
tree
2006-10-07
Sven Verdoolaege
d
o
c: add some
more publications that refer to ba
r
vinok
commit
|
commitdiff
|
tree
2006-10-02
Sven Verdoolaege
evalue
.
c: evalue_denom:
d
e
clare va
r
iable at start of
.
.
.
commit
|
commitdiff
|
tree
2006-10-02
Sven Verdoolaege
eva
l
ue
.
c: export evalue_denom
commit
|
commitdiff
|
tree
2006-10-02
Sven
V
erdoolae
g
e
s
c
arf
.
cc: handle
ca
s
e where
four constraint
s
lead to
.
.
.
commit
|
commitdiff
|
tree
2006-10-02
Sven
Verd
o
olaege
util
.
c: compress_variables: declare variable at s
t
art
.
.
.
commit
|
commitdiff
|
tree
2006-09-29
Sv
e
n Verdoola
e
ge
e
v
a
l
ue
.
c: copy
(
and adapt) copyrig
h
t
s
tate
m
ent from
.
.
.
commit
|
commitdiff
|
tree
2006-09-28
Sven
V
erdoolaege
d
o
c: add so
m
e references to
p
ublications
commit
|
commitdiff
|
tree
2006-09-26
Sven
Verdoolae
g
e
lexmin
.
cc: reenable
optimization
o
f
c
hecking domains
.
.
.
commit
|
commitdiff
|
tree
2006-09-25
S
v
en V
e
rdoo
l
aege
evalue
.
c: cl
e
an
up in_
d
omain
commit
|
commitdiff
|
tree
2006-09-25
Sven Verdo
o
laege
edomain
.
cc: add EDomain
:
:
contains
commit
|
commitdiff
|
tree
2006-09-24
Sven Verdoo
l
aege
l
e
xmin
.
cc: max_term::print: pri
n
t floors
e
xpl
i
citly
.
.
.
commit
|
commitdiff
|
tree
2006-09-24
Sven Verdoolaege
lexmin
.
cc: disable possibly
overzealous
o
p
timiza
t
ion
commit
|
commitdiff
|
tree
2006-09-23
Sven Verdoolaeg
e
edomain
.
cc: remember
"constraint
"
representation of
.
.
.
commit
|
commitdiff
|
tree
2006-09-23
Sven
Verdoolaege
reduc
e
d_basis: reset
"
negativ
e
w
idths"
to
z
ero
commit
|
commitdiff
|
tree
2006-09-23
Sven Verdoolaege
l
e
xmin
.
cc: move mor
e
code to edomain
.
cc
commit
|
commitdiff
|
tree
2006-09-22
Sve
n
Verdoolae
g
e
edomain
.
h: add EDomain_floor abs
t
ract
i
on
commit
|
commitdiff
|
tree
2006-09-22
S
v
en Ver
d
oolaege
lexmi
n
.
cc: define
max_te
r
m over an EDoma
i
n rat
h
er than
.
.
.
commit
|
commitdiff
|
tree
2006-09-22
Sven Verdoolaeg
e
reducer
.
h: add virtu
a
l destructor to np_base to avoid
.
.
.
commit
|
commitdiff
|
tree
2006-09-22
Sven Verdoolaege
le
x
min
.
cc: extr
a
ct
o
ut
some code to eval
u
e_util an
d
.
.
.
commit
|
commitdiff
|
tree
2006-09-21
Sven Verdoolaege
options
.
c: pick
u
p definition of POL_INTEGER from barvinok
.
.
.
commit
|
commitdiff
|
tree
2006-09-21
Sv
e
n Ve
r
doo
l
a
e
ge
opt
i
o
nc
.
c: move
c
h
oice of
w
hich
s
pecialization to
u
se
.
.
.
commit
|
commitdiff
|
tree
2006-09-21
Sven Verdoo
l
aege
omega/parse
r
.
l: let fl
e
x define
yy
l
inen
o
commit
|
commitdiff
|
tree
2006-09-20
S
v
en V
e
rdoolaege
lexmin
.
c
c
: optionall
y
skip check for empty domains
commit
|
commitdiff
|
tree
2006-09-20
Sven V
e
r
dool
a
ege
ev
a
lue
.
c: redu
c
e_eva
l
ue_i
n
_d
o
main: r
e
d
u
ce to
zero evalue
.
.
.
commit
|
commitdiff
|
tree
2006-09-20
S
ven Verdoolaege
lexmin
.
cc
:
use ba
r
vin
o
k_options
commit
|
commitdiff
|
tree
2006-09-20
S
ven Ver
d
o
olaege
introduc
e
barvinok_options str
u
cture
commit
|
commitdiff
|
tree
2006-09-20
Sven Verdoo
l
aege
lexmin
.
cc:
compute generati
n
g f
u
nct
i
ons
of vertex c
o
nes
.
.
.
commit
|
commitdiff
|
tree
2006-09-20
Sven Verdoolaege
lexmin
.
cc: move some
c
ode around to pre
p
ar
e
for new
.
.
.
commit
|
commitdiff
|
tree
2006-09-11
Sven Verdoolaeg
e
evalue: declare a
r
gument of
e
a
dd and
evalue_copy
const
commit
|
commitdiff
|
tree
2006-09-06
Sven Verdoolaege
lex
m
in
.
cc: perfor
m
s
u
bstitution immediately on
e
ach
.
.
.
commit
|
commitdiff
|
tree
next