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
Invert a fractional if leading coefficient becomes larger than 1/2
2004-06-24
s
kimo
I
nvert a fr
a
ctional
i
f leading
c
oefficient bec
o
me
s
.
.
.
commit
|
commitdiff
|
tree
2004-06-24
skimo
remove
d
ebugging outpu
t
commit
|
commitdiff
|
tree
2004-06-24
ski
m
o
Remove
i
nvalid me
m
ory access
.
commit
|
commitdiff
|
tree
2004-06-23
skimo
recomput
e
domains
commit
|
commitdiff
|
tree
2004-06-23
skimo
compute size of al
l
subdomain
s
commit
|
commitdiff
|
tree
2004-06-23
skimo
trivial rec
o
mbinat
i
on
commit
|
commitdiff
|
tree
2004-06-23
skimo
al
s
o invert
w
hen constant is half the modul
o
,
s
ince
.
.
.
commit
|
commitdiff
|
tree
2004-06-23
s
kimo
A
l
l
ow mo
r
e
fracitona
l
substit
u
tions, in particular
commit
|
commitdiff
|
tree
2004-06-23
skimo
search for pair of frac
t
io
n
als that can (o
p
timal
l
y
.
.
.
commit
|
commitdiff
|
tree
2004-06-23
skimo
a
l
ways
provide
s
u
b
st
str
u
cture (ev
e
n if empty)
commit
|
commitdiff
|
tree
2004-06-22
skimo
avoid
infinite loop c
a
used by splitt
i
ng off nothi
n
g
commit
|
commitdiff
|
tree
2004-06-22
skimo
r
emove relation if branches are identical
commit
|
commitdiff
|
tree
2004-06-22
skimo
rem
o
ve r
e
duced relations
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
skimo
numerator can never
b
e negative inside fr
a
ctional
commit
|
commitdiff
|
tree
2004-06-21
skimo
optionally print "size" of enumeration
commit
|
commitdiff
|
tree
2004-06-21
skimo
Enumer
a
tion_size
commit
|
commitdiff
|
tree
2004-06-21
s
ki
m
o
expo
r
t
domain_size
commit
|
commitdiff
|
tree
2004-06-21
skimo
red
u
ce
a
fter con
v
ersio
n
commit
|
commitdiff
|
tree
2004-06-21
skimo
translate relation as well
commit
|
commitdiff
|
tree
2004-06-20
skimo
use convex hull fo
r
equalities to use in
reduction
commit
|
commitdiff
|
tree
2004-06-20
s
k
imo
reorder
te
r
ms if nee
d
ed after reduction
commit
|
commitdiff
|
tree
2004-06-20
ski
m
o
remove code made
red
u
nda
n
t by swit
c
h to fracti
o
nal
commit
|
commitdiff
|
tree
2004-06-20
ski
m
o
c
onvert from mo
d
ul
o
to fra
c
tional
commit
|
commitdiff
|
tree
2004-06-16
skimo
in
f
o
r
m calling proced
u
re whethe
r
a new entry was added
commit
|
commitdiff
|
tree
2004-06-16
skimo
r
eallocate su
b
stitutions array
if ne
c
essary
commit
|
commitdiff
|
tree
2004-06-15
skimo
mul
t
iply mo
d
u
lo
ar
g
ument if t
h
is can help to eliminate
.
.
.
commit
|
commitdiff
|
tree
2004-06-15
skimo
also use equivalence
s
insid
e
modulo
e
x
pressions
commit
|
commitdiff
|
tree
2004-06-15
sk
i
mo
allow fractional subst
i
tuti
o
n
s outside
mo
d
ul
o
(
n
ot
.
.
.
commit
|
commitdiff
|
tree
2004-06-15
s
k
imo
Partial evaluat
i
on coul
d
in pr
i
nciple
l
ead
to further
.
.
.
commit
|
commitdiff
|
tree
2004-06-15
skimo
reduce constant
s
inside m
o
d
ulo
commit
|
commitdiff
|
tree
2004-06-15
sk
i
mo
construct su
b
sti
t
ution for each eq
u
a
lity
commit
|
commitdiff
|
tree
2004-06-15
skim
o
coll
e
c
t
s
u
bstitutions in one s
t
ructure
commit
|
commitdiff
|
tree
2004-06-14
skim
o
only take difference of s
e
ts that share
a
hyperplane
commit
|
commitdiff
|
tree
2004-06-11
skimo
also
skip ove
r
zeroes and r
e
member original loca
t
ion
.
.
.
commit
|
commitdiff
|
tree
2004-06-11
skimo
continue looking for coeff
i
cien
t
s to negate if current
.
.
.
commit
|
commitdiff
|
tree
2004-06-09
skimo
calculate
"
size" of polynomials
commit
|
commitdiff
|
tree
2004-06-09
ski
m
o
co
m
bine i
d
entical
r
ela
t
ions
commit
|
commitdiff
|
tree
2004-06-09
skimo
don't
knowingly create zero polyno
m
i
a
ls
commit
|
commitdiff
|
tree
2004-06-09
skimo
Check whether rVD is too small in dimension *bef
o
re*
commit
|
commitdiff
|
tree
2004-06-08
sk
i
m
o
r
e
g
r
e
ssion test
commit
|
commitdiff
|
tree
2004-06-08
s
kimo
2Pol
y
hedron routine
s
can modify thei
r
argu
m
en
t
!
commit
|
commitdiff
|
tree
2004-06-07
s
k
imo
s
t
rict inequa
l
i
t
y should be enforced *pri
o
r
*
to simplification
commit
|
commitdiff
|
tree
2004-06-06
ski
m
o
ano
t
h
e
r me
m
ory
l
eak
commit
|
commitdiff
|
tree
2004-06-06
skimo
me
m
ory leaks
commit
|
commitdiff
|
tree
2004-06-06
skimo
re
t
urn malloced memory since we define a
"C" interface
commit
|
commitdiff
|
tree
2004-06-06
s
kimo
always return reduced eval
u
e
commit
|
commitdiff
|
tree
2004-06-06
skimo
simplify constraints during mult
i
plications as well
commit
|
commitdiff
|
tree
2004-06-06
skimo
regression test
f
or lates
t
bug
commit
|
commitdiff
|
tree
2004-06-06
sk
i
mo
val
u
e "tmp"
i
s used over several
i
n
t
e
rations of
s
e
c
ond
.
.
.
commit
|
commitdiff
|
tree
2004-06-05
sk
i
mo
d
o
n't loo
k
a
t
r
elation if we just
freed it
commit
|
commitdiff
|
tree
2004-06-05
s
k
i
m
o
remove emp
t
y p
a
rtiti
o
ns
commit
|
commitdiff
|
tree
2004-06-05
skimo
a
lso
r
em
o
ve first empty subdomain
commit
|
commitdiff
|
tree
2004-06-05
sk
i
mo
remove som
e
empty subdomains
commit
|
commitdiff
|
tree
2004-06-05
skimo
s
imp
l
if
y
constraints in e
a
dd_partitions
commit
|
commitdiff
|
tree
2004-06-04
skimo
s
implify wh
o
le dom
a
in and at more
l
ocatio
n
s
commit
|
commitdiff
|
tree
2004-06-04
skimo
onl
y
use
e
q
ualities in
a
single var
commit
|
commitdiff
|
tree
2004-06-04
skimo
remove VDs with zero Ehrhart
p
olynomial
commit
|
commitdiff
|
tree
2004-06-04
skim
o
rem
o
ve
r
elati
o
n i
f
value is
known
commit
|
commitdiff
|
tree
2004-06-04
s
kimo
compute m
o
du
l
o i
f
argument
i
s known
commit
|
commitdiff
|
tree
2004-06-04
s
k
i
m
o
free t
e
m
porar
y
e
v
alue
commit
|
commitdiff
|
tree
2004-06-04
s
k
i
m
o
substitute know val
u
es for paramete
r
s during reduction
commit
|
commitdiff
|
tree
2004-06-03
skimo
reduce relation if
pos
s
ible
commit
|
commitdiff
|
tree
2004-06-03
skimo
simplify modulo expres
s
ions during r
e
d
u
ce as well
commit
|
commitdiff
|
tree
2004-06-03
sk
i
mo
also
simplify constraints du
r
ing re
d
uc
t
ion
commit
|
commitdiff
|
tree
2004-06-03
skimo
make tru
e
partitions
i
n
Param
P
olyhedron_Red
u
ce_mod
commit
|
commitdiff
|
tree
2004-06-03
ski
m
o
be care
f
u
l when
the val
i
dity
do
m
a
in con
t
ain equalities
commit
|
commitdiff
|
tree
2004-06-02
ski
m
o
re
d
uce l
e
a
d
ing coefficien
t
commit
|
commitdiff
|
tree
2004-06-02
skimo
normalize modul
o
in r
e
lation as
w
ell
commit
|
commitdiff
|
tree
2004-06-02
s
k
imo
factor ou
t
s
o
m
e
mo
r
e
code
commit
|
commitdiff
|
tree
2004-06-02
s
k
i
mo
missin
g
value_init in previous change
commit
|
commitdiff
|
tree
2004-06-02
s
kimo
extra
c
t out some code
that we
may ne
e
d later
commit
|
commitdiff
|
tree
2004-06-02
skimo
s
i
mplify co
n
straints of vali
d
i
t
y d
o
main
s
commit
|
commitdiff
|
tree
2004-06-02
s
k
imo
also
mult
i
ply
c
om
p
lement of relati
o
n
!
commit
|
commitdiff
|
tree
2004-05-31
skimo
silly typo
commit
|
commitdiff
|
tree
2004-04-25
skim
o
evaluate partit
i
oned eval
u
es
commit
|
commitdiff
|
tree
2004-04-25
s
k
imo
handle
a
ddi
t
ions of t
w
o rela
t
i
ons
commit
|
commitdiff
|
tree
2004-04-22
skim
o
be ca
r
efu
l
w
hen re
l
cu
l
ating th
e
r
o
w
commit
|
commitdiff
|
tree
2004-04-21
skimo
Con
v
ert multiple
e
xiste
n
tial
v
ariabl
e
s in an eq
u
ality
.
.
.
commit
|
commitdiff
|
tree
2004-03-30
skim
o
co
m
pute "compl
e
m
en
t
" if needed
commit
|
commitdiff
|
tree
2004-03-30
ski
m
o
mo
r
e add "co
m
pl
e
ment
"
relat
i
on when
adding non-
z
ero
.
.
.
commit
|
commitdiff
|
tree
2004-03-30
sk
i
m
o
add "complement" relation when adding n
o
n-zero v
a
lue
commit
|
commitdiff
|
tree
2004-03-30
sk
i
mo
s
u
ppo
r
t printing of "com
p
lement"
of relation
commit
|
commitdiff
|
tree
2004-03-28
skimo
install headers
commit
|
commitdiff
|
tree
2004-03-28
skimo
parti
a
l implementation
o
f
"mask" opera
t
ion
commit
|
commitdiff
|
tree
2004-03-28
skimo
include appropria
t
e
he
a
d
e
r
commit
|
commitdiff
|
tree
2004-03-28
skimo
comply with C standard :
-
)
commit
|
commitdiff
|
tree
2004-03-28
skimo
export _ev version
commit
|
commitdiff
|
tree
2004-02-29
skimo
b
u
mp version
commit
|
commitdiff
|
tree
2004-02-28
skimo
regression tes
t
s
commit
|
commitdiff
|
tree
2004-02-28
skimo
D
r
.
Egon Spengler: Ther
e
's
s
ome
t
hing v
e
r
y important
.
.
.
commit
|
commitdiff
|
tree
2004-02-22
skimo
b
u
m
p ver
s
ion
commit
|
commitdiff
|
tree
2004-02-22
skimo
update Cha
n
geLog
commit
|
commitdiff
|
tree
2004-02-22
skim
o
avoid namespace p
o
ll
u
tion
commit
|
commitdiff
|
tree
2004-02-22
skimo
avoid
s
ub val
i
dity domain
s
commit
|
commitdiff
|
tree
2004-02-22
skimo
DomainIncludes
commit
|
commitdiff
|
tree
2004-02-22
skimo
Po
s
tpon
e
multiplication
with "factor"
t
o handle t
h
e
.
.
.
commit
|
commitdiff
|
tree
2004-02-15
skimo
a
c
tuall
y
pe
r
form modulo when
c
o
n
verti
n
g to tabl
e
s
commit
|
commitdiff
|
tree
2004-02-15
skimo
extend 1D
s
pecia
l
-casing to multiple l
o
wer
/
upper bo
u
n
d
s
commit
|
commitdiff
|
tree
2004-02-15
ski
m
o
memory
le
a
ks
commit
|
commitdiff
|
tree
next