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
Add/Mul -- introduce ._new_rawargs()
2008-08-10
Kirill Smelk
o
v
Add/Mul -- introduce
.
_new_r
a
wargs()
Signed-off-by: Kirill Smelkov <
kirr@landau.phys.spbu.ru
>
commit
|
commitdiff
|
tree
2008-08-09
Kirill Sm
e
lkov
Pow/Symbo
l
-- don't let is
_
commu
t
ative to through assumptions
Signed-off-by: Kirill Smelkov <
kirr@landau.phys.spbu.ru
>
commit
|
commitdiff
|
tree
2008-08-09
K
irill
S
melkov
Rem
o
ve leg
a
cy ass
u
mptions thus
improving
i
mport time
.
.
.
Signed-off-by: Kirill Smelkov <
kirr@landau.phys.spbu.ru
>
commit
|
commitdiff
|
tree
2008-08-09
Kir
i
l
l
Sm
e
lkov
p
o
ly_factors -- ro
b
ustify docstrin
g
Signed-off-by: Kirill Smelkov <
kirr@landau.phys.spbu.ru
>
commit
|
commitdiff
|
tree
2008-08-09
Kiril
l
Smelkov
A
s
t
h
e res
u
lt of
p
r
evous commit, some tests
s
tar
t
ed
.
.
.
Signed-off-by: Kirill Smelkov <
kirr@landau.phys.spbu.ru
>
commit
|
commitdiff
|
tree
2008-08-09
Kirill Smelkov
Add
:
cu
r
r
ent c
o
de expects coeff to always live i
n
.
.
.
Signed-off-by: Kirill Smelkov <
kirr@landau.phys.spbu.ru
>
commit
|
commitdiff
|
tree
2008-08-09
Kirill Sm
e
lkov
docte
s
ts:
a
d
j
ust to new
s
strr
e
p
r
output
Signed-off-by: Kirill Smelkov <
kirr@landau.phys.spbu.ru
>
commit
|
commitdiff
|
tree
2008-08-09
Kirill Sm
e
lkov
test_doc: m
a
ke do
c
testin
g
more robust w
r
t
h
ash-changes
.
.
.
Signed-off-by: Kirill Smelkov <
kirr@landau.phys.spbu.ru
>
commit
|
commitdiff
|
tree
2008-08-09
Kirill Smelkov
sympy
.
inte
r
active -- r
e
work init_pr
i
nting
t
o s
u
pp
o
rt
.
.
.
Signed-off-by: Kirill Smelkov <
kirr@landau.phys.spbu.ru
>
commit
|
commitdiff
|
tree
2008-08-09
K
iril
l
Smelkov
pr
i
nting: ad
d
su
p
port for GeometryEntity to StrPrinter
.
.
.
Signed-off-by: Kirill Smelkov <
kirr@landau.phys.spbu.ru
>
commit
|
commitdiff
|
tree
2008-08-09
Kirill S
m
elkov
printing:
`
sr
e
pr` siste
r
s
-
- `sstr` and
`
ss
t
rrepr`
Signed-off-by: Kirill Smelkov <
kirr@landau.phys.spbu.ru
>
commit
|
commitdiff
|
tree
2008-08-08
Kirill
S
m
e
l
kov
[6/6] let's remove multiple inheritanc
e
(note o
n
.
.
.
Signed-off-by: Kirill Smelkov <
kirr@landau.phys.spbu.ru
>
commit
|
commitdiff
|
tree
2008-08-08
Kirill Smelk
o
v
[5/6] let's
r
e
mo
v
e mul
t
iple i
n
heritance
(R
e
lMeths
.
.
.
Signed-off-by: Kirill Smelkov <
kirr@landau.phys.spbu.ru
>
commit
|
commitdiff
|
tree
2008-08-08
Kirill Sm
e
l
k
ov
[4
/
6] le
t
's remove
multiple
i
nheritan
c
e
(RelMeths
.
.
.
Signed-off-by: Kirill Smelkov <
kirr@landau.phys.spbu.ru
>
commit
|
commitdiff
|
tree
2008-08-08
Ki
r
il
l
Sme
l
kov
[3/6] l
e
t's re
m
ove m
u
ltipl
e
inh
e
ritance
(
N
o
RelMe
t
h
s
)
Signed-off-by: Kirill Smelkov <
kirr@landau.phys.spbu.ru
>
commit
|
commitdiff
|
tree
2008-08-08
K
irill Smelko
v
[2/6] let's remove multipl
e
i
nheritance (
N
oArith
M
eths)
Signed-off-by: Kirill Smelkov <
kirr@landau.phys.spbu.ru
>
commit
|
commitdiff
|
tree
2008-08-08
Kirill Smel
k
ov
[
1
/6
]
let
'
s remove multipl
e
inheritance (Singleton)
Signed-off-by: Kirill Smelkov <
kirr@landau.phys.spbu.ru
>
commit
|
commitdiff
|
tree
2008-08-07
Kir
i
ll Smelkov
Te
a
c
h
tso
l
v
e how to solv
e
a*co
s
(x) = y
Signed-off-by: Kirill Smelkov <
kirr@landau.phys.spbu.ru
>
commit
|
commitdiff
|
tree
2008-08-07
K
i
r
ill Smelkov
printing: add sup
p
ort for sets for
s
t
r and pretty prin
t
ers
Signed-off-by: Kirill Smelkov <
kirr@landau.phys.spbu.ru
>
commit
|
commitdiff
|
tree
2008-08-07
Kir
i
ll Smelkov
printin
g
:
let's pretty-
s
ort dicts
Signed-off-by: Kirill Smelkov <
kirr@landau.phys.spbu.ru
>
commit
|
commitdiff
|
tree
2008-08-07
Kir
i
ll Smelkov
B
asic
.
c
o
m
p
ar
e
_
pretty -- to prett
y
-co
m
pare both Sy
m
Py
.
.
.
Signed-off-by: Kirill Smelkov <
kirr@landau.phys.spbu.ru
>
commit
|
commitdiff
|
tree
2008-08-07
Kirill Smelko
v
Move
Add
.
compa
r
e_terms to Basic
.
_compare_pret
t
y
Signed-off-by: Kirill Smelkov <
kirr@landau.phys.spbu.ru
>
commit
|
commitdiff
|
tree
2008-08-07
Kirill
Smelkov
pretty: merge h
a
ndling of str a
n
d unicode
Signed-off-by: Kirill Smelkov <
kirr@landau.phys.spbu.ru
>
commit
|
commitdiff
|
tree
2008-08-07
Kirill
S
melkov
R
obert Cimrman added
t
o
ab
o
utus
.
txt
commit
|
commitdiff
|
tree
2008-08-07
Kirill Smelkov
Bast
i
an
Weber added to c
r
edits
commit
|
commitdiff
|
tree
2008-08-07
K
irill Smelkov
printing
.
str --
a
dd appropriate tests for #992
Signed-off-by: Kirill Smelkov <
kirr@landau.phys.spbu.ru
>
commit
|
commitdiff
|
tree
2008-08-07
Kirill Smelkov
print
i
ng
.
str -- rem
o
v
e HACK in _prin
t
_Add
Signed-off-by: Kirill Smelkov <
kirr@landau.phys.spbu.ru
>
commit
|
commitdiff
|
tree
2008-08-07
Kirill S
m
elkov
Fix fo
r
w1
.
match(w2
+
w3)
(
#9
9
2)
Signed-off-by: Kirill Smelkov <
kirr@landau.phys.spbu.ru
>
commit
|
commitdiff
|
tree
2008-08-04
K
irill Smelkov
A
d
d support f
o
r var(
'
x,y,z') (
#
955)
Signed-off-by: Kirill Smelkov <
kirr@landau.phys.spbu.ru
>
commit
|
commitdiff
|
tree
2008-07-29
Kirill Sm
e
lko
v
ri
s
ch:
"robusti
f
y" test_heurisch_fr
a
ctions()
Signed-off-by: Kirill Smelkov <
kirr@landau.phys.spbu.ru
>
commit
|
commitdiff
|
tree
2008-07-29
K
irill Smel
k
ov
Add/Mul --
d
on't
l
et is
_
co
m
mutat
i
ve t
o
g
o t
o
assumptions
Signed-off-by: Kirill Smelkov <
kirr@landau.phys.spbu.ru
>
commit
|
commitdiff
|
tree
2008-07-28
Kirill
S
mel
k
ov
New-style clas
s
es + __
g
et
a
t
t
r
__ s
u
cks, he
r
e is why:
Signed-off-by: Kirill Smelkov <
kirr@landau.phys.spbu.ru
>
commit
|
commitdiff
|
tree
2008-07-27
Kirill
Smelkov
Stefa
n
o added to README and credits
commit
|
commitdiff
|
tree
2008-07-26
Kiril
l
Sm
e
l
kov
examp
l
es/r
e
l
at
i
v
it
y
.
py -- conv
e
rt output to pprint
.
.
.
Signed-off-by: Kirill Smelkov <
kirr@landau.phys.spbu.ru
>
commit
|
commitdiff
|
tree
2008-07-26
Kirill Smelkov
ppri
n
t: p
r
ettify matrix output (#495)
Signed-off-by: Kirill Smelkov <
kirr@landau.phys.spbu.ru
>
commit
|
commitdiff
|
tree
2008-07-26
Kir
i
l
l
Smelk
o
v
Add te
s
t for
alr
e
a
d
y fixed #634
Signed-off-by: Kirill Smelkov <
kirr@landau.phys.spbu.ru
>
commit
|
commitdiff
|
tree
2008-07-26
Kirill Smelk
o
v
Fix str(Real) (#962)
Signed-off-by: Kirill Smelkov <
kirr@landau.phys.spbu.ru
>
commit
|
commitdiff
|
tree
2008-07-26
K
i
rill Sm
e
lk
o
v
"Fix" docstring wh
e
re output depends
on interna
l
ord
e
r
ing
.
Signed-off-by: Kirill Smelkov <
kirr@landau.phys.spbu.ru
>
commit
|
commitdiff
|
tree
2008-07-25
Kirill Smel
k
o
v
[
24/24] Mul: mo
r
e tests for
.
i
s_n
e
gative & f
r
i
e
nds
Signed-off-by: Kirill Smelkov <
kirr@landau.phys.spbu.ru
>
commit
|
commitdiff
|
tree
2008-07-25
Kirill Smelk
o
v
[
23/24] Pow:
f
i
x tests (0**x
)
.
is_real
Signed-off-by: Kirill Smelkov <
kirr@landau.phys.spbu.ru
>
commit
|
commitdiff
|
tree
2008-07-25
Kirill Smelk
o
v
[22/24
]
3 XPASS
'
in
g
tests in sympy/core/
t
est
s
/te
s
t_assumptio
.
.
.
Signed-off-by: Kirill Smelkov <
kirr@landau.phys.spbu.ru
>
commit
|
commitdiff
|
tree
2008-07-25
Kirill Smelkov
[21/24] New test for infe
r
enc
e
rule
(!real -> !int
e
ger
.
.
.
Signed-off-by: Kirill Smelkov <
kirr@landau.phys.spbu.ru
>
commit
|
commitdiff
|
tree
2008-07-25
Kirill Sm
e
lkov
[20/24] Numbers: correc
t
second
a
r
y tested assumptions
Signed-off-by: Kirill Smelkov <
kirr@landau.phys.spbu.ru
>
commit
|
commitdiff
|
tree
2008-07-25
Kiri
l
l Smelkov
[19/24] I:
c
o
r
r
ect tested
a
s
s
u
m
p
tions
Signed-off-by: Kirill Smelkov <
kirr@landau.phys.spbu.ru
>
commit
|
commitdiff
|
tree
2008-07-25
Kirill Smelkov
[18
/
24] Neativ
e
On
e
, P
i
, Exp
1
: c
o
rrect tested assumptions
Signed-off-by: Kirill Smelkov <
kirr@landau.phys.spbu.ru
>
commit
|
commitdiff
|
tree
2008-07-25
Kirill
S
m
elkov
[17/24] NaN: co
r
rect assump
t
io
n
s
Signed-off-by: Kirill Smelkov <
kirr@landau.phys.spbu.ru
>
commit
|
commitdiff
|
tree
2008-07-25
K
irill Sm
e
lkov
[16
/
2
4] +-Infini
t
y: cor
r
ect assumptions
Signed-off-by: Kirill Smelkov <
kirr@landau.phys.spbu.ru
>
commit
|
commitdiff
|
tree
2008-07-25
Kiri
l
l Smelkov
[
1
5/2
4
]
Zero: correct assu
m
pti
o
n
s
Signed-off-by: Kirill Smelkov <
kirr@landau.phys.spbu.ru
>
commit
|
commitdiff
|
tree
2008-07-25
Ki
r
ill Sme
l
kov
[14/
2
4
] Mul: teach
.
_ev
a
l
_
is_negativ
e
abo
u
t all-
t
e
rms
.
.
.
Signed-off-by: Kirill Smelkov <
kirr@landau.phys.spbu.ru
>
commit
|
commitdiff
|
tree
2008-07-25
Kirill
S
melkov
[13/24] Mul: teach it that !in
t
eg
e
r -> !even &
!odd
Signed-off-by: Kirill Smelkov <
kirr@landau.phys.spbu.ru
>
commit
|
commitdiff
|
tree
2008-07-25
Kir
i
l
l
Sme
l
k
o
v
[
1
2/24]
M
u
l: teach
.
is_real
&
.
is_i
m
agin
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] rewo
r
k ass
u
m
ptio
n
s
.
py
t
o use Fact
R
u
l
es
.
.
.
Signed-off-by: Kirill Smelkov <
kirr@landau.phys.spbu.ru
>
commit
|
commitdiff
|
tree
2008-07-25
Kirill Smelkov
[10/
2
4] r
e
work
a
ssump
t
i
o
n
s
.
py to use FactRules
.
.
.
Signed-off-by: Kirill Smelkov <
kirr@landau.phys.spbu.ru
>
commit
|
commitdiff
|
tree
2008-07-25
Kirill Smelk
o
v
[9/
2
4]: rew
o
rk assumptions
.
p
y to
u
se FactRules
(Basi
c
Meta
.
.
.
Signed-off-by: Kirill Smelkov <
kirr@landau.phys.spbu.ru
>
commit
|
commitdiff
|
tree
2008-07-25
Kiri
l
l
Sm
e
lkov
[8/
2
4]: rew
o
rk a
s
sum
p
ti
o
ns to
u
se
F
a
ctRules (no
.
ass
u
me())
Signed-off-by: Kirill Smelkov <
kirr@landau.phys.spbu.ru
>
commit
|
commitdiff
|
tree
2008-07-25
Ki
r
ill
Smelkov
[7/24
]
:
rew
o
rk assumptions to use Fact
R
ules (hash)
Signed-off-by: Kirill Smelkov <
kirr@landau.phys.spbu.ru
>
commit
|
commitdiff
|
tree
2008-07-25
Kiril
l
Smelkov
[6/2
4
]: re
w
ork assu
m
p
t
ions to use FactRu
l
e
s
(
Basic
)
Signed-off-by: Kirill Smelkov <
kirr@landau.phys.spbu.ru
>
commit
|
commitdiff
|
tree
2008-07-25
Kirill
S
melko
v
[5/
2
4]: rewor
k
assumptions to use Fa
c
t
R
u
les (BasicMeta
)
Signed-off-by: Kirill Smelkov <
kirr@landau.phys.spbu.ru
>
commit
|
commitdiff
|
tree
2008-07-25
Kirill Smelkov
[4/24]: rewor
k
assumpt
i
ons
.
py to us
e
FactRul
e
s (k
i
ll
.
.
.
Signed-off-by: Kirill Smelkov <
kirr@landau.phys.spbu.ru
>
commit
|
commitdiff
|
tree
2008-07-25
Kirill Sme
l
k
ov
[
3
/24]: rework assumption
s
t
o use
F
actRule
s
(
ass
u
mptio
n
s
.
py
)
Signed-off-by: Kirill Smelkov <
kirr@landau.phys.spbu.ru
>
commit
|
commitdiff
|
tree
2008-07-25
Kirill Smelkov
[
2/24] rul
e
b
ased inference e
n
gine (engine itself)
Signed-off-by: Kirill Smelkov <
kirr@landau.phys.spbu.ru
>
commit
|
commitdiff
|
tree
2008-07-25
Kirill S
m
elk
o
v
[1/
2
4] ru
l
e
based i
n
ference engin
e
(logic)
Signed-off-by: Kirill Smelkov <
kirr@landau.phys.spbu.ru
>
commit
|
commitdiff
|
tree
2008-07-25
K
i
rill Smelko
v
p
retty: f
i
x printi
n
g of long strings e
.
g
.
p
i
.
evalf
.
.
.
Signed-off-by: Kirill Smelkov <
kirr@landau.phys.spbu.ru
>
commit
|
commitdiff
|
tree
2008-07-25
Kiril
l
Smel
k
o
v
p
re
t
ty: special
s
ymb
o
l for muliply (#
9
57
)
commit
|
commitdiff
|
tree
2008-07-25
Kiril
l
Smelkov
pr
e
tt
y
_symbologu
:
xr
e
l
->
xsym
-- it will be applicable
.
.
.
commit
|
commitdiff
|
tree
2008-07-25
Kirill Smelkov
test_
r
oots: rob
u
stify tests
f
or roots(x**3 + x**2
.
.
.
commit
|
commitdiff
|
tree
2008-07-25
Kirill Smelkov
test_ro
o
ts: use sympify
a
nd
strin
g
repres
e
n
tat
i
on for
.
.
.
commit
|
commitdiff
|
tree
2008-07-24
K
i
rill
S
me
l
kov
test
s
for
.
a
s_c
o
eff_factors()
commit
|
commitdiff
|
tree
2008-07-24
K
i
rill Smelkov
nser
i
es:
robustify te
s
t_bug4
commit
|
commitdiff
|
tree
2008-07-24
Kiril
l
S
m
elkov
robustif
y
t
ests for posto
r
der_t
r
ave
r
sal and preorder_trav
e
rsal
commit
|
commitdiff
|
tree
2008-07-21
Kir
i
ll Smelkov
rsolve_hyper: rob
u
stify
t
ests to ca
t
ch all
combina
t
i
o
n
s
.
.
.
Signed-off-by: Kirill Smelkov <
kirr@landau.phys.spbu.ru
>
commit
|
commitdiff
|
tree
2008-07-20
Kirill
S
m
elko
v
Add: fix
.
_e
v
a
l
_
is_irr
a
t
ional (self[:] v
.
s
.
self
.
.
.
Signed-off-by: Kirill Smelkov <
kirr@landau.phys.spbu.ru
>
commit
|
commitdiff
|
tree
2008-07-20
K
i
ri
l
l Smelkov
Polys: robustif
y
some test
s
whi
c
h
depend on underly
i
ng
.
.
.
Signed-off-by: Kirill Smelkov <
kirr@landau.phys.spbu.ru
>
commit
|
commitdiff
|
tree
2008-07-20
Kiri
l
l
Smelko
v
pre
t
ty: robusti
f
y di
c
t tests (#938)
Signed-off-by: Kirill Smelkov <
kirr@landau.phys.spbu.ru
>
commit
|
commitdiff
|
tree
2008-07-18
K
i
rill Smelkov
BasicMeta
:
don't import typeinfo (
e
.
g
.
is_
I
n
t
e
ger)
.
.
.
Signed-off-by: Kirill Smelkov <
kirr@landau.phys.spbu.ru
>
commit
|
commitdiff
|
tree
2008-07-18
Kirill Smelkov
Basic
.
_
_ne
w
__ : set
.
_
a
ssum
p
tions to
None early
Signed-off-by: Kirill Smelkov <
kirr@landau.phys.spbu.ru
>
commit
|
commitdiff
|
tree
2008-07-06
Kiri
l
l S
m
elko
v
doc: spt -- strip w
h
itespace
Signed-off-by: Kirill Smelkov <
kirr@landau.phys.spbu.ru
>
commit
|
commitdiff
|
tree
2008-07-06
Kir
i
ll Sme
l
k
o
v
do
c
: spt -- kill
duplic
a
te leftover af
t
er a4ab1c5072c4
.
.
.
Signed-off-by: Kirill Smelkov <
kirr@landau.phys.spbu.ru
>
commit
|
commitdiff
|
tree
2008-07-06
Kirill Smelkov
doc:
mention NotI
m
p
l
ementedError
i
n python-comparisons
.
txt
Signed-off-by: Kirill Smelkov <
kirr@landau.phys.spbu.ru
>
commit
|
commitdiff
|
tree
2008-07-06
K
irill Smelko
v
doc: fix
t
ypos in pyth
o
n-comparisons
.
txt
Signed-off-by: Kirill Smelkov <
kirr@landau.phys.spbu.ru
>
commit
|
commitdiff
|
tree
2008-04-26
Kirill
S
m
elkov
Dav
i
d
Ro
b
e
r
ts added
t
o
R
EADME
commit
|
commitdiff
|
tree
2008-04-23
Kiri
l
l
Sm
e
lkov
Roberto added to README
commit
|
commitdiff
|
tree
2008-04-21
Kir
i
ll
Smel
k
ov
Add Fel
i
x to README
commit
|
commitdiff
|
tree
2008-04-20
Kirill Sme
l
kov
Strip t
r
a
iling whitespaces all over SymP
y
commit
|
commitdiff
|
tree
2008-04-19
Kir
i
ll Sme
l
kov
Fix
Poly to
b
e compatible with Python2
.
4
commit
|
commitdiff
|
tree
2008-04-17
Kiri
l
l Smelkov
f
i
x
acosh(<som
e
thing
real>) (#7
3
0)
commit
|
commitdiff
|
tree
2008-04-17
K
irill Sme
l
ko
v
test_b
u
g2 start
e
d
to pass
commit
|
commitdiff
|
tree
2008-04-17
Kirill Sme
l
k
ov
test_Lim
i
ts_simple_
4
b sta
r
ted to pass
commit
|
commitdiff
|
tree
2008-04-17
K
i
ril
l
Smelkov
t
est_apart1 starte
d
to p
a
ss
commit
|
commitdiff
|
tree
2008-04-17
K
i
ril
l
Smelkov
pprint:
fix printin
g
of greek letters
in derivatives
.
.
.
commit
|
commitdiff
|
tree
2008-04-17
K
i
ri
l
l Smelk
o
v
p
print: mo
v
e p
r
etty
relate
d
tests t
o
their
h
o
m
e
commit
|
commitdiff
|
tree
2008-04-16
Kirill
Sm
e
lkov
pprint: i
m
plement Li
m
it p
r
i
ntin
g
commit
|
commitdiff
|
tree
2008-04-16
Kirill Smelk
o
v
R
i
zg
a
r added to REA
D
ME
commit
|
commitdiff
|
tree
2008-04-13
K
irill Smelko
v
Pan
a
dded to RE
A
D
ME
commit
|
commitdiff
|
tree
2008-04-11
Kirill Smelkov
remove unneccesary commented
X
F
AIL
commit
|
commitdiff
|
tree
2008-04-11
K
irill Smelkov
Add A
b
d
e
rrahim to README
commit
|
commitdiff
|
tree
2008-04-03
K
iri
l
l S
m
elkov
N
i
mis
h
added
to README
commit
|
commitdiff
|
tree
2008-03-26
Kirill Smelkov
doc: i
n
stall spt-patches/ as
w
ell
commit
|
commitdiff
|
tree
2008-03-26
Kirill
S
m
e
lkov
doc:
s
pt
:
SAGE d
o
es pa
t
hch revie
w
s
commit
|
commitdiff
|
tree
2008-03-26
Kirill Sm
e
lko
v
doc: spt
:
wo
r
k
a
round sidebar
r
elated bug
i
n sphinx
commit
|
commitdiff
|
tree
next