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
Kiril
l
Smelkov
Robert Cimrm
a
n added to abou
t
u
s
.
txt
commit
|
commitdiff
|
tree
2008-08-07
K
i
r
i
ll
S
melkov
Bastian We
b
er
a
dded t
o
credits
commit
|
commitdiff
|
tree
2008-08-07
K
irill S
m
el
k
ov
printing
.
str
-- a
d
d appropriate tests for #992
Signed-off-by:
Kirill Smelkov
<kirr@landau.phys.spbu.ru>
commit
|
commitdiff
|
tree
2008-08-07
Ki
r
ill
S
melkov
pri
n
t
ing
.
str -
-
remove HAC
K
in _pri
n
t_Add
Signed-off-by:
Kirill Smelkov
<kirr@landau.phys.spbu.ru>
commit
|
commitdiff
|
tree
2008-08-07
Kirill
S
m
elko
v
Fix for w1
.
match(w2+w3) (#992)
Signed-off-by:
Kirill Smelkov
<kirr@landau.phys.spbu.ru>
commit
|
commitdiff
|
tree
2008-08-04
Kiri
l
l Smelkov
Add su
p
p
o
r
t for
var('x,
y
,z')
(
#95
5
)
Signed-off-by:
Kirill Smelkov
<kirr@landau.phys.spbu.ru>
commit
|
commitdiff
|
tree
2008-07-29
Kirill Smelkov
risch
:
"
robustify
"
test_heurisch_fr
a
ctions()
Signed-off-by:
Kirill Smelkov
<kirr@landau.phys.spbu.ru>
commit
|
commitdiff
|
tree
2008-07-29
Kirill
S
m
e
l
k
ov
Add/Mul -- don't let is_commu
t
at
i
ve to go to assumpt
i
ons
Signed-off-by:
Kirill Smelkov
<kirr@landau.phys.spbu.ru>
commit
|
commitdiff
|
tree
2008-07-28
K
i
ril
l
Smelkov
New-styl
e
c
lasses + _
_
ge
t
a
t
t
r__ sucks, here is
w
hy:
Signed-off-by:
Kirill Smelkov
<kirr@landau.phys.spbu.ru>
commit
|
commitdiff
|
tree
2008-07-27
Kirill
S
m
elkov
S
tefano added
t
o
READM
E
and
c
redits
commit
|
commitdiff
|
tree
2008-07-26
Kirill Smelkov
examples/relativity
.
py -- convert
o
utput
to
p
p
rint
.
.
.
Signed-off-by:
Kirill Smelkov
<kirr@landau.phys.spbu.ru>
commit
|
commitdiff
|
tree
2008-07-26
Kirill Smelko
v
pprint: prettify matrix
ou
t
put (#495)
Signed-off-by:
Kirill Smelkov
<kirr@landau.phys.spbu.ru>
commit
|
commitdiff
|
tree
2008-07-26
Kirill Sme
l
kov
A
d
d test f
o
r already fi
x
ed #634
Signed-off-by:
Kirill Smelkov
<kirr@landau.phys.spbu.ru>
commit
|
commitdiff
|
tree
2008-07-26
Kiri
l
l S
m
elkov
Fix s
t
r(Real)
(#962)
Signed-off-by:
Kirill Smelkov
<kirr@landau.phys.spbu.ru>
commit
|
commitdiff
|
tree
2008-07-26
Kirill S
m
elko
v
"
F
ix" d
o
cst
r
ing where output depen
d
s on internal ordering
.
Signed-off-by:
Kirill Smelkov
<kirr@landau.phys.spbu.ru>
commit
|
commitdiff
|
tree
2008-07-25
Kirill S
m
elkov
[24/24] M
u
l: more tests for
.
is
_
nega
t
ive & frien
d
s
Signed-off-by:
Kirill Smelkov
<kirr@landau.phys.spbu.ru>
commit
|
commitdiff
|
tree
2008-07-25
K
i
rill Smelkov
[23/24] Pow:
f
ix te
s
ts (0**x)
.
is_r
e
a
l
Signed-off-by:
Kirill Smelkov
<kirr@landau.phys.spbu.ru>
commit
|
commitdiff
|
tree
2008-07-25
K
iri
l
l Smelko
v
[22/24] 3 X
P
A
S
S'ing test
s
i
n sym
p
y/core/te
s
ts/
t
est_as
s
umptio
.
.
.
Signed-off-by:
Kirill Smelkov
<kirr@landau.phys.spbu.ru>
commit
|
commitdiff
|
tree
2008-07-25
Kirill Smelkov
[21/
2
4] New test for infe
r
e
n
ce rule
(!real -> !i
n
teger
.
.
.
Signed-off-by:
Kirill Smelkov
<kirr@landau.phys.spbu.ru>
commit
|
commitdiff
|
tree
2008-07-25
Kirill S
m
el
k
ov
[
2
0
/
2
4] Numbers: corre
c
t secon
d
ary tested ass
u
mpt
i
ons
Signed-off-by:
Kirill Smelkov
<kirr@landau.phys.spbu.ru>
commit
|
commitdiff
|
tree
2008-07-25
Kirill Sm
e
l
k
ov
[19/24] I
:
correc
t
tested assumptions
Signed-off-by:
Kirill Smelkov
<kirr@landau.phys.spbu.ru>
commit
|
commitdiff
|
tree
2008-07-25
Kir
i
ll Smelkov
[18/24] NeativeOne, Pi, Exp
1
:
c
orrect tested assump
t
i
on
s
Signed-off-by:
Kirill Smelkov
<kirr@landau.phys.spbu.ru>
commit
|
commitdiff
|
tree
2008-07-25
Kirill Smelko
v
[17/24] NaN: correc
t
a
ssumptions
Signed-off-by:
Kirill Smelkov
<kirr@landau.phys.spbu.ru>
commit
|
commitdiff
|
tree
2008-07-25
K
irill Smelkov
[16/24]
+-Infinity: correct
a
ssumptio
n
s
Signed-off-by:
Kirill Smelkov
<kirr@landau.phys.spbu.ru>
commit
|
commitdiff
|
tree
2008-07-25
Kirill Smelko
v
[
15/24] Z
e
ro
:
corre
c
t ass
u
mp
t
i
ons
Signed-off-by:
Kirill Smelkov
<kirr@landau.phys.spbu.ru>
commit
|
commitdiff
|
tree
2008-07-25
K
i
rill S
m
el
k
ov
[14/2
4
] Mul:
t
eac
h
.
_eva
l
_i
s
_
negative about
a
ll-terms
.
.
.
Signed-off-by:
Kirill Smelkov
<kirr@landau.phys.spbu.ru>
commit
|
commitdiff
|
tree
2008-07-25
Kirill Smelkov
[1
3
/24] Mul
:
teach it that
!
integer -> !even
& !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_
r
eal &
.
is_
i
m
aginary to account
.
.
.
Signed-off-by:
Kirill Smelkov
<kirr@landau.phys.spbu.ru>
commit
|
commitdiff
|
tree
2008-07-25
Kirill Smel
k
ov
[11/24] rewo
r
k assumptions
.
py to us
e
F
a
ctRul
e
s
.
.
.
Signed-off-by:
Kirill Smelkov
<kirr@landau.phys.spbu.ru>
commit
|
commitdiff
|
tree
2008-07-25
Kirill Smelkov
[10/24] rework assu
m
ptions
.
py to use
FactRules
.
.
.
Signed-off-by:
Kirill Smelkov
<kirr@landau.phys.spbu.ru>
commit
|
commitdiff
|
tree
2008-07-25
Kirill Smelkov
[
9
/24]
:
rework as
s
umptions
.
p
y
to
use FactRules (BasicMeta
.
.
.
Signed-off-by:
Kirill Smelkov
<kirr@landau.phys.spbu.ru>
commit
|
commitdiff
|
tree
2008-07-25
K
i
r
ill Smelkov
[
8/24]
:
rew
o
rk assu
m
ptio
n
s
to use Fac
t
R
u
les (no
.
ass
u
me
(
))
Signed-off-by:
Kirill Smelkov
<kirr@landau.phys.spbu.ru>
commit
|
commitdiff
|
tree
2008-07-25
K
irill Smelkov
[7/24
]
: rework assumptions
to use Fac
t
R
u
les
(hash)
Signed-off-by:
Kirill Smelkov
<kirr@landau.phys.spbu.ru>
commit
|
commitdiff
|
tree
2008-07-25
Kirill
S
me
l
kov
[6/2
4
]
:
rework ass
u
mptions to use F
a
c
t
R
u
le
s
(B
a
sic)
Signed-off-by:
Kirill Smelkov
<kirr@landau.phys.spbu.ru>
commit
|
commitdiff
|
tree
2008-07-25
Kir
i
ll Sm
e
lkov
[5/24]: rework
assumptions to
u
s
e FactRules
(
BasicMeta)
Signed-off-by:
Kirill Smelkov
<kirr@landau.phys.spbu.ru>
commit
|
commitdiff
|
tree
2008-07-25
K
i
r
ill Smelkov
[4/24]:
rework assum
p
tions
.
py to use Fac
t
Rules (kill
.
.
.
Signed-off-by:
Kirill Smelkov
<kirr@landau.phys.spbu.ru>
commit
|
commitdiff
|
tree
2008-07-25
Kirill
Smelkov
[
3
/24]: rework 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
iri
l
l Smelkov
[2/
2
4] rule
bas
e
d inference
e
ng
i
n
e (e
n
gine itself)
Signed-off-by:
Kirill Smelkov
<kirr@landau.phys.spbu.ru>
commit
|
commitdiff
|
tree
2008-07-25
K
irill Smelkov
[1/24] rule based
inferen
c
e
e
ngine (logi
c
)
Signed-off-by:
Kirill Smelkov
<kirr@landau.phys.spbu.ru>
commit
|
commitdiff
|
tree
2008-07-25
Ki
r
ill Smel
k
ov
pretty: fix pri
n
ting of
long strin
g
s e
.
g
.
pi
.
evalf
.
.
.
Signed-off-by:
Kirill Smelkov
<kirr@landau.phys.spbu.ru>
commit
|
commitdiff
|
tree
2008-07-25
Ki
r
ill Smel
k
ov
pretty: sp
e
cial symbo
l
f
or muliply
(
#957)
commit
|
commitdiff
|
tree
2008-07-25
Kiril
l
Smelk
o
v
pr
e
t
t
y
_symbologu: xre
l
-> xsym --
it wil
l
be a
p
p
licab
l
e
.
.
.
commit
|
commitdiff
|
tree
2008-07-25
Kir
i
l
l Smelkov
test_roots: robu
s
tif
y
tests for roo
t
s
(
x
*
*
3
+ x**2
.
.
.
commit
|
commitdiff
|
tree
2008-07-25
Kirill Smelkov
test_roots: use sympif
y
and string rep
r
e
sentation f
o
r
.
.
.
commit
|
commitdiff
|
tree
2008-07-24
Kirill Sm
e
lk
o
v
tests
f
or
.
as_coeff_
f
ac
t
ors
(
)
commit
|
commitdiff
|
tree
2008-07-24
K
irill Smelkov
nseri
e
s: robusti
f
y
test_bug4
commit
|
commitdiff
|
tree
2008-07-24
Kirill Sme
l
k
o
v
ro
b
ustify t
e
s
t
s
f
o
r postorder_traver
s
a
l
and preor
d
er_
t
r
a
versal
commit
|
commitdiff
|
tree
2008-07-21
Kir
i
ll
S
melkov
r
s
o
l
ve_hyp
e
r: r
o
bu
s
tify tests to catch all comb
i
nation
s
.
.
.
Signed-off-by:
Kirill Smelkov
<kirr@landau.phys.spbu.ru>
commit
|
commitdiff
|
tree
2008-07-20
Kirill Sm
e
l
kov
Add: fix
.
_eval_
i
s_irratio
n
al
(
s
e
lf
[
:
] v
.
s
.
self
.
.
.
Signed-off-by:
Kirill Smelkov
<kirr@landau.phys.spbu.ru>
commit
|
commitdiff
|
tree
2008-07-20
Kirill Smelko
v
Pol
y
s
:
robustify so
m
e
test
s
which depend on
u
n
d
erlying
.
.
.
Signed-off-by:
Kirill Smelkov
<kirr@landau.phys.spbu.ru>
commit
|
commitdiff
|
tree
2008-07-20
Kirill
S
me
l
kov
pretty: robustify dic
t
tests
(#938)
Signed-off-by:
Kirill Smelkov
<kirr@landau.phys.spbu.ru>
commit
|
commitdiff
|
tree
2008-07-18
K
i
rill Sme
l
k
ov
B
a
s
i
c
M
eta: do
n
'
t
i
m
port typeinf
o
(e
.
g
.
is_Inte
g
er)
.
.
.
Signed-off-by:
Kirill Smelkov
<kirr@landau.phys.spbu.ru>
commit
|
commitdiff
|
tree
2008-07-18
K
i
r
i
ll
Sme
l
kov
B
asic
.
_
_
n
ew__
: set
.
_assumptions t
o
No
n
e
e
a
rly
Signed-off-by:
Kirill Smelkov
<kirr@landau.phys.spbu.ru>
commit
|
commitdiff
|
tree
2008-07-06
K
irill Smelkov
doc: spt -- strip w
h
itespace
Signed-off-by:
Kirill Smelkov
<kirr@landau.phys.spbu.ru>
commit
|
commitdiff
|
tree
2008-07-06
Kiri
l
l
S
melk
o
v
doc:
s
pt -- k
i
ll duplicate leftove
r
after a
4
a
b1c50
7
2c
4
.
.
.
Signed-off-by:
Kirill Smelkov
<kirr@landau.phys.spbu.ru>
commit
|
commitdiff
|
tree
2008-07-06
Kirill Smelkov
doc: mentio
n
N
otI
m
plem
e
n
t
edError in python-co
m
parisons
.
txt
Signed-off-by:
Kirill Smelkov
<kirr@landau.phys.spbu.ru>
commit
|
commitdiff
|
tree
2008-07-06
Kirill Sme
l
kov
doc: fix typos
i
n python-co
m
parisons
.
tx
t
Signed-off-by:
Kirill Smelkov
<kirr@landau.phys.spbu.ru>
commit
|
commitdiff
|
tree
2008-04-26
Kirill Smelkov
Davi
d
Robert
s
added to README
commit
|
commitdiff
|
tree
2008-04-23
Kirill Smelkov
Robe
r
to a
d
ded
t
o
README
commit
|
commitdiff
|
tree
2008-04-21
Kirill
Sme
l
k
o
v
Add Felix to READM
E
commit
|
commitdiff
|
tree
2008-04-20
Kirill Smelkov
Strip trailin
g
whitespaces all over
S
y
mPy
commit
|
commitdiff
|
tree
2008-04-19
K
irill Smelkov
Fi
x
Pol
y
to be compatible with Python2
.
4
commit
|
commitdiff
|
tree
2008-04-17
Kirill
Smelkov
fix acosh(
<
somethi
n
g rea
l
>) (#730
)
commit
|
commitdiff
|
tree
2008-04-17
K
iril
l
Smelkov
test_bu
g
2 started
to pass
commit
|
commitdiff
|
tree
2008-04-17
Kirill
Smelkov
test_Limits_si
m
ple_4b
s
tarted t
o
pass
commit
|
commitdiff
|
tree
2008-04-17
Ki
r
ill Sm
e
lko
v
te
s
t_ap
a
rt1 st
a
rted
t
o
p
ass
commit
|
commitdiff
|
tree
2008-04-17
Kiril
l
Smelkov
pprint: fix
printing
of
gree
k
lett
e
rs in
de
r
i
v
ati
v
es
.
.
.
commit
|
commitdiff
|
tree
2008-04-17
Ki
r
ill Smelkov
pprint
:
m
o
v
e pretty relat
e
d t
e
s
t
s
to their home
commit
|
commitdiff
|
tree
2008-04-16
Kirill Smelkov
p
print: impleme
n
t Limit printing
commit
|
commitdiff
|
tree
2008-04-16
Kirill Sm
e
lkov
Rizga
r
adde
d
t
o
README
commit
|
commitdiff
|
tree
2008-04-13
K
i
rill
S
m
elkov
Pan added to README
commit
|
commitdiff
|
tree
2008-04-11
K
i
rill Smel
k
ov
remove un
n
e
ccesary co
m
m
e
n
t
ed X
F
AIL
commit
|
commitdiff
|
tree
2008-04-11
K
i
rill
S
melkov
Add Ab
d
er
r
ahim to README
commit
|
commitdiff
|
tree
2008-04-03
Kirill
S
melkov
Nimish
added to README
commit
|
commitdiff
|
tree
2008-03-26
K
irill Smelkov
doc: install spt-
p
a
tches
/
a
s well
commit
|
commitdiff
|
tree
2008-03-26
Kirill Smel
k
o
v
doc: spt
:
SAGE does path
c
h reviews
commit
|
commitdiff
|
tree
2008-03-26
Kir
i
ll Smel
k
ov
doc: spt: workarou
n
d s
i
debar related
b
u
g
i
n
sphinx
commit
|
commitdiff
|
tree
2008-03-26
Kirill Smelkov
doc: SymPy P
a
tches
Tutori
a
l
:
add
print
a
ble version
commit
|
commitdiff
|
tree
2008-03-26
Kirill Smelkov
.
h
gig
n
ore += doc
/
build
s
tuff
commit
|
commitdiff
|
tree
2008-03-26
Kirill Smelkov
printe
r
.
py: fix typos
commit
|
commitdiff
|
tree
2008-03-26
Kirill Smel
k
ov
pretty: fix
x
obj for even
height
commit
|
commitdiff
|
tree
2008-03-26
K
i
rill Smelkov
pp
r
int: fix handling of
o
ld-style clas
s
es (#755)
commit
|
commitdiff
|
tree
2008-03-23
K
i
rill Sme
l
kov
slig
h
tly s
p
eedup B
a
sic
.
__getattr_
_
commit
|
commitdiff
|
tree
2008-03-23
K
i
rill S
m
e
l
ko
v
add comments
to Mul
.
flatten
commit
|
commitdiff
|
tree
2008-03-23
K
irill Smelkov
[2/2] let's use __slots_
_
commit
|
commitdiff
|
tree
2008-03-23
Kirill Sm
e
lko
v
[1/2]
l
et's use
__slots__
commit
|
commitdiff
|
tree
2008-03-12
Kiri
l
l Smel
k
o
v
[5/5] __eq_
_
/__n
e
__ returns T
r
ue/False d
i
rectly (
.
.
.
commit
|
commitdiff
|
tree
2008-03-12
Kirill
Smelkov
[4/5] __eq__/__n
e
__ returns
T
rue/False
dire
c
t
ly (
.
.
.
commit
|
commitdiff
|
tree
2008-03-12
Kir
i
l
l S
m
elkov
[3/5] __eq__/__n
e
__ returns True/False directly
(
.
.
.
commit
|
commitdiff
|
tree
2008-03-12
K
i
ri
l
l Smelkov
[2/5] __eq__/__ne__ return
s
T
rue/False dir
e
ctly (
.
.
.
commit
|
commitdiff
|
tree
2008-03-12
Kir
i
l
l
Smelkov
[
1/
5
] __eq__/__ne__ retu
r
n
s
Tr
u
e/False d
i
rectly (
.
.
.
commit
|
commitdiff
|
tree
2008-03-12
K
i
r
ill Smelkov
R
elationa
l
: fix f
o
r '
!
='
a
nd
.
subs
commit
|
commitdiff
|
tree
2008-03-11
Kirill Sm
e
lk
o
v
James ad
d
ed t
o
c
redits
commit
|
commitdiff
|
tree
2008-03-11
K
i
r
ill Smel
k
ov
I'm g
u
i
lty again
:
(
commit
|
commitdiff
|
tree
2008-03-11
Kirill Smelkov
Test f
o
r x*u
n
known
-> unknown
.
__rmul__ is called
.
.
.
commit
|
commitdiff
|
tree
2008-03-11
Kirill Sme
l
kov
Remove unneeded l
i
nes that try to propagate __do
c
_
_
.
.
.
commit
|
commitdiff
|
tree
2008-02-29
Kirill Smel
k
ov
ass
u
mpti
o
ns: cache 'unknown' assumption
s
as well
commit
|
commitdiff
|
tree
2008-02-29
Kirill Smelkov
sympify: add
s
u
pport for objec
t
s that
implemen
t
__int
_
_
.
.
.
commit
|
commitdiff
|
tree
2008-02-27
Kir
i
ll S
m
elk
o
v
Pow
.
expand(c
o
mple
x
=True) -- use atan2 to ob
t
ai
n
bas
e
.
.
.
commit
|
commitdiff
|
tree
2008-02-27
K
i
rill Smelkov
Ad
d
test
s
for oo*<smth> == oo (#639)
commit
|
commitdiff
|
tree
next