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
extract out routine for "or"ing
2004-07-30
s
kimo
ext
r
act
o
u
t routin
e
for "
o
r"in
g
commit
|
commitdiff
|
tree
2004-07-30
skimo
u
nused routine for removi
n
g double bounds
commit
|
commitdiff
|
tree
2004-07-30
skimo
s
e
nd debug o
u
tput to stder
r
in (u
n
used) unfringe
commit
|
commitdiff
|
tree
2004-07-30
skim
o
make deb
u
ggin easier by keeping track of
recursion
.
.
.
commit
|
commitdiff
|
tree
2004-07-30
skimo
extract
out routine to align con
s
t
rain
t
along
a lin
e
ar
.
.
.
commit
|
commitdiff
|
tree
2004-07-30
skimo
If one of the hyperpl
a
nes has to be
independ
e
nt as
.
.
.
commit
|
commitdiff
|
tree
2004-07-30
skimo
Ensure t
h
at f
i
rst variable is
m
a
d
e
neg
a
tive i
n
side
.
.
.
commit
|
commitdiff
|
tree
2004-07-30
skimo
Ensure that spli
t
ting will reduce the nu
m
ber
o
f e
x
i
stential
commit
|
commitdiff
|
tree
2004-07-30
skimo
abstract
out ha
n
dling of mul
t
iple valid
i
ty
d
o
mains
commit
|
commitdiff
|
tree
2004-07-29
skimo
Extra check that is probably
n
ot needed
commit
|
commitdiff
|
tree
2004-07-29
skimo
h
andle composed validity domains
commit
|
commitdiff
|
tree
2004-07-29
skimo
reduce a
f
ter
summ
a
tion
commit
|
commitdiff
|
tree
2004-07-29
s
k
imo
don't create
emp
t
y par
t
iti
o
ns
commit
|
commitdiff
|
tree
2004-07-29
skimo
allow e
v
alu
a
tion of floorings
commit
|
commitdiff
|
tree
2004-07-29
sk
i
m
o
perform (trivial)
r
eduction on floor
i
ngs
commit
|
commitdiff
|
tree
2004-07-29
ski
m
o
m
a
ke reorder_
t
erms w
o
rk f
o
r floorings
commit
|
commitdiff
|
tree
2004-07-29
s
kimo
c
o
rrect check for 1
commit
|
commitdiff
|
tree
2004-07-29
skimo
be
m
o
re
s
t
r
ict when compa
r
ing two rationals
commit
|
commitdiff
|
tree
2004-07-29
skimo
typo in comment
commit
|
commitdiff
|
tree
2004-07-21
s
kimo
hand
l
e case of all e
m
p
ty valid
i
ty do
m
ains
commit
|
commitdiff
|
tree
2004-07-21
skimo
supp
o
rt
p
olynomia
l
s in "rea
l
" parameters
commit
|
commitdiff
|
tree
2004-07-21
s
k
imo
handle negative values of summed v
a
riable
commit
|
commitdiff
|
tree
2004-07-21
s
kimo
check wheth
e
r POLYTO
P
E
_PREFIX is
a
ctual
l
y set
commit
|
commitdiff
|
tree
2004-07-20
skimo
floor conversion and
p
ar
t
ial implementation o
f
es
u
m
commit
|
commitdiff
|
tree
2004-07-20
skimo
pos
starts at
1
commit
|
commitdiff
|
tree
2004-07-19
skimo
minor reor
d
e
r
ing of co
d
e
commit
|
commitdiff
|
tree
2004-07-19
ski
m
o
spl
i
t off
mor
e
common c
o
de
commit
|
commitdiff
|
tree
2004-07-19
skimo
revert ch
a
nge
c
o
mmited by accident
commit
|
commitdiff
|
tree
2004-07-19
ski
m
o
add
c
o
llect
_
p
o
lytope
s
.
c
commit
|
commitdiff
|
tree
2004-07-18
skimo
re
c
urse into the correct
v
ersion of count_
p
oints
commit
|
commitdiff
|
tree
2004-07-18
skimo
"or"-spli
t
for case
w
i
th o
n
ly existential variables
commit
|
commitdiff
|
tree
2004-07-18
skim
o
allow spli
t
on ot
h
er than first
e
xis
t
entia
l
v
ariable
commit
|
commitdiff
|
tree
2004-07-18
sk
i
mo
e
x
tract out code to split on a constrai
n
t
commit
|
commitdiff
|
tree
2004-07-17
skimo
"ex
i
stential" ve
r
sio
n
of verif_eh
r
hart
commit
|
commitdiff
|
tree
2004-07-17
skimo
provi
d
e eva
l
ue
to enumerat
i
on
c
o
n
versi
o
n
commit
|
commitdiff
|
tree
2004-07-17
skimo
a
d
apt
t
o de
a
l
w
i
t
h existential variables
commit
|
commitdiff
|
tree
2004-07-16
s
kimo
c
opied from ehrhart
.
c
f
rom P
o
lylib distribution
commit
|
commitdiff
|
tree
2004-07-14
s
k
imo
han
d
le t
r
i
vi
a
l ca
s
e of only
e
x
istent
i
al vari
a
bles
commit
|
commitdiff
|
tree
2004-07-14
skimo
It should be suffic
i
ent tha
t
one of
th
e
bounds
i
s indepe
n
de
n
t
commit
|
commitdiff
|
tree
2004-07-14
skimo
don't count storage space fo
r
the rays
commit
|
commitdiff
|
tree
2004-07-06
skimo
bump
version
commit
|
commitdiff
|
tree
2004-07-06
skimo
fix up
changelog
commit
|
commitdiff
|
tree
2004-07-06
s
ki
m
o
bump version some more since w
e
c
hanged
t
he i
n
terface
commit
|
commitdiff
|
tree
2004-07-06
s
k
imo
t
urn of de
b
uggi
n
g mes
s
ages
commit
|
commitdiff
|
tree
2004-07-06
skimo
up
d
at
e
commit
|
commitdiff
|
tree
2004-07-06
skimo
brief
d
esc
r
iption of the i
n
put
commit
|
commitdiff
|
tree
2004-07-06
s
k
imo
replace modulo by
f
raction
a
l
commit
|
commitdiff
|
tree
2004-07-06
skimo
remov
e
empty p
a
rt
i
tio
n
s
i
n
place
commit
|
commitdiff
|
tree
2004-07-06
skimo
more
memor
y
leaks
commit
|
commitdiff
|
tree
2004-07-06
skim
o
m
e
m
ory
l
eak
commit
|
commitdiff
|
tree
2004-07-06
skimo
p
oten
t
ial m
e
m
o
ry leak
commit
|
commitdiff
|
tree
2004-07-06
sk
i
m
o
(
potenti
a
l
) memory leaks
commit
|
commitdiff
|
tree
2004-07-06
s
k
imo
prin
t
more info
commit
|
commitdiff
|
tree
2004-07-05
ski
m
o
preload library
t
o count the nu
m
ber of
v
a
l
idit
y
dom
a
ins
commit
|
commitdiff
|
tree
2004-07-01
skimo
memory leak
commit
|
commitdiff
|
tree
2004-07-01
s
k
imo
me
m
ory lea
k
commit
|
commitdiff
|
tree
2004-07-01
sk
i
mo
m
e
m
ory leak
commit
|
commitdiff
|
tree
2004-07-01
skimo
memory leak
commit
|
commitdiff
|
tree
2004-06-26
skimo
Use function for
c
opying evalue
.
commit
|
commitdiff
|
tree
2004-06-26
s
k
imo
ord
e
r periodics in mult
i
plication as
w
e
ll
commit
|
commitdiff
|
tree
2004-06-26
skimo
copy value before fre
e
ing
commit
|
commitdiff
|
tree
2004-06-26
skimo
regression t
e
st
commit
|
commitdiff
|
tree
2004-06-26
s
k
i
m
o
handle case where polytope
h
a
s n
o
"real
"
dimensions
.
.
.
commit
|
commitdiff
|
tree
2004-06-25
ski
m
o
Use smalles
t
rep
r
esenta
t
ive in a
b
s
ol
u
te value rat
h
e
r
.
.
.
commit
|
commitdiff
|
tree
2004-06-25
skimo
Debug
g
ing output t
o
evaluate th
e
use
f
ulne
s
s of
s
everal
commit
|
commitdiff
|
tree
2004-06-25
skim
o
Add cons
t
r
ain
t
if
e
x
pression is only integer f
o
r a
.
.
.
commit
|
commitdiff
|
tree
2004-06-25
sk
i
mo
p
e
rform range reduction o
n
condition of re
l
atio
n
commit
|
commitdiff
|
tree
2004-06-25
skimo
full
y
p
r
opagate reorderin
g
commit
|
commitdiff
|
tree
2004-06-24
ski
m
o
partiall
y
pro
p
a
g
a
t
e
reor
d
e
ring an
d
r
educe in case of
.
.
.
commit
|
commitdiff
|
tree
2004-06-24
skimo
re
m
ove comm
e
nt
commit
|
commitdiff
|
tree
2004-06-24
s
kimo
Range reduct
i
on an
d
some au
x
iliary funct
i
ons
.
commit
|
commitdiff
|
tree
2004-06-24
ski
m
o
I
n
vert a fractional if
leadin
g
coefficient b
e
c
o
mes
.
.
.
commit
|
commitdiff
|
tree
2004-06-24
skimo
r
e
move debuggi
n
g o
u
t
p
ut
commit
|
commitdiff
|
tree
2004-06-24
skimo
Remove inval
i
d m
e
mory
a
ccess
.
commit
|
commitdiff
|
tree
2004-06-23
skim
o
re
c
omput
e
domains
commit
|
commitdiff
|
tree
2004-06-23
skimo
comput
e
size of all subd
o
mains
commit
|
commitdiff
|
tree
2004-06-23
sk
i
mo
trivial
recombinatio
n
commit
|
commitdiff
|
tree
2004-06-23
ski
m
o
al
s
o inv
e
rt when constant is half the mo
d
ulo,
since
.
.
.
commit
|
commitdiff
|
tree
2004-06-23
skimo
Allow more fracito
n
al substitutions, in particular
commit
|
commitdiff
|
tree
2004-06-23
s
kimo
sear
c
h for pair of fractionals that can (optimally
.
.
.
commit
|
commitdiff
|
tree
2004-06-23
skimo
a
lways provide
subst s
t
ructure (e
v
e
n if empty)
commit
|
commitdiff
|
tree
2004-06-22
skimo
avoid infi
n
ite loop caused by splitting off nothing
commit
|
commitdiff
|
tree
2004-06-22
sk
i
mo
r
emo
v
e re
l
a
t
ion if branches are identical
commit
|
commitdiff
|
tree
2004-06-22
skimo
remo
v
e
r
e
d
uced
re
l
ations
commit
|
commitdiff
|
tree
2004-06-21
skimo
replace
{
E/
m
} by
{
(E-1)/
m
}
+
1/m if { E/m
}
!
=
0
commit
|
commitdiff
|
tree
2004-06-21
sk
i
mo
numer
a
t
o
r
c
an never be negat
i
ve inside f
r
act
i
onal
commit
|
commitdiff
|
tree
2004-06-21
skimo
o
ptionally
p
ri
n
t
"
size"
of enumeration
commit
|
commitdiff
|
tree
2004-06-21
skimo
Enumeratio
n
_si
z
e
commit
|
commitdiff
|
tree
2004-06-21
s
k
imo
export do
m
ain
_
size
commit
|
commitdiff
|
tree
2004-06-21
skim
o
reduce af
t
er conversion
commit
|
commitdiff
|
tree
2004-06-21
skim
o
tra
n
slate relat
i
o
n
as wel
l
commit
|
commitdiff
|
tree
2004-06-20
skimo
use convex hull for equalities to use in
r
educti
o
n
commit
|
commitdiff
|
tree
2004-06-20
s
kimo
reord
e
r terms
if needed
a
fter reduction
commit
|
commitdiff
|
tree
2004-06-20
skimo
remove code made
r
edundant by switch to fractional
commit
|
commitdiff
|
tree
2004-06-20
ski
m
o
conver
t
fr
o
m modu
l
o to fracti
o
nal
commit
|
commitdiff
|
tree
2004-06-16
skimo
inform cal
l
ing procedure whether a new
entry was
a
d
ded
commit
|
commitdiff
|
tree
2004-06-16
skimo
reall
o
cate substitutio
n
s ar
r
ay if n
e
cessary
commit
|
commitdiff
|
tree
2004-06-15
skimo
multi
p
l
y modulo argument if this can h
e
lp to e
l
iminat
e
.
.
.
commit
|
commitdiff
|
tree
2004-06-15
skimo
also use equivalences inside modulo expressions
commit
|
commitdiff
|
tree
2004-06-15
s
ki
m
o
all
o
w
f
ractional substitutions outside modulo
(n
o
t
.
.
.
commit
|
commitdiff
|
tree
next