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
[14/24] Mul: teach ._eval_is_negative about all-terms-are-positive expressions (e...
2008-07-25
K
irill Smelkov
[14/24] Mul: teach
.
_eval
_
is_negative
about all-terms
.
.
.
Signed-off-by: Kirill Smelkov <
kirr@landau.phys.spbu.ru
>
commit
|
commitdiff
|
tree
2008-07-25
Kirill Smelkov
[1
3
/
24
]
M
u
l: teac
h
it th
a
t !i
n
t
eger ->
!ev
e
n
& !odd
Signed-off-by: Kirill Smelkov <
kirr@landau.phys.spbu.ru
>
commit
|
commitdiff
|
tree
2008-07-25
Kirill Smelk
o
v
[12/
2
4
]
Mu
l
: t
e
ach
.
is_real &
.
is_im
a
ginar
y
t
o
account
.
.
.
Signed-off-by: Kirill Smelkov <
kirr@landau.phys.spbu.ru
>
commit
|
commitdiff
|
tree
2008-07-25
Kirill Smelkov
[1
1
/2
4
]
rework assumpti
o
ns
.
p
y to use Fact
R
ule
s
.
.
.
Signed-off-by: Kirill Smelkov <
kirr@landau.phys.spbu.ru
>
commit
|
commitdiff
|
tree
2008-07-25
Kiril
l
Smelkov
[1
0
/24
]
re
w
o
r
k assumptio
n
s
.
py to
use
F
actRules
.
.
.
Signed-off-by: Kirill Smelkov <
kirr@landau.phys.spbu.ru
>
commit
|
commitdiff
|
tree
2008-07-25
Ki
r
ill S
m
elkov
[9/24]:
r
e
work assumpti
o
ns
.
py to use Fac
t
Rules
(BasicM
e
t
a
.
.
.
Signed-off-by: Kirill Smelkov <
kirr@landau.phys.spbu.ru
>
commit
|
commitdiff
|
tree
2008-07-25
K
iril
l
Smelkov
[8/24]:
r
ew
o
rk assumptio
n
s to use Fact
R
ules (no
.
assume(
)
)
Signed-off-by: Kirill Smelkov <
kirr@landau.phys.spbu.ru
>
commit
|
commitdiff
|
tree
2008-07-25
Kirill
S
m
elkov
[7/
2
4]: rework
assu
m
pt
i
o
ns to use FactRu
l
es
(h
a
sh)
Signed-off-by: Kirill Smelkov <
kirr@landau.phys.spbu.ru
>
commit
|
commitdiff
|
tree
2008-07-25
Kirill S
m
elkov
[6/24]: rework assumpti
o
n
s to us
e
F
a
ctRules (Basic)
Signed-off-by: Kirill Smelkov <
kirr@landau.phys.spbu.ru
>
commit
|
commitdiff
|
tree
2008-07-25
Ki
r
i
l
l Smelkov
[5/24]: rework as
s
umptions to use FactRules (BasicMeta)
Signed-off-by: Kirill Smelkov <
kirr@landau.phys.spbu.ru
>
commit
|
commitdiff
|
tree
2008-07-25
Kirill
S
melkov
[4/24]: rework
assump
t
ions
.
py
to use Fac
t
Rule
s
(
ki
l
l
.
.
.
Signed-off-by: Kirill Smelkov <
kirr@landau.phys.spbu.ru
>
commit
|
commitdiff
|
tree
2008-07-25
Kirill Smelkov
[
3/24]: rewo
r
k
a
ssumptions to use
F
ac
t
Rules (assu
m
pt
i
ons
.
py)
Signed-off-by: Kirill Smelkov <
kirr@landau.phys.spbu.ru
>
commit
|
commitdiff
|
tree
2008-07-25
Kirill S
m
elkov
[
2
/24]
r
ule based inf
e
rence engine (engine its
e
lf)
Signed-off-by: Kirill Smelkov <
kirr@landau.phys.spbu.ru
>
commit
|
commitdiff
|
tree
2008-07-25
Kirill Smelkov
[1/2
4
] rule based
infer
e
nc
e
en
g
i
n
e (
l
o
g
i
c
)
Signed-off-by: Kirill Smelkov <
kirr@landau.phys.spbu.ru
>
commit
|
commitdiff
|
tree
2008-07-25
Kirill Smelkov
pretty: fix
p
rintin
g
of l
o
ng
s
trings
e
.
g
.
pi
.
evalf
.
.
.
Signed-off-by: Kirill Smelkov <
kirr@landau.phys.spbu.ru
>
commit
|
commitdiff
|
tree
2008-07-25
Kirill
S
melkov
pretty: special sy
m
bol
f
or muliply (#957)
commit
|
commitdiff
|
tree
2008-07-25
K
irill
S
m
e
lkov
pr
e
tt
y
_symbologu: xrel -> xsym -- it will be applicable
.
.
.
commit
|
commitdiff
|
tree
2008-07-25
Kirill Smelkov
t
est_roots: rob
u
stify te
s
ts
for roots(x*
*
3 +
x
**2
.
.
.
commit
|
commitdiff
|
tree
2008-07-25
Kir
i
ll Smelkov
test_r
o
ots: use
s
ympify an
d
string repre
s
en
t
ati
o
n for
.
.
.
commit
|
commitdiff
|
tree
2008-07-24
Kirill Smelk
o
v
tests for
.
as_c
o
eff_facto
r
s()
commit
|
commitdiff
|
tree
2008-07-24
K
i
r
i
l
l Smelkov
nse
r
ies: robustify test_bug4
commit
|
commitdiff
|
tree
2008-07-24
K
irill Smelkov
r
o
bustify
t
es
t
s for
p
ostorder_
t
raversal and p
r
eorder_tra
v
ersal
commit
|
commitdiff
|
tree
2008-07-21
Kirill
S
melkov
rsolve_hyper: robustif
y
tests to catch all combinat
i
ons
.
.
.
Signed-off-by: Kirill Smelkov <
kirr@landau.phys.spbu.ru
>
commit
|
commitdiff
|
tree
2008-07-20
Kirill Smelkov
Add: fix
.
_eval_
i
s_i
r
rational (
s
elf[:] v
.
s
.
self
.
.
.
Signed-off-by: Kirill Smelkov <
kirr@landau.phys.spbu.ru
>
commit
|
commitdiff
|
tree
2008-07-20
Kirill S
m
elkov
Polys: robustify some te
s
ts w
h
i
ch
d
epend on unde
r
lying
.
.
.
Signed-off-by: Kirill Smelkov <
kirr@landau.phys.spbu.ru
>
commit
|
commitdiff
|
tree
2008-07-20
Ki
r
ill S
m
elkov
pr
e
tt
y
:
r
obus
t
if
y
dict te
s
ts (#938)
Signed-off-by: Kirill Smelkov <
kirr@landau.phys.spbu.ru
>
commit
|
commitdiff
|
tree
2008-07-18
Kirill Smelkov
BasicMeta: don't import typeinfo (e
.
g
.
is_Integer)
.
.
.
Signed-off-by: Kirill Smelkov <
kirr@landau.phys.spbu.ru
>
commit
|
commitdiff
|
tree
2008-07-18
K
i
r
ill Smelkov
B
asic
.
__new__ : set
.
_assumptions
to None early
Signed-off-by: Kirill Smelkov <
kirr@landau.phys.spbu.ru
>
commit
|
commitdiff
|
tree
2008-07-06
Kirill Smelkov
doc:
s
pt -- strip
whitesp
a
c
e
Signed-off-by: Kirill Smelkov <
kirr@landau.phys.spbu.ru
>
commit
|
commitdiff
|
tree
2008-07-06
Kirill
S
melkov
doc: sp
t
--
k
ill duplicate lefto
v
e
r after a4ab
1
c
5072c4
.
.
.
Signed-off-by: Kirill Smelkov <
kirr@landau.phys.spbu.ru
>
commit
|
commitdiff
|
tree
2008-07-06
Kirill Smelkov
doc: mention NotImple
m
ent
e
dError in python-com
p
arisons
.
txt
Signed-off-by: Kirill Smelkov <
kirr@landau.phys.spbu.ru
>
commit
|
commitdiff
|
tree
2008-07-06
Kirill
Smelkov
doc: fix typos in p
y
thon-comparisons
.
txt
Signed-off-by: Kirill Smelkov <
kirr@landau.phys.spbu.ru
>
commit
|
commitdiff
|
tree
2008-04-26
Kirill
Smelkov
David
R
o
berts a
d
ded t
o
READ
M
E
commit
|
commitdiff
|
tree
2008-04-23
Ki
r
i
l
l Smelkov
Roberto adde
d
t
o README
commit
|
commitdiff
|
tree
2008-04-21
Kirill Smel
k
ov
Add Felix to README
commit
|
commitdiff
|
tree
2008-04-20
Kirill Smelkov
Stri
p
trailing whi
t
espaces all
over SymP
y
commit
|
commitdiff
|
tree
2008-04-19
K
irill Smelko
v
F
i
x P
o
ly
to
b
e co
m
patible
with Python
2
.
4
commit
|
commitdiff
|
tree
2008-04-17
Kiril
l
Smelkov
f
i
x aco
s
h
(<
s
omet
h
ing real>) (#730)
commit
|
commitdiff
|
tree
2008-04-17
Kirill
S
melkov
test_bug2 started to pass
commit
|
commitdiff
|
tree
2008-04-17
Kir
i
ll Sm
e
lkov
t
e
st_Limits_simple_4b started to
p
ass
commit
|
commitdiff
|
tree
2008-04-17
K
iri
l
l Smelkov
test_ap
a
rt1 s
t
a
rted
t
o pass
commit
|
commitdiff
|
tree
2008-04-17
K
irill Smelk
o
v
pprint: fix printin
g
of gree
k
lette
r
s in d
e
r
ivatives
.
.
.
commit
|
commitdiff
|
tree
2008-04-17
Kirill S
m
elko
v
p
pr
i
n
t: move
p
retty
r
elated
te
s
ts to
t
hei
r
home
commit
|
commitdiff
|
tree
2008-04-16
K
ir
i
ll Smelkov
pprin
t
: implem
e
nt Limit pri
n
ti
n
g
commit
|
commitdiff
|
tree
2008-04-16
Kiri
l
l Smelkov
Rizg
a
r ad
d
ed to
R
EADME
commit
|
commitdiff
|
tree
2008-04-13
Kirill Sme
l
kov
Pan
a
d
ded to R
E
ADME
commit
|
commitdiff
|
tree
2008-04-11
K
i
r
ill
Smelkov
remove unneccesary co
m
me
n
ted XFAIL
commit
|
commitdiff
|
tree
2008-04-11
Ki
r
ill Smelkov
Add Abderra
h
im
t
o READM
E
commit
|
commitdiff
|
tree
2008-04-03
K
i
r
i
l
l Sme
l
kov
Nimish added
t
o
README
commit
|
commitdiff
|
tree
2008-03-26
Kirill
S
melko
v
d
o
c: install
spt-patches/
as
well
commit
|
commitdiff
|
tree
2008-03-26
Kirill Smelkov
doc: sp
t
: SAGE
d
oes
pathc
h
reviews
commit
|
commitdiff
|
tree
2008-03-26
Kir
i
ll Smelko
v
doc: spt
:
work
a
ro
u
nd sidebar related bug in s
p
hi
n
x
commit
|
commitdiff
|
tree
2008-03-26
Kirill
S
melko
v
doc
:
SymPy
P
atches Tutorial: add printable vers
i
on
commit
|
commitdiff
|
tree
2008-03-26
Kirill Sm
e
lk
o
v
.
hgi
g
nore += d
o
c
/ b
u
i
l
d stu
f
f
commit
|
commitdiff
|
tree
2008-03-26
Kirill Smelkov
printer
.
py: f
i
x typo
s
commit
|
commitdiff
|
tree
2008-03-26
Ki
r
ill Smelk
o
v
p
r
etty: fix
x
obj for even heig
h
t
commit
|
commitdiff
|
tree
2008-03-26
Kirill Smelko
v
pprint: fix
h
a
n
dling of old-style classes (#755)
commit
|
commitdiff
|
tree
2008-03-23
Kiri
l
l Smelkov
slightly speedup Basic
.
__
g
etat
t
r
_
_
commit
|
commitdiff
|
tree
2008-03-23
Kirill Smelkov
add commen
t
s to Mul
.
flatten
commit
|
commitdiff
|
tree
2008-03-23
Kirill S
m
elkov
[2
/
2] let
'
s
u
se __s
l
ots__
commit
|
commitdiff
|
tree
2008-03-23
K
irill Smelkov
[1/2]
l
et's use _
_
sl
o
ts__
commit
|
commitdiff
|
tree
2008-03-12
Kirill Smelkov
[5/5
]
__
e
q__
/
__ne__
ret
u
rns Tr
u
e
/
False directly (
.
.
.
commit
|
commitdiff
|
tree
2008-03-12
Kirill Smelkov
[4/5] __eq__/__ne__
retu
r
ns Tru
e
/Fa
l
s
e dir
e
ctly (
.
.
.
commit
|
commitdiff
|
tree
2008-03-12
Kirill Smel
k
ov
[3/
5
] __eq__/__ne__ returns Tru
e
/Fals
e
directly (
.
.
.
commit
|
commitdiff
|
tree
2008-03-12
Kirill S
m
elkov
[2/5]
_
_eq__/__ne__ ret
u
rns True/False directly (
.
.
.
commit
|
commitdiff
|
tree
2008-03-12
Kirill Smelko
v
[
1
/5]
__eq__/__ne__ ret
u
r
n
s True/False di
r
ectly
(
.
.
.
commit
|
commitdiff
|
tree
2008-03-12
Kiri
l
l Smelkov
Relational: fix for
'
!=' and
.
subs
commit
|
commitdiff
|
tree
2008-03-11
Kirill Smel
k
ov
J
a
mes added to credits
commit
|
commitdiff
|
tree
2008-03-11
Kirill Sm
e
l
k
ov
I'm guilty again :(
commit
|
commitdiff
|
tree
2008-03-11
K
i
rill
S
melkov
Test
f
or x*unknow
n
-> unk
n
own
.
__rmul__ is called
.
.
.
commit
|
commitdiff
|
tree
2008-03-11
Kirill
S
m
el
k
ov
Remo
v
e unneede
d
line
s
t
h
at try to prop
a
gate __
d
o
c__
.
.
.
commit
|
commitdiff
|
tree
2008-02-29
Kirill Smelk
o
v
assumptions:
cac
h
e
'unknown' as
s
u
mptions as well
commit
|
commitdiff
|
tree
2008-02-29
Kir
i
ll Smelkov
s
ympify: add support fo
r
ob
j
ec
t
s that implement __in
t
_
_
.
.
.
commit
|
commitdiff
|
tree
2008-02-27
Kirill Smelkov
Pow
.
expand(complex=True) -- use atan2 to obtain b
a
se
.
.
.
commit
|
commitdiff
|
tree
2008-02-27
K
i
rill
S
melk
o
v
Add test
s
for oo*<smt
h
>
== oo (#6
3
9
)
commit
|
commitdiff
|
tree
2008-02-27
K
i
rill S
m
el
k
ov
.
is_p
o
sitive,
.
is_neg
a
t
ive -- fal
l
bac
k
to cmp(
.
evalf
.
.
.
commit
|
commitdiff
|
tree
2008-02-27
Kirill Smelkov
Fix
.
i
s_
c
omparable for
functions
commit
|
commitdiff
|
tree
2008-02-27
K
i
rill Smelkov
Fix thinko in Pow
.
_eval_is_real
commit
|
commitdiff
|
tree
2008-02-27
Kiril
l
Smelko
v
Fix
i
s_nni
&
is_pi as
s
umption alias
e
s
commit
|
commitdiff
|
tree
2008-02-27
Kirill Smelkov
[2
/
2] Add, Mul
,
Pow:
t
ests f
o
r is_
c
o
m
parab
l
e
commit
|
commitdiff
|
tree
2008-02-27
Kirill Smelko
v
[1/2
]
Add, Mul, P
o
w: tests
f
or
is_comp
a
rable
commit
|
commitdiff
|
tree
2008-02-27
Kirill
Smelkov
F
ix code typo in Pow
.
_
e
v
a
l_is_comparable
commit
|
commitdiff
|
tree
2008-02-24
Kirill Smelkov
oops,
r
eorder ter
m
s in do
c
tests to match actual output
.
commit
|
commitdiff
|
tree
2008-02-23
Kiri
l
l Smelkov
oops, shame on me!
commit
|
commitdiff
|
tree
2008-02-23
Ki
r
ill Smelkov
risch: systemat
i
cally
reuse dum
m
ie
s
commit
|
commitdiff
|
tree
2008-02-23
Kirill Sm
e
lkov
[
2
/2]
@
cach
e
it Wi
l
d
commit
|
commitdiff
|
tree
2008-02-23
K
irill Smelkov
[1/2] @cachei
t
Wil
d
commit
|
commitdiff
|
tree
2008-02-23
Kirill Smelkov
@cach
e
i
t
S
ym
b
ol
commit
|
commitdiff
|
tree
2008-02-23
Kirill
Sme
l
kov
[2/2] is_dummy is no
t
an a
s
sumption
anymore
commit
|
commitdiff
|
tree
2008-02-23
K
irill Smelk
o
v
[1/2] is_dum
m
y
is
not an assumption
a
nymor
e
commit
|
commitdiff
|
tree
2008-02-23
Kiri
l
l Smelkov
Symb
o
l
:
s
p
lit into Symbol &
D
um
m
y
for ef
f
iciency
commit
|
commitdiff
|
tree
2008-02-23
Kirill Sm
e
lkov
limits
:
make direct
@debug faster (min
o
r)
commit
|
commitdiff
|
tree
2008-02-23
K
i
rill Smel
k
o
v
Arit
h
Met
h
s
.
__
n
eg__: expli
c
itly c
a
ll
M
ul
for efficiency
commit
|
commitdiff
|
tree
2008-02-23
Kirill Smelkov
Integer: implemen
t
__neg__
& __
a
bs__ for
e
fficiency
commit
|
commitdiff
|
tree
2008-02-23
K
i
r
ill Smelkov
in
t
eg
e
r_
n
t
hro
o
t: don'
t
i
m
port
m
at
h
.
log at
r
unti
m
e
commit
|
commitdiff
|
tree
2008-02-23
Kirill Smelk
o
v
core: unroll rest cyclic imports
commit
|
commitdiff
|
tree
2008-02-21
Kirill Sm
e
lkov
Beginnigs
o
f S
y
mPy
U
ser's
Guid
e
.
commit
|
commitdiff
|
tree
2008-02-17
Kirill Smelkov
lim
i
ts: speedup subexp (reus
e
dummy)
commit
|
commitdiff
|
tree
2008-02-17
K
i
r
il
l
Smelkov
t
r
igintegra
t
e
: speedup (re
u
s
e
pattern &
d
ummy)
commit
|
commitdiff
|
tree
2008-02-17
Kiri
l
l Sme
l
kov
Ylm: 10x s
p
eedup
commit
|
commitdiff
|
tree
next