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
Robert Cimrman added to aboutus.txt
2008-08-07
K
irill Smelkov
Rober
t
Cimrman added to
abou
t
us
.
txt
commit
|
commitdiff
|
tree
2008-08-07
Ki
r
ill Sm
e
lkov
Bast
i
a
n Weber adde
d
to credit
s
commit
|
commitdiff
|
tree
2008-08-07
Kirill S
m
elkov
printing
.
str -- add appropriate tests for #99
2
Signed-off-by:
Kirill Smelkov
<kirr@landau.phys.spbu.ru>
commit
|
commitdiff
|
tree
2008-08-07
Kirill Sme
l
kov
pr
i
nting
.
str -- remove HACK in _pr
i
nt
_
Add
Signed-off-by:
Kirill Smelkov
<kirr@landau.phys.spbu.ru>
commit
|
commitdiff
|
tree
2008-08-07
Kirill Sme
l
k
ov
F
i
x
for w1
.
matc
h
(w2+w3)
(
#992)
Signed-off-by:
Kirill Smelkov
<kirr@landau.phys.spbu.ru>
commit
|
commitdiff
|
tree
2008-08-04
K
ir
i
ll Smelkov
Add
s
up
p
ort for var('x,y,z') (#955)
Signed-off-by:
Kirill Smelkov
<kirr@landau.phys.spbu.ru>
commit
|
commitdiff
|
tree
2008-07-29
Kiri
l
l
S
m
elkov
risch: "r
o
busti
f
y" test_heurisch_fracti
o
ns
(
)
Signed-off-by:
Kirill Smelkov
<kirr@landau.phys.spbu.ru>
commit
|
commitdiff
|
tree
2008-07-29
K
i
ri
l
l Smelk
o
v
Add/Mul -- don't let is
_
c
o
mmutative to
g
o to assumpti
o
ns
Signed-off-by:
Kirill Smelkov
<kirr@landau.phys.spbu.ru>
commit
|
commitdiff
|
tree
2008-07-28
Kirill Sm
e
lkov
Ne
w
-style c
l
asses +
_
_g
e
tattr__ s
u
cks, here is why:
Signed-off-by:
Kirill Smelkov
<kirr@landau.phys.spbu.ru>
commit
|
commitdiff
|
tree
2008-07-27
Kirill Smelk
o
v
Stefano added to READ
M
E and c
r
edi
t
s
commit
|
commitdiff
|
tree
2008-07-26
Kir
i
ll
S
m
e
lkov
e
xampl
e
s
/re
l
ativi
t
y
.
py
-
- convert out
p
ut to pp
r
int
.
.
.
Signed-off-by:
Kirill Smelkov
<kirr@landau.phys.spbu.ru>
commit
|
commitdiff
|
tree
2008-07-26
K
i
ri
l
l
Smelkov
p
print:
p
r
ettify matrix o
u
tput (#
4
95
)
Signed-off-by:
Kirill Smelkov
<kirr@landau.phys.spbu.ru>
commit
|
commitdiff
|
tree
2008-07-26
Kir
i
ll Sme
l
kov
Ad
d
test for
a
lrea
d
y
f
ixed #634
Signed-off-by:
Kirill Smelkov
<kirr@landau.phys.spbu.ru>
commit
|
commitdiff
|
tree
2008-07-26
Kirill Smelkov
Fix
s
tr(
R
eal
)
(
#
9
6
2)
Signed-off-by:
Kirill Smelkov
<kirr@landau.phys.spbu.ru>
commit
|
commitdiff
|
tree
2008-07-26
Kirill Smelkov
"Fix" docstring where o
u
tput
d
epe
n
d
s
o
n internal ordering
.
Signed-off-by:
Kirill Smelkov
<kirr@landau.phys.spbu.ru>
commit
|
commitdiff
|
tree
2008-07-25
Kirill Smelk
o
v
[
2
4/24
]
Mul: m
o
re t
e
sts for
.
is_negative & fri
e
nds
Signed-off-by:
Kirill Smelkov
<kirr@landau.phys.spbu.ru>
commit
|
commitdiff
|
tree
2008-07-25
Kirill
S
melkov
[2
3
/24
]
Pow: fi
x
t
ests (
0
**x)
.
is_real
Signed-off-by:
Kirill Smelkov
<kirr@landau.phys.spbu.ru>
commit
|
commitdiff
|
tree
2008-07-25
Kirill Smel
k
ov
[
22/2
4
] 3 XPA
S
S
'ing tests in sy
m
py/core/te
s
ts/test_assump
t
io
.
.
.
Signed-off-by:
Kirill Smelkov
<kirr@landau.phys.spbu.ru>
commit
|
commitdiff
|
tree
2008-07-25
Kirill S
m
e
lkov
[
2
1/24] New te
s
t for
i
nference rule (!
r
eal ->
!integer
.
.
.
Signed-off-by:
Kirill Smelkov
<kirr@landau.phys.spbu.ru>
commit
|
commitdiff
|
tree
2008-07-25
Kirill Sme
l
kov
[20/24] Numb
e
rs: co
r
rect seco
n
d
a
ry
tested assu
m
ptions
Signed-off-by:
Kirill Smelkov
<kirr@landau.phys.spbu.ru>
commit
|
commitdiff
|
tree
2008-07-25
K
i
r
ill Sm
e
l
k
ov
[19/24
]
I
:
corr
e
ct test
e
d a
s
sumptions
Signed-off-by:
Kirill Smelkov
<kirr@landau.phys.spbu.ru>
commit
|
commitdiff
|
tree
2008-07-25
K
i
r
i
l
l
Smelkov
[18
/
2
4
]
NeativeOn
e
,
Pi, Ex
p
1: corr
e
ct
t
ested assumptions
Signed-off-by:
Kirill Smelkov
<kirr@landau.phys.spbu.ru>
commit
|
commitdiff
|
tree
2008-07-25
Kirill Smel
k
ov
[17/24] NaN: correct assu
m
pt
i
ons
Signed-off-by:
Kirill Smelkov
<kirr@landau.phys.spbu.ru>
commit
|
commitdiff
|
tree
2008-07-25
Kirill S
m
elkov
[16/24] +-Infinity: c
o
rrect assumptions
Signed-off-by:
Kirill Smelkov
<kirr@landau.phys.spbu.ru>
commit
|
commitdiff
|
tree
2008-07-25
Kiril
l
Smelkov
[1
5
/24]
Z
ero:
correct ass
u
mptions
Signed-off-by:
Kirill Smelkov
<kirr@landau.phys.spbu.ru>
commit
|
commitdiff
|
tree
2008-07-25
Kirill Smelkov
[14/24]
Mu
l
: teach
.
_e
v
al_is_
n
egative
a
bout a
l
l-ter
m
s
.
.
.
Signed-off-by:
Kirill Smelkov
<kirr@landau.phys.spbu.ru>
commit
|
commitdiff
|
tree
2008-07-25
Kirill Sme
l
kov
[13/24] Mul: teac
h
i
t
that !
i
nteger ->
!eve
n
& !odd
Signed-off-by:
Kirill Smelkov
<kirr@landau.phys.spbu.ru>
commit
|
commitdiff
|
tree
2008-07-25
Kirill Smelkov
[
12
/
24] Mul: teach
.
is_
r
eal &
.
is_imagina
r
y
to account
.
.
.
Signed-off-by:
Kirill Smelkov
<kirr@landau.phys.spbu.ru>
commit
|
commitdiff
|
tree
2008-07-25
Kiri
l
l Sme
l
kov
[11/24]
r
ework assumptions
.
py
to use FactRu
l
es
.
.
.
Signed-off-by:
Kirill Smelkov
<kirr@landau.phys.spbu.ru>
commit
|
commitdiff
|
tree
2008-07-25
Kirill Smelkov
[10/24] re
w
ork assu
m
ptions
.
py
t
o use
FactRules
.
.
.
Signed-off-by:
Kirill Smelkov
<kirr@landau.phys.spbu.ru>
commit
|
commitdiff
|
tree
2008-07-25
Kirill Smelkov
[9/24]: rework
a
ssumpti
o
ns
.
py to use
F
actRu
l
e
s
(BasicMeta
.
.
.
Signed-off-by:
Kirill Smelkov
<kirr@landau.phys.spbu.ru>
commit
|
commitdiff
|
tree
2008-07-25
Kirill Smelk
o
v
[8/24]: rework assumptions to use FactRules (no
.
assume())
Signed-off-by:
Kirill Smelkov
<kirr@landau.phys.spbu.ru>
commit
|
commitdiff
|
tree
2008-07-25
Kirill Smelkov
[
7/24]: rew
o
rk
assu
m
ptions to use
FactRules (ha
s
h)
Signed-off-by:
Kirill Smelkov
<kirr@landau.phys.spbu.ru>
commit
|
commitdiff
|
tree
2008-07-25
Kiri
l
l Sm
e
l
kov
[6/24]: rework as
s
umptions t
o
use FactRules (Basi
c
)
Signed-off-by:
Kirill Smelkov
<kirr@landau.phys.spbu.ru>
commit
|
commitdiff
|
tree
2008-07-25
Kirill S
m
elkov
[5/24]: rework assumption
s
t
o use
F
act
R
ules (Basi
c
Meta)
Signed-off-by:
Kirill Smelkov
<kirr@landau.phys.spbu.ru>
commit
|
commitdiff
|
tree
2008-07-25
Kirill Smelkov
[4/
2
4]
:
rew
o
r
k assum
p
t
ions
.
py to
u
se FactRules
(kill
.
.
.
Signed-off-by:
Kirill Smelkov
<kirr@landau.phys.spbu.ru>
commit
|
commitdiff
|
tree
2008-07-25
Kirill Smelkov
[3/24]: rework assump
t
ions to use
F
actRules
(assumpt
i
ons
.
py)
Signed-off-by:
Kirill Smelkov
<kirr@landau.phys.spbu.ru>
commit
|
commitdiff
|
tree
2008-07-25
Kirill Smel
k
o
v
[2/24] rule
based i
n
feren
c
e
e
ngine (engine
i
tself)
Signed-off-by:
Kirill Smelkov
<kirr@landau.phys.spbu.ru>
commit
|
commitdiff
|
tree
2008-07-25
Kir
i
l
l
Smelk
o
v
[1/24] rule based inferenc
e
engine (l
o
gic)
Signed-off-by:
Kirill Smelkov
<kirr@landau.phys.spbu.ru>
commit
|
commitdiff
|
tree
2008-07-25
Kirill Smelkov
pretty:
f
ix printi
n
g
of
l
ong strings e
.
g
.
p
i
.
evalf
.
.
.
Signed-off-by:
Kirill Smelkov
<kirr@landau.phys.spbu.ru>
commit
|
commitdiff
|
tree
2008-07-25
Ki
r
ill Sm
e
lk
o
v
pretty: speci
a
l symb
o
l for muliply (#957)
commit
|
commitdiff
|
tree
2008-07-25
Kirill Smelkov
pretty_symbologu: xrel ->
x
sym -- it will be a
p
plicab
l
e
.
.
.
commit
|
commitdiff
|
tree
2008-07-25
Kirill Smelkov
test_roots: robu
s
tify tests for roots(x**3 +
x
**2
.
.
.
commit
|
commitdiff
|
tree
2008-07-25
Kirill Smelko
v
test_r
o
ot
s
: us
e
s
ympif
y
and
string repre
s
ent
a
tio
n
for
.
.
.
commit
|
commitdiff
|
tree
2008-07-24
K
i
rill
S
melkov
tests for
.
as_coeff_factors()
commit
|
commitdiff
|
tree
2008-07-24
Kirill
S
melkov
nseries: robustify tes
t
_bug4
commit
|
commitdiff
|
tree
2008-07-24
K
i
rill Sm
e
l
kov
robus
t
ify tests f
o
r
p
ostorder_
t
rav
e
rs
a
l
and pre
o
rder_traversal
commit
|
commitdiff
|
tree
2008-07-21
Kirill Smelkov
r
solve_hyper: robustify
t
e
s
t
s
to catch
all combinati
o
ns
.
.
.
Signed-off-by:
Kirill Smelkov
<kirr@landau.phys.spbu.ru>
commit
|
commitdiff
|
tree
2008-07-20
Kirill Smelko
v
Add:
fix
.
_eval_is_irration
a
l
(sel
f
[:] v
.
s
.
self
.
.
.
Signed-off-by:
Kirill Smelkov
<kirr@landau.phys.spbu.ru>
commit
|
commitdiff
|
tree
2008-07-20
Kirill Smelk
o
v
P
o
lys: robustify some tests which depend o
n
underlying
.
.
.
Signed-off-by:
Kirill Smelkov
<kirr@landau.phys.spbu.ru>
commit
|
commitdiff
|
tree
2008-07-20
Kirill Smelkov
p
retty: robus
t
ify
d
i
c
t tests (#938)
Signed-off-by:
Kirill Smelkov
<kirr@landau.phys.spbu.ru>
commit
|
commitdiff
|
tree
2008-07-18
Kirill
Smelkov
BasicMeta:
don't
import
t
y
peinfo (e
.
g
.
is_Integer)
.
.
.
Signed-off-by:
Kirill Smelkov
<kirr@landau.phys.spbu.ru>
commit
|
commitdiff
|
tree
2008-07-18
K
i
rill Sme
l
kov
Basi
c
.
__n
e
w__ : set
.
_
assumption
s
to
N
o
n
e earl
y
Signed-off-by:
Kirill Smelkov
<kirr@landau.phys.spbu.ru>
commit
|
commitdiff
|
tree
2008-07-06
K
i
r
ill Smelkov
doc: spt -- strip w
h
ite
s
pace
Signed-off-by:
Kirill Smelkov
<kirr@landau.phys.spbu.ru>
commit
|
commitdiff
|
tree
2008-07-06
Kirill
S
melkov
d
o
c: s
p
t -- kill duplicate
l
eftover after a4
a
b1c5072c4
.
.
.
Signed-off-by:
Kirill Smelkov
<kirr@landau.phys.spbu.ru>
commit
|
commitdiff
|
tree
2008-07-06
K
i
rill Smelkov
doc: mentio
n
NotImplementedError in pyth
o
n-comparis
o
ns
.
txt
Signed-off-by:
Kirill Smelkov
<kirr@landau.phys.spbu.ru>
commit
|
commitdiff
|
tree
2008-07-06
Kiril
l
S
melkov
doc
:
fix ty
p
os i
n
python-comp
a
risons
.
txt
Signed-off-by:
Kirill Smelkov
<kirr@landau.phys.spbu.ru>
commit
|
commitdiff
|
tree
2008-04-26
Kirill Sm
e
lkov
David Ro
b
erts added
t
o README
commit
|
commitdiff
|
tree
2008-04-23
K
i
rill
S
melkov
Robert
o
added t
o
README
commit
|
commitdiff
|
tree
2008-04-21
Ki
r
ill Smelkov
Add Felix to
R
EADME
commit
|
commitdiff
|
tree
2008-04-20
Kirill Sme
l
k
ov
S
t
rip trailing whi
t
espaces all
over SymPy
commit
|
commitdiff
|
tree
2008-04-19
Ki
r
il
l
Smelkov
Fix Poly to be compatible w
i
t
h Python2
.
4
commit
|
commitdiff
|
tree
2008-04-17
Kiri
l
l Sme
l
kov
f
ix
a
cosh(<somet
h
ing rea
l
>) (#
7
3
0
)
commit
|
commitdiff
|
tree
2008-04-17
Kirill Smelko
v
test_bug2 started to p
a
ss
commit
|
commitdiff
|
tree
2008-04-17
Kir
i
ll Smelkov
t
e
st_Limits_si
m
ple_4b started to pass
commit
|
commitdiff
|
tree
2008-04-17
Kirill Smel
k
ov
test_apart1
started to
p
ass
commit
|
commitdiff
|
tree
2008-04-17
Kirill Smelkov
ppr
i
nt: fi
x
printi
n
g of greek l
e
tters in d
e
r
i
vatives
.
.
.
commit
|
commitdiff
|
tree
2008-04-17
Kirill S
m
elko
v
ppr
i
nt: move pretty
r
elate
d
tests to their h
o
m
e
commit
|
commitdiff
|
tree
2008-04-16
Kirill Smelkov
pprint: implement Limit printing
commit
|
commitdiff
|
tree
2008-04-16
K
i
rill S
m
e
lkov
R
i
zga
r
added to READ
M
E
commit
|
commitdiff
|
tree
2008-04-13
Kirill S
m
e
l
kov
Pan added to
R
EADME
commit
|
commitdiff
|
tree
2008-04-11
K
irill Smelkov
remove unneccesary com
m
ented X
F
AIL
commit
|
commitdiff
|
tree
2008-04-11
Kiri
l
l S
m
e
l
kov
Add
A
b
d
errahim to README
commit
|
commitdiff
|
tree
2008-04-03
Kirill Smelkov
Nimish added to RE
A
DME
commit
|
commitdiff
|
tree
2008-03-26
Kirill Smelkov
doc: install spt
-
patches/ as well
commit
|
commitdiff
|
tree
2008-03-26
Kirill Smelk
o
v
doc: spt: SAG
E
d
o
e
s
pa
t
h
c
h reviews
commit
|
commitdiff
|
tree
2008-03-26
Kirill
S
m
e
lkov
doc: spt: w
o
rka
r
ound sidebar related bu
g
i
n
sphinx
commit
|
commitdiff
|
tree
2008-03-26
Kir
i
l
l
S
m
elkov
doc:
SymPy Patches
Tutorial
:
add printable version
commit
|
commitdiff
|
tree
2008-03-26
Kir
i
l
l
S
melkov
.
hgignore +=
doc/ b
u
ild
s
tuff
commit
|
commitdiff
|
tree
2008-03-26
Kirill Smelkov
printe
r
.
py:
f
i
x
typos
commit
|
commitdiff
|
tree
2008-03-26
Kiri
l
l
Smelkov
pretty: fix x
o
bj for ev
e
n
height
commit
|
commitdiff
|
tree
2008-03-26
K
i
rill Smelkov
p
p
r
int
:
f
ix handling of old-style classes (
#
755)
commit
|
commitdiff
|
tree
2008-03-23
K
irill Sm
e
lkov
s
l
ightly speedup Basic
.
__ge
t
attr__
commit
|
commitdiff
|
tree
2008-03-23
Ki
r
ill Smelkov
a
d
d comments to Mul
.
flatten
commit
|
commitdiff
|
tree
2008-03-23
Kiri
l
l
S
mel
k
ov
[
2
/2
]
let'
s
use __slots
_
_
commit
|
commitdiff
|
tree
2008-03-23
Kirill Sm
e
lko
v
[1/2] let'
s
use __slots__
commit
|
commitdiff
|
tree
2008-03-12
Kiri
l
l Sme
l
kov
[5/5] __eq__/__n
e
__ r
e
turns Tru
e
/False
direc
t
ly (
.
.
.
commit
|
commitdiff
|
tree
2008-03-12
Kir
i
l
l Smelko
v
[4/5] __eq__/__n
e
__
r
eturns T
r
ue/Fals
e
directly (
.
.
.
commit
|
commitdiff
|
tree
2008-03-12
Kirill Smelkov
[3
/
5]
_
_eq__/__ne__ returns True/False dire
c
t
l
y
(
.
.
.
commit
|
commitdiff
|
tree
2008-03-12
Kirill
S
melkov
[2/5] __eq__/__ne_
_
returns
True/False directly (
.
.
.
commit
|
commitdiff
|
tree
2008-03-12
K
i
rill Smelkov
[
1/5] __eq__/__ne
_
_ returns True/F
a
lse dire
c
tly
(
.
.
.
commit
|
commitdiff
|
tree
2008-03-12
K
i
r
ill Smelkov
Relation
a
l:
f
ix f
o
r '!=' a
n
d
.
sub
s
commit
|
commitdiff
|
tree
2008-03-11
Kirill
S
melkov
James a
d
d
e
d
t
o c
r
e
d
its
commit
|
commitdiff
|
tree
2008-03-11
Kir
i
l
l Smelkov
I'm
guilt
y
ag
a
in :(
commit
|
commitdiff
|
tree
2008-03-11
Kiri
l
l Smelkov
Test fo
r
x*
u
nknown -> u
n
known
.
__rm
u
l
__ is called
.
.
.
commit
|
commitdiff
|
tree
2008-03-11
Kirill Smelkov
Remove
u
nn
e
e
ded li
n
es that try t
o
pro
p
agate _
_
doc
_
_
.
.
.
commit
|
commitdiff
|
tree
2008-02-29
Kirill Smel
k
ov
assumptions: cache 'unkn
o
w
n' assumptio
n
s
as well
commit
|
commitdiff
|
tree
2008-02-29
Kirill
Smelko
v
sy
m
pify: add sup
p
o
r
t for
o
bjects tha
t
implement
_
_int__
.
.
.
commit
|
commitdiff
|
tree
2008-02-27
Kiril
l
Sm
e
lkov
Po
w
.
expan
d
(co
m
plex=True) -- use
a
t
a
n2 to obtain b
a
se
.
.
.
commit
|
commitdiff
|
tree
2008-02-27
K
i
ril
l
Smelkov
Add tests for oo*<smth>
==
oo (#639)
commit
|
commitdiff
|
tree
next