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
only rays involving the real variables lead to unbounded polyhedra
2004-08-01
s
k
imo
only rays inv
o
lving the
real
v
ari
a
bles lea
d
to unbounded
.
.
.
commit
|
commitdiff
|
tree
2004-08-01
skimo
perform
range
reductio
n
if
r
eque
s
ted
commit
|
commitdiff
|
tree
2004-08-01
ski
m
o
only calculate
o
nce fo
r
part that is
i
n
d
epen
d
ent of
.
.
.
commit
|
commitdiff
|
tree
2004-07-31
skimo
perform another range
r
ed
u
c
t
ion after summat
i
on
commit
|
commitdiff
|
tree
2004-07-31
skimo
Decomp
o
sitions based on v
a
lidity domai
n
s and parametric
.
.
.
commit
|
commitdiff
|
tree
2004-07-30
sk
i
m
o
spli
t
off
p
art tha
t
certai
n
ly con
t
a
ins lat
t
ice points
commit
|
commitdiff
|
tree
2004-07-30
s
kimo
routine f
o
r
r
educing
to zero
v
ariables ca
s
e
commit
|
commitdiff
|
tree
2004-07-30
skimo
u
s
e ne
w
ly added
routine
commit
|
commitdiff
|
tree
2004-07-30
s
k
imo
a po
l
ytop
e
with rays ind
e
pendent
of the existential
.
.
.
commit
|
commitdiff
|
tree
2004-07-30
skimo
check for
emp
t
y polyt
o
p
e
commit
|
commitdiff
|
tree
2004-07-30
skimo
simplify constraints
o
n
each
i
n
vocation of
bar
v
inok_e
n
um
e
rat
.
.
.
commit
|
commitdiff
|
tree
2004-07-30
skimo
extr
a
c
t
out routine
f
o
r
"or"i
n
g
commit
|
commitdiff
|
tree
2004-07-30
ski
m
o
un
u
sed rou
t
ine for removing d
o
ubl
e
bound
s
commit
|
commitdiff
|
tree
2004-07-30
skimo
send debug out
p
ut to s
t
derr in (u
n
used) unf
r
ing
e
commit
|
commitdiff
|
tree
2004-07-30
s
kimo
ma
k
e de
b
uggin easier by keeping track of recursion
.
.
.
commit
|
commitdiff
|
tree
2004-07-30
skimo
e
xtract out routine
to ali
g
n
c
onst
r
ain
t
along
a
linear
.
.
.
commit
|
commitdiff
|
tree
2004-07-30
s
k
i
m
o
I
f
one of the h
y
p
e
r
p
l
anes
has to
b
e i
n
dependent as
.
.
.
commit
|
commitdiff
|
tree
2004-07-30
sk
i
mo
E
nsure
th
a
t
f
irst vari
a
ble is made
n
e
g
a
tive
ins
i
de
.
.
.
commit
|
commitdiff
|
tree
2004-07-30
skimo
Ensur
e
t
h
at split
t
ing will
reduce th
e
number of existen
t
ial
commit
|
commitdiff
|
tree
2004-07-30
ski
m
o
ab
s
t
r
act out handling
of multiple
v
alidity domains
commit
|
commitdiff
|
tree
2004-07-29
s
kimo
Extra check that is
p
r
o
bably not needed
commit
|
commitdiff
|
tree
2004-07-29
skimo
h
a
ndl
e
compose
d
validity domains
commit
|
commitdiff
|
tree
2004-07-29
skimo
reduce after s
u
mm
a
t
i
on
commit
|
commitdiff
|
tree
2004-07-29
skimo
do
n
't create empty partitions
commit
|
commitdiff
|
tree
2004-07-29
s
k
i
mo
allow eva
l
uation of floo
r
ings
commit
|
commitdiff
|
tree
2004-07-29
s
kimo
pe
r
form (trivi
a
l) red
u
ction on
f
lo
o
ring
s
commit
|
commitdiff
|
tree
2004-07-29
skimo
m
ake reorder_terms w
o
rk f
o
r
floorings
commit
|
commitdiff
|
tree
2004-07-29
s
k
imo
c
o
rr
e
ct check fo
r
1
commit
|
commitdiff
|
tree
2004-07-29
s
kimo
be m
o
re st
r
ict whe
n
comparing two rationals
commit
|
commitdiff
|
tree
2004-07-29
skim
o
typ
o
i
n
com
m
ent
commit
|
commitdiff
|
tree
2004-07-21
skimo
handle case of all e
m
pty validity d
o
mains
commit
|
commitdiff
|
tree
2004-07-21
s
k
imo
su
p
port
polynomials
in
"real"
p
a
r
a
meters
commit
|
commitdiff
|
tree
2004-07-21
skimo
hand
l
e negative val
u
es of summ
e
d variable
commit
|
commitdiff
|
tree
2004-07-21
skimo
ch
e
ck whether POLY
T
OPE
_
P
R
EFIX i
s
actually
s
et
commit
|
commitdiff
|
tree
2004-07-20
skimo
floor conversion and
partial implementation of esum
commit
|
commitdiff
|
tree
2004-07-20
s
kimo
p
o
s sta
r
t
s at 1
commit
|
commitdiff
|
tree
2004-07-19
skimo
minor
reordering of code
commit
|
commitdiff
|
tree
2004-07-19
skimo
sp
l
i
t
off
m
ore co
m
mon
code
commit
|
commitdiff
|
tree
2004-07-19
skimo
rev
e
rt change c
o
mmited by accident
commit
|
commitdiff
|
tree
2004-07-19
skimo
a
dd collect_
p
olytopes
.
c
commit
|
commitdiff
|
tree
2004-07-18
sk
i
m
o
recu
r
se into
t
he correc
t
vers
i
on o
f
count_point
s
commit
|
commitdiff
|
tree
2004-07-18
skimo
"or"-split for case with only existen
t
ial variables
commit
|
commitdiff
|
tree
2004-07-18
ski
m
o
all
o
w spli
t
on other than
f
irst
e
xistential variable
commit
|
commitdiff
|
tree
2004-07-18
s
kimo
e
x
tract out code to
split on a constraint
commit
|
commitdiff
|
tree
2004-07-17
skimo
"exis
t
e
n
tial" version of
ve
r
if_ehrha
r
t
commit
|
commitdiff
|
tree
2004-07-17
skimo
provide evalue
to enu
m
erati
o
n conversion
commit
|
commitdiff
|
tree
2004-07-17
skimo
adapt to deal w
i
th
e
xistential variable
s
commit
|
commitdiff
|
tree
2004-07-16
skimo
copied from ehrhart
.
c
fr
o
m Polylib dist
r
i
b
u
t
ion
commit
|
commitdiff
|
tree
2004-07-14
skimo
h
a
ndle trivia
l
ca
s
e of o
n
l
y
e
xist
e
ntial
vari
a
bles
commit
|
commitdiff
|
tree
2004-07-14
skimo
It s
h
ould be sufficient that one of the
bounds
is independent
commit
|
commitdiff
|
tree
2004-07-14
skimo
don't co
u
nt storage space for the rays
commit
|
commitdiff
|
tree
2004-07-06
s
k
imo
bum
p
vers
i
on
commit
|
commitdiff
|
tree
2004-07-06
skimo
fix up cha
n
gelog
commit
|
commitdiff
|
tree
2004-07-06
skimo
bump version some m
o
r
e
since we changed
t
h
e
interf
a
ce
commit
|
commitdiff
|
tree
2004-07-06
skimo
turn of deb
u
gging messages
commit
|
commitdiff
|
tree
2004-07-06
skimo
update
commit
|
commitdiff
|
tree
2004-07-06
s
k
i
m
o
b
r
ief description
of
the inp
u
t
commit
|
commitdiff
|
tree
2004-07-06
skimo
replace modulo by fra
c
tional
commit
|
commitdiff
|
tree
2004-07-06
ski
m
o
remov
e
empty partitions in place
commit
|
commitdiff
|
tree
2004-07-06
skimo
more
m
emory leaks
commit
|
commitdiff
|
tree
2004-07-06
skimo
memory leak
commit
|
commitdiff
|
tree
2004-07-06
skimo
pote
n
tial
m
emor
y
l
eak
commit
|
commitdiff
|
tree
2004-07-06
skimo
(potential) mem
o
ry
l
eaks
commit
|
commitdiff
|
tree
2004-07-06
s
kimo
pri
n
t mo
r
e info
commit
|
commitdiff
|
tree
2004-07-05
skim
o
pre
l
oad library to count the number of validity domains
commit
|
commitdiff
|
tree
2004-07-01
skimo
memory lea
k
commit
|
commitdiff
|
tree
2004-07-01
ski
m
o
m
e
m
o
ry leak
commit
|
commitdiff
|
tree
2004-07-01
skim
o
m
e
m
or
y
leak
commit
|
commitdiff
|
tree
2004-07-01
skimo
mem
o
r
y l
e
ak
commit
|
commitdiff
|
tree
2004-06-26
skimo
Use fu
n
ction f
o
r co
p
y
in
g
evalue
.
commit
|
commitdiff
|
tree
2004-06-26
sk
i
mo
o
rder
p
eriodics in multiplication
a
s
w
e
ll
commit
|
commitdiff
|
tree
2004-06-26
s
ki
m
o
copy
value before fr
e
ein
g
commit
|
commitdiff
|
tree
2004-06-26
skimo
regression test
commit
|
commitdiff
|
tree
2004-06-26
skimo
h
andle c
a
se w
h
ere poly
t
ope has no "real" dimensions
.
.
.
commit
|
commitdiff
|
tree
2004-06-25
skimo
Use s
m
allest representative in ab
s
olu
t
e value rather
.
.
.
commit
|
commitdiff
|
tree
2004-06-25
s
kim
o
D
eb
u
g
g
ing output to evalu
a
te the usefulness of several
commit
|
commitdiff
|
tree
2004-06-25
skimo
Add
constraint i
f
ex
p
r
ession is o
n
ly int
e
ger for a
.
.
.
commit
|
commitdiff
|
tree
2004-06-25
skimo
p
erform range
r
eduction
on c
o
nditio
n
of relation
commit
|
commitdiff
|
tree
2004-06-25
skimo
fully prop
a
gate reordering
commit
|
commitdiff
|
tree
2004-06-24
skimo
partial
l
y propagate reordering and re
d
u
c
e in case of
.
.
.
commit
|
commitdiff
|
tree
2004-06-24
skimo
remo
v
e comment
commit
|
commitdiff
|
tree
2004-06-24
sk
i
mo
Ra
n
ge
r
edu
c
tion and some aux
i
liary fu
n
ct
i
ons
.
commit
|
commitdiff
|
tree
2004-06-24
skimo
I
n
vert a fractio
n
al if leading coefficient becomes
.
.
.
commit
|
commitdiff
|
tree
2004-06-24
ski
m
o
remove deb
u
gg
i
ng output
commit
|
commitdiff
|
tree
2004-06-24
skim
o
Remove inval
i
d
m
emory access
.
commit
|
commitdiff
|
tree
2004-06-23
skimo
recom
p
u
t
e
domains
commit
|
commitdiff
|
tree
2004-06-23
skimo
com
p
ut
e
size of all subdomains
commit
|
commitdiff
|
tree
2004-06-23
ski
m
o
t
rivi
a
l recomb
i
nation
commit
|
commitdiff
|
tree
2004-06-23
ski
m
o
also in
v
e
rt whe
n
constant is half the
m
odul
o
, since
.
.
.
commit
|
commitdiff
|
tree
2004-06-23
skimo
Allow more fracit
o
nal substitutions, in partic
u
lar
commit
|
commitdiff
|
tree
2004-06-23
ski
m
o
s
e
arch for pa
i
r of
fr
a
ctionals
t
hat can
(
o
ptimall
y
.
.
.
commit
|
commitdiff
|
tree
2004-06-23
skim
o
al
w
ays
p
rovi
d
e subst
s
tructure
(
even i
f
e
mpty)
commit
|
commitdiff
|
tree
2004-06-22
skimo
av
o
id infinit
e
loop
c
au
s
ed by s
p
litting off
n
othing
commit
|
commitdiff
|
tree
2004-06-22
s
k
imo
remove rel
a
t
i
on if branches
a
re iden
t
ical
commit
|
commitdiff
|
tree
2004-06-22
skimo
remove reduced relation
s
commit
|
commitdiff
|
tree
2004-06-21
skimo
r
e
p
l
ace { E/m } by { (E-1)
/
m }
+ 1/m i
f
{ E
/
m } !=
0
commit
|
commitdiff
|
tree
2004-06-21
skimo
numerator can n
e
ver be negati
v
e inside
f
ractional
commit
|
commitdiff
|
tree
2004-06-21
skimo
optio
n
a
l
ly prin
t
"
s
ize" of enumeration
commit
|
commitdiff
|
tree
2004-06-21
skimo
Enume
r
ati
o
n_size
commit
|
commitdiff
|
tree
2004-06-21
skimo
export
d
omai
n
_size
commit
|
commitdiff
|
tree
next