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
update ChangeLog
2004-02-22
sk
i
mo
u
pdate Cha
n
geLog
commit
|
commitdiff
|
tree
2004-02-22
s
kim
o
av
o
id
n
am
e
space pollu
t
ion
commit
|
commitdiff
|
tree
2004-02-22
skimo
avoid su
b
validity domains
commit
|
commitdiff
|
tree
2004-02-22
skimo
Doma
i
nInc
l
ude
s
commit
|
commitdiff
|
tree
2004-02-22
skimo
Postpone multiplica
t
ion with "factor" to han
d
le the
.
.
.
commit
|
commitdiff
|
tree
2004-02-15
skim
o
actua
l
ly perform modulo whe
n
converting to tables
commit
|
commitdiff
|
tree
2004-02-15
skimo
ext
e
nd 1
D
special-casing to multipl
e
lower
/
u
p
p
er bounds
commit
|
commitdiff
|
tree
2004-02-15
skimo
mem
o
ry l
e
aks
commit
|
commitdiff
|
tree
2004-02-15
skimo
s
u
pport emul for
p
art
i
tions
commit
|
commitdiff
|
tree
2004-02-15
sk
i
mo
d
o
n
't assume
factor is
a
constant
commit
|
commitdiff
|
tree
2004-02-15
ski
m
o
don't modify d paramet
e
r
commit
|
commitdiff
|
tree
2004-02-15
sk
i
mo
add pointer to polyl
i
b
commit
|
commitdiff
|
tree
2004-02-15
skimo
Support reducti
o
n for non-modulo by tempo
r
arily
using
.
.
.
commit
|
commitdiff
|
tree
2004-02-15
skimo
modu
l
o
t
o table conversion
commit
|
commitdiff
|
tree
2004-02-15
skimo
an
o
t
h
e
r memory
l
eak
commit
|
commitdiff
|
tree
2004-02-15
skimo
another m
e
mory leak
commit
|
commitdiff
|
tree
2004-02-15
ski
m
o
me
m
o
ry leak
commit
|
commitdiff
|
tree
2004-02-15
skimo
experimental "unfringe" code
commit
|
commitdiff
|
tree
2004-02-15
s
kimo
type
commit
|
commitdiff
|
tree
2004-02-06
ski
m
o
fix decomposition test and add
p
ola
r
ized
d
eco
m
posti
o
n
.
.
.
commit
|
commitdiff
|
tree
2004-01-26
skimo
eli
m
inate a var
i
able if we can (not tes
t
ed)
commit
|
commitdiff
|
tree
2004-01-26
ski
m
o
oops; we
nee
d
quotient rather t
h
an remai
n
der
commit
|
commitdiff
|
tree
2004-01-25
s
k
im
o
handl
e
equali
t
ies
commit
|
commitdiff
|
tree
2004-01-25
s
k
imo
H
an
d
l
e ONE_NEG for a
n
y position of
the variable co
r
r
e
c
tly
commit
|
commitdiff
|
tree
2004-01-25
skimo
Handle ONE_
N
E
G for
a
ny position of the variable
.
commit
|
commitdiff
|
tree
2004-01-25
skimo
O
nly u
s
e i
n
dependent bounds t
o
c
onstruct
t
he
o
ne_
d
ep
.
commit
|
commitdiff
|
tree
2004-01-25
skimo
Trul
y
partition
v
alid
i
t
y
doma
i
ns
.
commit
|
commitdiff
|
tree
2004-01-25
skimo
copy in_domain from
p
ol
y
lib
commit
|
commitdiff
|
tree
2004-01-25
skimo
S
pecial cas
e
"i
n
finite" polytopes, i
.
e
.
,
t
ho
s
e with
commit
|
commitdiff
|
tree
2004-01-25
sk
i
mo
Initial implementati
o
n of barv
i
nok_enumerate_e
.
commit
|
commitdiff
|
tree
2004-01-23
skimo
D
o
n't us
e
mod
u
l
o
if quotient is
the same over the who
l
e
commit
|
commitdiff
|
tree
2004-01-22
s
ki
m
o
remove not
e
t
o
self
commit
|
commitdiff
|
tree
2004-01-22
skimo
s
upport
a
dd for partitions
commit
|
commitdiff
|
tree
2004-01-21
sk
i
mo
r
e
move debug
.
{
cpp,h}
commit
|
commitdiff
|
tree
2004-01-21
skimo
su
p
port free and du
m
my add for parti
t
ions
commit
|
commitdiff
|
tree
2004-01-21
sk
i
mo
support p
r
i
ntin
g
for pa
r
titions
commit
|
commitdiff
|
tree
2004-01-20
skimo
Calculate cou
n
t a
s
a parti
t
ion and con
v
ert to Enu
m
eratio
n
.
.
.
commit
|
commitdiff
|
tree
2004-01-20
s
k
i
m
o
d
e
fine par
t
ition
t
ype
commit
|
commitdiff
|
tree
2004-01-20
s
k
imo
Part
i
al imple
m
entation of par
a
met
r
ic polyhe
d
ral reducti
o
n
.
commit
|
commitdiff
|
tree
2004-01-19
skimo
s/in
d
icator/relatio
n
/
commit
|
commitdiff
|
tree
2004-01-16
skimo
simplify Polyhedron_Reduce a
bit
commit
|
commitdiff
|
tree
2004-01-15
skimo
ch
a
nge
c
omm
e
nt about modulo rep
commit
|
commitdiff
|
tree
2004-01-13
skimo
add tests/ehrhart/equal5
commit
|
commitdiff
|
tree
2004-01-13
skimo
bump
vers
i
on
commit
|
commitdiff
|
tree
2004-01-13
sk
i
mo
use ind
i
cator fun
c
tions to m
a
sk when using m
o
dulo expressions
commit
|
commitdiff
|
tree
2004-01-13
sk
i
mo
partial "
i
ndicator function" support
commit
|
commitdiff
|
tree
2004-01-12
skimo
add com
m
ent on f
a
ctor
p
a
r
ameter
commit
|
commitdiff
|
tree
2004-01-12
skimo
add cons
t
ant in mult
i
_
m
o
n
om
commit
|
commitdiff
|
tree
2004-01-12
s
kimo
free argument of modulo
w
h
en reduci
n
g
s
t
rength
commit
|
commitdiff
|
tree
2004-01-12
s
kimo
remo
v
e
typo int
r
oduced by previ
o
us
p
atch
commit
|
commitdiff
|
tree
2004-01-12
ski
m
o
fix memleak i
n
r
educe_evalue
commit
|
commitdiff
|
tree
2004-01-12
skimo
r
e
move a f
e
w memory
leaks
commit
|
commitdiff
|
tree
2004-01-11
skimo
silly opt
i
mizati
o
n for specia
l
ca
s
e of mod 2
commit
|
commitdiff
|
tree
2004-01-11
s
k
i
m
o
handle sum o
f
m
o
dulo polynomials of
d
iffe
r
en
t
size
commit
|
commitdiff
|
tree
2004-01-09
skimo
a
d
d warning about modulo representati
o
n
commit
|
commitdiff
|
tree
2004-01-09
s
kimo
a
voi
d
warn
i
ngs
commit
|
commitdiff
|
tree
2004-01-09
skimo
bu
m
p version
commit
|
commitdiff
|
tree
2003-12-25
skimo
m
ake use
of modulo
c
onfigurabl
e
commit
|
commitdiff
|
tree
2003-12-23
skimo
support for modulo calc
u
latio
n
s
commit
|
commitdiff
|
tree
2003-12-23
sk
i
mo
pick
up modifie
d
versions
commit
|
commitdiff
|
tree
2003-12-23
skimo
don't c
o
n
s
truct zero term
commit
|
commitdiff
|
tree
2003-12-23
skimo
pic
k
up
modified versio
n
s
commit
|
commitdiff
|
tree
2003-12-23
skimo
be caref
u
ll abou
t
roundi
n
g an
d
mod
u
lo
commit
|
commitdiff
|
tree
2003-12-23
skimo
don't "reposition" modulo
commit
|
commitdiff
|
tree
2003-12-23
ski
m
o
extend
c
o
mpute_enode for mod
u
lo
commit
|
commitdiff
|
tree
2003-12-23
s
k
imo
c
opied from polylib
commit
|
commitdiff
|
tree
2003-12-23
skimo
compare argum
e
nt for modulo
type
commit
|
commitdiff
|
tree
2003-12-23
skimo
more c
a
nonicalization
commit
|
commitdiff
|
tree
2003-12-22
skim
o
s
mall clean
-
up
commit
|
commitdiff
|
tree
2003-12-22
s
kimo
add periodics
"
canonically"
commit
|
commitdiff
|
tree
2003-12-22
skim
o
add polynomials
"canoni
c
ally"
commit
|
commitdiff
|
tree
2003-12-22
skimo
small si
m
pliciation
commit
|
commitdiff
|
tree
2003-12-22
ski
m
o
reduc
e
suppo
r
t f
o
r modulo
commit
|
commitdiff
|
tree
2003-12-22
skimo
eadd and emul support for modu
l
o
commit
|
commitdiff
|
tree
2003-12-22
skimo
support printing of
modu
l
o
commit
|
commitdiff
|
tree
2003-12-22
sk
i
mo
add "mod
u
lo" type
commit
|
commitdiff
|
tree
2003-12-22
skimo
add "c
o
py c
o
n
struc
t
or"
commit
|
commitdiff
|
tree
2003-12-22
skimo
copy some prin
t
i
n
g funcs
f
rom polylib
commit
|
commitdiff
|
tree
2003-12-22
skimo
fix typo in comment
commit
|
commitdiff
|
tree
2003-12-22
s
k
i
mo
copy som
e
defs/funs from polyl
i
b
commit
|
commitdiff
|
tree
2003-12-22
s
k
imo
include ev_operations
bef
o
re barvinok
commit
|
commitdiff
|
tree
2003-12-22
s
k
i
mo
small c
l
ean-up
s
commit
|
commitdiff
|
tree
2003-12-22
skimo
remove use
o
f ehrhartpol
y
nom
commit
|
commitdiff
|
tree
2003-12-22
ski
m
o
remove par
a
ms
commit
|
commitdiff
|
tree
2003-12-22
skimo
c
o
nver term
commit
|
commitdiff
|
tree
2003-12-22
skimo
conve
r
t
term_info
commit
|
commitdiff
|
tree
2003-12-22
skimo
conve
r
t multi_polynom
commit
|
commitdiff
|
tree
2003-12-22
s
ki
m
o
"co
n
vert" c
o
nstant
commit
|
commitdiff
|
tree
2003-12-22
skimo
con
v
ert
uni_polyno
m
commit
|
commitdiff
|
tree
2003-12-22
sk
i
mo
new
"constr
u
ctor
"
commit
|
commitdiff
|
tree
2003-12-22
ski
m
o
free factor
commit
|
commitdiff
|
tree
2003-12-22
skimo
use ad
d
el
i
m
i
natedparams_evalue
commit
|
commitdiff
|
tree
2003-12-22
s
kimo
copied fro
m
polylib
commit
|
commitdiff
|
tree
2003-12-22
s
kimo
remove unneeded argument
commit
|
commitdiff
|
tree
2003-12-22
sk
i
mo
convert factor to eva
l
ue
commit
|
commitdiff
|
tree
2003-12-22
skimo
int constructor
commit
|
commitdiff
|
tree
2003-12-20
skimo
K
e
ep
t
he
equations that Polyh
e
dr
o
n2Param_Simpli
f
i
e
dD
o
m
a
in
commit
|
commitdiff
|
tree
2003-12-17
s
k
imo
che
c
k nu
m
ber of
argume
n
ts of coun
t
_points
commit
|
commitdiff
|
tree
2003-12-17
skimo
check number of arguments of Polyhedron_Enumera
t
e
commit
|
commitdiff
|
tree
2003-12-17
skimo
Don't as
s
ume new_en
o
de inits
commit
|
commitdiff
|
tree
next