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
Fix for w1.match(w2+w3) (#992)
2008-08-07
Ki
r
ill
Smelkov
Fix for w1
.
match(w2+w3
)
(#
9
92)
Signed-off-by:
Kirill Smelkov
<kirr@landau.phys.spbu.ru>
commit
|
commitdiff
|
tree
2008-08-04
Kiri
l
l Smelkov
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
risch: "rob
u
s
t
ify" tes
t
_
h
eur
i
s
c
h_
f
ractions()
Signed-off-by:
Kirill Smelkov
<kirr@landau.phys.spbu.ru>
commit
|
commitdiff
|
tree
2008-07-29
Kirill S
m
e
l
kov
Add/Mul -- don't let is_comm
u
tative
t
o go to
ass
u
mptions
Signed-off-by:
Kirill Smelkov
<kirr@landau.phys.spbu.ru>
commit
|
commitdiff
|
tree
2008-07-28
Kirill Sme
l
kov
New-
s
tyle classes + __geta
t
tr__ sucks, her
e
is why:
Signed-off-by:
Kirill Smelkov
<kirr@landau.phys.spbu.ru>
commit
|
commitdiff
|
tree
2008-07-27
K
iril
l
Smelkov
Stefano ad
d
ed to
R
EA
D
M
E
and
credits
commit
|
commitdiff
|
tree
2008-07-26
Kirill Smelkov
e
x
ampl
e
s/
r
e
l
a
tivity
.
py -- convert output
to p
p
rint
.
.
.
Signed-off-by:
Kirill Smelkov
<kirr@landau.phys.spbu.ru>
commit
|
commitdiff
|
tree
2008-07-26
K
i
ril
l
Smel
k
ov
pprint: pr
e
tti
f
y matrix
o
utput (#495)
Signed-off-by:
Kirill Smelkov
<kirr@landau.phys.spbu.ru>
commit
|
commitdiff
|
tree
2008-07-26
Kirill Sm
e
lkov
A
d
d
t
e
s
t for already
fixe
d
#634
Signed-off-by:
Kirill Smelkov
<kirr@landau.phys.spbu.ru>
commit
|
commitdiff
|
tree
2008-07-26
Kiri
l
l Sm
e
lkov
Fix str(
R
eal) (#9
6
2)
Signed-off-by:
Kirill Smelkov
<kirr@landau.phys.spbu.ru>
commit
|
commitdiff
|
tree
2008-07-26
K
i
rill Smel
k
ov
"Fix" docstri
n
g where output
d
e
pends on
internal o
r
dering
.
Signed-off-by:
Kirill Smelkov
<kirr@landau.phys.spbu.ru>
commit
|
commitdiff
|
tree
2008-07-25
Kirill Smel
k
ov
[24
/
24
]
Mul: more tests for
.
i
s
_n
e
gative & friends
Signed-off-by:
Kirill Smelkov
<kirr@landau.phys.spbu.ru>
commit
|
commitdiff
|
tree
2008-07-25
K
i
rill Smelko
v
[23/
2
4] Pow: fix
t
e
s
t
s (0
*
*x)
.
is_real
Signed-off-by:
Kirill Smelkov
<kirr@landau.phys.spbu.ru>
commit
|
commitdiff
|
tree
2008-07-25
K
irill Smel
k
ov
[
22/24] 3
X
PASS'ing t
e
st
s
in sympy
/
co
r
e/te
s
ts/test
_
assumptio
.
.
.
Signed-off-by:
Kirill Smelkov
<kirr@landau.phys.spbu.ru>
commit
|
commitdiff
|
tree
2008-07-25
Kiril
l
Sm
e
lkov
[21/24] New
t
est
f
or
inference rule (!real
-
>
!integer
.
.
.
Signed-off-by:
Kirill Smelkov
<kirr@landau.phys.spbu.ru>
commit
|
commitdiff
|
tree
2008-07-25
Kirill
Smelkov
[20/24] Numbers: cor
r
ect secondary te
s
te
d
assumptions
Signed-off-by:
Kirill Smelkov
<kirr@landau.phys.spbu.ru>
commit
|
commitdiff
|
tree
2008-07-25
Kirill Smelkov
[
19/24] I: corre
c
t
tested assumptions
Signed-off-by:
Kirill Smelkov
<kirr@landau.phys.spbu.ru>
commit
|
commitdiff
|
tree
2008-07-25
Kirill Smelkov
[18/2
4
] Neativ
e
One, Pi, Exp1: correct tes
t
e
d assum
p
tions
Signed-off-by:
Kirill Smelkov
<kirr@landau.phys.spbu.ru>
commit
|
commitdiff
|
tree
2008-07-25
Kirill Smelko
v
[17/24] NaN: correct as
s
umptions
Signed-off-by:
Kirill Smelkov
<kirr@landau.phys.spbu.ru>
commit
|
commitdiff
|
tree
2008-07-25
Kirill Smelko
v
[16/24] +-Infinity:
c
o
r
r
ect assumptions
Signed-off-by:
Kirill Smelkov
<kirr@landau.phys.spbu.ru>
commit
|
commitdiff
|
tree
2008-07-25
Kirill Smelko
v
[
1
5/24] Zero: correct assumptions
Signed-off-by:
Kirill Smelkov
<kirr@landau.phys.spbu.ru>
commit
|
commitdiff
|
tree
2008-07-25
Kirill Smelkov
[14/24] Mul:
teach
.
_
eval
_
is_negative about all-ter
m
s
.
.
.
Signed-off-by:
Kirill Smelkov
<kirr@landau.phys.spbu.ru>
commit
|
commitdiff
|
tree
2008-07-25
Kiril
l
S
mel
k
o
v
[1
3
/24] Mul:
t
each it that !inte
g
e
r
-> !even & !odd
Signed-off-by:
Kirill Smelkov
<kirr@landau.phys.spbu.ru>
commit
|
commitdiff
|
tree
2008-07-25
Kirill Sme
l
kov
[
1
2/24] Mul: teach
.
is_rea
l
&
.
is_im
a
gi
n
a
r
y
to account
.
.
.
Signed-off-by:
Kirill Smelkov
<kirr@landau.phys.spbu.ru>
commit
|
commitdiff
|
tree
2008-07-25
Kirill Smelkov
[11/24] rework assum
p
tions
.
p
y to use FactRules
.
.
.
Signed-off-by:
Kirill Smelkov
<kirr@landau.phys.spbu.ru>
commit
|
commitdiff
|
tree
2008-07-25
Kirill Smelkov
[1
0
/24]
r
ework assumpti
o
ns
.
py to use FactR
u
le
s
.
.
.
Signed-off-by:
Kirill Smelkov
<kirr@landau.phys.spbu.ru>
commit
|
commitdiff
|
tree
2008-07-25
Ki
r
ill Smelkov
[9/24]: r
e
work assumption
s
.
py to use FactRul
e
s (Bas
i
cMeta
.
.
.
Signed-off-by:
Kirill Smelkov
<kirr@landau.phys.spbu.ru>
commit
|
commitdiff
|
tree
2008-07-25
Kirill S
m
elkov
[8
/
24]: re
w
o
rk ass
u
mptio
n
s to
u
se FactRules (no
.
a
ssume())
Signed-off-by:
Kirill Smelkov
<kirr@landau.phys.spbu.ru>
commit
|
commitdiff
|
tree
2008-07-25
K
i
r
i
ll Smelkov
[7/24]: rework a
s
sum
p
tions to use Fa
c
tRules (hash)
Signed-off-by:
Kirill Smelkov
<kirr@landau.phys.spbu.ru>
commit
|
commitdiff
|
tree
2008-07-25
Kir
i
ll Smelkov
[
6/24]: rework assum
p
tions
to use FactR
u
les
(
B
a
sic)
Signed-off-by:
Kirill Smelkov
<kirr@landau.phys.spbu.ru>
commit
|
commitdiff
|
tree
2008-07-25
Kirill Smel
k
ov
[
5
/24]:
r
ework assumptions
to use Fact
R
ules
(
Bas
i
cM
e
ta)
Signed-off-by:
Kirill Smelkov
<kirr@landau.phys.spbu.ru>
commit
|
commitdiff
|
tree
2008-07-25
Kir
i
ll Smelkov
[
4/24]: rework assumptions
.
py to
use Fa
c
tRules
(
k
ill
.
.
.
Signed-off-by:
Kirill Smelkov
<kirr@landau.phys.spbu.ru>
commit
|
commitdiff
|
tree
2008-07-25
Kirill Sm
e
lkov
[3/24]: r
e
work a
s
sumptions to use FactRules
(assumptions
.
py)
Signed-off-by:
Kirill Smelkov
<kirr@landau.phys.spbu.ru>
commit
|
commitdiff
|
tree
2008-07-25
K
i
rill
S
melkov
[2/24] rule based
in
f
erence engin
e
(engi
n
e its
e
lf)
Signed-off-by:
Kirill Smelkov
<kirr@landau.phys.spbu.ru>
commit
|
commitdiff
|
tree
2008-07-25
Kirill S
m
el
k
ov
[1/24] rule based
i
nference engine (lo
g
ic)
Signed-off-by:
Kirill Smelkov
<kirr@landau.phys.spbu.ru>
commit
|
commitdiff
|
tree
2008-07-25
Kir
i
ll Smelkov
pret
t
y: fix printing of
l
o
ng strings e
.
g
.
p
i
.
evalf
.
.
.
Signed-off-by:
Kirill Smelkov
<kirr@landau.phys.spbu.ru>
commit
|
commitdiff
|
tree
2008-07-25
Kirill Smelkov
pretty: sp
e
cial symbo
l
for muliply (#957)
commit
|
commitdiff
|
tree
2008-07-25
K
irill S
m
elkov
p
retty_symbologu
:
xrel
-
>
xs
y
m -- it will
be
applicable
.
.
.
commit
|
commitdiff
|
tree
2008-07-25
Kirill
S
melk
o
v
test_roots: robustify tests for roots(x
*
*3 + x**2
.
.
.
commit
|
commitdiff
|
tree
2008-07-25
Kiril
l
Smelk
o
v
tes
t
_roots: use
s
ympi
f
y
and string representation for
.
.
.
commit
|
commitdiff
|
tree
2008-07-24
Kir
i
l
l S
m
elkov
tests for
.
as_coeff_factors(
)
commit
|
commitdiff
|
tree
2008-07-24
Ki
r
i
l
l Smelkov
n
se
r
i
e
s: robustif
y
te
s
t_bug4
commit
|
commitdiff
|
tree
2008-07-24
Kirill Sme
l
k
ov
robustify
tests for postor
d
er_trav
e
rsal and preorder_traversal
commit
|
commitdiff
|
tree
2008-07-21
Kirill Smelkov
rsolve_hyper:
r
o
bu
s
ti
f
y te
s
ts to c
a
tch all combinatio
n
s
.
.
.
Signed-off-by:
Kirill Smelkov
<kirr@landau.phys.spbu.ru>
commit
|
commitdiff
|
tree
2008-07-20
Kiril
l
Smelkov
Add:
fi
x
.
_e
v
al_is
_
i
r
rational (self[:] v
.
s
.
self
.
.
.
Signed-off-by:
Kirill Smelkov
<kirr@landau.phys.spbu.ru>
commit
|
commitdiff
|
tree
2008-07-20
Kirill Smelkov
Pol
y
s: ro
b
u
stify some tests
which
d
epend on underlying
.
.
.
Signed-off-by:
Kirill Smelkov
<kirr@landau.phys.spbu.ru>
commit
|
commitdiff
|
tree
2008-07-20
K
i
rill Smelkov
pre
t
t
y
: ro
b
ust
i
fy dict tests (#938)
Signed-off-by:
Kirill Smelkov
<kirr@landau.phys.spbu.ru>
commit
|
commitdiff
|
tree
2008-07-18
K
iri
l
l Sm
e
lk
o
v
Bas
i
cMe
t
a
:
don't
import type
i
n
fo (e
.
g
.
i
s
_Integer)
.
.
.
Signed-off-by:
Kirill Smelkov
<kirr@landau.phys.spbu.ru>
commit
|
commitdiff
|
tree
2008-07-18
K
i
r
il
l
S
m
elk
o
v
Ba
s
ic
.
_
_
ne
w
__
: set
.
_assumptions to None
early
Signed-off-by:
Kirill Smelkov
<kirr@landau.phys.spbu.ru>
commit
|
commitdiff
|
tree
2008-07-06
Kiri
l
l Smelkov
doc
:
spt
-- strip whitespace
Signed-off-by:
Kirill Smelkov
<kirr@landau.phys.spbu.ru>
commit
|
commitdiff
|
tree
2008-07-06
Kirill S
m
elkov
d
o
c: spt
-
- kill duplicate l
e
ft
o
ver after
a
4
ab1c5072c4
.
.
.
Signed-off-by:
Kirill Smelkov
<kirr@landau.phys.spbu.ru>
commit
|
commitdiff
|
tree
2008-07-06
Kirill Smelkov
doc: m
e
ntion NotImplementedEr
r
or
i
n
p
y
t
hon-c
o
mpari
s
ons
.
txt
Signed-off-by:
Kirill Smelkov
<kirr@landau.phys.spbu.ru>
commit
|
commitdiff
|
tree
2008-07-06
Kirill Sm
e
lkov
doc: fix
typos in python
-
compari
s
o
n
s
.
txt
Signed-off-by:
Kirill Smelkov
<kirr@landau.phys.spbu.ru>
commit
|
commitdiff
|
tree
2008-04-26
Kirill Smelkov
David
R
o
b
erts
added to README
commit
|
commitdiff
|
tree
2008-04-23
Kirill Smelkov
Roberto added to REA
D
ME
commit
|
commitdiff
|
tree
2008-04-21
Ki
r
ill Smelkov
A
d
d
F
e
lix to
R
EADME
commit
|
commitdiff
|
tree
2008-04-20
Kirill
Smelko
v
Strip tra
i
ling whi
t
espaces all ov
e
r SymPy
commit
|
commitdiff
|
tree
2008-04-19
Kir
i
ll
S
melkov
F
i
x
Poly
to be co
m
p
atible with Python2
.
4
commit
|
commitdiff
|
tree
2008-04-17
Kirill Smelkov
fix
acos
h
(<somet
h
ing real>) (#730)
commit
|
commitdiff
|
tree
2008-04-17
K
i
rill Smelkov
test_bug2 star
t
ed
t
o pass
commit
|
commitdiff
|
tree
2008-04-17
Kirill S
m
elkov
test_Lim
i
ts_simple_4b started
to
pass
commit
|
commitdiff
|
tree
2008-04-17
Kirill Sme
l
kov
test_apa
r
t1
starte
d
to p
a
ss
commit
|
commitdiff
|
tree
2008-04-17
Ki
r
ill Sm
e
lkov
pprint: fix pr
i
nting of greek lette
r
s
in der
i
vatives
.
.
.
commit
|
commitdiff
|
tree
2008-04-17
K
irill Smelk
o
v
pprint: move pretty
related tests to their home
commit
|
commitdiff
|
tree
2008-04-16
Kirill Smelkov
p
print: implement Limit printing
commit
|
commitdiff
|
tree
2008-04-16
Kirill Smelkov
Riz
g
a
r added to REA
D
ME
commit
|
commitdiff
|
tree
2008-04-13
Kiri
l
l Smelkov
Pa
n
added to README
commit
|
commitdiff
|
tree
2008-04-11
Kirill Smelkov
remove unn
e
ccesary co
m
m
ented
XFAI
L
commit
|
commitdiff
|
tree
2008-04-11
Kirill Smelkov
Add Abderrahim to REA
D
ME
commit
|
commitdiff
|
tree
2008-04-03
Ki
r
i
l
l
S
m
elkov
Nimish added to RE
A
DME
commit
|
commitdiff
|
tree
2008-03-26
Kir
i
ll Smelkov
doc:
ins
t
all sp
t
-
p
atc
h
es/ as well
commit
|
commitdiff
|
tree
2008-03-26
K
i
r
i
l
l Smelkov
doc
:
spt
:
S
AGE does pat
h
ch r
e
views
commit
|
commitdiff
|
tree
2008-03-26
Kir
i
ll Sm
e
lkov
doc:
s
p
t:
worka
r
ound sidebar r
e
lated bug in
sphin
x
commit
|
commitdiff
|
tree
2008-03-26
Kirill
Smelkov
doc: Sy
m
P
y
Patche
s
Tut
o
rial: add p
r
in
t
able versi
o
n
commit
|
commitdiff
|
tree
2008-03-26
Kirill Smelkov
.
hgigno
r
e += doc/
build stuff
commit
|
commitdiff
|
tree
2008-03-26
Kiril
l
Smelkov
pr
i
nter
.
py: fix typ
o
s
commit
|
commitdiff
|
tree
2008-03-26
Kiri
l
l Sm
e
lkov
pretty: fix xobj for even height
commit
|
commitdiff
|
tree
2008-03-26
Kirill S
m
elk
o
v
pprint
:
fix ha
n
dling of
o
l
d-style classes
(#755)
commit
|
commitdiff
|
tree
2008-03-23
Kirill Smelkov
slightly speedup Basic
.
__getattr__
commit
|
commitdiff
|
tree
2008-03-23
K
i
rill Smelkov
add
comm
e
n
t
s to
Mul
.
f
l
atten
commit
|
commitdiff
|
tree
2008-03-23
Kirill Smel
k
ov
[2/2
]
let's use __slots__
commit
|
commitdiff
|
tree
2008-03-23
Kirill
S
melkov
[1/2] let's use
__slots__
commit
|
commitdiff
|
tree
2008-03-12
Kiri
l
l
Smelkov
[
5
/5] __eq__/__ne__ returns
T
r
u
e/
F
alse di
r
ectly (
.
.
.
commit
|
commitdiff
|
tree
2008-03-12
Kirill S
m
elkov
[
4/5] __eq__/__ne__ r
e
tur
n
s True/False directly (
.
.
.
commit
|
commitdiff
|
tree
2008-03-12
Ki
r
ill Sme
l
kov
[
3
/5]
_
_
eq
_
_
/
__ne__ ret
u
rns True/False d
i
rectly
(
.
.
.
commit
|
commitdiff
|
tree
2008-03-12
Kiril
l
Smelkov
[
2
/
5
] __eq__/__n
e
__ returns T
r
ue/Fa
l
se dire
c
tly (
.
.
.
commit
|
commitdiff
|
tree
2008-03-12
Kirill Smelkov
[1/
5
] __eq__/__
n
e__ returns True/Fals
e
direct
l
y (
.
.
.
commit
|
commitdiff
|
tree
2008-03-12
Kirill Smelkov
Relational: fix
f
or '!=' and
.
sub
s
commit
|
commitdiff
|
tree
2008-03-11
Kirill Smel
k
o
v
James a
d
ded
t
o credits
commit
|
commitdiff
|
tree
2008-03-11
Ki
r
i
l
l
S
melkov
I'm gu
i
lty
a
gain :(
commit
|
commitdiff
|
tree
2008-03-11
Ki
r
ill Smelko
v
T
e
s
t for
x*unkno
w
n -> unknown
.
_
_rmul__ is
called
.
.
.
commit
|
commitdiff
|
tree
2008-03-11
Kirill Smelkov
Remove u
n
needed lines
t
h
a
t try to propagate __
d
oc__
.
.
.
commit
|
commitdiff
|
tree
2008-02-29
Kirill Smelk
o
v
assumptions:
cache 'un
k
n
o
wn' assumpti
o
ns as well
commit
|
commitdiff
|
tree
2008-02-29
Kiril
l
Smelkov
sympify:
a
dd support for object
s
t
h
a
t
implement __int
_
_
.
.
.
commit
|
commitdiff
|
tree
2008-02-27
Kirill
Smelkov
Pow
.
expan
d
(
complex=True) -- use atan2 to o
b
tain base
.
.
.
commit
|
commitdiff
|
tree
2008-02-27
Kirill
Sme
l
kov
Add
t
ests f
o
r oo*<smth> == oo
(
#639)
commit
|
commitdiff
|
tree
2008-02-27
K
i
r
ill Smelko
v
.
is_positi
v
e,
.
is_nega
t
ive -- f
a
l
l bac
k
to
c
m
p
(
.
evalf
.
.
.
commit
|
commitdiff
|
tree
2008-02-27
Kirill Smelk
o
v
Fix
.
is_comp
a
rable fo
r
fu
n
ctio
n
s
commit
|
commitdiff
|
tree
2008-02-27
Kirill
Smelkov
Fix think
o
in
Pow
.
_eval_is_real
commit
|
commitdiff
|
tree
2008-02-27
Kirill
Smelkov
Fix is
_
n
ni & is_pi
assu
m
p
tion aliase
s
commit
|
commitdiff
|
tree
next