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
Stefano added to README and credits
2008-07-27
K
irill Smelkov
Stefano
added to RE
A
DME and cre
d
its
commit
|
commitdiff
|
tree
2008-07-26
K
iril
l
Smelkov
examples/relativity
.
py --
conv
e
r
t
o
utput to
pprint
.
.
.
Signed-off-by: Kirill Smelkov <
kirr@landau.phys.spbu.ru
>
commit
|
commitdiff
|
tree
2008-07-26
Kir
i
ll S
m
e
lk
o
v
p
print:
prettify m
a
t
r
ix output
(
#
495)
Signed-off-by: Kirill Smelkov <
kirr@landau.phys.spbu.ru
>
commit
|
commitdiff
|
tree
2008-07-26
Kirill Smelkov
Add
test
f
or a
l
r
e
ady fixed #634
Signed-off-by: Kirill Smelkov <
kirr@landau.phys.spbu.ru
>
commit
|
commitdiff
|
tree
2008-07-26
Ki
r
ill S
m
elkov
F
i
x
str(Re
a
l) (#962)
Signed-off-by: Kirill Smelkov <
kirr@landau.phys.spbu.ru
>
commit
|
commitdiff
|
tree
2008-07-26
Kiri
l
l
S
m
e
lko
v
"Fix" docstrin
g
where output d
e
pen
d
s on internal
o
rderin
g
.
Signed-off-by: Kirill Smelkov <
kirr@landau.phys.spbu.ru
>
commit
|
commitdiff
|
tree
2008-07-25
Kirill Smelkov
[24
/
24] Mul:
m
ore
tests for
.
is_ne
g
ative & friends
Signed-off-by: Kirill Smelkov <
kirr@landau.phys.spbu.ru
>
commit
|
commitdiff
|
tree
2008-07-25
K
i
r
ill
S
m
e
lkov
[23/24] Pow: fix tes
t
s
(0**x)
.
is_real
Signed-off-by: Kirill Smelkov <
kirr@landau.phys.spbu.ru
>
commit
|
commitdiff
|
tree
2008-07-25
Kirill Sme
l
kov
[
2
2/
2
4
]
3 XPASS'ing tests in sympy/
c
ore/
t
ests/test_a
s
sum
p
tio
.
.
.
Signed-off-by: Kirill Smelkov <
kirr@landau.phys.spbu.ru
>
commit
|
commitdiff
|
tree
2008-07-25
Ki
r
il
l
Sm
e
l
k
ov
[21/24] New test for inference rule (!real ->
!in
t
e
ger
.
.
.
Signed-off-by: Kirill Smelkov <
kirr@landau.phys.spbu.ru
>
commit
|
commitdiff
|
tree
2008-07-25
Kirill
S
melkov
[
2
0/24] Numbers:
c
o
rrect secondary
t
ested assumpti
o
ns
Signed-off-by: Kirill Smelkov <
kirr@landau.phys.spbu.ru
>
commit
|
commitdiff
|
tree
2008-07-25
Kiril
l
Smelkov
[
1
9
/24] I: correct t
e
sted assumptions
Signed-off-by: Kirill Smelkov <
kirr@landau.phys.spbu.ru
>
commit
|
commitdiff
|
tree
2008-07-25
Kirill Smelkov
[1
8
/24
]
Neative
O
n
e
, Pi, Exp1:
c
o
rrect test
e
d as
s
u
mptions
Signed-off-by: Kirill Smelkov <
kirr@landau.phys.spbu.ru
>
commit
|
commitdiff
|
tree
2008-07-25
K
i
rill
S
mel
k
ov
[17
/
24]
N
aN: correct assumptions
Signed-off-by: Kirill Smelkov <
kirr@landau.phys.spbu.ru
>
commit
|
commitdiff
|
tree
2008-07-25
Kirill
S
melkov
[
1
6
/24] +-Infinity: correct ass
u
mptions
Signed-off-by: Kirill Smelkov <
kirr@landau.phys.spbu.ru
>
commit
|
commitdiff
|
tree
2008-07-25
Kiril
l
Smelkov
[15
/
24] Z
e
ro: correct
a
s
sumptions
Signed-off-by: Kirill Smelkov <
kirr@landau.phys.spbu.ru
>
commit
|
commitdiff
|
tree
2008-07-25
Kirill Smelkov
[14/
2
4] Mul: teach
.
_eval_is_n
e
ga
t
iv
e
about all-terms
.
.
.
Signed-off-by: Kirill Smelkov <
kirr@landau.phys.spbu.ru
>
commit
|
commitdiff
|
tree
2008-07-25
Kirill Sm
e
lkov
[13/24
]
Mu
l
: tea
c
h it
t
h
a
t !int
e
ger -> !
e
v
e
n & !odd
Signed-off-by: Kirill Smelkov <
kirr@landau.phys.spbu.ru
>
commit
|
commitdiff
|
tree
2008-07-25
Ki
r
ill Smelko
v
[12/24] Mul: teach
.
is_real &
.
is_imaginary to account
.
.
.
Signed-off-by: Kirill Smelkov <
kirr@landau.phys.spbu.ru
>
commit
|
commitdiff
|
tree
2008-07-25
Ki
r
ill Smelkov
[11
/
24]
r
ewo
r
k a
s
sumptio
n
s
.
py
t
o use Fa
c
t
R
ules
.
.
.
Signed-off-by: Kirill Smelkov <
kirr@landau.phys.spbu.ru
>
commit
|
commitdiff
|
tree
2008-07-25
Kirill Sm
e
lkov
[10/24] rewo
r
k
a
ssumptions
.
py to use Fa
c
t
R
ules
.
.
.
Signed-off-by: Kirill Smelkov <
kirr@landau.phys.spbu.ru
>
commit
|
commitdiff
|
tree
2008-07-25
Kirill
Smelkov
[
9/24]: rewo
r
k as
s
umptions
.
py to use FactRules (BasicMeta
.
.
.
Signed-off-by: Kirill Smelkov <
kirr@landau.phys.spbu.ru
>
commit
|
commitdiff
|
tree
2008-07-25
K
i
rill Sm
e
lkov
[8/24]: r
e
w
ork assumptions to use
FactRules (no
.
as
s
ume())
Signed-off-by: Kirill Smelkov <
kirr@landau.phys.spbu.ru
>
commit
|
commitdiff
|
tree
2008-07-25
Kir
i
ll Smelk
o
v
[7/24]: rewor
k
assumption
s
to use FactR
u
les (hash)
Signed-off-by: Kirill Smelkov <
kirr@landau.phys.spbu.ru
>
commit
|
commitdiff
|
tree
2008-07-25
K
irill Smel
k
ov
[6
/
24]: r
e
work a
s
sumptions t
o
use Fact
R
ules (B
a
sic)
Signed-off-by: Kirill Smelkov <
kirr@landau.phys.spbu.ru
>
commit
|
commitdiff
|
tree
2008-07-25
Kirill Smelkov
[
5/2
4
]
:
rework assump
t
ion
s
to
u
s
e
F
actRules
(Basi
c
M
eta)
Signed-off-by: Kirill Smelkov <
kirr@landau.phys.spbu.ru
>
commit
|
commitdiff
|
tree
2008-07-25
Kiri
l
l Sme
l
kov
[4/24]: rework assumption
s
.
py to u
s
e FactR
u
les (kill
.
.
.
Signed-off-by: Kirill Smelkov <
kirr@landau.phys.spbu.ru
>
commit
|
commitdiff
|
tree
2008-07-25
Kirill Smelk
o
v
[
3
/24]: rewor
k
assumption
s
to use FactRules (assumptio
n
s
.
py
)
Signed-off-by: Kirill Smelkov <
kirr@landau.phys.spbu.ru
>
commit
|
commitdiff
|
tree
2008-07-25
Kirill Smelk
o
v
[2/2
4
] ru
l
e based inferenc
e
e
ngin
e
(engine its
e
lf)
Signed-off-by: Kirill Smelkov <
kirr@landau.phys.spbu.ru
>
commit
|
commitdiff
|
tree
2008-07-25
Kirill S
m
elkov
[1/24]
rule based in
f
erence engine
(
l
o
gi
c
)
Signed-off-by: Kirill Smelkov <
kirr@landau.phys.spbu.ru
>
commit
|
commitdiff
|
tree
2008-07-25
Ki
r
ill Smelkov
p
r
etty: fix prin
t
ing of long
s
trings e
.
g
.
pi
.
eval
f
.
.
.
Signed-off-by: Kirill Smelkov <
kirr@landau.phys.spbu.ru
>
commit
|
commitdiff
|
tree
2008-07-25
K
i
rill Sme
l
kov
pretty: s
p
ecial sy
m
bol for mu
l
iply
(#957)
commit
|
commitdiff
|
tree
2008-07-25
Kirill Sm
e
lkov
pret
t
y_symb
o
logu: xrel -> xsym -- it will be
applic
a
ble
.
.
.
commit
|
commitdiff
|
tree
2008-07-25
Kirill
Smelko
v
test_roots: r
o
bu
s
tify tests for roo
t
s(
x
**3 + x**2
.
.
.
commit
|
commitdiff
|
tree
2008-07-25
Kirill S
m
elkov
test_roo
t
s: use sympify an
d
string
r
e
pr
e
s
e
nt
a
tion for
.
.
.
commit
|
commitdiff
|
tree
2008-07-24
Kirill Smelkov
tests for
.
as_coeff
_
factors()
commit
|
commitdiff
|
tree
2008-07-24
K
i
rill Smelkov
n
ser
i
es: robustify test_
b
ug4
commit
|
commitdiff
|
tree
2008-07-24
K
i
rill
S
melkov
r
obust
i
fy tests f
o
r
postorder_traversal
a
nd preorder
_
traversal
commit
|
commitdiff
|
tree
2008-07-21
K
irill Smelk
o
v
rsolve_h
y
per: robustify tests to catch all
c
ombina
t
ions
.
.
.
Signed-off-by: Kirill Smelkov <
kirr@landau.phys.spbu.ru
>
commit
|
commitdiff
|
tree
2008-07-20
Kirill Smelk
o
v
Add: fix
.
_eva
l
_
is_irrati
o
nal (se
l
f[:] v
.
s
.
s
elf
.
.
.
Signed-off-by: Kirill Smelkov <
kirr@landau.phys.spbu.ru
>
commit
|
commitdiff
|
tree
2008-07-20
Kirill Smelko
v
Pol
y
s:
robustify some tests which dep
e
nd
on underl
y
ing
.
.
.
Signed-off-by: Kirill Smelkov <
kirr@landau.phys.spbu.ru
>
commit
|
commitdiff
|
tree
2008-07-20
K
i
rill Smelkov
pretty: robu
s
t
i
f
y
dict te
s
ts (#938)
Signed-off-by: Kirill Smelkov <
kirr@landau.phys.spbu.ru
>
commit
|
commitdiff
|
tree
2008-07-18
Kirill S
m
elkov
Basic
M
eta: don't
import ty
p
einfo (e
.
g
.
is_Integer)
.
.
.
Signed-off-by: Kirill Smelkov <
kirr@landau.phys.spbu.ru
>
commit
|
commitdiff
|
tree
2008-07-18
Kir
i
ll Sme
l
kov
Ba
s
ic
.
__new_
_
: set
.
_assumpti
o
ns to N
o
n
e early
Signed-off-by: Kirill Smelkov <
kirr@landau.phys.spbu.ru
>
commit
|
commitdiff
|
tree
2008-07-06
Kirill Smel
k
ov
d
o
c
: s
p
t -- strip w
h
itespace
Signed-off-by: Kirill Smelkov <
kirr@landau.phys.spbu.ru
>
commit
|
commitdiff
|
tree
2008-07-06
K
i
rill Smelkov
doc: spt
-
- kill
duplicate leftover
af
t
e
r
a4ab1
c
5072c4
.
.
.
Signed-off-by: Kirill Smelkov <
kirr@landau.phys.spbu.ru
>
commit
|
commitdiff
|
tree
2008-07-06
Kirill
Smelkov
doc: m
e
ntio
n
NotImplementedError in python-comparisons
.
txt
Signed-off-by: Kirill Smelkov <
kirr@landau.phys.spbu.ru
>
commit
|
commitdiff
|
tree
2008-07-06
Kir
i
ll Smelkov
doc: f
i
x typos in
p
ython-compa
r
iso
n
s
.
txt
Signed-off-by: Kirill Smelkov <
kirr@landau.phys.spbu.ru
>
commit
|
commitdiff
|
tree
2008-04-26
Kir
i
ll Smelk
o
v
D
avid Roberts
added t
o
README
commit
|
commitdiff
|
tree
2008-04-23
Kirill Smelkov
Rober
t
o added to
R
E
A
D
M
E
commit
|
commitdiff
|
tree
2008-04-21
Kirill Smelkov
A
d
d Felix to README
commit
|
commitdiff
|
tree
2008-04-20
Kirill Smelkov
Str
i
p trailin
g
w
h
itespac
e
s all over SymPy
commit
|
commitdiff
|
tree
2008-04-19
Kirill
S
melkov
Fix Poly to b
e
comp
a
tible with
Pytho
n
2
.
4
commit
|
commitdiff
|
tree
2008-04-17
Kiri
l
l Sme
l
kov
fix acosh(
<
so
m
e
t
h
ing r
e
a
l>) (#730
)
commit
|
commitdiff
|
tree
2008-04-17
Ki
r
ill Smelko
v
t
e
s
t
_
b
u
g2 started to pass
commit
|
commitdiff
|
tree
2008-04-17
K
i
rill
S
me
l
kov
test_
L
imits_simple_4b s
t
a
rted t
o
p
as
s
commit
|
commitdiff
|
tree
2008-04-17
Kirill Smelkov
test_
a
part1 star
t
e
d to pass
commit
|
commitdiff
|
tree
2008-04-17
Kirill Smelkov
pprint: fix p
r
in
t
in
g
o
f greek lett
e
r
s in derivatives
.
.
.
commit
|
commitdiff
|
tree
2008-04-17
Kirill Smel
k
ov
pprint: mov
e
pretty r
e
lated tests to their ho
m
e
commit
|
commitdiff
|
tree
2008-04-16
Kirill Smel
k
o
v
pprint: implemen
t
Limit printing
commit
|
commitdiff
|
tree
2008-04-16
Kirill Smelkov
Ri
z
gar add
e
d to README
commit
|
commitdiff
|
tree
2008-04-13
Kirill Smelkov
Pan added to README
commit
|
commitdiff
|
tree
2008-04-11
K
irill Smelkov
remove unneccesary
commented XFAI
L
commit
|
commitdiff
|
tree
2008-04-11
Kirill
S
m
elkov
Add Abderr
a
him
t
o README
commit
|
commitdiff
|
tree
2008-04-03
Kirill Sm
e
lko
v
Nimis
h
added to
README
commit
|
commitdiff
|
tree
2008-03-26
Kirill Smelkov
doc: install sp
t
-
p
atches/ as wel
l
commit
|
commitdiff
|
tree
2008-03-26
Kirill Smelkov
doc
:
sp
t
: SAGE
doe
s
pathc
h
r
evi
e
ws
commit
|
commitdiff
|
tree
2008-03-26
Kir
i
ll Smelkov
doc: spt: workaround s
i
d
e
bar relate
d
bug
i
n
s
phinx
commit
|
commitdiff
|
tree
2008-03-26
Ki
r
ill Smelkov
do
c
: SymPy
Patches
T
utorial: ad
d
printable version
commit
|
commitdiff
|
tree
2008-03-26
Kirill Sm
e
lkov
.
hgignore += d
o
c/
b
ui
l
d stuff
commit
|
commitdiff
|
tree
2008-03-26
Kirill Smelk
o
v
printer
.
py: fix
t
y
pos
commit
|
commitdiff
|
tree
2008-03-26
Kirill Smelkov
pretty:
f
ix xobj for ev
e
n
h
eight
commit
|
commitdiff
|
tree
2008-03-26
Kirill Smel
k
ov
pprint
:
fix
handling of old-s
t
yle classes (#75
5
)
commit
|
commitdiff
|
tree
2008-03-23
Kirill S
m
elkov
slig
h
t
l
y spee
d
up Basic
.
_
_getattr__
commit
|
commitdiff
|
tree
2008-03-23
Kir
i
ll Smelkov
add
c
omments to M
u
l
.
flatten
commit
|
commitdiff
|
tree
2008-03-23
Kiri
l
l Smelkov
[2/2] let's use __slots_
_
commit
|
commitdiff
|
tree
2008-03-23
Kirill Smelkov
[1/2] let's use __s
l
ots__
commit
|
commitdiff
|
tree
2008-03-12
Kirill Sme
l
k
o
v
[5/5] __eq__/__ne
_
_ retu
r
ns True/F
a
lse
directly (
.
.
.
commit
|
commitdiff
|
tree
2008-03-12
Kiri
l
l
S
m
e
lkov
[4/5] __e
q
__/__n
e
_
_
returns T
r
ue/False di
r
ec
t
ly (
.
.
.
commit
|
commitdiff
|
tree
2008-03-12
Ki
r
ill Smelkov
[3/5]
_
_eq_
_
/
_
_ne__ returns Tru
e
/
False directly (
.
.
.
commit
|
commitdiff
|
tree
2008-03-12
Kiril
l
Sm
e
lkov
[2
/
5] __
e
q__/__ne__ ret
u
r
n
s Tru
e
/
F
alse
directly (
.
.
.
commit
|
commitdiff
|
tree
2008-03-12
Kiri
l
l
Sme
l
kov
[1/5] __eq__/__ne__ returns T
r
ue/Fals
e
directly
(
.
.
.
commit
|
commitdiff
|
tree
2008-03-12
Kirill Smel
k
ov
Relational: fix for '!='
a
nd
.
sub
s
commit
|
commitdiff
|
tree
2008-03-11
Kirill Smel
k
ov
James added to
c
redit
s
commit
|
commitdiff
|
tree
2008-03-11
Kirill
S
melk
o
v
I'm guilty again :(
commit
|
commitdiff
|
tree
2008-03-11
Kirill Sm
e
lkov
Test f
o
r
x*unkno
w
n
-
> unknown
.
_
_
rmul__ is calle
d
.
.
.
commit
|
commitdiff
|
tree
2008-03-11
Ki
r
ill Smelkov
R
emo
v
e u
n
n
eeded l
i
n
e
s that try to propag
a
te __doc__
.
.
.
commit
|
commitdiff
|
tree
2008-02-29
Kirill Smelko
v
assum
p
tions: cach
e
'
unknown' ass
u
mptions as well
commit
|
commitdiff
|
tree
2008-02-29
Ki
r
ill S
m
elkov
sympify:
add support for o
b
jects th
a
t
implement __i
n
t__
.
.
.
commit
|
commitdiff
|
tree
2008-02-27
Kirill
S
me
l
kov
Pow
.
expand(complex=True
)
-- us
e
atan2 to o
b
tain b
a
se
.
.
.
commit
|
commitdiff
|
tree
2008-02-27
Kirill
S
melk
o
v
Add tests for oo*<smth> == oo (#639)
commit
|
commitdiff
|
tree
2008-02-27
Kirill Smelkov
.
is_
p
o
s
itive,
.
is_nega
t
ive -- f
a
ll back
to
cmp(
.
evalf
.
.
.
commit
|
commitdiff
|
tree
2008-02-27
Ki
r
ill Sm
e
lkov
Fix
.
is_comparable for fun
c
tions
commit
|
commitdiff
|
tree
2008-02-27
Kiri
l
l
Smelkov
Fi
x
thin
k
o
in P
o
w
.
_eval_is_real
commit
|
commitdiff
|
tree
2008-02-27
Kirill Sm
e
lkov
Fix is_nni
&
is_pi assumpt
i
on
a
liases
commit
|
commitdiff
|
tree
2008-02-27
Ki
r
i
l
l Sm
e
lkov
[2/2] Add, Mul, P
o
w: tests
f
or i
s
_
c
ompar
a
ble
commit
|
commitdiff
|
tree
2008-02-27
Kirill
S
m
e
l
kov
[1/2] Add, Mul, Pow: tests
f
or
i
s
_comparable
commit
|
commitdiff
|
tree
2008-02-27
Kirill Smelk
o
v
Fi
x
code typo in
P
ow
.
_eval_i
s
_comparable
commit
|
commitdiff
|
tree
2008-02-24
Ki
r
ill Smelkov
oops,
r
e
o
rder terms in doctests to
match
a
ctua
l
output
.
commit
|
commitdiff
|
tree
2008-02-23
Kirill S
m
elk
o
v
oops, shame
on me!
commit
|
commitdiff
|
tree
next