repo.or.cz
/
sympy.git
/
search
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
log
|
graphiclog1
|
graphiclog2
|
commit
|
commitdiff
|
tree
|
refs
|
edit
|
fork
first
·
prev
·
next
Initial SymPy benchmark suite
2008-09-01
K
irill Sm
e
lkov
I
n
i
tial S
y
mPy
benchmark suite
Signed-off-by:
Kirill Smelkov
<kirr@landau.phys.spbu.ru>
commit
|
commitdiff
|
tree
2008-09-01
K
i
rill Smel
k
ov
.
/setu
p
.
py bench now works correctl
y
!
Signed-off-by:
Kirill Smelkov
<kirr@landau.phys.spbu.ru>
commit
|
commitdiff
|
tree
2008-09-01
Ki
r
ill Smelkov
symbench
.
py -- adapt i
t
to
s
t
r
uctur
e
p
y
.
b
e
nch expects
Signed-off-by:
Kirill Smelkov
<kirr@landau.phys.spbu.ru>
commit
|
commitdiff
|
tree
2008-09-01
Kiri
l
l
Smel
k
ov
py
.
bench -
-
py
.
test based benchmarking
Signed-off-by:
Kirill Smelkov
<kirr@landau.phys.spbu.ru>
commit
|
commitdiff
|
tree
2008-08-30
Kiri
l
l
Smelkov
collect: Add support for higher
-
than-1
order Derivatives
Signed-off-by:
Kirill Smelkov
<kirr@landau.phys.spbu.ru>
commit
|
commitdiff
|
tree
2008-08-30
Kiri
l
l Smelkov
dsolve: be m
o
re inform
a
tive on w
h
a
t we can't
s
olve
Signed-off-by:
Kirill Smelkov
<kirr@landau.phys.spbu.ru>
commit
|
commitdiff
|
tree
2008-08-29
Kir
i
ll Smelkov
Welcom
e
to SymP
y
(
Alan Brom
b
orsky)
commit
|
commitdiff
|
tree
2008-08-29
Kirill
S
melkov
Welcome to Sym
P
y
(Dan coolg49964)
commit
|
commitdiff
|
tree
2008-08-28
Kirill Smelkov
M
a
ke
t
ests for issue 9
3
6
more
r
obu
s
t
Signed-off-by:
Kirill Smelkov
<kirr@landau.phys.spbu.ru>
commit
|
commitdiff
|
tree
2008-08-28
Kirill Smelkov
In
i
tial
.
gitattri
b
ut
e
s
Signed-off-by:
Kirill Smelkov
<kirr@landau.phys.spbu.ru>
commit
|
commitdiff
|
tree
2008-08-28
Kiri
l
l Smelkov
I
n
i
tial
.
gitignore
Signed-off-by:
Kirill Smelkov
<kirr@landau.phys.spbu.ru>
commit
|
commitdiff
|
tree
2008-08-26
Kir
i
ll Smelko
v
col
l
ect: resto
r
e Der
i
v
a
tive handling after migration
.
.
.
Signed-off-by:
Kirill Smelkov
<kirr@landau.phys.spbu.ru>
commit
|
commitdiff
|
tree
2008-08-26
K
i
rill Smelkov
c
ollect: r
e
enable XPASSing docstrings
Signed-off-by:
Kirill Smelkov
<kirr@landau.phys.spbu.ru>
commit
|
commitdiff
|
tree
2008-08-26
Kirill S
m
elkov
Integ
e
r: o
p
tionally collect info about
o
bject
s
creations
.
.
.
Signed-off-by:
Kirill Smelkov
<kirr@landau.phys.spbu.ru>
commit
|
commitdiff
|
tree
2008-08-26
Kirill S
m
elk
o
v
Fix
In
t
eger
(
Integer(4)) (#103
4
)
Signed-off-by:
Kirill Smelkov
<kirr@landau.phys.spbu.ru>
commit
|
commitdiff
|
tree
2008-08-22
Kirill Smel
k
ov
Let's fi
n
ally intorduce
.
/setup
.
p
y
bench
Signed-off-by:
Kirill Smelkov
<kirr@landau.phys.spbu.ru>
commit
|
commitdiff
|
tree
2008-08-21
K
i
rill Smelko
v
In
t
eger:
imple
m
en
t
own __sub
_
_ fo
r
speed rea
s
on
Signed-off-by:
Kirill Smelkov
<kirr@landau.phys.spbu.ru>
commit
|
commitdiff
|
tree
2008-08-21
Kirill Smelkov
solve_l
i
near
_
s
ystem: prec
o
mpute inverse pivot before
.
.
.
Signed-off-by:
Kirill Smelkov
<kirr@landau.phys.spbu.ru>
commit
|
commitdiff
|
tree
2008-08-21
Kirill
S
melkov
I
nteger: implement own __int__ for speed reason
Signed-off-by:
Kirill Smelkov
<kirr@landau.phys.spbu.ru>
commit
|
commitdiff
|
tree
2008-08-21
Kirill Smelkov
Matrix: speedup __getat
t
r_
_
and __
s
etatt
r
__ for el
e
ment
.
.
.
Signed-off-by:
Kirill Smelkov
<kirr@landau.phys.spbu.ru>
commit
|
commitdiff
|
tree
2008-08-21
K
iri
l
l
Smel
k
o
v
ex
a
mple
s
/qft
.
py --
c
o
n
v
e
rt out
p
ut to ppri
n
t
(#719)
Signed-off-by:
Kirill Smelkov
<kirr@landau.phys.spbu.ru>
commit
|
commitdiff
|
tree
2008-08-17
Kirill Smelkov
Add pass
i
ng tests for #1008
Signed-off-by:
Kirill Smelkov
<kirr@landau.phys.spbu.ru>
commit
|
commitdiff
|
tree
2008-08-17
Ki
r
ill Sme
l
k
ov
Backed out c6
2
7a6870a9
8
("Use nseries in Po
w
.
nseri
e
s
(
)")
commit
|
commitdiff
|
tree
2008-08-16
Kirill
S
melkov
risch:
recognize D
e
r
ivati
v
e
s as compone
n
ts (#101
2
)
Signed-off-by:
Kirill Smelkov
<kirr@landau.phys.spbu.ru>
commit
|
commitdiff
|
tree
2008-08-16
K
i
ri
l
l Smelkov
Derivative: fix
.
s
u
b
s(self,
s
omet
h
ing)
Signed-off-by:
Kirill Smelkov
<kirr@landau.phys.spbu.ru>
commit
|
commitdiff
|
tree
2008-08-16
K
i
rill Smelkov
Let's use
.
is_Deriva
t
ive for De
r
ivative
Signed-off-by:
Kirill Smelkov
<kirr@landau.phys.spbu.ru>
commit
|
commitdiff
|
tree
2008-08-15
Kirill Smelkov
Welcome
t
o SymPy
(Sebasti
a
n Kra
u
se)
commit
|
commitdiff
|
tree
2008-08-14
Ki
r
ill Smel
k
ov
tsol
v
e: teach
it to solve exp(
x
)+exp(-x)==
y
(#1
0
11)
Signed-off-by:
Kirill Smelkov
<kirr@landau.phys.spbu.ru>
commit
|
commitdiff
|
tree
2008-08-14
Kirill Smelkov
tsolve: prev
e
nt
i
n
f
inite recursion fo
r
f(x)+g(x)=y
.
.
.
Signed-off-by:
Kirill Smelkov
<kirr@landau.phys.spbu.ru>
commit
|
commitdiff
|
tree
2008-08-10
Kir
i
ll Smelkov
Mul
.
flat
t
en
-- optimize for all-obje
c
ts-are-commutative
.
.
.
Signed-off-by:
Kirill Smelkov
<kirr@landau.phys.spbu.ru>
commit
|
commitdiff
|
tree
2008-08-10
Ki
r
ill Smelk
o
v
Mul
.
f
l
a
tten --
m
o
re
c
omments on how things work
Signed-off-by:
Kirill Smelkov
<kirr@landau.phys.spbu.ru>
commit
|
commitdiff
|
tree
2008-08-10
Kirill Smelkov
Mul
.
flatten - rework how coeff
is
stored into
c_part
.
.
.
Signed-off-by:
Kirill Smelkov
<kirr@landau.phys.spbu.ru>
commit
|
commitdiff
|
tree
2008-08-10
Kirill Smelkov
Mul
.
f
latten: r
e
move special ha
n
dling f
o
r C
.
e
xp thus
.
.
.
Signed-off-by:
Kirill Smelkov
<kirr@landau.phys.spbu.ru>
commit
|
commitdiff
|
tree
2008-08-10
K
i
ril
l
Smelkov
exp(x)
.
as_b
a
se_expone
n
t(
)
->
(S
.
E
xp1, x) (#1005)
Signed-off-by:
Kirill Smelkov
<kirr@landau.phys.spbu.ru>
commit
|
commitdiff
|
tree
2008-08-10
Kiri
l
l Smelkov
Fix
Integ
e
r
.
fa
c
tors()
Signed-off-by:
Kirill Smelkov
<kirr@landau.phys.spbu.ru>
commit
|
commitdiff
|
tree
2008-08-10
Kiri
l
l
S
melkov
Ad
d
:
opt
i
m
i
ze collect of
p
oly terms (
2
*
x
*y
+ 3*x*z
.
.
.
Signed-off-by:
Kirill Smelkov
<kirr@landau.phys.spbu.ru>
commit
|
commitdiff
|
tree
2008-08-10
Kirill
Smelkov
Add/
M
ul -- intro
d
uce
.
_new
_
rawar
g
s()
Signed-off-by:
Kirill Smelkov
<kirr@landau.phys.spbu.ru>
commit
|
commitdiff
|
tree
2008-08-09
Kirill Smelkov
P
ow
/
Symbol -- don
'
t let is_com
m
utative to throug
h
assum
p
tions
Signed-off-by:
Kirill Smelkov
<kirr@landau.phys.spbu.ru>
commit
|
commitdiff
|
tree
2008-08-09
Kiril
l
S
m
e
lkov
Remove legacy assum
p
tions t
h
u
s im
p
rov
i
ng import time
.
.
.
Signed-off-by:
Kirill Smelkov
<kirr@landau.phys.spbu.ru>
commit
|
commitdiff
|
tree
2008-08-09
Kirill Smelkov
p
o
l
y
_factors -- robustify docstring
Signed-off-by:
Kirill Smelkov
<kirr@landau.phys.spbu.ru>
commit
|
commitdiff
|
tree
2008-08-09
Kirill Smel
k
ov
As the
r
esult of pr
e
vous c
o
m
m
i
t
, some
t
ests st
a
rte
d
.
.
.
Signed-off-by:
Kirill Smelkov
<kirr@landau.phys.spbu.ru>
commit
|
commitdiff
|
tree
2008-08-09
Kir
i
ll Smel
k
o
v
A
dd:
c
urrent cod
e
expects coeff to a
l
way
s
live in
.
.
.
Signed-off-by:
Kirill Smelkov
<kirr@landau.phys.spbu.ru>
commit
|
commitdiff
|
tree
2008-08-09
Kirill Smelkov
doctes
t
s
:
adjust to ne
w
sstrrepr outp
u
t
Signed-off-by:
Kirill Smelkov
<kirr@landau.phys.spbu.ru>
commit
|
commitdiff
|
tree
2008-08-09
Ki
r
ill
Sme
l
kov
test
_
doc: mak
e
doctes
t
ing more robust wrt hash-cha
n
ges
.
.
.
Signed-off-by:
Kirill Smelkov
<kirr@landau.phys.spbu.ru>
commit
|
commitdiff
|
tree
2008-08-09
K
irill Smelkov
sympy
.
inte
r
active
-
-
r
e
w
o
rk init_pri
n
ting to support
.
.
.
Signed-off-by:
Kirill Smelkov
<kirr@landau.phys.spbu.ru>
commit
|
commitdiff
|
tree
2008-08-09
Kiril
l
Smelkov
p
rinting: add support for GeometryEn
t
ity
to StrPrinter
.
.
.
Signed-off-by:
Kirill Smelkov
<kirr@landau.phys.spbu.ru>
commit
|
commitdiff
|
tree
2008-08-09
Kiril
l
Smelkov
printing
:
`srepr` sisters --
`sstr`
a
nd `sstrrepr`
Signed-off-by:
Kirill Smelkov
<kirr@landau.phys.spbu.ru>
commit
|
commitdiff
|
tree
2008-08-08
Kirill Smelkov
[6/6] let's remove mul
t
iple in
h
eritanc
e
(note on
.
.
.
Signed-off-by:
Kirill Smelkov
<kirr@landau.phys.spbu.ru>
commit
|
commitdiff
|
tree
2008-08-08
K
i
rill Smelkov
[5/6] let's remove multiple inher
i
tance (Re
l
Meths
.
.
.
Signed-off-by:
Kirill Smelkov
<kirr@landau.phys.spbu.ru>
commit
|
commitdiff
|
tree
2008-08-08
Ki
r
i
l
l
Smelkov
[4/6] let's remove mult
i
p
le i
n
h
e
ritance
(R
e
lMeths
.
.
.
Signed-off-by:
Kirill Smelkov
<kirr@landau.phys.spbu.ru>
commit
|
commitdiff
|
tree
2008-08-08
K
i
rill S
m
elkov
[3/6] let's remove multi
p
le
i
nheritance (NoRelMeths)
Signed-off-by:
Kirill Smelkov
<kirr@landau.phys.spbu.ru>
commit
|
commitdiff
|
tree
2008-08-08
Ki
r
ill
Smelkov
[2/6] let's remove mul
t
iple
i
nheritan
c
e
(NoArithMeths)
Signed-off-by:
Kirill Smelkov
<kirr@landau.phys.spbu.ru>
commit
|
commitdiff
|
tree
2008-08-08
Kiri
l
l
Smelko
v
[
1
/
6
] l
e
t's
r
em
o
v
e
multip
l
e inheritance (
S
inglet
o
n)
Signed-off-by:
Kirill Smelkov
<kirr@landau.phys.spbu.ru>
commit
|
commitdiff
|
tree
2008-08-07
Kirill
Smelkov
Teach ts
o
lve h
o
w
to solve a*cos(x) = y
Signed-off-by:
Kirill Smelkov
<kirr@landau.phys.spbu.ru>
commit
|
commitdiff
|
tree
2008-08-07
Kiril
l
Smelkov
print
i
ng: add supp
o
rt for sets for
str an
d
pretty printers
Signed-off-by:
Kirill Smelkov
<kirr@landau.phys.spbu.ru>
commit
|
commitdiff
|
tree
2008-08-07
Kirill
S
melko
v
p
r
i
nting:
let's pretty-sort d
i
cts
Signed-off-by:
Kirill Smelkov
<kirr@landau.phys.spbu.ru>
commit
|
commitdiff
|
tree
2008-08-07
Ki
r
ill S
m
e
lkov
Basic
.
compare_pretty
-- to pr
e
tty-compare both SymP
y
.
.
.
Signed-off-by:
Kirill Smelkov
<kirr@landau.phys.spbu.ru>
commit
|
commitdiff
|
tree
2008-08-07
Kirill Sme
l
kov
Move Add
.
c
o
mpare_t
e
rms
t
o Basic
.
_com
p
are_pretty
Signed-off-by:
Kirill Smelkov
<kirr@landau.phys.spbu.ru>
commit
|
commitdiff
|
tree
2008-08-07
Kirill Smelk
o
v
pretty: me
r
ge
h
a
ndli
n
g of str and
unicode
Signed-off-by:
Kirill Smelkov
<kirr@landau.phys.spbu.ru>
commit
|
commitdiff
|
tree
2008-08-07
Kirill S
m
elk
o
v
Robert
Ci
m
rman ad
d
ed to aboutu
s
.
txt
commit
|
commitdiff
|
tree
2008-08-07
Kir
i
ll Smelko
v
Bastian
Web
e
r added to
cred
i
ts
commit
|
commitdiff
|
tree
2008-08-07
Kirill S
m
el
k
ov
printing
.
str --
add
a
ppropriat
e
tests fo
r
#992
Signed-off-by:
Kirill Smelkov
<kirr@landau.phys.spbu.ru>
commit
|
commitdiff
|
tree
2008-08-07
Kirill Smelkov
prin
t
ing
.
str -- re
m
ove
H
ACK
in _print_Add
Signed-off-by:
Kirill Smelkov
<kirr@landau.phys.spbu.ru>
commit
|
commitdiff
|
tree
2008-08-07
Kirill Sme
l
k
ov
Fix for w1
.
match(w
2
+w3)
(#9
9
2)
Signed-off-by:
Kirill Smelkov
<kirr@landau.phys.spbu.ru>
commit
|
commitdiff
|
tree
2008-08-04
Kirill S
m
elkov
Add support for var(
'
x,y,z') (#955)
Signed-off-by:
Kirill Smelkov
<kirr@landau.phys.spbu.ru>
commit
|
commitdiff
|
tree
2008-07-29
Kir
i
ll Smelkov
r
i
sch: "robustify" test_heurisch_fractions
(
)
Signed-off-by:
Kirill Smelkov
<kirr@landau.phys.spbu.ru>
commit
|
commitdiff
|
tree
2008-07-29
Ki
r
i
l
l Smelkov
A
dd/M
u
l
-- do
n
't
let is_comm
u
tative t
o
go to assumptions
Signed-off-by:
Kirill Smelkov
<kirr@landau.phys.spbu.ru>
commit
|
commitdiff
|
tree
2008-07-28
Kirill Smelkov
New-styl
e
c
l
asses
+
_
_getattr__ sucks, he
r
e
i
s why:
Signed-off-by:
Kirill Smelkov
<kirr@landau.phys.spbu.ru>
commit
|
commitdiff
|
tree
2008-07-27
K
i
rill Sm
e
lk
o
v
Stef
a
n
o
added
to README
and cre
d
its
commit
|
commitdiff
|
tree
2008-07-26
K
i
r
i
l
l Smelkov
examples/
r
elativity
.
py
-
- convert output to p
p
rint
.
.
.
Signed-off-by:
Kirill Smelkov
<kirr@landau.phys.spbu.ru>
commit
|
commitdiff
|
tree
2008-07-26
K
irill
S
melk
o
v
pprint: pretti
f
y matrix output (#495)
Signed-off-by:
Kirill Smelkov
<kirr@landau.phys.spbu.ru>
commit
|
commitdiff
|
tree
2008-07-26
Kirill
Sm
e
lkov
Add test
fo
r
alre
a
dy f
i
xed #634
Signed-off-by:
Kirill Smelkov
<kirr@landau.phys.spbu.ru>
commit
|
commitdiff
|
tree
2008-07-26
Kirill Smelkov
Fi
x
str
(
Real) (#962)
Signed-off-by:
Kirill Smelkov
<kirr@landau.phys.spbu.ru>
commit
|
commitdiff
|
tree
2008-07-26
Kiri
l
l Smelkov
"
F
ix" docstring
where output depends
o
n internal ordering
.
Signed-off-by:
Kirill Smelkov
<kirr@landau.phys.spbu.ru>
commit
|
commitdiff
|
tree
2008-07-25
K
i
rill Smelkov
[24/24] Mu
l
:
m
or
e
tests f
o
r
.
is_negativ
e
& friends
Signed-off-by:
Kirill Smelkov
<kirr@landau.phys.spbu.ru>
commit
|
commitdiff
|
tree
2008-07-25
Kir
i
ll
S
melkov
[23/24] Po
w
:
f
i
x tests
(0**x)
.
is_real
Signed-off-by:
Kirill Smelkov
<kirr@landau.phys.spbu.ru>
commit
|
commitdiff
|
tree
2008-07-25
K
irill Smelkov
[
22/24]
3
X
PAS
S
'
i
ng tests in
s
ympy/core
/
tests
/
test_ass
u
mp
t
io
.
.
.
Signed-off-by:
Kirill Smelkov
<kirr@landau.phys.spbu.ru>
commit
|
commitdiff
|
tree
2008-07-25
K
i
rill S
m
el
k
o
v
[
21/24] New te
s
t fo
r
in
f
erence
r
u
l
e (!real -> !in
t
eger
.
.
.
Signed-off-by:
Kirill Smelkov
<kirr@landau.phys.spbu.ru>
commit
|
commitdiff
|
tree
2008-07-25
K
irill Smelkov
[
2
0/24]
Numbers
:
cor
r
e
ct s
e
cond
a
ry tested a
s
sumptions
Signed-off-by:
Kirill Smelkov
<kirr@landau.phys.spbu.ru>
commit
|
commitdiff
|
tree
2008-07-25
Kirill Sme
l
kov
[19/24] I: cor
r
ect t
e
sted assumptions
Signed-off-by:
Kirill Smelkov
<kirr@landau.phys.spbu.ru>
commit
|
commitdiff
|
tree
2008-07-25
Ki
r
ill Smelkov
[18/24] NeativeOne
,
Pi, Exp1: correct tes
t
ed assumptions
Signed-off-by:
Kirill Smelkov
<kirr@landau.phys.spbu.ru>
commit
|
commitdiff
|
tree
2008-07-25
Kirill
S
melko
v
[
1
7/24]
N
aN:
correct assumptions
Signed-off-by:
Kirill Smelkov
<kirr@landau.phys.spbu.ru>
commit
|
commitdiff
|
tree
2008-07-25
Kir
i
ll Sme
l
kov
[16
/
2
4
] +-Infini
t
y:
correct assu
m
ptions
Signed-off-by:
Kirill Smelkov
<kirr@landau.phys.spbu.ru>
commit
|
commitdiff
|
tree
2008-07-25
Kiri
l
l Smelkov
[15/24] Z
e
ro: correct assumptions
Signed-off-by:
Kirill Smelkov
<kirr@landau.phys.spbu.ru>
commit
|
commitdiff
|
tree
2008-07-25
Kir
i
l
l
Sme
l
kov
[14/24] Mul:
t
e
a
c
h
.
_
e
val_is_negat
i
ve abou
t
all-t
e
rms
.
.
.
Signed-off-by:
Kirill Smelkov
<kirr@landau.phys.spbu.ru>
commit
|
commitdiff
|
tree
2008-07-25
K
iril
l
S
m
elkov
[13/24
]
Mul: te
a
ch it that
!
i
n
teg
e
r -> !even & !odd
Signed-off-by:
Kirill Smelkov
<kirr@landau.phys.spbu.ru>
commit
|
commitdiff
|
tree
2008-07-25
K
i
ri
l
l
Sm
e
lkov
[
12/24] Mul: te
a
ch
.
is_real
&
.
is_ima
g
i
n
a
ry to account
.
.
.
Signed-off-by:
Kirill Smelkov
<kirr@landau.phys.spbu.ru>
commit
|
commitdiff
|
tree
2008-07-25
K
irill Smelkov
[11/2
4
] rewo
r
k assum
p
t
ions
.
py to
use FactRu
l
es
.
.
.
Signed-off-by:
Kirill Smelkov
<kirr@landau.phys.spbu.ru>
commit
|
commitdiff
|
tree
2008-07-25
Kirill
S
melko
v
[10/2
4
]
rework assumpt
i
ons
.
py
to use FactRules
.
.
.
Signed-off-by:
Kirill Smelkov
<kirr@landau.phys.spbu.ru>
commit
|
commitdiff
|
tree
2008-07-25
Kirill Smelko
v
[9/24
]
: rework
a
s
s
u
mptio
n
s
.
py to use
FactRules (BasicMeta
.
.
.
Signed-off-by:
Kirill Smelkov
<kirr@landau.phys.spbu.ru>
commit
|
commitdiff
|
tree
2008-07-25
K
ir
i
ll Sm
e
l
kov
[8/24]: rework assumpti
o
ns to
u
s
e
F
actRule
s
(
n
o
.
assume(
)
)
Signed-off-by:
Kirill Smelkov
<kirr@landau.phys.spbu.ru>
commit
|
commitdiff
|
tree
2008-07-25
Kiril
l
Smelkov
[
7/24
]
: rework assumptions to use FactRules
(hash)
Signed-off-by:
Kirill Smelkov
<kirr@landau.phys.spbu.ru>
commit
|
commitdiff
|
tree
2008-07-25
Kirill Smelkov
[6/24]: rework
a
ssumptions to u
s
e FactR
u
le
s
(
B
asic)
Signed-off-by:
Kirill Smelkov
<kirr@landau.phys.spbu.ru>
commit
|
commitdiff
|
tree
2008-07-25
Kiril
l
Smelkov
[5/24]:
r
ework
a
ssumptions to use FactRules
(
BasicMe
t
a)
Signed-off-by:
Kirill Smelkov
<kirr@landau.phys.spbu.ru>
commit
|
commitdiff
|
tree
2008-07-25
Ki
r
ill Smelko
v
[4/24]: re
w
ork as
s
umptions
.
py
t
o use Fa
c
tRules (kil
l
.
.
.
Signed-off-by:
Kirill Smelkov
<kirr@landau.phys.spbu.ru>
commit
|
commitdiff
|
tree
2008-07-25
Kir
i
ll
S
melkov
[3/24]: r
e
wo
r
k assumptions to use Fa
c
tRules (as
s
umptions
.
py)
Signed-off-by:
Kirill Smelkov
<kirr@landau.phys.spbu.ru>
commit
|
commitdiff
|
tree
2008-07-25
Kirill Sm
e
lkov
[2/24] rule
b
a
s
ed inferen
c
e engine (engine itself)
Signed-off-by:
Kirill Smelkov
<kirr@landau.phys.spbu.ru>
commit
|
commitdiff
|
tree
2008-07-25
Kirill Smelkov
[1/24
]
ru
l
e b
a
sed inference engine (logic
)
Signed-off-by:
Kirill Smelkov
<kirr@landau.phys.spbu.ru>
commit
|
commitdiff
|
tree
2008-07-25
K
i
rill
Smelkov
pre
t
ty: fix pr
i
nt
i
ng of
l
o
ng strings
e
.
g
.
pi
.
e
v
alf
.
.
.
Signed-off-by:
Kirill Smelkov
<kirr@landau.phys.spbu.ru>
commit
|
commitdiff
|
tree
2008-07-25
Kir
i
ll Smel
k
ov
pret
t
y:
s
p
e
c
i
al sym
b
ol for mul
i
ply (#957)
commit
|
commitdiff
|
tree
next