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
add .gitignore
2007-02-02
Sven
V
erdoolaege
add
.
gitig
n
o
r
e
commit
|
commitdiff
|
tree
2007-02-02
Sven Verdoolaege
QQ: add operator for multiplication by a scalar (ZZ)
commit
|
commitdiff
|
tree
2007-01-18
Sven Verdoolaege
Makef
i
le
.
am: c
h
e
c
k-seri
e
s
:
check
-
-primal as well
commit
|
commitdiff
|
tree
2007-01-16
S
v
e
n
V
e
r
d
ool
a
ege
Makef
i
l
e
.
am: in
s
t
a
ll (some) bi
n
aries
commit
|
commitdiff
|
tree
2007-01-15
Sven Ve
r
doolaege
u
n
def
i
ne CS for Solaris 10
commit
|
commitdiff
|
tree
2007-01-14
S
v
e
n
V
e
rd
o
o
laege
barvinok_enumera
t
e
:
handl
e
lin
e
s
in input p
o
lyhedra
.
.
.
commit
|
commitdiff
|
tree
2007-01-10
Sve
n
Ve
r
doola
e
ge
util
.
c: move left_inver
s
e from lexmin
.
cc
commit
|
commitdiff
|
tree
2007-01-05
Sven V
e
rdoolaege
g
e
n_fun:
:
coefficien
t
: m
o
ve printi
n
g to short
_
rat
commit
|
commitdiff
|
tree
2007-01-05
Sven Verdoo
l
aeg
e
gen_f
u
n::
c
oeffi
c
ient: new versio
n
r
e
t
u
rning ZZ
commit
|
commitdiff
|
tree
2007-01-05
S
v
en Verdoolaege
ge
n
fun
.
c
c
: mov
e
coeff
i
ci
e
nt computation to
s
hort_
r
a
t
commit
|
commitdiff
|
tree
2007-01-05
Sven Verdoo
l
aege
pa
r
tial_red
u
cer: restart
co
m
pu
t
ation if
r
andom vector
.
.
.
commit
|
commitdiff
|
tree
2007-01-05
S
v
en
Verdool
a
eg
e
g
en_fu
n
:
e
xpose clear_terms, a method for clea
r
i
n
g
.
.
.
commit
|
commitdiff
|
tree
2007-01-05
S
v
en Verdoo
l
aege
gen_fun::Hadamard
_
product: propaga
t
e
f
u
ll
options to
.
.
.
commit
|
commitdiff
|
tree
2007-01-05
Sven Verdoolaege
barvinok_e
n
umerate: integrate
verif_
e
hrhart
commit
|
commitdiff
|
tree
2007-01-05
Sven Ver
d
oolaege
ba
r
vinok_
e
numerate: integrate ba
r
vinok_series
commit
|
commitdiff
|
tree
2007-01-05
Sven Verdoolaeg
e
b
a
rvinok_e
n
u
m
erate:
use argp
commit
|
commitdiff
|
tree
2007-01-05
Sven V
e
r
doolaege
lexmin
:
m
a
ke
l
exmin options priva
t
e
commit
|
commitdiff
|
tree
2007-01-05
Sven Verdoolae
g
e
Revert
"
bernst
e
in
/
c
o
nfigure
.
in:
remove re
d
und
a
nt chan
g
e
.
.
.
commit
|
commitdiff
|
tree
2007-01-05
Sve
n
Verdoolaege
barvinok
.
cc: make
u
se of sampli
n
g
for counting in
f
i
n
ite
.
.
.
commit
|
commitdiff
|
tree
2007-01-05
Sven Ve
r
doolaege
barv
i
nok_enumerat
e
_e:
r
e
spect --table option
commit
|
commitdiff
|
tree
2007-01-05
Sven Verdool
a
ege
lexmin
.
cc:
m
o
ve selection of
gbr s
o
lver to options
.
c
commit
|
commitdiff
|
tree
2007-01-05
Sven Verdoola
e
ge
lexmin: use arg
p
commit
|
commitdiff
|
tree
2007-01-04
Sven Verdoolaege
barvin
o
k_enumerate_e:
extract out ver
i
ficat
i
on options
commit
|
commitdiff
|
tree
2007-01-04
Sven Verdoolaege
barvinok_enumerat
e
_e: print
warning
whe
n
--om
e
ga or
.
.
.
commit
|
commitdiff
|
tree
2007-01-04
Sven Verdoolae
g
e
barvinok/polyli
b
.
h: define va
l
ue_subtract and
v
alue_add
m
ul
.
.
.
commit
|
commitdiff
|
tree
2007-01-04
Sven Ver
d
o
olaege
decom
p
oser
.
cc: decompo
s
e: micro-o
p
timization
commit
|
commitdiff
|
tree
2007-01-04
Sven Verdoolaege
signed_cone: store ra
y
s of cone
commit
|
commitdiff
|
tree
2007-01-04
Harald
D
evos
omega/parser
.
y:
remo
v
e brackets
around type in n
e
w
commit
|
commitdiff
|
tree
2007-01-03
Sven Verd
o
olaege
lexm
i
n: disa
b
le use of lookup-tables
commit
|
commitdiff
|
tree
2007-01-03
Sven Verdoo
l
aeg
e
barvinok_e
n
u
merate_e
.
cc: fix argp optio
n
s parser
commit
|
commitdiff
|
tree
2007-01-03
Sven Verdoolaege
options
.
c: move choice of us
e
of
lo
o
kup-table to ba
r
v
i
nok_op
.
.
.
commit
|
commitdiff
|
tree
2007-01-03
Sven Verdoolaege
la
t
tice_point
.
c
c: fix #ifndef USE_M
O
DULO code path
commit
|
commitdiff
|
tree
2007-01-03
S
ven V
e
r
d
oolaege
d
ecomposer
.
cc: short_v
e
ctor: remove redundan
t
code
commit
|
commitdiff
|
tree
2007-01-03
Sven Verdoolaeg
e
decompo
s
e
r
.
cc: s
h
ort_vector: negat
e
lambda if z is
.
.
.
commit
|
commitdiff
|
tree
2007-01-03
S
ven
Verdoolae
g
e
b
arvin
o
k
.
c
c
:
serie
s
: only
r
e
q
ui
r
e ra
y
s to be revlex
.
.
.
commit
|
commitdiff
|
tree
2007-01-03
Sven V
e
rd
o
o
lae
g
e
barvinok
.
cc: se
r
i
es:
p
ass full
o
pt
i
on
s
to barvi
n
ok_count
commit
|
commitdiff
|
tree
2007-01-03
Sven Verdo
o
laege
np_b
a
se::handl
e
: pass
a
r
o
und rays matrix i
n
stead
o
f
.
.
.
commit
|
commitdiff
|
tree
2007-01-03
S
v
en V
e
rdoolaege
decomposer
.
cc: su
p
port primal decomposition
commit
|
commitdiff
|
tree
2007-01-03
Sven Verdoolaege
decompo
s
er
.
cc: barvin
o
k_decom
p
ose: implement in
term
s
.
.
.
commit
|
commitdiff
|
tree
2007-01-03
Sven Verdoolaege
b
arvinok_enumera
t
e: respect incr
e
mental
_
s
pecializa
t
ion
.
.
.
commit
|
commitdiff
|
tree
2007-01-03
Sve
n
Verdoolaeg
e
intr
o
duce signed_con
e
struct
commit
|
commitdiff
|
tree
2007-01-03
Sven Ve
r
doolae
g
e
separate out decompositi
o
n
commit
|
commitdiff
|
tree
2007-01-03
Sven Verd
o
olaege
te
s
t: use argp par
s
er
commit
|
commitdiff
|
tree
2006-12-28
Sven Verdoolaege
up
d
ate argp from gnulib
a
nd
add progname module
commit
|
commitdiff
|
tree
2006-12-27
Sven Verdoolaege
barv
i
nok_enumerate
_
e
.
cc:
don't ex
i
t
o
n
u
nrecognized
.
.
.
commit
|
commitdiff
|
tree
2006-12-27
Sven Verdoolaege
li
b
/arg
p
.
h: r
e
m
o
ve _
_
NTH for __argp_usage inl
i
ne function
commit
|
commitdiff
|
tree
2006-12-27
Sven V
e
rdoolaege
barvinok_e
n
umerate
_
e
.
cc
:
r
e
move an
o
t
her duplicate def
i
nition
.
.
.
commit
|
commitdiff
|
tree
2006-12-27
Sv
e
n
Ve
r
doolaege
barvinok_
e
numerat
e
_e: use argp par
s
er
commit
|
commitdiff
|
tree
2006-12-27
Sven Verdoolaege
barvin
o
k_count: use argp pars
e
r
commit
|
commitdiff
|
tree
2006-12-26
Sven Verdoolaege
options
.
c: add argp parse
commit
|
commitdiff
|
tree
2006-12-26
Sven
Verdoolaege
a
d
d argp from gnulib
commit
|
commitdiff
|
tree
2006-12-26
Sven Verdoolaege
scarf
.
cc: make compatible with older ve
r
sion
s
o
f
PolyLib
commit
|
commitdiff
|
tree
2006-12-26
S
v
e
n
Verdoolaege
add missing asser
t
.
h #
i
nc
l
ud
e
s
commit
|
commitdiff
|
tree
2006-12-26
Sven
V
erdoo
l
a
ege
Makefile
.
am: add remove_equalities
.
h t
o
distribution
commit
|
commitdiff
|
tree
2006-12-26
Sven V
e
r
d
o
olaeg
e
configure
.
in: only
c
onfigure bernstein if GiNaC was
.
.
.
commit
|
commitdiff
|
tree
2006-12-22
S
ven Verdoola
e
ge
b
e
rnstein: con
f
igure
.
i
n: check
f
or GiNaC
commit
|
commitdiff
|
tree
2006-12-19
Sven Verdoolaege
bernste
i
n: remove extra qualifications fr
o
m
p
o
l
yno
m
ial
.
.
.
commit
|
commitdiff
|
tree
2006-12-19
Sven Verdoolaege
bernstei
n
/sr
c
/main
.
cpp: remove redundant include
commit
|
commitdiff
|
tree
2006-12-18
Sven Verd
o
olaege
short_rat::norm
a
li
z
e
: make powers
in th
e
denom
i
n
a
tor
.
.
.
commit
|
commitdiff
|
tree
2006-12-18
Sven Ve
r
do
o
l
aege
gen_fu
n
::
s
ubst
i
tute: normali
z
e te
r
ms
commit
|
commitdiff
|
tree
2006-12-18
Sven Ve
r
doolaege
d
p
oly
_
r: store terms i
n
a
set rather
than in a vecto
r
commit
|
commitdiff
|
tree
2006-12-18
Sven Verdool
a
ege
gen_
f
u
n
: store terms in a set rather tha
n
in
a
vector
commit
|
commitdiff
|
tree
2006-12-11
S
v
e
n
Verdoolae
g
e
lexmin: allow emp
t
iness check
t
hrou
g
h counting
commit
|
commitdiff
|
tree
2006-12-11
S
ven V
e
r
doolaege
lexmin
.
cc: move constr
u
c
t
i
on of
s
ubdomains
t
o ed
o
main
.
cc
commit
|
commitdiff
|
tree
2006-12-11
Sven
Ve
r
do
o
laege
e
d
o
main
.
cc
:
move sam
p
le c
o
mputation completely to
E
D
omain
commit
|
commitdiff
|
tree
2006-12-11
Sven
V
er
d
ool
a
e
g
e
lexmin
.
cc: partial_
o
r
d
e
r::com
p
are:
u
se substitution
.
.
.
commit
|
commitdiff
|
tree
2006-12-11
Sven V
e
rdoolaege
l
e
xmin
.
cc: i
n
dicator::combine: more efficient
way of
.
.
.
commit
|
commitdiff
|
tree
2006-12-11
Sven V
e
rdoola
e
ge
l
e
xmin
.
cc: keep heads in
p
artial ord
e
r separate
commit
|
commitdiff
|
tree
2006-12-11
Sven
V
e
r
doolaege
edom
a
in
.
cc: EDomain:
:
add_ge_
c
o
n
straint
:
si
m
plify new
.
.
.
commit
|
commitdiff
|
tree
2006-12-11
Sve
n
Verdo
o
laeg
e
l
e
xmin
.
cc: part
i
a
l
_order:
:
compare:
add c
a
c
he of
c
ompari
s
on
.
.
.
commit
|
commitdiff
|
tree
2006-12-11
S
ven Ver
d
oolaege
lexmin
:
make su
r
e le set in
partial ord
e
r onl
y
contains
.
.
.
commit
|
commitdiff
|
tree
2006-12-11
Sve
n
Verd
o
olaege
lexmin: more
s
anity checks
commit
|
commitdiff
|
tree
2006-12-11
Sven
Ver
d
oo
l
aege
lem
x
in: use stable or
d
e
ring of indic
a
tor_term
s
in partial
_
o
r
.
.
.
commit
|
commitdiff
|
tree
2006-12-11
Sv
e
n Verdoola
e
ge
g
e
nfun
.
c
c
: move lex_cmp to m
a
t_
u
til
.
cc
commit
|
commitdiff
|
tree
2006-12-11
S
ven
V
erdoolaege
lexmin: indicat
o
r
:
:co
m
b
in
e
: directly a
d
d
so
m
e known
.
.
.
commit
|
commitdiff
|
tree
2006-12-11
Sven
V
e
r
doolaege
bar
v
inok/polylib
.
h: separate in
c
lude o
f
polylib header
commit
|
commitdiff
|
tree
2006-12-09
Sven
Verdoolae
g
e
lexmin
:
opti
o
nally compute sign of affin
e
function
.
.
.
commit
|
commitdiff
|
tree
2006-12-09
S
ve
n
Verdo
o
laeg
e
lexmin: optionally skip re
d
uction
of evalues in domain
s
commit
|
commitdiff
|
tree
2006-12-09
S
v
en Verdoolaege
evalue_fra
c
2floor: only make argument nonn
e
gative i
f
.
.
.
commit
|
commitdiff
|
tree
2006-12-09
Sven Ver
d
o
ola
e
g
e
lexmin: Polyhedron_not_empty: be careful ab
o
ut
e
mpty
.
.
.
commit
|
commitdiff
|
tree
2006-12-09
Sven Ve
r
doolaeg
e
lexmin: indicator_term:
:
is_opposite: as
s
u
m
e nu
m
erators
.
.
.
commit
|
commitdiff
|
tree
2006-12-09
Sven Verdoolaege
r
emove
_
all_equalities: hand
l
e compres
s
_
v
ariab
l
es re
t
urning
.
.
.
commit
|
commitdiff
|
tree
2006-12-09
Sven Verdoolaege
le
x
min: optio
n
a
lly use cdd during basis
reduc
t
i
on
commit
|
commitdiff
|
tree
2006-12-09
Sven
Verdoolaege
Polyhedron_Reduced_Basis: opti
o
nal
l
y use cdd t
o
s
o
lve
.
.
.
commit
|
commitdiff
|
tree
2006-12-09
Sven
V
erdoolaege
c
o
nfigure
.
in: che
c
k for cd
d
lib
commit
|
commitdiff
|
tree
2006-12-09
Sv
e
n Verdoolaege
lex
m
in: Polyhedron
_
n
o
t_empty: continue remov
i
n
g equ
a
l
ities
commit
|
commitdiff
|
tree
2006-12-09
Sven Ver
d
oo
l
a
e
ge
l
e
xm
i
n: handle equalities among
pa
r
am
e
ters
commit
|
commitdiff
|
tree
2006-12-09
S
ve
n
V
e
rdool
a
ege
remove_all_equal
i
ties:
i
gnore i
d
entity param
e
ter compress
i
o
n
commit
|
commitdiff
|
tree
2006-12-09
S
v
en Ver
d
oolaege
r
e
move_equalities
.
c:
e
xt
r
acte
d
from barvin
o
k
.
cc
commit
|
commitdiff
|
tree
2006-12-09
Sven Ve
r
doolaege
genfun: add short_rat::normaliz
e
commit
|
commitdiff
|
tree
2006-12-09
Sven Verdoolaege
genfun
:
add short_
r
at
con
s
tructors
commit
|
commitdiff
|
tree
2006-12-09
Sven Ve
r
doolaege
evalue
.
c: evalue_
d
eno
m
: imp
r
ove
com
m
ent
commit
|
commitdiff
|
tree
2006-12-09
S
ven
Verdoolaege
lexmin: P
o
lyhedron_not_e
m
pt
y
: check result ret
u
rned
.
.
.
commit
|
commitdiff
|
tree
2006-12-07
Sven Ver
d
oolaege
barvinok
.
cc: series:
remov
e
equalities using Preimag
e
.
.
.
commit
|
commitdiff
|
tree
2006-12-07
Sven Ve
r
d
ool
a
ege
barvino
k
_coun
t
: c
o
ll
e
ct stats on number of uni
m
odul
a
r
.
.
.
commit
|
commitdiff
|
tree
2006-12-07
Sven Verd
o
olaege
u
til
.
c: triangulate_cone: u
s
e bi
g
ger random values
commit
|
commitdiff
|
tree
2006-12-07
Sven Verdoolae
g
e
sample
.
c: Polyhe
d
ron_Re
m
o
v
e
Fixed
C
o
l
umns: co
p
y constants
.
.
.
commit
|
commitdiff
|
tree
2006-12-06
Sven V
e
rdoolaege
bernstein: piecewise_lst::ev
a
luate
:
fi
x
ty
p
o
commit
|
commitdiff
|
tree
2006-12-06
S
v
en Verdoolaeg
e
confi
g
ure
.
in:
on
l
y add -lbernstein to barvinok
.
pc if
.
.
.
commit
|
commitdiff
|
tree
2006-11-13
Sve
n
Ve
r
doolaege
configure
.
i
n
:
rename --
w
ith-ginac to --wi
t
ho
u
t
-bernstein
commit
|
commitdiff
|
tree
next