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
[21/24] New test for inference rule (!real -> !integer & !positive & !zero & .....
2008-07-25
Kirill Smelkov
[
2
1/24]
New test fo
r
inf
e
rence
r
ule (!real
-
> !i
n
te
g
er
.
.
.
Signed-off-by: Kirill Smelkov <
kirr@landau.phys.spbu.ru
>
commit
|
commitdiff
|
tree
2008-07-25
K
i
rill S
m
e
l
kov
[2
0
/24] Numbers:
c
orrect seconda
r
y tested ass
u
mpt
i
ons
Signed-off-by: Kirill Smelkov <
kirr@landau.phys.spbu.ru
>
commit
|
commitdiff
|
tree
2008-07-25
Kirill Smel
k
ov
[19/24] I: correct tes
t
ed assumptions
Signed-off-by: Kirill Smelkov <
kirr@landau.phys.spbu.ru
>
commit
|
commitdiff
|
tree
2008-07-25
Ki
r
ill S
m
elkov
[18/24]
N
eat
i
veOne, Pi, Exp1:
c
orrec
t
t
e
sted a
s
s
u
m
ptions
Signed-off-by: Kirill Smelkov <
kirr@landau.phys.spbu.ru
>
commit
|
commitdiff
|
tree
2008-07-25
Kirill Sme
l
kov
[17/24] NaN: cor
r
ect ass
u
mpt
i
ons
Signed-off-by: Kirill Smelkov <
kirr@landau.phys.spbu.ru
>
commit
|
commitdiff
|
tree
2008-07-25
Kirill
S
melkov
[16/24] +-Infinity: correct a
s
sumpti
o
ns
Signed-off-by: Kirill Smelkov <
kirr@landau.phys.spbu.ru
>
commit
|
commitdiff
|
tree
2008-07-25
Kirill Smelkov
[15
/
24] Zero: correct assu
m
ptions
Signed-off-by: Kirill Smelkov <
kirr@landau.phys.spbu.ru
>
commit
|
commitdiff
|
tree
2008-07-25
K
i
rill Smel
k
ov
[14/24]
M
ul: teach
.
_eval_is_negative ab
o
ut all-terms
.
.
.
Signed-off-by: Kirill Smelkov <
kirr@landau.phys.spbu.ru
>
commit
|
commitdiff
|
tree
2008-07-25
Kirill Smel
k
ov
[
1
3
/
24] Mul: tea
c
h
i
t
that !integ
e
r -> !e
v
en & !odd
Signed-off-by: Kirill Smelkov <
kirr@landau.phys.spbu.ru
>
commit
|
commitdiff
|
tree
2008-07-25
Kiri
l
l Smelkov
[12/24
]
Mul
:
teach
.
is_r
e
al &
.
i
s_imagi
n
ary to account
.
.
.
Signed-off-by: Kirill Smelkov <
kirr@landau.phys.spbu.ru
>
commit
|
commitdiff
|
tree
2008-07-25
Ki
r
ill S
m
elkov
[11/24] rework assumptions
.
py
to use Fa
c
t
Rules
.
.
.
Signed-off-by: Kirill Smelkov <
kirr@landau.phys.spbu.ru
>
commit
|
commitdiff
|
tree
2008-07-25
Kirill Smelk
o
v
[10/24] rew
o
r
k as
s
umptions
.
py
t
o use FactRu
l
es
.
.
.
Signed-off-by: Kirill Smelkov <
kirr@landau.phys.spbu.ru
>
commit
|
commitdiff
|
tree
2008-07-25
Ki
r
ill S
m
el
k
ov
[9/24]:
re
w
ork assumpti
o
ns
.
py to use FactRules (
B
asic
M
et
a
.
.
.
Signed-off-by: Kirill Smelkov <
kirr@landau.phys.spbu.ru
>
commit
|
commitdiff
|
tree
2008-07-25
Ki
r
ill Smelkov
[8/24]: rework assumptions to use FactRules (no
.
assume())
Signed-off-by: Kirill Smelkov <
kirr@landau.phys.spbu.ru
>
commit
|
commitdiff
|
tree
2008-07-25
Kiri
l
l Smelkov
[7/24]: re
w
or
k
assumpti
o
ns to
u
se FactRules (hash)
Signed-off-by: Kirill Smelkov <
kirr@landau.phys.spbu.ru
>
commit
|
commitdiff
|
tree
2008-07-25
Ki
r
ill Smelkov
[6/24]: rework assum
p
tions to use
F
act
R
u
les
(Basic)
Signed-off-by: Kirill Smelkov <
kirr@landau.phys.spbu.ru
>
commit
|
commitdiff
|
tree
2008-07-25
Kirill Smelkov
[5/24]: rewo
r
k assumptions to use
F
a
ctRules
(BasicMe
t
a)
Signed-off-by: Kirill Smelkov <
kirr@landau.phys.spbu.ru
>
commit
|
commitdiff
|
tree
2008-07-25
Ki
r
ill S
m
e
lkov
[4/24]:
r
ework as
s
umptions
.
py
to use FactRules (
k
ill
.
.
.
Signed-off-by: Kirill Smelkov <
kirr@landau.phys.spbu.ru
>
commit
|
commitdiff
|
tree
2008-07-25
Kirill S
m
elkov
[3/24]: rework a
s
sum
p
t
io
n
s
to use FactRules (assumptions
.
p
y
)
Signed-off-by: Kirill Smelkov <
kirr@landau.phys.spbu.ru
>
commit
|
commitdiff
|
tree
2008-07-25
Kirill Smelkov
[2/
2
4] rule b
a
s
e
d infere
n
ce engine (engine its
e
lf)
Signed-off-by: Kirill Smelkov <
kirr@landau.phys.spbu.ru
>
commit
|
commitdiff
|
tree
2008-07-25
Kiril
l
Smelkov
[1/2
4
] rule
based inference engine (log
i
c
)
Signed-off-by: Kirill Smelkov <
kirr@landau.phys.spbu.ru
>
commit
|
commitdiff
|
tree
2008-07-25
K
i
r
i
ll Smelkov
p
r
etty: fix printing of lon
g
s
t
rings e
.
g
.
pi
.
evalf
.
.
.
Signed-off-by: Kirill Smelkov <
kirr@landau.phys.spbu.ru
>
commit
|
commitdiff
|
tree
2008-07-25
Kirill Smelkov
pretty: special symbol for muliply
(#957)
commit
|
commitdiff
|
tree
2008-07-25
Kirill Sme
l
kov
p
r
e
t
t
y
_symbolog
u
:
xrel -> xsym -- it will be ap
p
licable
.
.
.
commit
|
commitdiff
|
tree
2008-07-25
Kirill
Sm
e
l
k
ov
t
est_roots: robustify
t
ests for
r
oots
(
x**3
+
x**
2
.
.
.
commit
|
commitdiff
|
tree
2008-07-25
Kirill Smelk
o
v
test_roo
t
s: use sympify and strin
g
representation for
.
.
.
commit
|
commitdiff
|
tree
2008-07-24
Kirill Sme
l
kov
t
ests
for
.
as_coe
f
f_factors()
commit
|
commitdiff
|
tree
2008-07-24
Kirill Smelkov
n
s
eries: robust
i
fy
te
s
t_b
u
g4
commit
|
commitdiff
|
tree
2008-07-24
Kirill S
m
elkov
robusti
f
y te
s
ts for postord
e
r_traversal and
pre
o
rder
_
traversa
l
commit
|
commitdiff
|
tree
2008-07-21
Kirill Smelkov
rsol
v
e_hyper:
robustify tests to ca
t
ch all combi
n
ations
.
.
.
Signed-off-by: Kirill Smelkov <
kirr@landau.phys.spbu.ru
>
commit
|
commitdiff
|
tree
2008-07-20
Kirill Smelkov
A
dd: fix
.
_
e
v
al_is_irrational (self
[
:
] v
.
s
.
s
e
lf
.
.
.
Signed-off-by: Kirill Smelkov <
kirr@landau.phys.spbu.ru
>
commit
|
commitdiff
|
tree
2008-07-20
Kirill Smel
k
ov
Polys: rob
u
stify som
e
tests which depe
n
d
on und
e
rlying
.
.
.
Signed-off-by: Kirill Smelkov <
kirr@landau.phys.spbu.ru
>
commit
|
commitdiff
|
tree
2008-07-20
Kiri
l
l
S
melkov
pretty: robust
i
f
y dict tests (#938)
Signed-off-by: Kirill Smelkov <
kirr@landau.phys.spbu.ru
>
commit
|
commitdiff
|
tree
2008-07-18
K
irill Sme
l
k
ov
BasicM
e
ta:
d
o
n
'
t impo
r
t typeinfo (e
.
g
.
is_
I
n
t
eger)
.
.
.
Signed-off-by: Kirill Smelkov <
kirr@landau.phys.spbu.ru
>
commit
|
commitdiff
|
tree
2008-07-18
Kirill Smelkov
Basic
.
__new__ : set
.
_assu
m
ptio
n
s to None ea
r
l
y
Signed-off-by: Kirill Smelkov <
kirr@landau.phys.spbu.ru
>
commit
|
commitdiff
|
tree
2008-07-06
Kirill Smel
k
o
v
doc: spt -- stri
p
whitespace
Signed-off-by: Kirill Smelkov <
kirr@landau.phys.spbu.ru
>
commit
|
commitdiff
|
tree
2008-07-06
Kiril
l
Smelkov
doc: spt
-- kill duplicate leftove
r
aft
e
r
a
4a
b
1c5072c4
.
.
.
Signed-off-by: Kirill Smelkov <
kirr@landau.phys.spbu.ru
>
commit
|
commitdiff
|
tree
2008-07-06
Kiril
l
Smelkov
doc: mention NotImplementedError in python-comparisons
.
txt
Signed-off-by: Kirill Smelkov <
kirr@landau.phys.spbu.ru
>
commit
|
commitdiff
|
tree
2008-07-06
K
irill Smelkov
doc: fix typos in
p
ython-compar
i
sons
.
txt
Signed-off-by: Kirill Smelkov <
kirr@landau.phys.spbu.ru
>
commit
|
commitdiff
|
tree
2008-04-26
Kiri
l
l Smelko
v
D
avi
d
Roberts added to README
commit
|
commitdiff
|
tree
2008-04-23
Kiri
l
l
S
melkov
Roberto a
d
ded
t
o READ
M
E
commit
|
commitdiff
|
tree
2008-04-21
Kirill Smelkov
Add Felix to README
commit
|
commitdiff
|
tree
2008-04-20
Kirill Smelkov
Strip trai
l
i
n
g whitespaces a
l
l
over SymP
y
commit
|
commitdiff
|
tree
2008-04-19
Kiri
l
l Smelkov
Fix Poly to be compatible with Python2
.
4
commit
|
commitdiff
|
tree
2008-04-17
Kirill Smelkov
fix
a
cosh(<something real>) (#730)
commit
|
commitdiff
|
tree
2008-04-17
K
i
ri
l
l Sme
l
kov
t
e
st_bug2 started t
o
p
a
ss
commit
|
commitdiff
|
tree
2008-04-17
Kirill Sme
l
ko
v
test
_
Limits_simple_
4
b started
t
o pass
commit
|
commitdiff
|
tree
2008-04-17
Kirill
S
m
elkov
test_apart1
s
tarte
d
t
o
pass
commit
|
commitdiff
|
tree
2008-04-17
Kiril
l
Sme
l
kov
pp
r
i
n
t: fix print
i
ng of greek letter
s
i
n de
r
iva
t
i
ves
.
.
.
commit
|
commitdiff
|
tree
2008-04-17
Kirill Smelkov
ppr
i
nt: move pretty re
l
ated test
s
to their ho
m
e
commit
|
commitdiff
|
tree
2008-04-16
K
i
r
ill Smelkov
pprint:
implement Limit pri
n
ting
commit
|
commitdiff
|
tree
2008-04-16
Ki
r
ill
S
m
e
lkov
Rizgar adde
d
to README
commit
|
commitdiff
|
tree
2008-04-13
K
i
r
ill Smelkov
Pan adde
d
to R
E
ADME
commit
|
commitdiff
|
tree
2008-04-11
Kirill Smelkov
r
e
mo
v
e unnec
c
e
s
a
ry c
o
mment
e
d XFAIL
commit
|
commitdiff
|
tree
2008-04-11
Kirill Smelkov
A
d
d Abde
r
rahim to RE
A
D
M
E
commit
|
commitdiff
|
tree
2008-04-03
Kiril
l
Smelk
o
v
Nim
i
sh added t
o
R
EA
D
M
E
commit
|
commitdiff
|
tree
2008-03-26
K
irill Sm
e
lkov
doc: install spt-patches/
as wel
l
commit
|
commitdiff
|
tree
2008-03-26
Ki
r
ill Smelk
o
v
doc: spt
:
SAGE do
e
s pathc
h
reviews
commit
|
commitdiff
|
tree
2008-03-26
Kirill Smelk
o
v
doc: spt: workaroun
d
side
b
ar relat
e
d bug in sphinx
commit
|
commitdiff
|
tree
2008-03-26
K
irill
Smelko
v
doc: SymPy
P
atches T
u
torial:
a
dd prin
t
able ver
s
io
n
commit
|
commitdiff
|
tree
2008-03-26
Kirill S
m
elkov
.
h
g
i
gnore +=
doc/ build stuff
commit
|
commitdiff
|
tree
2008-03-26
Kirill Sme
l
kov
print
e
r
.
py: fix typos
commit
|
commitdiff
|
tree
2008-03-26
Kirill Smelkov
pr
e
tty: fix xo
b
j for ev
e
n height
commit
|
commitdiff
|
tree
2008-03-26
K
i
rill
S
melkov
pprint
:
fix
h
andling of old-st
y
le c
l
ass
e
s
(
#7
5
5
)
commit
|
commitdiff
|
tree
2008-03-23
K
irill Sm
e
lk
o
v
slightly
s
peedup
B
asic
.
__getattr__
commit
|
commitdiff
|
tree
2008-03-23
Kirill Smelkov
ad
d
comments to
M
ul
.
flatten
commit
|
commitdiff
|
tree
2008-03-23
Kir
i
ll
S
melkov
[2
/
2] let's use
_
_
sl
o
ts__
commit
|
commitdiff
|
tree
2008-03-23
Kiril
l
S
mel
k
o
v
[1/2]
let
'
s use _
_
slot
s
__
commit
|
commitdiff
|
tree
2008-03-12
K
irill S
m
elk
o
v
[
5
/
5] __eq__/__n
e
__
re
t
urns Tru
e
/False
d
irectly
(
.
.
.
commit
|
commitdiff
|
tree
2008-03-12
Kirill Smelkov
[4/5]
__eq
_
_/_
_
ne__ returns True/False directly
(
.
.
.
commit
|
commitdiff
|
tree
2008-03-12
Kirill Smelkov
[3/5] __eq__/__ne__ re
t
urns
T
r
ue/False dir
e
ctly (
.
.
.
commit
|
commitdiff
|
tree
2008-03-12
K
i
ri
l
l Smelkov
[2/5] __eq__/__ne__ re
t
urns Tr
u
e/Fal
s
e direct
l
y
(
.
.
.
commit
|
commitdiff
|
tree
2008-03-12
Ki
r
ill Smelkov
[1/5]
_
_eq__/
_
_ne__ ret
u
rn
s
True/Fals
e
directl
y
(
.
.
.
commit
|
commitdiff
|
tree
2008-03-12
Kiri
l
l Smelkov
Rela
t
io
n
a
l
: fix for '!=' an
d
.
s
ub
s
commit
|
commitdiff
|
tree
2008-03-11
K
i
rill Smelkov
James ad
d
ed to
credi
t
s
commit
|
commitdiff
|
tree
2008-03-11
Kiril
l
Smelkov
I'm g
u
ilty
a
g
a
in :(
commit
|
commitdiff
|
tree
2008-03-11
Kirill Smelkov
Test fo
r
x*un
k
nown -> u
n
known
.
__rmul__ is ca
l
le
d
.
.
.
commit
|
commitdiff
|
tree
2008-03-11
Kiri
l
l
S
melkov
Remov
e
unneeded l
i
nes
t
hat try to propag
a
te __doc
_
_
.
.
.
commit
|
commitdiff
|
tree
2008-02-29
Kirill
Smel
k
ov
a
ss
u
mptions:
c
a
ch
e
'unknown' assumpt
i
o
n
s
a
s well
commit
|
commitdiff
|
tree
2008-02-29
K
i
rill Smelkov
symp
i
fy:
a
dd support for obje
c
ts tha
t
impl
e
ment __int__
.
.
.
commit
|
commitdiff
|
tree
2008-02-27
K
irill Smelkov
Po
w
.
expand
(
complex
=
Tru
e
) -- use atan2 to obt
a
i
n
base
.
.
.
commit
|
commitdiff
|
tree
2008-02-27
Kirill Smelk
o
v
Add test
s
for oo*<smth> =
=
oo (#
6
39)
commit
|
commitdiff
|
tree
2008-02-27
Kir
i
ll Smel
k
ov
.
is_positive,
.
is_negative
-
-
fa
l
l back to cmp(
.
evalf
.
.
.
commit
|
commitdiff
|
tree
2008-02-27
Kirill S
m
e
l
kov
Fix
.
is_comparable for funct
i
o
n
s
commit
|
commitdiff
|
tree
2008-02-27
Kiri
l
l
S
m
elk
o
v
Fix thinko in
P
ow
.
_eva
l
_is_real
commit
|
commitdiff
|
tree
2008-02-27
Kirill Smel
k
o
v
Fix is_nni
&
is_pi assumption
a
l
i
a
ses
commit
|
commitdiff
|
tree
2008-02-27
Kirill
S
mel
k
ov
[
2/2] Add, Mul, Pow: t
e
sts for is_comparable
commit
|
commitdiff
|
tree
2008-02-27
K
irill Smelkov
[1
/
2
]
Add, Mul, Pow: tests for is_co
m
parabl
e
commit
|
commitdiff
|
tree
2008-02-27
Kirill Sme
l
k
ov
F
i
x code t
y
po in
Pow
.
_eval
_
i
s
_
compar
a
ble
commit
|
commitdiff
|
tree
2008-02-24
K
irill S
m
elkov
oops,
r
eorder terms in doct
e
sts to match a
c
tual out
p
ut
.
commit
|
commitdiff
|
tree
2008-02-23
Ki
r
i
l
l Smelkov
oops, shame on me!
commit
|
commitdiff
|
tree
2008-02-23
Kirill Sm
e
lkov
r
isch: systematically reuse dummies
commit
|
commitdiff
|
tree
2008-02-23
Kirill Smelkov
[2/2] @c
a
cheit Wi
l
d
commit
|
commitdiff
|
tree
2008-02-23
Kirill Smelkov
[1/2]
@
cacheit Wil
d
commit
|
commitdiff
|
tree
2008-02-23
K
irill Smelkov
@cacheit
S
ymbo
l
commit
|
commitdiff
|
tree
2008-02-23
Kirill Smelkov
[2
/
2] is_dummy i
s
n
ot a
n
assum
p
tion an
y
more
commit
|
commitdiff
|
tree
2008-02-23
Kirill Smelkov
[1/2]
is
_
d
ummy
i
s not an
a
s
sumptio
n
a
nymore
commit
|
commitdiff
|
tree
2008-02-23
Kiril
l
Smelkov
Symbol: s
p
li
t
into Symbo
l
& Du
m
my
f
or e
f
ficiency
commit
|
commitdiff
|
tree
2008-02-23
Kirill Smelkov
limits: make direct @de
b
ug faster (m
i
n
o
r)
commit
|
commitdiff
|
tree
2008-02-23
K
i
r
ill Smelkov
ArithMeths
.
__neg__: expli
c
it
l
y call Mul for efficiency
commit
|
commitdiff
|
tree
next