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
Polyhedron_Sample: be satisfied with a reasonable choice for the first direction
2007-11-08
Sven Verdoolaege
Po
l
yhedro
n
_S
a
m
ple: b
e
satisf
i
ed with a reasonable choice
.
.
.
commit
|
commitdiff
|
tree
2007-11-08
Sven Verdoolaege
cone_integer_hull:
o
ptionally p
r
int
s
tats
commit
|
commitdiff
|
tree
2007-11-08
S
v
en V
e
rdoolaege
bas
i
s_reducti
o
n
:
k
eep tr
a
ck
of num
b
e
r of LPs so
l
ved
commit
|
commitdiff
|
tree
2007-11-08
S
v
en Verdoolaege
optio
n
s
:
move --print-s
t
ats to library
commit
|
commitdiff
|
tree
2007-11-07
Sv
e
n Verdoolaege
b
ernstein: rewor
k
testing framework
t
o not depend on
.
.
.
commit
|
commitdiff
|
tree
2007-11-07
Sven Verdoolaege
b
e
r
n
stein: add
p
iece
w
ise_lst::i
s
_equal
commit
|
commitdiff
|
tree
2007-11-07
S
v
en Verdoo
l
aege
support
n
e
wer versions o
f
GiNaC (>=
1
.
3
.
8)
commit
|
commitdiff
|
tree
2007-11-07
Sven Verdoolaege
s
t
andard_constraints: move from topcom
.
c
t
o polysign
.
c
commit
|
commitdiff
|
tree
2007-11-07
Sv
e
n V
e
rdoolaege
poly
s
ign
.
h:
r
e
move
d
ependency
o
n
l
exmin
.
h
commit
|
commitdiff
|
tree
2007-11-07
Sv
e
n Verdool
a
ege
zsolve: a
d
d banner
.
h t
o
distribution
commit
|
commitdiff
|
tree
2007-11-06
Sven Verdoo
l
aege
Polyhedron_Latti
c
e_Width_
D
irections: print pro
g
ress
.
.
.
commit
|
commitdiff
|
tree
2007-11-06
Sven Verdoolaege
basis_reductio
n
_pip: ab
o
rt o
n
invalid
(empty) input
.
.
.
commit
|
commitdiff
|
tree
2007-11-02
Sven
V
erdoolaege
README
:
exp
l
ain ho
w
to get submo
d
ules
commit
|
commitdiff
|
tree
2007-11-02
Sven Verdoola
e
g
e
doc: d
o
cument lattice width
comp
u
tation
commit
|
commitdiff
|
tree
2007-11-02
Sven Verdoo
l
aege
some lattice width
tests fr
o
m
J
on Yag
g
i
e
commit
|
commitdiff
|
tree
2007-11-01
Sven
Verdoola
e
ge
Polyhedron_Lattice_Wi
d
th: decide on facets to close
.
.
.
commit
|
commitdiff
|
tree
2007-11-01
S
v
e
n Ver
d
ool
a
ege
a
d
d
P
olyhedron_Lattice_Widt
h
for computin
g
lattice
.
.
.
commit
|
commitdiff
|
tree
2007-11-01
Sve
n
Verdoolaege
hil
b
ert
.
c: add Cone_Int
e
g
e
r
_Hul
l
for comp
u
t
ing vertic
e
s
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
S
ve
n
Verdoolaege
poly
s
ign:
a
dd pip-backed
ver
s
ion
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdool
a
eg
e
polysign: add c
o
nstr
a
in
t
s_op
t
to
c
om
p
ute opti
m
um over
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdool
a
ege
polysign_cdd: switch
to use of Matri
x
repres
e
ntation
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoolaege
p
o
lysign_glpk: switch to us
e
of
M
atr
i
x
r
epresent
a
tion
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sve
n
V
er
d
o
o
laege
doc: document comp
u
t
a
t
i
on
o
f Hil
b
ert
b
asis of a
c
one
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdool
a
e
ge
Co
n
e_Hilbert_Bas
i
s: use
st
a
n
dard_constraints to avoid
.
.
.
commit
|
commitdiff
|
tree
2007-10-31
Sven
V
erdoo
l
a
ege
Use zsolve
to compute
Hil
b
er
t
basis of a co
n
e
commit
|
commitdiff
|
tree
2007-10-31
S
ven V
e
r
doolaege
com
p
ile zsolve
commit
|
commitdiff
|
tree
2007-10-31
S
ven Verdool
a
eg
e
zsolve: don't install header
s
and executables
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdool
a
ege
zsolve:
i
n
iti
a
l
i
z
e BackupTime in Z
S
ol
v
eContext
commit
|
commitdiff
|
tree
2007-10-31
Sven
V
e
r
doolaege
z
solve
:
zsolveSystem: add missing ver
b
osit
y
chec
k
commit
|
commitdiff
|
tree
2007-10-31
S
v
en
V
erdoola
e
g
e
zsolve: over
r
ide LIB
S
fro
m
t
op l
e
vel
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoo
l
a
e
ge
add
4ti2
-
1
.
3
.
1+aut
o
con
f
-
0
.
1
ba
n
ner
commit
|
commitdiff
|
tree
2007-10-31
S
ven Verdoolaege
add zsolve
f
ro
m
4ti2-1
.
3
.
1+au
t
o
c
onf-0
.
1
commit
|
commitdiff
|
tree
2007-10-31
Sven Ver
d
o
o
laege
param_util
.
c: export bit_vec
t
o
r_co
u
nt
commit
|
commitdiff
|
tree
2007-10-31
Sven Verdoolaege
topco
m
.
c: extract part of code
fo
r
sett
i
ng up stan
d
ard
.
.
.
commit
|
commitdiff
|
tree
2007-10-30
Sv
e
n Verdoolaege
gen
_
f
un::Hada
m
a
r
d_product: print progress indicator
.
.
.
commit
|
commitdiff
|
tree
2007-10-26
Sven Verdoolaege
move --verbose option to
li
b
rary
commit
|
commitdiff
|
tree
2007-10-25
Sven V
e
rdoolae
g
e
gen_
f
un::summate: handle full specializat
i
on
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
Replace
i
ncremental
i
n
fini
t
e
set counter
b
y "regular
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n V
e
rdoolaege
make
c
ounter::add_falling_powers static
commit
|
commitdiff
|
tree
2007-10-25
Sve
n
Verdoolae
g
e
m
erge (m
o
st
o
f) com
m
o
n
part of
c
ount
e
r and tcounte
r
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
i
c
oun
t
e
r: handle spec
i
aliza
t
ion of polynomia
l
s
commit
|
commitdiff
|
tree
2007-10-25
S
ven V
e
rdoolaege
ic
o
unter
:
d
o
n't
b
other "n
o
rmalizing" the exp
o
n
en
t
s
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
ve
n
Ver
d
oolaege
expo
r
t n
e
g_l
e
ft_hermite
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
basis
_
r
e
d
u
ction_cdd:
c
heck for possibly incorrect output
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Ver
d
o
o
laege
Polyhedron_Sample:
h
a
ndle
polyhedron becoming em
p
ty
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven V
e
rdoola
e
ge
ge
n
_fun::ope
r
a
tor
e
value *: a
l
w
a
y
s
r
eturn a val
i
d
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n Verdoolaege
gen_
f
un::op
e
rator evalue *
:
remove co
m
men
t
ed out
d
e
b
u
gging
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
barvin
o
k_e
n
umer
a
te_e
.
cc: ha
n
dle verifi
c
ation of prob
l
ems
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolae
g
e
b
arvinok_enumera
t
e
_
e:
o
ptionally
prin
t
stats
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
barvinok_enumera
t
e_e
:
sup
p
o
r
t
v
erificatio
n
of gen
e
rati
n
g
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
v
en Verd
o
o
l
aege
barvinok_enumerate
_
e: suppor
t
conve
r
sion o
f
gen
e
rating
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven V
e
rdo
o
laege
l
a
ttice
_
points: anot
h
er
micro-optim
i
z
ation
commit
|
commitdiff
|
tree
2007-10-25
Sven Ver
d
oolaeg
e
lattice_poin
t
s_fixed: nano-optimization
commit
|
commitdiff
|
tree
2007-10-25
Sven
V
erdoo
l
aege
ge
n
_
fun::add: context of sum should be union of
c
o
n
texts
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
barvin
o
k_enu
m
erat
e
: use verify infrastructure for verifying
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
ven V
e
rdoolaege
genf
u
n
.
cc: print_power:
drop sp
a
c
es
a
roun
d
"/"
w
hen
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
count_poin
t
s_e: fall back t
o
count_points if there
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Ve
r
doolaege
Mak
e
file
.
am: check-evalu
e
: print
na
m
e of each te
s
t
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n V
e
rdoolaege
verify: add
check_p
o
ly_print
helper func
t
ion
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoo
l
aege
gen_fun: make
s
u
re context i
s
always set
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n
V
e
rdool
a
ege
r
e
du
c
e
r
::reduce: ca
n
onicalize
c
o
efficients in each
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
short_rat::print:
c
orre
c
t
l
y
p
rint o
u
t terms with a
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
b
a
rvinok_seri
e
s
:
r
e
check
f
or equa
l
ities after c
o
mputing
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven
V
erdool
a
e
ge
export Matr
i
x_Read for
r
eading
Matrix from a s
t
rea
m
commit
|
commitdiff
|
tree
2007-10-25
Sven
Verdoolaege
param_util
.
c: add
Param_V
e
rtex_Domain
commit
|
commitdiff
|
tree
2007-10-25
S
v
e
n
Verdoolaege
util
.
c: sup
p
orting_con
s
traints: return bit vector
commit
|
commitdiff
|
tree
2007-10-25
Sven Ve
r
d
oolaege
polyl
i
b:
up
d
ate
f
or
Matrix_Extend
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoo
l
aege
opti
o
ns
.
c: use P
o
lyhedron
_
S
a
m
ple for count
i
ng infinite
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sv
e
n Verdoolaege
keep track of
and use
s
atura
t
ing c
o
nstr
a
ints in Para
m
_Polyhedro
n
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
move value_gcd
and value
_
l
c
m to polyl
i
b
commit
|
commitdiff
|
tree
2007-10-25
Sve
n
Verdoolaege
Bernoulli_sum_evalue: only
c
o
m
pute exa
c
t sum i
f
approximatio
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
v
en
V
erdoolaege
Ber
n
oulli_sum_e
v
a
lue: sum
over variable
s
with
integer
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven
Ve
r
dool
a
ege
e
v
alue
.
c: export
evalue_var
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
P
o
l
yhedron
_
E
x
c
han
g
eColumns: nor
m
alize
const
r
a
i
nts after
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven
V
erdoolaege
export Polyhedron_Exch
a
ngeColumns
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdoolaege
eval
u
e_polynomial
:
optimize eval
u
a
tion in zero
commit
|
commitdiff
|
tree
2007-10-25
S
v
en
V
erd
o
o
laege
evalue
.
c: emul: handle
another special case
commit
|
commitdiff
|
tree
2007-10-25
Sven Ve
r
doolaege
eval
u
e
.
c: eadd: ha
n
dle
s
o
m
e
special cas
e
s
commit
|
commitdiff
|
tree
2007-10-25
S
v
en Verdoolaege
introduce
a
n
d use evalue_f
r
ee
commit
|
commitdiff
|
tree
2007-10-25
Sven
V
erdoolae
g
e
evalue
.
c: e
a
dd: micro-optimize add
i
tion of two rat
i
onals
commit
|
commitdiff
|
tree
2007-10-25
S
v
e
n V
e
rdoolaege
setting
a
n
a
ppr
o
ximation method
n
o
w implies
polynomial
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sve
n
Verdoolaege
barvinok_summate: optiona
l
ly use Be
r
n
o
u
l
l
i/Faulhaber
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
S
v
en Verd
o
olaege
Bernoulli
_
sum
_
evalue: use eva
l
u
e
_fr
o
m_sec
t
ion_arra
y
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdo
o
laege
bar
v
inok/polylib
.
h
: remove compatibility with older
.
.
.
commit
|
commitdiff
|
tree
2007-10-25
Sven Ve
r
doolae
g
e
mo
v
e Vector_Oppose to PolyLib
commit
|
commitdiff
|
tree
2007-10-25
Sven Verdool
a
ege
polytope_scan: reenable --direct option
commit
|
commitdiff
|
tree
2007-10-20
Sven
V
erdoolaege
re
m
ove_all_e
q
ual
i
ti
e
s: k
e
ep re
m
ovin
g
equaliti
e
s until
.
.
.
commit
|
commitdiff
|
tree
2007-10-20
Sven
Verdoolaege
remove_all
_
e
q
ualities: handle empty polyhedron de
t
ected
.
.
.
commit
|
commitdiff
|
tree
2007-10-20
Sven Ve
r
do
o
laeg
e
remove_all_equa
l
ities: m
i
n
or code clean-up
commit
|
commitdiff
|
tree
2007-10-20
Sve
n
Verdo
o
laege
export
P
o
l
y
hedron_Matrix_View
commit
|
commitdiff
|
tree
2007-10-16
Sve
n
Verdoola
e
ge
polar_signed_cone_con
s
umer: clean up memory o
n
inap
p
ropriate
.
.
.
commit
|
commitdiff
|
tree
2007-10-05
Sve
n
Verdoolaege
Para
m
_Inner_Product: fix use of value_lc
m
commit
|
commitdiff
|
tree
2007-09-28
Sven V
e
r
d
o
o
la
e
ge
doc: fix typo in Michele
Vergne's
name
commit
|
commitdiff
|
tree
2007-09-21
Sven Verdoo
l
aege
Add missing files from polymake client to di
s
tr
i
bu
t
ion
commit
|
commitdiff
|
tree
2007-09-21
Sven Verdoolaege
Use g
m
p
'
s gcd rather than PolyLi
b
'
s
commit
|
commitdiff
|
tree
2007-09-21
S
ven Verdoola
e
ge
polymake/README: mention --with-bar
v
inok
c
onfigure
.
.
.
commit
|
commitdiff
|
tree
2007-09-21
Sven Verdoolaege
polyma
k
e/
M
a
kefile
.
in:
add wo
r
k
-
a
r
o
und for polymake 2
.
3
commit
|
commitdiff
|
tree
2007-09-21
Sv
e
n Verdoolaege
e
value
.
c: p
r
i
n
t_eva
l
ue: always pr
i
nt newline at the
.
.
.
commit
|
commitdiff
|
tree
2007-09-20
S
v
en Verdoolaege
options
.
c: fix typo in
-
-approximation-meth
o
d description
commit
|
commitdiff
|
tree
2007-09-15
Sv
e
n Ve
r
d
oolaege
topcom: fix heu
r
istic for select
i
ng rows
t
o use as
.
.
.
commit
|
commitdiff
|
tree
next