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
support polynomials in "real" parameters
2004-07-21
skimo
support pol
y
nomials in
"
rea
l
" paramete
r
s
commit
|
commitdiff
|
tree
2004-07-21
s
k
i
mo
h
andle negative v
a
lu
e
s of summed variable
commit
|
commitdiff
|
tree
2004-07-21
skimo
check whether POL
Y
TOPE_PREFIX is actually
s
e
t
commit
|
commitdiff
|
tree
2004-07-20
skimo
f
loor conversion
a
nd partial implementati
o
n of esum
commit
|
commitdiff
|
tree
2004-07-20
ski
m
o
p
os starts at
1
commit
|
commitdiff
|
tree
2004-07-19
skimo
m
i
nor reorderi
n
g of code
commit
|
commitdiff
|
tree
2004-07-19
skimo
split off more common c
o
d
e
commit
|
commitdiff
|
tree
2004-07-19
s
ki
m
o
rever
t
change commited by accident
commit
|
commitdiff
|
tree
2004-07-19
skimo
add
c
ollect_polytopes
.
c
commit
|
commitdiff
|
tree
2004-07-18
s
kimo
rec
u
rse in
t
o the correct versi
o
n
of count_point
s
commit
|
commitdiff
|
tree
2004-07-18
skimo
"or"-s
p
lit for case with
o
nly existential variable
s
commit
|
commitdiff
|
tree
2004-07-18
skimo
allow split on othe
r
than first existe
n
tial variable
commit
|
commitdiff
|
tree
2004-07-18
ski
m
o
ext
r
act out code
to split on a
c
o
nstraint
commit
|
commitdiff
|
tree
2004-07-17
skimo
"existenti
a
l" version o
f
v
erif_ehrhart
commit
|
commitdiff
|
tree
2004-07-17
skimo
provide e
v
a
l
u
e to enumeration
conversio
n
commit
|
commitdiff
|
tree
2004-07-17
skim
o
adapt to
deal
with existential variab
l
es
commit
|
commitdiff
|
tree
2004-07-16
s
kim
o
copied from ehrha
r
t
.
c fr
o
m Polylib distribu
t
ion
commit
|
commitdiff
|
tree
2004-07-14
skimo
ha
n
dle
trivial
cas
e
of onl
y
e
x
ist
e
ntial variables
commit
|
commitdiff
|
tree
2004-07-14
skimo
It should be sufficient that on
e
of the bounds is independent
commit
|
commitdiff
|
tree
2004-07-14
s
kimo
d
o
n't count stor
a
g
e spa
c
e
f
or the rays
commit
|
commitdiff
|
tree
2004-07-06
skimo
bump versi
o
n
commit
|
commitdiff
|
tree
2004-07-06
skimo
fix up c
h
angelo
g
commit
|
commitdiff
|
tree
2004-07-06
sk
i
mo
bump version s
o
me more sin
c
e we c
h
anged the i
n
terface
commit
|
commitdiff
|
tree
2004-07-06
skimo
turn of debugg
i
n
g
message
s
commit
|
commitdiff
|
tree
2004-07-06
skimo
upd
a
te
commit
|
commitdiff
|
tree
2004-07-06
skimo
bri
e
f de
s
cr
i
ption of the input
commit
|
commitdiff
|
tree
2004-07-06
s
k
imo
replace modulo
by
fractional
commit
|
commitdiff
|
tree
2004-07-06
s
k
imo
re
m
o
ve empt
y
partitions
i
n place
commit
|
commitdiff
|
tree
2004-07-06
sk
i
mo
m
o
re
m
emory leaks
commit
|
commitdiff
|
tree
2004-07-06
skimo
me
m
ory le
a
k
commit
|
commitdiff
|
tree
2004-07-06
skimo
p
o
tential
m
emory leak
commit
|
commitdiff
|
tree
2004-07-06
skimo
(
poten
t
i
al) memory leaks
commit
|
commitdiff
|
tree
2004-07-06
skim
o
pri
n
t m
o
re in
f
o
commit
|
commitdiff
|
tree
2004-07-05
s
k
imo
preload library to
c
o
u
nt the number
o
f
va
l
i
d
ity
d
omains
commit
|
commitdiff
|
tree
2004-07-01
skimo
memory leak
commit
|
commitdiff
|
tree
2004-07-01
skimo
memory leak
commit
|
commitdiff
|
tree
2004-07-01
s
kim
o
memory le
a
k
commit
|
commitdiff
|
tree
2004-07-01
s
kim
o
memory
l
eak
commit
|
commitdiff
|
tree
2004-06-26
s
kimo
U
s
e
function for copyi
n
g
evalue
.
commit
|
commitdiff
|
tree
2004-06-26
skimo
order perio
d
ics in mu
l
tiplication as we
l
l
commit
|
commitdiff
|
tree
2004-06-26
skimo
copy value before freeing
commit
|
commitdiff
|
tree
2004-06-26
skimo
regression te
s
t
commit
|
commitdiff
|
tree
2004-06-26
skim
o
handle case w
h
e
re p
o
lytope
h
as no "r
e
al" dimension
s
.
.
.
commit
|
commitdiff
|
tree
2004-06-25
ski
m
o
Use smal
l
es
t
r
e
p
resent
a
tive in absolute
value
r
a
ther
.
.
.
commit
|
commitdiff
|
tree
2004-06-25
skimo
Deb
u
gging output to evalu
a
te the
u
sefulnes
s
o
f
several
commit
|
commitdiff
|
tree
2004-06-25
skimo
A
d
d
con
s
t
rai
n
t
i
f expression is
onl
y
intege
r
for
a
.
.
.
commit
|
commitdiff
|
tree
2004-06-25
skimo
perfo
r
m range r
e
duction on
condition of relation
commit
|
commitdiff
|
tree
2004-06-25
skimo
ful
l
y
p
ropagate
r
e
ordering
commit
|
commitdiff
|
tree
2004-06-24
sk
i
mo
part
i
ally propagate reordering a
n
d red
u
ce in case of
.
.
.
commit
|
commitdiff
|
tree
2004-06-24
s
kimo
remove
comment
commit
|
commitdiff
|
tree
2004-06-24
ski
m
o
Range reduc
t
ion and some
auxi
l
ia
r
y fun
c
tions
.
commit
|
commitdiff
|
tree
2004-06-24
skimo
Invert a f
r
a
cti
o
nal if
l
e
ad
i
ng c
o
efficient
b
ecomes
.
.
.
commit
|
commitdiff
|
tree
2004-06-24
ski
m
o
remove d
e
b
ugging
o
utput
commit
|
commitdiff
|
tree
2004-06-24
sk
i
mo
R
e
move invalid memo
r
y acces
s
.
commit
|
commitdiff
|
tree
2004-06-23
skimo
re
c
ompute domain
s
commit
|
commitdiff
|
tree
2004-06-23
ski
m
o
compute size of
a
ll subdomains
commit
|
commitdiff
|
tree
2004-06-23
s
kimo
trivial recombina
t
ion
commit
|
commitdiff
|
tree
2004-06-23
skimo
also inv
e
rt
w
hen constant is
h
alf
the modu
l
o, since
.
.
.
commit
|
commitdiff
|
tree
2004-06-23
skimo
Allow more
fraci
t
onal
s
ubs
t
i
t
utions, in parti
c
u
l
ar
commit
|
commitdiff
|
tree
2004-06-23
skimo
search for pa
i
r o
f
fractionals tha
t
ca
n
(optimally
.
.
.
commit
|
commitdiff
|
tree
2004-06-23
skimo
a
lways provide subst structur
e
(even if
empty)
commit
|
commitdiff
|
tree
2004-06-22
s
kimo
avoid i
n
fin
i
te loop
caused by s
p
l
itting off no
t
hing
commit
|
commitdiff
|
tree
2004-06-22
skimo
remove relation if branches ar
e
identical
commit
|
commitdiff
|
tree
2004-06-22
ski
m
o
r
emove redu
c
ed relations
commit
|
commitdiff
|
tree
2004-06-21
s
kimo
replace { E/
m
} by { (E-1)
/
m
}
+
1
/
m if { E/m } != 0
commit
|
commitdiff
|
tree
2004-06-21
skimo
numerator ca
n
never
be negative
inside fractional
commit
|
commitdiff
|
tree
2004-06-21
s
k
imo
optionally print "size" of e
n
umeration
commit
|
commitdiff
|
tree
2004-06-21
s
kimo
Enu
m
e
r
a
tion_
s
ize
commit
|
commitdiff
|
tree
2004-06-21
ski
m
o
export dom
a
in_size
commit
|
commitdiff
|
tree
2004-06-21
skimo
reduce af
t
er con
v
ersion
commit
|
commitdiff
|
tree
2004-06-21
skimo
translate r
e
lation as wel
l
commit
|
commitdiff
|
tree
2004-06-20
s
kim
o
use convex h
u
ll f
o
r eq
u
al
i
ties t
o
u
se in
r
eduction
commit
|
commitdiff
|
tree
2004-06-20
skim
o
reord
e
r
t
erms
if needed
a
fte
r
reduction
commit
|
commitdiff
|
tree
2004-06-20
skimo
remove code made
redund
a
nt by s
w
itch to fractional
commit
|
commitdiff
|
tree
2004-06-20
s
k
imo
c
o
nvert fro
m
m
o
dulo to fracti
o
nal
commit
|
commitdiff
|
tree
2004-06-16
skimo
inform c
a
lling
p
r
o
ce
d
ure
w
h
ether a new
entry was added
commit
|
commitdiff
|
tree
2004-06-16
skimo
reallocate substit
u
tions
a
rray i
f
n
ecessar
y
commit
|
commitdiff
|
tree
2004-06-15
skimo
multiply
modu
l
o argument if this can help to el
i
min
a
te
.
.
.
commit
|
commitdiff
|
tree
2004-06-15
skimo
also use
equivalenc
e
s inside modulo
e
xpre
s
si
o
ns
commit
|
commitdiff
|
tree
2004-06-15
skimo
all
o
w f
r
actiona
l
substitutions outside m
o
d
u
lo
(not
.
.
.
commit
|
commitdiff
|
tree
2004-06-15
skimo
Parti
a
l e
v
a
l
uation could in principle
l
ead to
f
urt
h
er
.
.
.
commit
|
commitdiff
|
tree
2004-06-15
skimo
red
u
ce constants inside modulo
commit
|
commitdiff
|
tree
2004-06-15
sk
i
m
o
construct subst
i
tution f
o
r each equalit
y
commit
|
commitdiff
|
tree
2004-06-15
sk
i
m
o
col
l
ect substitutio
n
s in one
s
t
ructure
commit
|
commitdiff
|
tree
2004-06-14
skimo
o
n
ly take differenc
e
o
f sets that share a
h
yperplane
commit
|
commitdiff
|
tree
2004-06-11
skimo
als
o
skip over zeroes and remember original locati
o
n
.
.
.
commit
|
commitdiff
|
tree
2004-06-11
s
k
imo
continue looking for coefficients to n
e
gate
i
f cur
r
ent
.
.
.
commit
|
commitdiff
|
tree
2004-06-09
s
kim
o
calculate "size" o
f
po
l
yn
o
mials
commit
|
commitdiff
|
tree
2004-06-09
skimo
combin
e
identical relations
commit
|
commitdiff
|
tree
2004-06-09
skimo
don't knowingly cre
a
te zero polynomials
commit
|
commitdiff
|
tree
2004-06-09
skimo
Check
whether rVD
is
t
oo sma
l
l in dimension
*
before*
commit
|
commitdiff
|
tree
2004-06-08
skimo
regres
s
ion t
e
st
commit
|
commitdiff
|
tree
2004-06-08
skimo
2Polyh
e
dron routines can modi
f
y the
i
r
a
rgumen
t
!
commit
|
commitdiff
|
tree
2004-06-07
skimo
st
r
ict
inequality
should be enf
o
rced *prio
r
* t
o
simpli
f
i
cation
commit
|
commitdiff
|
tree
2004-06-06
skimo
anoth
e
r
m
emory lea
k
commit
|
commitdiff
|
tree
2004-06-06
skimo
memory leaks
commit
|
commitdiff
|
tree
2004-06-06
ski
m
o
return mall
o
ced
m
emory sin
c
e we define a "C" i
n
terface
commit
|
commitdiff
|
tree
2004-06-06
skimo
always ret
u
rn reduced evalue
commit
|
commitdiff
|
tree
2004-06-06
ski
m
o
simplif
y
con
s
traints duri
n
g mu
l
ti
p
lica
t
ions as
we
l
l
commit
|
commitdiff
|
tree
2004-06-06
skimo
regression test fo
r
l
a
test bug
commit
|
commitdiff
|
tree
next