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
lexmin.cc: define max_term over an EDomain rather than a Polyhedron
2006-09-22
S
v
e
n
Ve
r
doolaege
lexmin
.
cc:
d
e
fin
e
max_term
over an E
D
o
m
ain
r
ather t
h
an
.
.
.
commit
|
commitdiff
|
tree
2006-09-22
Sv
e
n
V
erdool
a
ege
reducer
.
h: add virtual d
e
structor t
o
np_
b
ase to avoid
.
.
.
commit
|
commitdiff
|
tree
2006-09-22
Sv
e
n Verdoolaege
l
exmin
.
c
c: e
x
tract
ou
t
some code to e
v
alue_ut
i
l and
.
.
.
commit
|
commitdiff
|
tree
2006-09-21
S
v
en Verdool
a
eg
e
o
p
t
io
n
s
.
c
:
p
ick up defi
n
itio
n
of PO
L
_INTEGER f
r
om barvinok
.
.
.
commit
|
commitdiff
|
tree
2006-09-21
Sve
n
Ve
r
doola
e
ge
optionc
.
c: move choice
o
f wh
i
ch
specialization to use
.
.
.
commit
|
commitdiff
|
tree
2006-09-21
Sven
Ve
r
doolaege
omega
/
p
a
r
s
er
.
l
:
l
e
t flex define yylineno
commit
|
commitdiff
|
tree
2006-09-20
S
v
e
n V
e
rdoolaeg
e
lexmin
.
cc: op
t
ionally skip check for
e
mpty domains
commit
|
commitdiff
|
tree
2006-09-20
Sven Verdoolae
g
e
evalue
.
c: reduce_
e
val
u
e_
i
n_d
o
main: reduc
e
to
z
e
ro ev
a
lue
.
.
.
commit
|
commitdiff
|
tree
2006-09-20
S
ven Verdoo
l
aege
lexmin
.
cc: use barvinok_options
commit
|
commitdiff
|
tree
2006-09-20
Sven Verdoolaege
introduce barvi
n
ok_
o
p
t
i
ons str
u
ctu
r
e
commit
|
commitdiff
|
tree
2006-09-20
Sven Ver
d
oo
l
aege
lexmin
.
cc: compu
t
e ge
n
erating
function
s
of vertex
c
o
n
e
s
.
.
.
commit
|
commitdiff
|
tree
2006-09-20
Sven Verdool
a
ege
lexmin
.
cc: mo
v
e some code around to prep
a
re
f
o
r
new
.
.
.
commit
|
commitdiff
|
tree
2006-09-11
Sven Verdoolae
g
e
eva
l
ue:
declare arg
u
men
t
of eadd
a
nd evalue_copy const
commit
|
commitdiff
|
tree
2006-09-06
S
v
en Verdoolae
g
e
lexmin
.
cc:
p
e
r
f
orm substit
u
tion immediately on
each
.
.
.
commit
|
commitdiff
|
tree
2006-09-06
S
ven Verdoolaege
READM
E
: a
d
d a warni
n
g
on (n
o
t) u
s
ing shar
e
d l
i
brari
e
s
commit
|
commitdiff
|
tree
2006-08-31
Sven
Verdoola
e
ge
evalue
.
h: c
h
ange nam
e
of header
d
efine
commit
|
commitdiff
|
tree
2006-08-31
Sven Ve
r
doolae
g
e
evalue
.
h: m
a
ke
more
s
elf-contained
commit
|
commitdiff
|
tree
2006-08-26
S
v
en Ve
r
doolaege
bfcounter
.
h: unde
f
ine divid
e
from p
o
lylib's arith
m
etique
.
h
commit
|
commitdiff
|
tree
2006-08-26
Sven Verdo
o
l
aege
configure
.
in: no l
o
n
g
er compile sha
r
ed l
i
braries by
.
.
.
commit
|
commitdiff
|
tree
2006-08-26
Sven Verdoolaege
README: reflect that --enable-frac
t
io
n
al
i
s now the
.
.
.
commit
|
commitdiff
|
tree
2006-08-26
S
v
en Verdoolaege
l
exmin: r
e
mo
v
e
d
u
p
licate unfri
n
ge
commit
|
commitdiff
|
tree
2006-08-16
S
ven Verdoolaege
polyt
o
pe_scan: optiona
l
ly skip b
a
sis reduction
commit
|
commitdiff
|
tree
2006-08-16
Sve
n
V
er
d
oola
e
ge
polytope_scan: scan in reduc
e
d basis
commit
|
commitdiff
|
tree
2006-08-16
S
v
en Ve
r
d
o
o
laege
p
olytope
_
scan: scans the intege
r
p
oints in a polytope
commit
|
commitdiff
|
tree
2006-08-14
Sven Verdoolae
g
e
instal
l
N
TL_QQ
.
h header
commit
|
commitdiff
|
tree
2006-08-13
S
v
en Verdoolaege
basis_reduct
i
o
n
.
c: clean up G
L
PK m
e
mory
commit
|
commitdiff
|
tree
2006-08-13
Sven Verdoolae
g
e
lexmin
.
cc
:
don't b
o
ther
t
r
ansform
i
n
g
if compres
s
_parm
s
.
.
.
commit
|
commitdiff
|
tree
2006-08-13
Sven Verd
o
ola
e
ge
le
x
min
.
cc: fix u
s
e
of comp
r
ess
_
parm
s
commit
|
commitdiff
|
tree
2006-08-13
S
ven V
e
rdoolaege
sample
.
c
:
fix remo
v
e
_r
a
y
commit
|
commitdiff
|
tree
2006-08-13
Sven Verdo
o
laege
barvinok_count
:
clean up
m
emory after simpl
i
f
ying constraint
s
commit
|
commitdiff
|
tree
2006-08-13
Sven Verdoolaege
README: update
commit
|
commitdiff
|
tree
2006-08-12
Sven Verdoolaege
on
l
y pe
r
form lexmin
t
ests when lexm
i
n ha
s
been c
o
m
pil
e
d
commit
|
commitdiff
|
tree
2006-08-12
Sven
V
erdo
o
l
a
ege
some more tes
t
s with unbounded p
o
lyhed
r
a
commit
|
commitdiff
|
tree
2006-08-12
Sven Verdoolaege
a
dd some small tests for
lexmin
commit
|
commitdiff
|
tree
2006-08-12
Sven
Verdoolaege
le
x
m
i
n:
barf when polyhe
d
ron con
t
ains line
commit
|
commitdiff
|
tree
2006-08-12
S
v
e
n V
e
rdoolaege
lexmin: don't print solution
when verifyi
n
g
commit
|
commitdiff
|
tree
2006-08-11
Sven
V
erdool
a
ege
verify_main
.
cc: cle
a
n
up memory
commit
|
commitdiff
|
tree
2006-08-10
Sven
V
erdoolaege
bar
v
inok_series:
h
andle fixed polytopes
commit
|
commitdiff
|
tree
2006-08-10
Sv
e
n
Verdoolaege
gen_fun: a
d
d
constructo
r
for ge
n
e
rating function with
.
.
.
commit
|
commitdiff
|
tree
2006-08-10
Sven V
e
rdoolaege
barvin
o
k
.
cc: remove_more_equ
a
lities: handle eq
u
alities
.
.
.
commit
|
commitdiff
|
tree
2006-08-10
S
v
e
n Verdoolaege
g
en_fun::c
o
efficient:
reset t
h
e numb
e
r of rows in the
.
.
.
commit
|
commitdiff
|
tree
2006-08-10
Sven Verdoo
l
a
e
ge
l
exmin
.
cc: u
s
e remove_
e
qualities con
s
istently
commit
|
commitdiff
|
tree
2006-08-10
Sven Verdoolaege
u
t
il
.
c
:
c
o
m
press_variables: extracted from lexmin
.
cc
commit
|
commitdiff
|
tree
2006-08-09
Sve
n
Verdoolaege
l
e
xmin: do
n
't check any
t
hin
g
if give
n
r
ange lies outside
.
.
.
commit
|
commitdiff
|
tree
2006-08-09
S
v
en V
e
rdoo
l
aege
lexmin
.
c
c: remov
e
_equalities; take preimage
with returned
.
.
.
commit
|
commitdiff
|
tree
2006-08-09
Sven Verdoolaege
lexmi
n
.
cc
:
re
m
ove_eq
u
alities
:
extend re
t
ur
n
e
d matrix
.
.
.
commit
|
commitdiff
|
tree
2006-08-09
Sven Ver
d
o
ol
a
e
ge
lexmin
.
cc:
i
n_domain: fix
t
ypo
commit
|
commitdiff
|
tree
2006-08-09
Sven Verdoolaege
lexmin
.
c
c
: remove som
e
debu
g
g
ing residues
commit
|
commitdiff
|
tree
2006-08-09
Sven Verdoolaege
redu
c
e_d
o
main: compute con
v
ex
union of
d
o
main
commit
|
commitdiff
|
tree
2006-08-09
S
ven Verdoolaege
l
exmin
.
cc:
in_domain: also check
other par
t
s
o
f uni
o
n
commit
|
commitdiff
|
tree
2006-08-09
Sve
n
Verdoolaege
lexmin:
i
n_dom
a
in: set values if constraints d
o
n't
.
.
.
commit
|
commitdiff
|
tree
2006-08-09
Sven
Verdoolaege
l
e
xmin: p
l
ug s
o
me me
m
ory leaks
commit
|
commitdiff
|
tree
2006-08-08
Sven Verdoolae
g
e
lexmin: an experimen
t
a
l too
l
for computing the
parametric
.
.
.
commit
|
commitdiff
|
tree
2006-08-08
Sven Verd
o
ol
a
e
g
e
add f
d
stream
commit
|
commitdiff
|
tree
2006-08-08
Sven Verdoola
e
g
e
evalue
.
c: flo
o
r
2frac_r: plug m
e
mory leak
commit
|
commitdiff
|
tree
2006-08-08
Sven Verdoolaege
ba
r
v
i
nok
.
c
c: un
f
ringe: work increm
e
n
t
al
l
y
commit
|
commitdiff
|
tree
2006-08-06
Sven Verdoolaeg
e
ev
a
lue_f
r
ac2flo
o
r_in_domain:
p
lug memory leak
commit
|
commitdiff
|
tree
2006-08-03
Sven
V
erdoolaege
Polyhedro
n
_Samp
l
e
:
a
l
low equalities in input polyh
e
d
r
a
commit
|
commitdiff
|
tree
2006-08-03
Sven Verdoolae
g
e
Polyh
e
dr
o
n_Sample: make sure ve
r
t
i
c
e
s are available
.
.
.
commit
|
commitdiff
|
tree
2006-08-03
Sven Verdoo
l
a
ege
Polyhedron_Sample: si
m
plify constraints after choosing
.
.
.
commit
|
commitdiff
|
tree
2006-08-03
S
v
en Verdoo
l
ae
g
e
Polyhedron_Samp
l
e:
h
a
n
dl
e
e
m
p
ty a
n
d 0D
p
olyhedra
commit
|
commitdiff
|
tree
2006-08-03
Sven
Verd
o
olaege
s
a
mple
.
c:
al
t
ernative implementa
t
ion
o
f
r
emov
e
_ray
commit
|
commitdiff
|
tree
2006-08-03
Sven Verdo
o
laege
sa
m
ple
.
c: Polyhedro
n
_RemoveF
i
xed
C
ol
u
mn
s
:
handle
p
resence
.
.
.
commit
|
commitdiff
|
tree
2006-08-03
Sven Ver
d
oolaege
bar
v
ino
k
_co
u
nt_f: check whether polyhedron is un
b
ounde
d
.
.
.
commit
|
commitdiff
|
tree
2006-08-03
Sven Ve
r
doolaege
b
a
rvino
k
_
c
ount: simpl
i
fy constrai
n
ts afte
r
removing
.
.
.
commit
|
commitdiff
|
tree
2006-08-03
Sven Ver
d
oolaege
reduced_basi
s
:
sup
p
ort 1D polytopes
commit
|
commitdiff
|
tree
2006-08-03
Sven Ve
r
doolaege
red
u
ced_basis: ensure all LP solutio
n
s are n
o
n-nega
t
i
ve
commit
|
commitdiff
|
tree
2006-08-02
S
v
e
n Verdoola
e
ge
occ: print parametric vertices of se
t
us
i
ng Po
l
yLib
commit
|
commitdiff
|
tree
2006-08-01
Sv
e
n
Ve
r
doolaege
occ: add interface
t
o barvinok_lexsmaller_ev
commit
|
commitdiff
|
tree
2006-08-01
Sven Verdoolaege
u
til
.
c: provide
dummy barvinok
_
lexsmaller_ev when
LexSmaller
.
.
.
commit
|
commitdiff
|
tree
2006-07-28
S
ven Verdo
o
laege
4coins
:
c
omputes genera
t
ing fu
n
cti
o
n for 4 coin
Frobeni
u
s
.
.
.
commit
|
commitdiff
|
tree
2006-07-28
Sven V
e
rdo
o
l
aege
gen_
f
un::Hadam
a
r
d_product: app
l
y parameter compress
i
on
.
.
.
commit
|
commitdiff
|
tree
2006-07-28
Sven Verdoolaege
gen_fun::s
u
bstitu
t
e: only pass in transformation
m
a
t
rix
.
.
.
commit
|
commitdiff
|
tree
2006-07-28
Sven Verdo
o
lae
g
e
s
c
arf
.
cc: support more cases of 3 (indep
e
ndent)
c
o
n
s
traints
commit
|
commitdiff
|
tree
2006-07-27
Sven Ver
d
oolaege
sca
r
f
.
cc:
sup
p
ort
m
o
re cases of 4 constrai
n
ts
commit
|
commitdiff
|
tree
2006-07-27
Sven Verdoolaege
genfun
.
cc: add gen
_
fun::div
i
de
m
ethod
commit
|
commitdiff
|
tree
2006-07-27
Sven
V
erdoo
l
aeg
e
g
e
n
fun
.
cc: anothe
r
gen_fun::su
m
mate method
commit
|
commitdiff
|
tree
2006-07-27
Sven Verdoolaege
i
n
finite_ico
u
nter: an increm
e
ntal co
u
nt
e
r for p
o
ssibly
.
.
.
commit
|
commitdiff
|
tree
2006-07-27
Sven Verdoolae
g
e
icounter: move from
barvinok
.
cc t
o
r
e
d
u
cer
.
cc
commit
|
commitdiff
|
tree
2006-07-26
Sven Verdo
o
la
e
g
e
bfenu
m
era
t
o
r
::set_f
a
cto
r
: p
l
ug sm
a
l
l
memory leak
commit
|
commitdiff
|
tree
2006-07-26
Sve
n
Verdoolaege
barvinok_enumerate_union_series: use gen_fun::summate
.
.
.
commit
|
commitdiff
|
tree
2006-07-26
Sve
n
Verdoolae
g
e
genfun
.
cc: add gen_fu
n
::summate me
t
hod
commit
|
commitdiff
|
tree
2006-07-26
Sven
V
erdoolaege
gen_fun::Hadamard_
p
ro
d
uct: optimize c
o
mputa
t
ion of
.
.
.
commit
|
commitdiff
|
tree
2006-07-26
S
ven Ver
d
oolaeg
e
gen_fun
:
:Hada
m
ard_
p
roduct: make first argument
c
on
s
t
commit
|
commitdiff
|
tree
2006-07-26
Sv
e
n
Verdool
a
e
ge
polar_decomposer
:
:deco
m
pose:
make sure
v
e
r
tices have
.
.
.
commit
|
commitdiff
|
tree
2006-07-26
Sven Verdoolaege
np_base: add do
_
vert
e
x_cone
m
ethod
commit
|
commitdiff
|
tree
2006-07-26
Sven Ver
d
oola
e
g
e
gen
_
fun::print: allow print
i
n
g
to strea
m
s
other th
a
n
.
.
.
commit
|
commitdiff
|
tree
2006-07-26
Sven Verdoolaege
bfcou
n
ter
.
cc: move
so
m
e more cod
e
from
b
arvino
k
.
cc
commit
|
commitdiff
|
tree
2006-07-26
Sven Verd
o
o
l
aege
ge
n
_fun
.
h: shor
t
_
r
at: u
s
e
QQ instea
d
of
pair of ZZs
commit
|
commitdiff
|
tree
2006-07-26
Sven
Ve
r
doola
e
ge
NTL_QQ
.
cc
:
a r
a
ti
o
nal NT
L
typ
e
commit
|
commitdiff
|
tree
2006-07-26
S
v
e
n
V
e
rdoolaege
verify_main
.
cc:
small memory c
l
ean-u
p
commit
|
commitdiff
|
tree
2006-07-26
Sven
Verdoolaege
b
arvi
n
ok
_
series: move ch
o
ice o
f
which gf_base
subclass
.
.
.
commit
|
commitdiff
|
tree
2006-07-26
S
v
en Verdoolaege
barvinok
.
c
c
: move some functionalit
y
i
n
t
o s
e
parate
.
.
.
commit
|
commitdiff
|
tree
2006-07-26
Sven Ver
d
oolaege
barvino
k
.
cc: move Po
l
yhedron argument t
o
st
a
r
t
m
e
t
h
od
.
.
.
commit
|
commitdiff
|
tree
2006-07-26
Sven Verdool
a
ege
barvinok
.
c
c
:
move star
t
a
n
d ha
n
d
l
e
_
polar
i
n
t
o
np
_
base
.
.
.
commit
|
commitdiff
|
tree
2006-07-26
Sve
n
V
erdo
o
laege
gen_fun:
a
dd shif
t
method
commit
|
commitdiff
|
tree
2006-07-26
S
v
en Ve
r
doolaege
gen_fun: add c
o
py cons
t
ructor
commit
|
commitdiff
|
tree
2006-07-26
Sven Verd
o
olaege
zz2v
a
lue
s
: make
first argument const
commit
|
commitdiff
|
tree
2006-07-26
Sven V
e
rdoolaege
zz2value
:
mak
e
first
a
rgument
c
onst
commit
|
commitdiff
|
tree
2006-07-20
Sven
V
erdoola
e
ge
P
o
lyhedron_is_i
n
finite: use Polyhedron_Samp
l
e if available
.
commit
|
commitdiff
|
tree
next