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
also multiply complement of relation!
2004-06-02
sk
i
mo
also multip
l
y complement of relation!
commit
|
commitdiff
|
tree
2004-05-31
skimo
silly t
y
po
commit
|
commitdiff
|
tree
2004-04-25
sk
i
mo
e
v
aluate partit
i
oned eval
u
es
commit
|
commitdiff
|
tree
2004-04-25
skimo
han
d
le additions of
t
wo relations
commit
|
commitdiff
|
tree
2004-04-22
skimo
be careful
w
h
en relcula
t
ing the row
commit
|
commitdiff
|
tree
2004-04-21
skimo
Convert mult
i
pl
e
existential variables in an equ
a
lity
.
.
.
commit
|
commitdiff
|
tree
2004-03-30
sk
i
mo
compu
t
e
"
c
ompl
e
ment" if needed
commit
|
commitdiff
|
tree
2004-03-30
skim
o
m
o
re add "co
m
plement" rel
a
tion when addin
g
non-zero
.
.
.
commit
|
commitdiff
|
tree
2004-03-30
skimo
add "complement" relatio
n
when adding non-ze
r
o value
commit
|
commitdiff
|
tree
2004-03-30
skimo
supp
o
rt printing of "com
p
lement" of relation
commit
|
commitdiff
|
tree
2004-03-28
skimo
install heade
r
s
commit
|
commitdiff
|
tree
2004-03-28
skim
o
partial implement
a
tion
o
f "mask" operation
commit
|
commitdiff
|
tree
2004-03-28
skimo
includ
e
a
ppropriat
e
header
commit
|
commitdiff
|
tree
2004-03-28
skimo
c
o
m
p
l
y with C
s
tandard :
-
)
commit
|
commitdiff
|
tree
2004-03-28
ski
m
o
e
x
port _ev ver
s
ion
commit
|
commitdiff
|
tree
2004-02-29
skimo
bump
v
e
rsion
commit
|
commitdiff
|
tree
2004-02-28
skim
o
r
e
gre
s
sion test
s
commit
|
commitdiff
|
tree
2004-02-28
s
kimo
Dr
.
Ego
n
Spengler: There
'
s som
e
th
i
ng very import
a
nt
.
.
.
commit
|
commitdiff
|
tree
2004-02-22
ski
m
o
bump version
commit
|
commitdiff
|
tree
2004-02-22
skimo
update Ch
a
n
geLog
commit
|
commitdiff
|
tree
2004-02-22
s
k
imo
avoi
d
namespace po
l
lution
commit
|
commitdiff
|
tree
2004-02-22
skimo
av
o
id s
u
b validity
d
omains
commit
|
commitdiff
|
tree
2004-02-22
skimo
Do
m
a
i
n
Includes
commit
|
commitdiff
|
tree
2004-02-22
s
k
imo
Postpone mult
i
plication
w
ith
"
factor" to
handle the
.
.
.
commit
|
commitdiff
|
tree
2004-02-15
s
kimo
a
c
tual
l
y pe
r
form
modulo when converting to t
a
bles
commit
|
commitdiff
|
tree
2004-02-15
s
kimo
exte
n
d 1D specia
l
-c
a
sing
t
o multipl
e
lower/upper
bounds
commit
|
commitdiff
|
tree
2004-02-15
skimo
memory leaks
commit
|
commitdiff
|
tree
2004-02-15
ski
m
o
support emu
l
f
or
partitions
commit
|
commitdiff
|
tree
2004-02-15
skimo
don't
assume factor i
s
a
consta
n
t
commit
|
commitdiff
|
tree
2004-02-15
skim
o
don't modify d p
a
rameter
commit
|
commitdiff
|
tree
2004-02-15
sk
i
mo
a
d
d pointer t
o
polylib
commit
|
commitdiff
|
tree
2004-02-15
skimo
Support reduction for non-mo
d
ulo by temporarily using
.
.
.
commit
|
commitdiff
|
tree
2004-02-15
skimo
modulo to tabl
e
c
o
n
version
commit
|
commitdiff
|
tree
2004-02-15
skimo
another memory leak
commit
|
commitdiff
|
tree
2004-02-15
skim
o
another memory leak
commit
|
commitdiff
|
tree
2004-02-15
skimo
m
e
mory l
e
ak
commit
|
commitdiff
|
tree
2004-02-15
skimo
exp
e
rimental "
u
n
f
ringe" code
commit
|
commitdiff
|
tree
2004-02-15
skimo
type
commit
|
commitdiff
|
tree
2004-02-06
skimo
fix decompos
i
t
i
on test
and add
p
ol
a
rized dec
o
mp
o
stion
.
.
.
commit
|
commitdiff
|
tree
2004-01-26
skim
o
e
l
imina
t
e a variable if we can
(not tes
t
ed)
commit
|
commitdiff
|
tree
2004-01-26
skimo
oops
;
we need quot
i
ent rather than remain
d
er
commit
|
commitdiff
|
tree
2004-01-25
skimo
handle equalities
commit
|
commitdiff
|
tree
2004-01-25
skimo
Handle ONE_NEG for any position of the variabl
e
co
r
rectly
commit
|
commitdiff
|
tree
2004-01-25
skimo
Handle ONE_
N
E
G
for a
n
y position of
t
he v
a
r
ia
b
le
.
commit
|
commitdiff
|
tree
2004-01-25
skimo
Only u
s
e
i
ndepende
n
t
bounds to construct the one_de
p
.
commit
|
commitdiff
|
tree
2004-01-25
ski
m
o
Truly partit
i
on va
l
idity dom
a
i
ns
.
commit
|
commitdiff
|
tree
2004-01-25
skimo
copy in
_
domain from pol
y
lib
commit
|
commitdiff
|
tree
2004-01-25
s
ki
m
o
Special case
"
infinite
"
polytopes, i
.
e
.
, those
wit
h
commit
|
commitdiff
|
tree
2004-01-25
sk
i
mo
Initial
i
mplementation of
b
arvino
k
_
e
nu
m
erate_e
.
commit
|
commitdiff
|
tree
2004-01-23
ski
m
o
Don't use
m
odul
o
if q
u
otient is th
e
same
ove
r
the whole
commit
|
commitdiff
|
tree
2004-01-22
ski
m
o
rem
o
ve
note to self
commit
|
commitdiff
|
tree
2004-01-22
skimo
support a
d
d fo
r
partition
s
commit
|
commitdiff
|
tree
2004-01-21
ski
m
o
remove d
e
b
u
g
.
{cpp,h}
commit
|
commitdiff
|
tree
2004-01-21
skimo
support free and
d
ummy
add for partitions
commit
|
commitdiff
|
tree
2004-01-21
skimo
support printing fo
r
partitions
commit
|
commitdiff
|
tree
2004-01-20
skimo
C
a
l
c
ulate count as a
p
art
i
tion and conve
r
t to Enumerati
o
n
.
.
.
commit
|
commitdiff
|
tree
2004-01-20
s
kimo
d
e
f
i
ne
p
artition type
commit
|
commitdiff
|
tree
2004-01-20
skimo
Partial imple
m
entation of parametric polyhedra
l
reduction
.
commit
|
commitdiff
|
tree
2004-01-19
skimo
s/indic
a
tor/relation/
commit
|
commitdiff
|
tree
2004-01-16
sk
i
mo
simpl
i
fy
Polyhed
r
on_Reduce a bit
commit
|
commitdiff
|
tree
2004-01-15
skim
o
chang
e
commen
t
ab
o
ut modulo rep
commit
|
commitdiff
|
tree
2004-01-13
sk
i
mo
add tes
t
s/ehrhart/equal5
commit
|
commitdiff
|
tree
2004-01-13
skimo
bum
p
version
commit
|
commitdiff
|
tree
2004-01-13
s
k
i
mo
use indica
t
or
func
t
i
ons to mask when using mo
d
ulo expression
s
commit
|
commitdiff
|
tree
2004-01-13
skimo
p
a
rtial "indicator funct
i
on" supp
o
rt
commit
|
commitdiff
|
tree
2004-01-12
skimo
ad
d
comm
e
nt
o
n facto
r
p
ara
m
et
e
r
commit
|
commitdiff
|
tree
2004-01-12
s
k
imo
add constant
in
multi_monom
commit
|
commitdiff
|
tree
2004-01-12
s
k
i
mo
fr
e
e argument of
m
o
d
ulo when redu
c
ing
strength
commit
|
commitdiff
|
tree
2004-01-12
sk
i
mo
remove
t
ypo
introduced b
y
pr
e
v
ious patch
commit
|
commitdiff
|
tree
2004-01-12
skimo
fix
memleak
in red
u
ce_evalue
commit
|
commitdiff
|
tree
2004-01-12
ski
m
o
remove a f
e
w memory leaks
commit
|
commitdiff
|
tree
2004-01-11
ski
m
o
s
illy optimization fo
r
spec
i
al case of m
o
d 2
commit
|
commitdiff
|
tree
2004-01-11
skimo
hand
l
e sum of modulo polyno
m
ials of d
i
fferent size
commit
|
commitdiff
|
tree
2004-01-09
skimo
add warning abo
u
t modu
l
o re
p
resent
a
tion
commit
|
commitdiff
|
tree
2004-01-09
skim
o
avoid
warnings
commit
|
commitdiff
|
tree
2004-01-09
skimo
bump
v
ersion
commit
|
commitdiff
|
tree
2003-12-25
skimo
mak
e
use of modulo configurab
l
e
commit
|
commitdiff
|
tree
2003-12-23
skimo
support for
m
odulo calculati
o
ns
commit
|
commitdiff
|
tree
2003-12-23
skimo
pick up modifi
e
d versions
commit
|
commitdiff
|
tree
2003-12-23
s
kimo
don't construct z
e
ro ter
m
commit
|
commitdiff
|
tree
2003-12-23
skimo
pi
c
k
up
modi
f
ied versions
commit
|
commitdiff
|
tree
2003-12-23
s
kimo
be carefull about rounding and m
o
d
u
l
o
commit
|
commitdiff
|
tree
2003-12-23
sk
i
mo
don't "repositio
n
" mo
d
ulo
commit
|
commitdiff
|
tree
2003-12-23
skimo
ext
e
nd compute
_
enod
e
f
o
r modulo
commit
|
commitdiff
|
tree
2003-12-23
skimo
copied from polylib
commit
|
commitdiff
|
tree
2003-12-23
skimo
compare argum
e
n
t
f
or
m
o
d
ul
o
type
commit
|
commitdiff
|
tree
2003-12-23
skimo
more canonic
a
l
i
zation
commit
|
commitdiff
|
tree
2003-12-22
ski
m
o
s
mall
c
l
ean-up
commit
|
commitdiff
|
tree
2003-12-22
ski
m
o
add
periodic
s
"canonic
a
l
l
y
"
commit
|
commitdiff
|
tree
2003-12-22
skimo
a
d
d polynom
i
a
l
s "
c
anoni
c
ally"
commit
|
commitdiff
|
tree
2003-12-22
skimo
small si
m
pliciation
commit
|
commitdiff
|
tree
2003-12-22
skimo
reduce support
for modulo
commit
|
commitdiff
|
tree
2003-12-22
skim
o
ea
d
d an
d
emul support fo
r
modulo
commit
|
commitdiff
|
tree
2003-12-22
skimo
sup
p
ort printing
of modulo
commit
|
commitdiff
|
tree
2003-12-22
skimo
add "modulo" type
commit
|
commitdiff
|
tree
2003-12-22
skimo
a
d
d "copy constru
c
tor"
commit
|
commitdiff
|
tree
2003-12-22
skimo
copy some printi
n
g funcs fr
o
m p
o
l
ylib
commit
|
commitdiff
|
tree
2003-12-22
skim
o
f
i
x
t
ypo in comme
n
t
commit
|
commitdiff
|
tree
2003-12-22
skimo
copy som
e
defs/f
u
ns f
r
om
p
ol
y
l
i
b
commit
|
commitdiff
|
tree
2003-12-22
s
kimo
incl
u
de ev_opera
t
i
on
s
b
efore barvino
k
commit
|
commitdiff
|
tree
next