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
[2/6] let's remove multiple inheritance (NoArithMeths)
2008-08-08
Kiri
l
l S
m
elkov
[2/6
]
let's remove
m
ultiple inherita
n
ce (NoArithMeths)
Signed-off-by: Kirill Smelkov <
kirr@landau.phys.spbu.ru
>
commit
|
commitdiff
|
tree
2008-08-08
K
irill Smelkov
[1
/
6
]
let's remove multiple i
n
heritance (Singleton)
Signed-off-by: Kirill Smelkov <
kirr@landau.phys.spbu.ru
>
commit
|
commitdiff
|
tree
2008-08-07
Kirill Smelkov
Teach
tsolve how to solve a*cos(x) = y
Signed-off-by: Kirill Smelkov <
kirr@landau.phys.spbu.ru
>
commit
|
commitdiff
|
tree
2008-08-07
Kirill Smelkov
p
r
inti
n
g: add support
for
s
et
s
f
o
r str a
n
d pre
t
ty print
e
rs
Signed-off-by: Kirill Smelkov <
kirr@landau.phys.spbu.ru
>
commit
|
commitdiff
|
tree
2008-08-07
Kirill Smelkov
printi
n
g: let's pretty
-
sort dicts
Signed-off-by: Kirill Smelkov <
kirr@landau.phys.spbu.ru
>
commit
|
commitdiff
|
tree
2008-08-07
Kirill Sme
l
kov
Basi
c
.
compare_pretty -- to pretty-
c
o
m
pare both S
y
mPy
.
.
.
Signed-off-by: Kirill Smelkov <
kirr@landau.phys.spbu.ru
>
commit
|
commitdiff
|
tree
2008-08-07
Kirill Smelkov
Move A
d
d
.
compare_
t
erms
to Basic
.
_com
p
are_pret
t
y
Signed-off-by: Kirill Smelkov <
kirr@landau.phys.spbu.ru
>
commit
|
commitdiff
|
tree
2008-08-07
Kirill Sm
e
lkov
pretty:
m
er
g
e han
d
ling of str and unicode
Signed-off-by: Kirill Smelkov <
kirr@landau.phys.spbu.ru
>
commit
|
commitdiff
|
tree
2008-08-07
Kirill Smelk
o
v
Robe
r
t C
i
m
r
man a
d
ded to aboutus
.
txt
commit
|
commitdiff
|
tree
2008-08-07
Kirill
Smelkov
Bast
i
an We
b
er add
e
d to credits
commit
|
commitdiff
|
tree
2008-08-07
Kirill Smelkov
pri
n
t
ing
.
str -- add ap
p
ropriate t
e
st
s
for #9
9
2
Signed-off-by: Kirill Smelkov <
kirr@landau.phys.spbu.ru
>
commit
|
commitdiff
|
tree
2008-08-07
Kiri
l
l Smelkov
printing
.
str -- re
m
ove H
A
C
K
in
_
prin
t
_Ad
d
Signed-off-by: Kirill Smelkov <
kirr@landau.phys.spbu.ru
>
commit
|
commitdiff
|
tree
2008-08-07
Kirill
S
m
e
lk
o
v
Fix for w1
.
match(w2+w3) (#
9
92)
Signed-off-by: Kirill Smelkov <
kirr@landau.phys.spbu.ru
>
commit
|
commitdiff
|
tree
2008-08-04
Kirill Smelkov
A
dd
support for va
r
('x,y,z') (#955)
Signed-off-by: Kirill Smelkov <
kirr@landau.phys.spbu.ru
>
commit
|
commitdiff
|
tree
2008-07-29
Kirill Smelkov
risc
h
:
"
robustify
"
t
e
st_heuri
s
ch_fractions()
Signed-off-by: Kirill Smelkov <
kirr@landau.phys.spbu.ru
>
commit
|
commitdiff
|
tree
2008-07-29
Kirill Smelkov
Add/Mul -- don't let is_commutative to go to assumptions
Signed-off-by: Kirill Smelkov <
kirr@landau.phys.spbu.ru
>
commit
|
commitdiff
|
tree
2008-07-28
Kiril
l
Smelkov
New
-
s
ty
l
e
c
la
s
se
s
+ __ge
t
attr__ sucks,
h
ere is why:
Signed-off-by: Kirill Smelkov <
kirr@landau.phys.spbu.ru
>
commit
|
commitdiff
|
tree
2008-07-27
Kirill
S
melk
o
v
S
t
efa
n
o
added to README and credits
commit
|
commitdiff
|
tree
2008-07-26
Kirill
Smelkov
examples/relati
v
i
ty
.
py -- con
v
ert output to ppri
n
t
.
.
.
Signed-off-by: Kirill Smelkov <
kirr@landau.phys.spbu.ru
>
commit
|
commitdiff
|
tree
2008-07-26
Kirill Smelkov
pprint:
p
r
ett
i
f
y
ma
t
rix outpu
t
(#495)
Signed-off-by: Kirill Smelkov <
kirr@landau.phys.spbu.ru
>
commit
|
commitdiff
|
tree
2008-07-26
Kirill Sme
l
kov
A
dd test
for a
l
ready fi
x
e
d
#634
Signed-off-by: Kirill Smelkov <
kirr@landau.phys.spbu.ru
>
commit
|
commitdiff
|
tree
2008-07-26
Kirill Smelk
o
v
Fix str(R
e
al)
(#962)
Signed-off-by: Kirill Smelkov <
kirr@landau.phys.spbu.ru
>
commit
|
commitdiff
|
tree
2008-07-26
Kirill Smelk
o
v
"Fix"
d
ocstri
n
g
where output de
p
ends on internal ordering
.
Signed-off-by: Kirill Smelkov <
kirr@landau.phys.spbu.ru
>
commit
|
commitdiff
|
tree
2008-07-25
Kirill Sme
l
kov
[24/24] Mul: more tests for
.
i
s
_negat
i
ve
& frie
n
ds
Signed-off-by: Kirill Smelkov <
kirr@landau.phys.spbu.ru
>
commit
|
commitdiff
|
tree
2008-07-25
Kiri
l
l Sme
l
kov
[23
/
24] Po
w
: fix tests
(0*
*
x)
.
is_real
Signed-off-by: Kirill Smelkov <
kirr@landau.phys.spbu.ru
>
commit
|
commitdiff
|
tree
2008-07-25
Kir
i
ll Smelkov
[2
2
/24] 3 XPASS'ing
t
ests i
n
sym
p
y/core/t
e
sts/test_assumpt
i
o
.
.
.
Signed-off-by: Kirill Smelkov <
kirr@landau.phys.spbu.ru
>
commit
|
commitdiff
|
tree
2008-07-25
Kirill Smelkov
[21/2
4
]
N
e
w
test for inference
rule (!real -> !int
e
g
e
r
.
.
.
Signed-off-by: Kirill Smelkov <
kirr@landau.phys.spbu.ru
>
commit
|
commitdiff
|
tree
2008-07-25
Ki
r
ill Smelkov
[
2
0/24] Nu
m
b
e
rs: co
r
rect secondary
tes
t
e
d a
s
s
u
m
p
tions
Signed-off-by: Kirill Smelkov <
kirr@landau.phys.spbu.ru
>
commit
|
commitdiff
|
tree
2008-07-25
K
i
rill Smelkov
[
1
9/24]
I: correct tested assumptions
Signed-off-by: Kirill Smelkov <
kirr@landau.phys.spbu.ru
>
commit
|
commitdiff
|
tree
2008-07-25
Kirill S
m
elkov
[18/24] NeativeOne, Pi
,
E
xp1: cor
r
ect te
s
ted
a
ssumpt
i
ons
Signed-off-by: Kirill Smelkov <
kirr@landau.phys.spbu.ru
>
commit
|
commitdiff
|
tree
2008-07-25
Kirill Smelk
o
v
[
1
7/24] NaN: co
r
rect
assumption
s
Signed-off-by: Kirill Smelkov <
kirr@landau.phys.spbu.ru
>
commit
|
commitdiff
|
tree
2008-07-25
Kiri
l
l
Smelk
o
v
[16/24] +-Infinity:
c
orrect assumpti
o
ns
Signed-off-by: Kirill Smelkov <
kirr@landau.phys.spbu.ru
>
commit
|
commitdiff
|
tree
2008-07-25
K
i
rill Sm
e
lk
o
v
[15/24] Zero: corr
e
ct assumptions
Signed-off-by: Kirill Smelkov <
kirr@landau.phys.spbu.ru
>
commit
|
commitdiff
|
tree
2008-07-25
Kiril
l
Smelkov
[1
4
/24] Mul: tea
c
h
.
_e
v
al_i
s
_
n
egative about
a
ll-terms
.
.
.
Signed-off-by: Kirill Smelkov <
kirr@landau.phys.spbu.ru
>
commit
|
commitdiff
|
tree
2008-07-25
K
irill Smelk
o
v
[13/24] Mul:
t
e
ach it th
a
t !intege
r
-> !ev
e
n &
!odd
Signed-off-by: Kirill Smelkov <
kirr@landau.phys.spbu.ru
>
commit
|
commitdiff
|
tree
2008-07-25
Kirill S
m
e
lkov
[
12/24] Mul:
teach
.
is
_
r
eal &
.
is_imagina
r
y t
o
a
ccount
.
.
.
Signed-off-by: Kirill Smelkov <
kirr@landau.phys.spbu.ru
>
commit
|
commitdiff
|
tree
2008-07-25
Kirill Smelkov
[
1
1/24] rewo
r
k 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 Smel
k
ov
[10/24] r
e
wo
r
k assumptio
n
s
.
py to u
s
e Fac
t
Rules
.
.
.
Signed-off-by: Kirill Smelkov <
kirr@landau.phys.spbu.ru
>
commit
|
commitdiff
|
tree
2008-07-25
K
irill Smelkov
[9/24]: re
w
ork a
s
sumptions
.
py to use FactRule
s
(Ba
s
icMeta
.
.
.
Signed-off-by: Kirill Smelkov <
kirr@landau.phys.spbu.ru
>
commit
|
commitdiff
|
tree
2008-07-25
Kirill Smelkov
[8/24]:
r
ework assum
p
t
ions
t
o
use FactRules (no
.
assu
m
e(
)
)
Signed-off-by: Kirill Smelkov <
kirr@landau.phys.spbu.ru
>
commit
|
commitdiff
|
tree
2008-07-25
Kirill
S
melkov
[7/24]
:
re
w
ork assumpt
i
ons
t
o use
FactRules (hash
)
Signed-off-by: Kirill Smelkov <
kirr@landau.phys.spbu.ru
>
commit
|
commitdiff
|
tree
2008-07-25
Kiri
l
l S
m
elkov
[
6
/24]:
r
e
wo
r
k
a
s
s
u
mp
t
io
n
s to u
s
e FactRules (B
a
sic)
Signed-off-by: Kirill Smelkov <
kirr@landau.phys.spbu.ru
>
commit
|
commitdiff
|
tree
2008-07-25
Kiri
l
l Smel
k
ov
[5/24]
:
rewor
k
assumptions
to use
Fact
R
ules (BasicMeta)
Signed-off-by: Kirill Smelkov <
kirr@landau.phys.spbu.ru
>
commit
|
commitdiff
|
tree
2008-07-25
Kirill Sm
e
lko
v
[
4
/24]: rework assumpti
o
ns
.
py to
us
e
FactRules (kill
.
.
.
Signed-off-by: Kirill Smelkov <
kirr@landau.phys.spbu.ru
>
commit
|
commitdiff
|
tree
2008-07-25
Kir
i
ll Smelkov
[3/24
]
: rework assumptio
n
s to
use FactR
u
les (a
s
s
u
m
ptions
.
p
y)
Signed-off-by: Kirill Smelkov <
kirr@landau.phys.spbu.ru
>
commit
|
commitdiff
|
tree
2008-07-25
K
irill
Smel
k
ov
[
2
/
24
]
rule based infere
n
c
e
engine (eng
i
n
e itself)
Signed-off-by: Kirill Smelkov <
kirr@landau.phys.spbu.ru
>
commit
|
commitdiff
|
tree
2008-07-25
Kirill Smelkov
[1/
2
4
] rule b
a
sed inference engine (log
i
c)
Signed-off-by: Kirill Smelkov <
kirr@landau.phys.spbu.ru
>
commit
|
commitdiff
|
tree
2008-07-25
Kirill Smelkov
pretty: fix printing
o
f
lon
g
s
t
r
in
g
s
e
.
g
.
p
i
.
evalf
.
.
.
Signed-off-by: Kirill Smelkov <
kirr@landau.phys.spbu.ru
>
commit
|
commitdiff
|
tree
2008-07-25
Kirill Smelkov
pretty: speci
a
l
symbol
for muliply (#957)
commit
|
commitdiff
|
tree
2008-07-25
Kirill Smelkov
pretty_symbologu:
x
rel -> x
s
ym -
-
it will be applic
a
ble
.
.
.
commit
|
commitdiff
|
tree
2008-07-25
K
irill Sm
e
lkov
test_roo
t
s: robus
t
i
f
y tests
f
o
r
roots(
x
**
3
+ x**2
.
.
.
commit
|
commitdiff
|
tree
2008-07-25
Kirill Sm
e
lkov
test_root
s
: use sym
p
ify
and string r
e
pre
s
entati
o
n
for
.
.
.
commit
|
commitdiff
|
tree
2008-07-24
Kirill Smelkov
tests
f
or
.
as_coeff
_
factors(
)
commit
|
commitdiff
|
tree
2008-07-24
Kirill Smelkov
nseries: rob
u
stify test_bug4
commit
|
commitdiff
|
tree
2008-07-24
Kirill Smelkov
robustif
y
test
s
for
po
s
torder_trav
e
rsal
and preorder_traversal
commit
|
commitdiff
|
tree
2008-07-21
Kirill
S
melkov
rsolve_h
y
per: robust
i
fy tests to c
a
tch all combination
s
.
.
.
Signed-off-by: Kirill Smelkov <
kirr@landau.phys.spbu.ru
>
commit
|
commitdiff
|
tree
2008-07-20
Kir
i
l
l
Smelkov
A
d
d: fi
x
.
_eval_is_irrat
i
onal (self[:] v
.
s
.
self
.
.
.
Signed-off-by: Kirill Smelkov <
kirr@landau.phys.spbu.ru
>
commit
|
commitdiff
|
tree
2008-07-20
Kiri
l
l
Smelkov
Polys: ro
b
ustify some tests whic
h
d
e
p
end
on
underlyi
n
g
.
.
.
Signed-off-by: Kirill Smelkov <
kirr@landau.phys.spbu.ru
>
commit
|
commitdiff
|
tree
2008-07-20
Ki
r
il
l
Sm
e
lko
v
pretty: robustify di
c
t tests (#938)
Signed-off-by: Kirill Smelkov <
kirr@landau.phys.spbu.ru
>
commit
|
commitdiff
|
tree
2008-07-18
K
ir
i
l
l
Smelkov
Bas
i
c
Me
t
a: don't import
typei
n
fo (e
.
g
.
is_Integer)
.
.
.
Signed-off-by: Kirill Smelkov <
kirr@landau.phys.spbu.ru
>
commit
|
commitdiff
|
tree
2008-07-18
Kirill Smelkov
Basic
.
__n
e
w
_
_ :
s
e
t
.
_assu
m
p
tions
t
o
N
one ea
r
l
y
Signed-off-by: Kirill Smelkov <
kirr@landau.phys.spbu.ru
>
commit
|
commitdiff
|
tree
2008-07-06
Kiril
l
Smelkov
doc: spt -
-
strip whitespace
Signed-off-by: Kirill Smelkov <
kirr@landau.phys.spbu.ru
>
commit
|
commitdiff
|
tree
2008-07-06
K
irill Smelkov
doc:
s
p
t -
-
ki
l
l dupl
i
cate leftover af
t
er
a
4ab1c5072c4
.
.
.
Signed-off-by: Kirill Smelkov <
kirr@landau.phys.spbu.ru
>
commit
|
commitdiff
|
tree
2008-07-06
Ki
r
ill Smelko
v
doc
:
mention No
t
I
m
plementedE
r
ror i
n
python-
c
omparisons
.
txt
Signed-off-by: Kirill Smelkov <
kirr@landau.phys.spbu.ru
>
commit
|
commitdiff
|
tree
2008-07-06
Kirill
S
m
e
lkov
doc: fi
x
typ
o
s in pyth
o
n-compar
i
sons
.
txt
Signed-off-by: Kirill Smelkov <
kirr@landau.phys.spbu.ru
>
commit
|
commitdiff
|
tree
2008-04-26
Kirill Sm
e
l
k
ov
David Roberts added to README
commit
|
commitdiff
|
tree
2008-04-23
Kirill Smelko
v
Robert
o
added t
o
README
commit
|
commitdiff
|
tree
2008-04-21
Kir
i
ll S
m
el
k
o
v
Add F
e
lix to README
commit
|
commitdiff
|
tree
2008-04-20
Kiril
l
Smelkov
Strip trai
l
in
g
whitesp
a
ce
s
a
l
l ove
r
S
y
m
Py
commit
|
commitdiff
|
tree
2008-04-19
K
i
r
ill Smelkov
F
ix Poly t
o
b
e
c
o
m
p
atible with Pyth
o
n2
.
4
commit
|
commitdiff
|
tree
2008-04-17
Kirill Smelkov
fix acosh(<som
e
t
h
i
n
g
real>) (#7
3
0)
commit
|
commitdiff
|
tree
2008-04-17
Kirill Sme
l
kov
t
e
st_bug2 s
t
arted to pass
commit
|
commitdiff
|
tree
2008-04-17
Kirill Smelk
o
v
test_
L
imi
t
s_simple_
4
b s
t
arted to pass
commit
|
commitdiff
|
tree
2008-04-17
Kirill S
m
elkov
test_apart1 sta
r
ted to
p
ass
commit
|
commitdiff
|
tree
2008-04-17
Kirill Smelkov
ppr
i
n
t
: fix printing of gr
e
ek lett
e
rs in
de
r
ivatives
.
.
.
commit
|
commitdiff
|
tree
2008-04-17
Kirill Sme
l
kov
pprint: mov
e
p
retty related tests to th
e
ir hom
e
commit
|
commitdiff
|
tree
2008-04-16
Kirill S
m
elkov
p
p
rint: imple
m
ent Limit p
r
i
n
t
ing
commit
|
commitdiff
|
tree
2008-04-16
Kirill Smelkov
Rizgar added to
README
commit
|
commitdiff
|
tree
2008-04-13
K
irill Sm
e
l
kov
Pan a
d
ded to README
commit
|
commitdiff
|
tree
2008-04-11
K
i
r
ill Sme
l
kov
re
m
ove unn
e
ccesary commented
X
F
AIL
commit
|
commitdiff
|
tree
2008-04-11
Kirill Smelkov
Add Abderrahim to README
commit
|
commitdiff
|
tree
2008-04-03
Kirill Sme
l
k
ov
Nimish ad
d
ed to READM
E
commit
|
commitdiff
|
tree
2008-03-26
Kirill Smelkov
doc: ins
t
al
l
spt-patches/ as well
commit
|
commitdiff
|
tree
2008-03-26
K
ir
i
ll Smelkov
doc: sp
t
: SAGE does
p
a
t
hch r
e
v
i
e
w
s
commit
|
commitdiff
|
tree
2008-03-26
Kirill Smelkov
doc
:
s
p
t: wor
k
around sideba
r
re
l
ated
b
ug in sphinx
commit
|
commitdiff
|
tree
2008-03-26
Kiri
l
l
Sme
l
kov
doc:
S
ymPy
P
atches
T
utorial
:
add prin
t
able version
commit
|
commitdiff
|
tree
2008-03-26
Kirill Smelkov
.
hgig
n
ore += doc/ bui
l
d
stuff
commit
|
commitdiff
|
tree
2008-03-26
Kirill S
m
e
l
kov
pr
i
nter
.
p
y
:
fix typos
commit
|
commitdiff
|
tree
2008-03-26
Kirill Smelkov
pretty: fix x
o
bj f
o
r even height
commit
|
commitdiff
|
tree
2008-03-26
K
irill Smelkov
pprint: fix han
d
ling of ol
d
-style c
l
asses (#755
)
commit
|
commitdiff
|
tree
2008-03-23
Kirill Sme
l
kov
sl
i
ghtly speedup
B
asic
.
__get
a
ttr__
commit
|
commitdiff
|
tree
2008-03-23
Kirill Sme
l
kov
add comments to Mul
.
f
l
atten
commit
|
commitdiff
|
tree
2008-03-23
Kirill S
m
el
k
o
v
[2/2] let'
s
use __slots__
commit
|
commitdiff
|
tree
2008-03-23
K
iri
l
l Sme
l
kov
[
1/2] let's
use __
s
lot
s
__
commit
|
commitdiff
|
tree
2008-03-12
Kir
i
ll Smelkov
[5/5
]
__eq__/__ne__ re
t
urns True/F
a
lse directly (
.
.
.
commit
|
commitdiff
|
tree
2008-03-12
Kirill Smelkov
[
4
/5] __eq__/__ne__ returns Tr
u
e/False dir
e
ctly (
.
.
.
commit
|
commitdiff
|
tree
2008-03-12
Kirill Smelkov
[3
/
5
]
__eq__/__ne__ retu
r
ns True/False dire
c
tly (
.
.
.
commit
|
commitdiff
|
tree
2008-03-12
K
iri
l
l Smelkov
[
2/5] __eq
_
_/
_
_ne__ r
e
t
urn
s
True/Fal
s
e di
r
e
c
tly (
.
.
.
commit
|
commitdiff
|
tree
2008-03-12
K
iri
l
l
S
melkov
[1/5] __eq__/__ne__ ret
u
r
ns T
r
ue/F
a
lse d
i
rectly (
.
.
.
commit
|
commitdiff
|
tree
2008-03-12
Kirill Smelko
v
Relati
o
nal: f
i
x
f
or '!=
'
and
.
subs
commit
|
commitdiff
|
tree
next