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
polysign.c: fix cdd_polyhedron_affine_sign prototype
2006-12-19
Sven Verdool
a
ege
bernstein: r
e
m
o
v
e
extr
a
qualifications from polynom
i
al
.
.
.
commit
|
commitdiff
|
tree
2006-12-19
S
v
e
n
Verdool
a
ege
bernstein/sr
c
/main
.
cp
p
:
re
m
ove re
d
u
ndant in
c
lu
d
e
commit
|
commitdiff
|
tree
2006-12-18
Sven Verdo
o
laege
short_
r
at::normalize:
m
ake powers in the denominator
.
.
.
commit
|
commitdiff
|
tree
2006-12-18
Sv
e
n Verdoolaege
gen
_
fun::substitute
:
norma
l
i
z
e ter
m
s
commit
|
commitdiff
|
tree
2006-12-18
S
v
en Verd
o
o
l
a
e
ge
dpo
l
y_r: store term
s
i
n
a
set rather tha
n
i
n a
v
ector
commit
|
commitdiff
|
tree
2006-12-18
Sv
e
n
Verdoolaeg
e
gen_fun: st
o
r
e terms
i
n a set rath
e
r than
in a vector
commit
|
commitdiff
|
tree
2006-12-11
Sven Verdool
a
ege
lexmin: allow em
p
tiness che
c
k through co
u
nting
commit
|
commitdiff
|
tree
2006-12-11
Sven
V
erdoolaege
l
e
x
min
.
c
c:
mov
e
cons
t
ruction of subdomains to edomain
.
cc
commit
|
commitdiff
|
tree
2006-12-11
Sven
V
erdoolaege
edomain
.
cc: move sample c
o
mp
u
tation c
o
m
p
letely t
o
EDomain
commit
|
commitdiff
|
tree
2006-12-11
Sven Verdoolae
g
e
lexmin
.
cc: p
a
rtial_order::compare:
u
se su
b
stitu
t
ion
.
.
.
commit
|
commitdiff
|
tree
2006-12-11
Sven Verdoo
l
a
e
ge
lexmin
.
cc
:
i
ndicat
o
r::combi
n
e: m
o
re ef
f
ici
e
nt way
of
.
.
.
commit
|
commitdiff
|
tree
2006-12-11
S
v
en Ver
d
oolaege
lexmin
.
cc: keep
h
ead
s
i
n
partial order separat
e
commit
|
commitdiff
|
tree
2006-12-11
S
ven Verdoolaege
e
d
omain
.
cc: EDomain::add_ge_constra
i
nt: simplify new
.
.
.
commit
|
commitdiff
|
tree
2006-12-11
Sv
e
n V
e
rdoolaege
lexmin
.
c
c
:
partial_
o
rder::
c
ompare: ad
d
c
ache of compa
r
ison
.
.
.
commit
|
commitdiff
|
tree
2006-12-11
Sv
e
n Verdoolaege
lex
m
i
n
: ma
k
e sure
l
e set in
parti
a
l order only contains
.
.
.
commit
|
commitdiff
|
tree
2006-12-11
Sv
e
n
V
erd
o
olaege
l
e
xmi
n
: more sanit
y
checks
commit
|
commitdiff
|
tree
2006-12-11
Sven V
e
r
doolaege
lemxin: use stable o
r
deri
n
g of indicator_term
s
i
n
part
i
al_o
r
.
.
.
commit
|
commitdiff
|
tree
2006-12-11
Sven Ve
r
doolaege
gen
f
un
.
cc: move lex_cmp to mat_u
t
i
l
.
cc
commit
|
commitdiff
|
tree
2006-12-11
S
v
e
n
V
e
rdoolaege
l
e
xmin: indicator::comb
i
ne: directly add some
k
no
w
n
.
.
.
commit
|
commitdiff
|
tree
2006-12-11
Sven V
e
rdoolaege
barvi
n
ok/polylib
.
h: separate in
c
lude of
p
o
l
y
lib header
commit
|
commitdiff
|
tree
2006-12-09
S
v
en Verdoolae
g
e
l
e
xmin: optionally compute
sign of affine function
.
.
.
commit
|
commitdiff
|
tree
2006-12-09
Sven
V
e
r
doo
l
aege
lex
m
in: optionally
s
kip reducti
o
n of
e
values
in domains
commit
|
commitdiff
|
tree
2006-12-09
S
v
en Verd
o
olaege
evalue_
f
ra
c
2flo
o
r: only ma
k
e arg
u
me
n
t nonnegative if
.
.
.
commit
|
commitdiff
|
tree
2006-12-09
S
v
en Ve
r
doola
e
g
e
lex
m
in:
P
olyhed
r
on_not_emp
t
y: b
e
careful about emp
t
y
.
.
.
commit
|
commitdiff
|
tree
2006-12-09
Sven Verdoolae
g
e
l
e
xmi
n
: indicat
o
r_term
:
:is
_
opp
o
s
i
te: assume numerators
.
.
.
commit
|
commitdiff
|
tree
2006-12-09
S
v
en
Ver
d
oola
e
ge
remove_all_equ
a
lities
:
handl
e
co
m
press_
v
ariable
s
returni
n
g
.
.
.
commit
|
commitdiff
|
tree
2006-12-09
Sv
e
n Verdoolaege
lexmin: opt
i
onally use
cdd
d
u
ring ba
s
is
reduc
t
ion
commit
|
commitdiff
|
tree
2006-12-09
Sven
Ver
d
oolaege
P
o
l
yhedron_Reduced_Basis: optionally u
s
e
cdd t
o
s
olve
.
.
.
commit
|
commitdiff
|
tree
2006-12-09
Sve
n
Verdoolaege
c
o
n
figure
.
in: chec
k
fo
r
cdd
l
ib
commit
|
commitdiff
|
tree
2006-12-09
Sven Verdoola
e
g
e
lexmin: Polyhe
d
ro
n
_n
o
t
_empty: continue
removing equal
i
tie
s
commit
|
commitdiff
|
tree
2006-12-09
Sven Verdo
o
laege
lexm
i
n: handle equali
t
ies among
p
arameters
commit
|
commitdiff
|
tree
2006-12-09
Sv
e
n Verdoolaege
r
e
move
_
all_equalities: ignore
iden
t
it
y
pa
r
ameter comp
r
ession
commit
|
commitdiff
|
tree
2006-12-09
Sven Verdoolaege
remove_equalities
.
c:
extracte
d
from barvinok
.
cc
commit
|
commitdiff
|
tree
2006-12-09
Sven Verdoolaeg
e
genfun: add short_rat::normalize
commit
|
commitdiff
|
tree
2006-12-09
Sven Verdool
a
e
ge
g
e
nfun:
a
d
d shor
t
_rat constructors
commit
|
commitdiff
|
tree
2006-12-09
Sven V
e
rd
o
olaege
e
value
.
c: evalue_d
e
nom: impro
v
e comment
commit
|
commitdiff
|
tree
2006-12-09
S
ven Verdoolaege
lexm
i
n:
Polyhedron_no
t
_empty: c
h
eck
res
u
lt returned
.
.
.
commit
|
commitdiff
|
tree
2006-12-07
Sven V
e
rd
o
olae
g
e
barvinok
.
cc: series: rem
o
ve equalities using Preimage
.
.
.
commit
|
commitdiff
|
tree
2006-12-07
Sve
n
Verdoolae
g
e
barvinok
_
count:
c
ollect stats on
n
umbe
r
o
f unim
o
dular
.
.
.
commit
|
commitdiff
|
tree
2006-12-07
S
v
e
n
Verdoolaege
util
.
c
: triangu
l
ate_cone: use bigger random values
commit
|
commitdiff
|
tree
2006-12-07
Sven Verdoolaege
samp
l
e
.
c: P
o
lyhedron_RemoveFixe
d
Columns: copy con
s
ta
n
ts
.
.
.
commit
|
commitdiff
|
tree
2006-12-06
Sven Verdoolaege
bernstein:
p
i
e
cewise_lst::evalua
t
e
: fix t
y
po
commit
|
commitdiff
|
tree
2006-12-06
Sv
e
n
Verdoolaege
configure
.
in:
only ad
d
-lb
e
rnstein
to barv
i
nok
.
pc if
.
.
.
commit
|
commitdiff
|
tree
2006-11-13
Sve
n
Verdoolaege
configure
.
in: rename
-
-with-g
i
nac t
o
--without-
b
ernst
e
i
n
commit
|
commitdiff
|
tree
2006-11-10
Sve
n
V
erdoolaege
configure
.
in: allow build w
i
thout GiNaC (and therefor
e
.
.
.
commit
|
commitdiff
|
tree
2006-11-10
Sven Ver
d
oo
l
aege
config
u
re
.
in: add -lbern
s
tei
n
to barvi
n
ok
.
p
c if it
.
.
.
commit
|
commitdiff
|
tree
2006-11-09
Sven V
e
rdoola
e
ge
util
.
c
: compress_variables
:
correct c
h
eck for scaling
commit
|
commitdiff
|
tree
2006-11-09
Sven
Verdool
a
ege
util
.
c: some documenta
t
ion for co
m
p
ress_variables
commit
|
commitdiff
|
tree
2006-11-09
Sven Verdoolaege
verif_e
h
rhart: add --print-all opt
i
on to replac
e
PRINT_ALL_R
.
.
.
commit
|
commitdiff
|
tree
2006-11-09
Sven Verdoolaege
mat_util: make
a
rguments of lex_cmp
c
on
s
t
commit
|
commitdiff
|
tree
2006-11-09
Sve
n
Verdoo
l
a
ege
add AUTHORS file
commit
|
commitdiff
|
tree
2006-10-31
Sven V
e
rdoolaege
bump
v
ersion
commit
|
commitdiff
|
tree
2006-10-31
Sven
Verdoolaege
M
a
kef
i
le
.
am
:
make sure
cor
r
ect f
i
l
e
s are in
c
luded in
.
.
.
commit
|
commitdiff
|
tree
2006-10-31
Sve
n
Verdoolaege
do
c
: menti
o
n restrictio
n
of ba
r
vi
n
o
k_enum
e
rate_scarf_serie
s
commit
|
commitdiff
|
tree
2006-10-31
Sven Verdoolae
g
e
do
c
: mi
n
imal docu
m
entation f
o
r th
e
lexmin
applicat
i
on
commit
|
commitdiff
|
tree
2006-10-31
Sven Verdoolaege
b
ernstein/configure
.
i
n: set AC_CONFIG_A
U
X_DIR to be
r
nstein
.
.
.
commit
|
commitdiff
|
tree
2006-10-31
S
ven Ver
d
oolaege
do
c
: d
o
cument
polytope_sam
p
le
commit
|
commitdiff
|
tree
2006-10-31
Sve
n
Verd
o
olaege
doc: document
p
olyh
e
dron_sample
commit
|
commitdiff
|
tree
2006-10-31
Sve
n
Verdoolae
g
e
doc: i
n
clude barvinok libra
r
y ver
s
ion i
n
t
it
l
e
commit
|
commitdiff
|
tree
2006-10-31
Sven Verdoolaege
configure
.
in
:
fix typ
o
commit
|
commitdiff
|
tree
2006-10-31
Sven
V
erdoo
l
aege
d
oc: bib: name Kevi
n
M
.
Wood
s
cons
i
stently
commit
|
commitdiff
|
tree
2006-10-31
Sven Verdoolaege
doc: doc
u
me
n
t extra occ operations
commit
|
commitdiff
|
tree
2006-10-31
Sv
e
n Ve
r
doolaege
doc: up
d
ate gen_fu
n
doc
u
mentation
commit
|
commitdiff
|
tree
2006-10-31
Sven
V
e
rdoolaege
d
oc: reflect change of argu
m
ent type of eadd
commit
|
commitdiff
|
tree
2006-10-31
S
ven Verd
o
olae
g
e
doc: d
o
cument
b
arvinok_enumerate_scarf
commit
|
commitdiff
|
tree
2006-10-31
Sven Verdoolaege
d
o
c: add anot
h
e
r
paper refering t
o
barv
i
nok
commit
|
commitdiff
|
tree
2006-10-31
Sven Verdoolaege
doc: typos
commit
|
commitdiff
|
tree
2006-10-31
Sven
V
erdoolaege
d
o
c
: docume
n
t bernstein data structures an
d
fun
c
ti
o
ns
commit
|
commitdiff
|
tree
2006-10-31
Sven V
e
rdoolaege
bernstein
:
p
iecewise_lst::simplify_doma
i
ns:
a
dd
MaxRay
s
.
.
.
commit
|
commitdiff
|
tree
2006-10-30
S
v
en Verdoo
l
aeg
e
bernstein:
make poly argument of bernsteinExpansion
.
.
.
commit
|
commitdiff
|
tree
2006-10-30
Sven Verdoolaege
reduc
e
r
.
h:
on
l
y use infinite_icounter when
dim==1
commit
|
commitdiff
|
tree
2006-10-28
Sven
V
erdoolaege
doc: fix
t
y
p
o
commit
|
commitdiff
|
tree
2006-10-28
Sven Verdoo
l
aege
remove a few dupli
c
ate
d
efinitions of MAXRAYS
commit
|
commitdiff
|
tree
2006-10-28
S
ven Verdoolae
g
e
util
.
c: move
duplica
t
e Poly
h
e
d
r
o
n_Read
commit
|
commitdiff
|
tree
2006-10-28
Sven Ve
r
do
o
laege
barvinok
.
cc: add
_
wit
h
_opti
o
ns vers
i
on of b
a
rvinok_enumerate_e
commit
|
commitdiff
|
tree
2006-10-28
Sven Verdoolaeg
e
e
v
al
u
e
.
c: remove in
c
l
ude of co
n
fig
.
h
commit
|
commitdiff
|
tree
2006-10-28
Sven Ver
d
o
olaege
version
.
c
: sho
w
use of Omega, GL
P
K and GiNaC
commit
|
commitdiff
|
tree
2006-10-28
Sven
V
erdoolaege
version
.
c: move barvinok_vers
i
on f
r
om
util
.
c
commit
|
commitdiff
|
tree
2006-10-28
Sven Verdoolaege
doc:
document Polyhedr
o
n_Reduc
e
d_Basis
and Polyhedron_S
a
mple
commit
|
commitdiff
|
tree
2006-10-27
Sven Verdoola
e
ge
exp
o
r
t Polyhedron_Sample and Po
l
yhedron_Reduced_Basis
commit
|
commitdiff
|
tree
2006-10-27
Sven
V
erdoolaege
doc:
r
en
a
me "us
a
ge" section
t
o "appli
c
a
t
io
n
s" section
commit
|
commitdiff
|
tree
2006-10-27
S
v
e
n Verdoolaege
b
a
rvinok_options: re
n
a
me
empti
n
ess_check
t
o
lexmi
n
_emptin
e
ss
.
.
.
commit
|
commitdiff
|
tree
2006-10-27
S
v
en Verdool
a
ege
d
o
c: d
o
cument barvinok_options
commit
|
commitdiff
|
tree
2006-10-27
S
ven Verdoolaege
sca
r
f
.
c
c
:
export function
s
t
o library
commit
|
commitdiff
|
tree
2006-10-27
Sven Verdoolae
g
e
scarf
.
cc: use barvinok_option
s
in
s
t
e
ad
o
f MaxRays
commit
|
commitdiff
|
tree
2006-10-27
Sven Verdoolaege
barvinok/b
a
rvinok
.
h: exp
o
rt _with_options versions
.
.
.
commit
|
commitdiff
|
tree
2006-10-25
Sv
e
n V
e
rd
o
o
laege
barvinok_enumerate_e: remove direct i
n
clu
d
e of polylib
.
.
.
commit
|
commitdiff
|
tree
2006-10-25
Sven Verdoolaege
bernstein
:
m
i
nimal documentation
commit
|
commitdiff
|
tree
2006-10-25
S
ven V
e
rdoolaege
README
:
ber
n
s
t
e
in
requires
GiNaC
commit
|
commitdiff
|
tree
2006-10-25
Sven Verdoolaege
doc:
a
dd r
e
ferenc
e
to bernstein
techreport
commit
|
commitdiff
|
tree
2006-10-25
Sv
e
n
V
e
rdoolaege
Merge
b
ra
n
ch 'b
e
r
nstein
'
commit
|
commitdiff
|
tree
2006-10-25
Sven Verdoolaege
bernstein/src/
T
O
D
O: re
m
ove; everything has been d
o
ne
commit
|
commitdiff
|
tree
2006-10-10
Sven Verdoolaege
doc: add a
n
o
t
her
pu
b
lication that
refers to barvinok
commit
|
commitdiff
|
tree
2006-10-10
Sven Ve
r
doola
e
ge
L
L
L: use reducti
o
n
p
a
rameter 1 b
y
d
e
fau
l
t
commit
|
commitdiff
|
tree
2006-10-07
S
v
en V
e
r
d
oola
e
g
e
decom
p
oser
.
cc: short_vector:
allow specification of
.
.
.
commit
|
commitdiff
|
tree
2006-10-07
Sve
n
Verdool
a
ege
doc: add s
o
m
e
more
pu
b
l
ic
a
t
i
on
s
tha
t
refer to barvinok
commit
|
commitdiff
|
tree
2006-10-02
Sven Ver
d
oolaege
ev
a
lue
.
c: evalue_denom: d
e
clare variable at star
t
of
.
.
.
commit
|
commitdiff
|
tree
2006-10-02
Sv
e
n Verdoolaege
evalue
.
c: export evalue_denom
commit
|
commitdiff
|
tree
2006-10-02
Sven V
e
r
d
o
olaege
scarf
.
cc: handle
c
ase where four
constraints
l
ead to
.
.
.
commit
|
commitdiff
|
tree
2006-10-02
S
v
e
n Ver
d
oolaege
util
.
c
:
compress_variabl
e
s:
decl
a
re
v
ariable at s
t
art
.
.
.
commit
|
commitdiff
|
tree
next