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
test program for pip support
2004-08-29
skimo
test program f
o
r pip suppo
r
t
commit
|
commitdiff
|
tree
2004-08-29
s
k
imo
ad
d
s
u
pport for c
o
mpu
t
ing the lexicographic
a
l
minimu
m
.
.
.
commit
|
commitdiff
|
tree
2004-08-29
skimo
al
s
o l
o
ok a
t
deno
m
inat
o
r
of the constant
commit
|
commitdiff
|
tree
2004-08-28
skim
o
mo
r
e
p
artial ray r
e
moval (largely untested
commit
|
commitdiff
|
tree
2004-08-23
s
k
i
m
o
s/vd/vert
i
ces/
commit
|
commitdiff
|
tree
2004-08-23
s
k
imo
c
he
c
k that polylib is recent e
n
ough to corr
e
ctly c
o
mp
u
te
.
.
.
commit
|
commitdiff
|
tree
2004-08-23
sk
i
mo
add t12
.
in esum
.
i
n
commit
|
commitdiff
|
tree
2004-08-23
skimo
new
t
ests from poly
l
ib
commit
|
commitdiff
|
tree
2004-08-23
sk
i
mo
perform correct peri
o
dic num
b
er look
u
p
f
or ne
g
a
t
ive
.
.
.
commit
|
commitdiff
|
tree
2004-08-23
skimo
more info
commit
|
commitdiff
|
tree
2004-08-14
skimo
typo
commit
|
commitdiff
|
tree
2004-08-14
skim
o
corre
c
t test for mpz_div
i
si
b
l
e
_
p
commit
|
commitdiff
|
tree
2004-08-14
skimo
repeat
w
orkaroun
d
in loop
commit
|
commitdiff
|
tree
2004-08-14
ski
m
o
older gmps
s
eem to have
p
rob
l
ems w
i
th a string constisting
.
.
.
commit
|
commitdiff
|
tree
2004-08-14
skimo
supp
o
rt old
e
r gmp versions
commit
|
commitdiff
|
tree
2004-08-13
skim
o
don't as
s
um
e
C99
commit
|
commitdiff
|
tree
2004-08-10
s
k
imo
remove
code
d
u
plication
commit
|
commitdiff
|
tree
2004-08-09
skim
o
extract out com
m
on code
commit
|
commitdiff
|
tree
2004-08-09
skim
o
extract
o
ut
code to const
r
uct negative
test co
n
straint
commit
|
commitdiff
|
tree
2004-08-09
sk
i
mo
code reuse
commit
|
commitdiff
|
tree
2004-08-09
skimo
det
e
ct more unhandled case
s
commit
|
commitdiff
|
tree
2004-08-09
sk
i
mo
s
impli
f
y some code
commit
|
commitdiff
|
tree
2004-08-08
s
k
imo
remov
e
red
u
n
d
ant rays
commit
|
commitdiff
|
tree
2004-08-08
skimo
allo
w
any num
b
er of parts
i
n enumerat
e
_or
commit
|
commitdiff
|
tree
2004-08-08
skimo
"impl
e
ment
"
eor
commit
|
commitdiff
|
tree
2004-08-08
ski
m
o
handle (single) ray
commit
|
commitdiff
|
tree
2004-08-06
skimo
remove (some)
lines
commit
|
commitdiff
|
tree
2004-08-05
sk
i
mo
set n
p
aram back to use as number
of d
i
mensions in partition
commit
|
commitdiff
|
tree
2004-08-05
skimo
make compute_enode wo
r
k again in ge
n
eral c
a
se
commit
|
commitdiff
|
tree
2004-08-05
skimo
remove debugging ou
t
put
commit
|
commitdiff
|
tree
2004-08-05
skimo
remove debugging output
commit
|
commitdiff
|
tree
2004-08-05
skimo
use evalue r
a
ther than enumeration and some memory
.
.
.
commit
|
commitdiff
|
tree
2004-08-05
skim
o
extend prin
t
ing and
computing t
o
handles "modulos"
.
.
.
commit
|
commitdiff
|
tree
2004-08-05
skimo
a
l
ternative to in
_
domain that handles
"
m
o
dulos" in
.
.
.
commit
|
commitdiff
|
tree
2004-08-05
s
k
imo
store "rea
l
"
d
imension
in
p
os fi
e
ld
of partition
commit
|
commitdiff
|
tree
2004-08-04
skimo
r
emove duplica
t
e implementa
t
i
o
n
commit
|
commitdiff
|
tree
2004-08-04
skimo
be s
l
ightly
m
ore
conservati
v
e (cor
r
ect) in determining
.
.
.
commit
|
commitdiff
|
tree
2004-08-04
sk
i
mo
a ra
y
t
hat depends
on the
p
a
rameters shoul
d
b
e ok
commit
|
commitdiff
|
tree
2004-08-04
sk
i
mo
clea
n
up
commit
|
commitdiff
|
tree
2004-08-04
skimo
memory le
a
k
commit
|
commitdiff
|
tree
2004-08-03
skimo
memory le
a
k
commit
|
commitdiff
|
tree
2004-08-03
skimo
memory leak
commit
|
commitdiff
|
tree
2004-08-03
sk
i
mo
memory l
e
ak
commit
|
commitdiff
|
tree
2004-08-03
s
kimo
memor
y
leak
commit
|
commitdiff
|
tree
2004-08-03
skimo
memory leak
commit
|
commitdiff
|
tree
2004-08-03
sk
i
mo
m
emor
y
l
e
ak
commit
|
commitdiff
|
tree
2004-08-03
skim
o
remove debugg
i
ng output
commit
|
commitdiff
|
tree
2004-08-03
skimo
check whether projecti
o
n i
s
bounded
commit
|
commitdiff
|
tree
2004-08-03
sk
i
mo
Spli
t
o
n param
e
tr
i
c ve
r
tex
.
commit
|
commitdiff
|
tree
2004-08-03
ski
m
o
If o
n
e
of the ve
r
tices i
n
the combin
e
d space is a latt
i
ce
.
.
.
commit
|
commitdiff
|
tree
2004-08-03
s
k
imo
eliminate
p
a
r
ameters if we
can
commit
|
commitdiff
|
tree
2004-08-03
skimo
only p
e
rform vd basid reduction
i
f
t
he
p
olytope h
a
s
.
.
.
commit
|
commitdiff
|
tree
2004-08-03
s
k
imo
unfringe polyhedron
commit
|
commitdiff
|
tree
2004-08-03
skim
o
remov
e
debugging o
u
tput in un
f
ringe
commit
|
commitdiff
|
tree
2004-08-03
s
kimo
extend addeliminatedparams to partit
i
ons
commit
|
commitdiff
|
tree
2004-08-01
sk
i
mo
bai
l
e
ar
l
y on empty polytope
commit
|
commitdiff
|
tree
2004-08-01
s
k
imo
reduce h
i
ghe
r
de
g
rees of fractional parts
w
ith floor
.
.
.
commit
|
commitdiff
|
tree
2004-08-01
skimo
only rays involving the real variables lead to unbounded
.
.
.
commit
|
commitdiff
|
tree
2004-08-01
s
k
imo
perform rang
e
reduc
t
ion if requested
commit
|
commitdiff
|
tree
2004-08-01
skimo
only c
a
lculate once for part tha
t
is indepen
d
ent of
.
.
.
commit
|
commitdiff
|
tree
2004-07-31
skimo
perform a
n
other ran
g
e reduct
i
on after
s
ummation
commit
|
commitdiff
|
tree
2004-07-31
s
kimo
Decompos
i
ti
o
ns based on validity do
m
ains and parametric
.
.
.
commit
|
commitdiff
|
tree
2004-07-30
skimo
spl
i
t off part t
h
at c
e
rtainly conta
i
ns lattice points
commit
|
commitdiff
|
tree
2004-07-30
s
kimo
routine for
reduc
i
n
g
to zero variab
l
es ca
s
e
commit
|
commitdiff
|
tree
2004-07-30
s
kimo
use
n
e
w
ly added routine
commit
|
commitdiff
|
tree
2004-07-30
skimo
a po
l
y
t
ope wit
h
r
ays indepe
n
d
ent of the
existential
.
.
.
commit
|
commitdiff
|
tree
2004-07-30
skimo
chec
k
f
o
r em
p
ty polytope
commit
|
commitdiff
|
tree
2004-07-30
skimo
simplify constraints on each invocation of b
a
rvino
k
_e
n
u
merat
.
.
.
commit
|
commitdiff
|
tree
2004-07-30
skimo
ex
t
ra
c
t
o
ut routi
n
e for
"
o
r
"ing
commit
|
commitdiff
|
tree
2004-07-30
skimo
unused routine
f
o
r remo
v
i
n
g double boun
d
s
commit
|
commitdiff
|
tree
2004-07-30
skim
o
send debug output t
o
stderr in
(
u
nused)
u
nf
r
inge
commit
|
commitdiff
|
tree
2004-07-30
skimo
make d
e
b
ugg
i
n easier by k
e
ep
i
ng track of recursion
.
.
.
commit
|
commitdiff
|
tree
2004-07-30
skimo
ex
t
ract out
routine
t
o
align c
o
n
s
tra
i
nt along a linear
.
.
.
commit
|
commitdiff
|
tree
2004-07-30
skimo
If one
o
f the hyperplanes has to be
independent as
.
.
.
commit
|
commitdiff
|
tree
2004-07-30
skimo
Ensure
tha
t
f
i
r
s
t variable
is made negative i
n
side
.
.
.
commit
|
commitdiff
|
tree
2004-07-30
skimo
En
s
ure that spli
t
ting
w
ill reduce the
n
umber of existen
t
i
a
l
commit
|
commitdiff
|
tree
2004-07-30
skimo
abstra
c
t out ha
n
d
l
i
n
g of
m
ultiple
v
al
i
dity doma
i
ns
commit
|
commitdiff
|
tree
2004-07-29
ski
m
o
Extra check that is probably not neede
d
commit
|
commitdiff
|
tree
2004-07-29
s
k
i
m
o
handle composed
v
a
l
idity domains
commit
|
commitdiff
|
tree
2004-07-29
s
k
imo
red
u
ce
after s
u
mmation
commit
|
commitdiff
|
tree
2004-07-29
s
k
imo
don't c
r
e
a
te empty partitions
commit
|
commitdiff
|
tree
2004-07-29
skimo
allow evaluation of
f
loorings
commit
|
commitdiff
|
tree
2004-07-29
skimo
perfo
r
m (trivial) redu
c
tion on floorings
commit
|
commitdiff
|
tree
2004-07-29
skimo
m
a
ke reorder_term
s
work for flo
o
rings
commit
|
commitdiff
|
tree
2004-07-29
ski
m
o
corr
e
ct
c
h
eck for 1
commit
|
commitdiff
|
tree
2004-07-29
sk
i
mo
b
e mo
r
e s
t
ri
c
t
when comparing two rationals
commit
|
commitdiff
|
tree
2004-07-29
ski
m
o
typo
i
n comment
commit
|
commitdiff
|
tree
2004-07-21
ski
m
o
handle case
of all
e
mpty va
l
idity
d
oma
i
ns
commit
|
commitdiff
|
tree
2004-07-21
skimo
support polyn
o
mials
in "real"
parameters
commit
|
commitdiff
|
tree
2004-07-21
skimo
handle ne
g
a
tive values of summed variable
commit
|
commitdiff
|
tree
2004-07-21
skimo
check whether POLYTO
P
E
_
PREFIX is ac
t
ually
s
e
t
commit
|
commitdiff
|
tree
2004-07-20
skim
o
floor c
o
nversion and
p
artia
l
implementat
i
on
o
f
e
s
um
commit
|
commitdiff
|
tree
2004-07-20
s
k
i
mo
po
s
s
t
arts at 1
commit
|
commitdiff
|
tree
2004-07-19
sk
i
m
o
m
in
o
r r
e
or
d
ering
o
f co
d
e
commit
|
commitdiff
|
tree
2004-07-19
skimo
split off more common code
commit
|
commitdiff
|
tree
2004-07-19
s
k
i
m
o
revert
c
hange comm
i
t
e
d
by
a
cc
i
dent
commit
|
commitdiff
|
tree
2004-07-19
sk
i
m
o
a
dd collect_
p
o
l
ytopes
.
c
commit
|
commitdiff
|
tree
2004-07-18
s
k
imo
r
ecurse
i
nto the corr
e
ct
v
ersion
o
f
count_
p
oints
commit
|
commitdiff
|
tree
2004-07-18
skimo
"or"-split for case with only
e
xi
s
tential variables
commit
|
commitdiff
|
tree
2004-07-18
skimo
allow split on other than first exis
t
ential variable
commit
|
commitdiff
|
tree
next