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
py.bench -- py.test based benchmarking
2008-09-01
Ki
r
i
ll Smelkov
p
y
.
ben
c
h -- py
.
t
e
st based benchmarkin
g
Signed-off-by:
Kirill Smelkov
<kirr@landau.phys.spbu.ru>
commit
|
commitdiff
|
tree
2008-08-30
Kiril
l
Smelkov
co
l
lect: Add support
for hig
h
er-than-1 order Derivatives
Signed-off-by:
Kirill Smelkov
<kirr@landau.phys.spbu.ru>
commit
|
commitdiff
|
tree
2008-08-30
Kirill Smelkov
dsolve: be mo
r
e in
f
or
m
ati
v
e on
w
hat we can't solve
Signed-off-by:
Kirill Smelkov
<kirr@landau.phys.spbu.ru>
commit
|
commitdiff
|
tree
2008-08-29
Kirill
S
melko
v
W
e
lco
m
e
to SymPy (Alan Brombo
r
sky)
commit
|
commitdiff
|
tree
2008-08-29
K
i
ri
l
l
S
melkov
Welcome to S
y
mPy
(Dan co
o
lg49964)
commit
|
commitdiff
|
tree
2008-08-28
Kirill Sm
e
lkov
Ma
k
e
tests for
i
ssue
936 more robust
Signed-off-by:
Kirill Smelkov
<kirr@landau.phys.spbu.ru>
commit
|
commitdiff
|
tree
2008-08-28
Ki
r
ill Smelkov
Initial
.
g
itattr
i
butes
Signed-off-by:
Kirill Smelkov
<kirr@landau.phys.spbu.ru>
commit
|
commitdiff
|
tree
2008-08-28
Kirill Smelkov
I
nitial
.
gitignore
Signed-off-by:
Kirill Smelkov
<kirr@landau.phys.spbu.ru>
commit
|
commitdiff
|
tree
2008-08-26
Kirill Sme
l
kov
c
oll
e
ct: restore D
e
rivative
h
an
d
ling a
f
te
r
migration
.
.
.
Signed-off-by:
Kirill Smelkov
<kirr@landau.phys.spbu.ru>
commit
|
commitdiff
|
tree
2008-08-26
Kirill Smel
k
ov
colle
c
t: reenable XPASSing docstri
n
g
s
Signed-off-by:
Kirill Smelkov
<kirr@landau.phys.spbu.ru>
commit
|
commitdiff
|
tree
2008-08-26
K
i
rill
S
melkov
Int
e
ger: opti
o
nally coll
e
ct info about obj
e
cts c
r
eati
o
ns
.
.
.
Signed-off-by:
Kirill Smelkov
<kirr@landau.phys.spbu.ru>
commit
|
commitdiff
|
tree
2008-08-26
K
irill Smelkov
F
i
x
I
n
t
eger(Integer(4)) (#1034)
Signed-off-by:
Kirill Smelkov
<kirr@landau.phys.spbu.ru>
commit
|
commitdiff
|
tree
2008-08-22
Kirill
Sme
l
kov
Let's
f
inally
i
ntorduce
.
/setup
.
py be
n
ch
Signed-off-by:
Kirill Smelkov
<kirr@landau.phys.spbu.ru>
commit
|
commitdiff
|
tree
2008-08-21
Kirill Smelkov
In
t
eger: implem
e
n
t
own _
_
sub__ for spee
d
reason
Signed-off-by:
Kirill Smelkov
<kirr@landau.phys.spbu.ru>
commit
|
commitdiff
|
tree
2008-08-21
Kirill Smelkov
s
olve_
l
inear_s
y
stem: precompute
i
nver
s
e pivot
before
.
.
.
Signed-off-by:
Kirill Smelkov
<kirr@landau.phys.spbu.ru>
commit
|
commitdiff
|
tree
2008-08-21
Kirill Smelkov
I
nteg
e
r: implement own _
_
i
n
t__ for speed reason
Signed-off-by:
Kirill Smelkov
<kirr@landau.phys.spbu.ru>
commit
|
commitdiff
|
tree
2008-08-21
K
i
rill Sm
e
lkov
Matrix: s
p
eedup __getattr__ a
n
d __setat
t
r__ for eleme
n
t
.
.
.
Signed-off-by:
Kirill Smelkov
<kirr@landau.phys.spbu.ru>
commit
|
commitdiff
|
tree
2008-08-21
K
i
r
i
ll
Sme
l
kov
e
x
amples/qft
.
py -- conve
r
t
output to pp
r
in
t
(#71
9
)
Signed-off-by:
Kirill Smelkov
<kirr@landau.phys.spbu.ru>
commit
|
commitdiff
|
tree
2008-08-17
Kirill S
m
elkov
Add pa
s
sing tests for #1008
Signed-off-by:
Kirill Smelkov
<kirr@landau.phys.spbu.ru>
commit
|
commitdiff
|
tree
2008-08-17
Kiri
l
l Smelkov
Ba
c
k
e
d out c627
a
6870a98
(
"Use nseries in Pow
.
nseries
(
)
"
)
commit
|
commitdiff
|
tree
2008-08-16
Kirill
S
melko
v
risch: re
c
ognize Der
i
vat
i
ve
s
as
c
omponents (#1012
)
Signed-off-by:
Kirill Smelkov
<kirr@landau.phys.spbu.ru>
commit
|
commitdiff
|
tree
2008-08-16
Kirill Smelkov
D
e
r
i
vat
i
ve:
f
ix
.
sub
s
(self, something)
Signed-off-by:
Kirill Smelkov
<kirr@landau.phys.spbu.ru>
commit
|
commitdiff
|
tree
2008-08-16
Kirill Smelkov
Le
t
'
s
use
.
is
_
Der
i
vative for Derivative
Signed-off-by:
Kirill Smelkov
<kirr@landau.phys.spbu.ru>
commit
|
commitdiff
|
tree
2008-08-15
Kirill Smelkov
Welcome
t
o
S
y
m
Py (Sebasti
a
n
Krause
)
commit
|
commitdiff
|
tree
2008-08-14
Kirill Smelkov
t
solv
e
:
te
a
ch it to
solve exp
(
x)+exp(-x)==y (#1011)
Signed-off-by:
Kirill Smelkov
<kirr@landau.phys.spbu.ru>
commit
|
commitdiff
|
tree
2008-08-14
K
i
r
ill Smel
k
ov
tsolve: prevent
i
nfinite
r
ecursio
n
for f(x)+g(x
)
=y
.
.
.
Signed-off-by:
Kirill Smelkov
<kirr@landau.phys.spbu.ru>
commit
|
commitdiff
|
tree
2008-08-10
Kirill
Smelkov
Mul
.
fla
t
ten -- optimi
z
e
f
or all-objects-are-commutative
.
.
.
Signed-off-by:
Kirill Smelkov
<kirr@landau.phys.spbu.ru>
commit
|
commitdiff
|
tree
2008-08-10
Ki
r
i
ll Smelkov
Mul
.
flatten -- more co
m
men
t
s on how things wo
r
k
Signed-off-by:
Kirill Smelkov
<kirr@landau.phys.spbu.ru>
commit
|
commitdiff
|
tree
2008-08-10
K
i
r
i
l
l
Sm
e
lkov
Mul
.
flatten - rew
o
rk how coe
f
f is stor
e
d int
o
c_
p
art
.
.
.
Signed-off-by:
Kirill Smelkov
<kirr@landau.phys.spbu.ru>
commit
|
commitdiff
|
tree
2008-08-10
K
i
rill Sme
l
kov
M
ul
.
fl
a
tten:
r
emove specia
l
h
andling for
C
.
exp thus
.
.
.
Signed-off-by:
Kirill Smelkov
<kirr@landau.phys.spbu.ru>
commit
|
commitdiff
|
tree
2008-08-10
Kirill Smelkov
exp(
x
)
.
as_base_exp
o
nent() -> (S
.
Ex
p
1, x) (
#
1005)
Signed-off-by:
Kirill Smelkov
<kirr@landau.phys.spbu.ru>
commit
|
commitdiff
|
tree
2008-08-10
Kiril
l
S
mel
k
ov
F
i
x
Integer
.
factors()
Signed-off-by:
Kirill Smelkov
<kirr@landau.phys.spbu.ru>
commit
|
commitdiff
|
tree
2008-08-10
Kirill Sm
e
lko
v
Add: o
p
t
i
mize coll
e
c
t
of poly term
s
(2*x*y + 3*x*z
.
.
.
Signed-off-by:
Kirill Smelkov
<kirr@landau.phys.spbu.ru>
commit
|
commitdiff
|
tree
2008-08-10
Kiri
l
l Smelkov
Add/
M
ul
-
- introduce
.
_new
_
r
a
w
a
r
gs()
Signed-off-by:
Kirill Smelkov
<kirr@landau.phys.spbu.ru>
commit
|
commitdiff
|
tree
2008-08-09
Kir
i
ll Smel
k
ov
Pow/Symbol
--
d
on't let i
s
_commutative to t
h
r
ough
assumptions
Signed-off-by:
Kirill Smelkov
<kirr@landau.phys.spbu.ru>
commit
|
commitdiff
|
tree
2008-08-09
Kirill Smelkov
Remove le
g
acy assumptions thus impro
v
ing
i
mport time
.
.
.
Signed-off-by:
Kirill Smelkov
<kirr@landau.phys.spbu.ru>
commit
|
commitdiff
|
tree
2008-08-09
K
i
rill Sm
e
lkov
poly_fac
t
o
rs -- robustify docst
r
ing
Signed-off-by:
Kirill Smelkov
<kirr@landau.phys.spbu.ru>
commit
|
commitdiff
|
tree
2008-08-09
K
i
rill Sm
e
lk
o
v
As the
r
esult of pre
v
ou
s
commit, some
tests s
t
a
r
ted
.
.
.
Signed-off-by:
Kirill Smelkov
<kirr@landau.phys.spbu.ru>
commit
|
commitdiff
|
tree
2008-08-09
Kiri
l
l
S
melkov
Add: curr
e
nt code
e
x
p
ects coe
f
f to always
l
ive
i
n
.
.
.
Signed-off-by:
Kirill Smelkov
<kirr@landau.phys.spbu.ru>
commit
|
commitdiff
|
tree
2008-08-09
Kirill S
m
elkov
doc
t
ests: adju
s
t to new sstrrep
r
outp
u
t
Signed-off-by:
Kirill Smelkov
<kirr@landau.phys.spbu.ru>
commit
|
commitdiff
|
tree
2008-08-09
Kirill Smelkov
tes
t
_d
o
c: make doctesting more
robust wrt
hash-changes
.
.
.
Signed-off-by:
Kirill Smelkov
<kirr@landau.phys.spbu.ru>
commit
|
commitdiff
|
tree
2008-08-09
Kirill Smelkov
sympy
.
interac
t
i
v
e -- rework init_prin
t
ing to suppor
t
.
.
.
Signed-off-by:
Kirill Smelkov
<kirr@landau.phys.spbu.ru>
commit
|
commitdiff
|
tree
2008-08-09
K
irill Smel
k
ov
prin
t
ing:
a
dd
s
upp
o
rt fo
r
GeometryEntity to
S
trPrinter
.
.
.
Signed-off-by:
Kirill Smelkov
<kirr@landau.phys.spbu.ru>
commit
|
commitdiff
|
tree
2008-08-09
Kirill
Smelkov
printing
:
`srep
r
` s
i
sters -- `sstr` and `sstrre
p
r
`
Signed-off-by:
Kirill Smelkov
<kirr@landau.phys.spbu.ru>
commit
|
commitdiff
|
tree
2008-08-08
Kir
i
ll
Smelkov
[6/6] let'
s
re
m
ove
m
ultiple
i
nheritance (not
e
o
n
.
.
.
Signed-off-by:
Kirill Smelkov
<kirr@landau.phys.spbu.ru>
commit
|
commitdiff
|
tree
2008-08-08
K
i
r
i
ll Smelkov
[5
/
6] let's remove mu
l
t
iple inh
e
ritance
(
Re
l
Meths
.
.
.
Signed-off-by:
Kirill Smelkov
<kirr@landau.phys.spbu.ru>
commit
|
commitdiff
|
tree
2008-08-08
Kirill Smelkov
[4/6] let
'
s remove multiple
i
n
h
eritan
c
e
(RelMet
h
s
.
.
.
Signed-off-by:
Kirill Smelkov
<kirr@landau.phys.spbu.ru>
commit
|
commitdiff
|
tree
2008-08-08
Ki
r
ill Sm
e
l
k
ov
[3/6] let's remove
multip
l
e
inhe
r
i
t
ance
(No
R
elMe
t
hs
)
Signed-off-by:
Kirill Smelkov
<kirr@landau.phys.spbu.ru>
commit
|
commitdiff
|
tree
2008-08-08
Kiril
l
Smelko
v
[2/6
]
let's rem
o
ve multiple
inheri
t
anc
e
(NoA
r
ithMeths)
Signed-off-by:
Kirill Smelkov
<kirr@landau.phys.spbu.ru>
commit
|
commitdiff
|
tree
2008-08-08
Kiril
l
Smelkov
[1/6
]
let's remove
multi
p
le
in
h
e
r
i
ta
n
ce
(Singleton)
Signed-off-by:
Kirill Smelkov
<kirr@landau.phys.spbu.ru>
commit
|
commitdiff
|
tree
2008-08-07
Kiri
l
l
Smelko
v
T
e
ach 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 Sm
e
lko
v
printing: add support for sets for str and pretty printers
Signed-off-by:
Kirill Smelkov
<kirr@landau.phys.spbu.ru>
commit
|
commitdiff
|
tree
2008-08-07
K
i
r
ill Smel
k
ov
p
r
int
i
ng: let's pretty
-
sort dic
t
s
Signed-off-by:
Kirill Smelkov
<kirr@landau.phys.spbu.ru>
commit
|
commitdiff
|
tree
2008-08-07
Kirill Sm
e
lkov
Basic
.
com
p
are_
p
retty -- to pretty-compare both SymPy
.
.
.
Signed-off-by:
Kirill Smelkov
<kirr@landau.phys.spbu.ru>
commit
|
commitdiff
|
tree
2008-08-07
Ki
r
ill
Sme
l
kov
Move Add
.
c
o
mpare_t
e
r
m
s
to B
a
sic
.
_compare
_
pr
e
tt
y
Signed-off-by:
Kirill Smelkov
<kirr@landau.phys.spbu.ru>
commit
|
commitdiff
|
tree
2008-08-07
Kir
i
l
l Smelkov
pretty: merge handling of str
a
nd
u
nic
o
de
Signed-off-by:
Kirill Smelkov
<kirr@landau.phys.spbu.ru>
commit
|
commitdiff
|
tree
2008-08-07
Kirill
S
me
l
kov
R
o
bert Cimr
m
an added to a
b
o
u
tus
.
txt
commit
|
commitdiff
|
tree
2008-08-07
K
i
r
ill Sme
l
kov
Bastia
n
Weber added to credits
commit
|
commitdiff
|
tree
2008-08-07
Kirill
Smelkov
print
i
n
g
.
str -- add approp
r
iate tests for
#992
Signed-off-by:
Kirill Smelkov
<kirr@landau.phys.spbu.ru>
commit
|
commitdiff
|
tree
2008-08-07
Kirill Smelkov
pr
i
n
t
ing
.
str
-
- remove H
A
C
K in
_
print_Add
Signed-off-by:
Kirill Smelkov
<kirr@landau.phys.spbu.ru>
commit
|
commitdiff
|
tree
2008-08-07
K
i
r
ill Sme
l
kov
Fix
f
or w1
.
match(w2+w3) (#992)
Signed-off-by:
Kirill Smelkov
<kirr@landau.phys.spbu.ru>
commit
|
commitdiff
|
tree
2008-08-04
Kirill Smelko
v
Add support for var('x,y,z') (#955)
Signed-off-by:
Kirill Smelkov
<kirr@landau.phys.spbu.ru>
commit
|
commitdiff
|
tree
2008-07-29
Kiri
l
l Smelkov
ri
s
ch: "ro
b
ust
i
f
y
" test_heurisc
h
_
fractions()
Signed-off-by:
Kirill Smelkov
<kirr@landau.phys.spbu.ru>
commit
|
commitdiff
|
tree
2008-07-29
Kirill Smel
k
ov
Add/Mul
-
-
don'
t
l
et is_
c
ommutative to
g
o t
o
assumpti
o
n
s
Signed-off-by:
Kirill Smelkov
<kirr@landau.phys.spbu.ru>
commit
|
commitdiff
|
tree
2008-07-28
Kirill Smelkov
New-s
t
y
l
e clas
s
e
s
+ __getattr__ sucks
,
he
r
e is why:
Signed-off-by:
Kirill Smelkov
<kirr@landau.phys.spbu.ru>
commit
|
commitdiff
|
tree
2008-07-27
Kirill Smelkov
Stefano added to
R
E
A
DME and cred
i
ts
commit
|
commitdiff
|
tree
2008-07-26
Kirill Sm
e
l
kov
e
x
am
p
les
/
relativity
.
py -- co
n
ver
t
o
utput to pprint
.
.
.
Signed-off-by:
Kirill Smelkov
<kirr@landau.phys.spbu.ru>
commit
|
commitdiff
|
tree
2008-07-26
Kirill Smelkov
pprint:
p
rettify matr
i
x
o
utput (#495)
Signed-off-by:
Kirill Smelkov
<kirr@landau.phys.spbu.ru>
commit
|
commitdiff
|
tree
2008-07-26
Kiril
l
Smelkov
Add test f
o
r already fixed #63
4
Signed-off-by:
Kirill Smelkov
<kirr@landau.phys.spbu.ru>
commit
|
commitdiff
|
tree
2008-07-26
Ki
r
i
l
l Smelkov
F
i
x str(Re
a
l) (#
9
62)
Signed-off-by:
Kirill Smelkov
<kirr@landau.phys.spbu.ru>
commit
|
commitdiff
|
tree
2008-07-26
Ki
r
ill
S
me
l
kov
"Fix" do
c
strin
g
where output depends
on
i
ntern
a
l ordering
.
Signed-off-by:
Kirill Smelkov
<kirr@landau.phys.spbu.ru>
commit
|
commitdiff
|
tree
2008-07-25
Kirill Smelkov
[
24/24] M
u
l: more tests for
.
i
s
_negati
v
e & f
r
i
e
nds
Signed-off-by:
Kirill Smelkov
<kirr@landau.phys.spbu.ru>
commit
|
commitdiff
|
tree
2008-07-25
Kirill
S
melkov
[23/24] P
o
w:
fix
t
ests (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 XPAS
S
'ing tes
t
s in sy
m
py/c
o
re
/
tests/tes
t
_assu
m
ptio
.
.
.
Signed-off-by:
Kirill Smelkov
<kirr@landau.phys.spbu.ru>
commit
|
commitdiff
|
tree
2008-07-25
Ki
r
ill Smelkov
[21/
2
4] New test for inf
e
rence ru
l
e
(
!
real -> !integer
.
.
.
Signed-off-by:
Kirill Smelkov
<kirr@landau.phys.spbu.ru>
commit
|
commitdiff
|
tree
2008-07-25
Ki
r
il
l
Smelkov
[20/24]
N
umbers:
correct se
c
ond
a
ry tested assumptions
Signed-off-by:
Kirill Smelkov
<kirr@landau.phys.spbu.ru>
commit
|
commitdiff
|
tree
2008-07-25
K
irill Smelkov
[19/24] I: c
o
rrect te
s
ted
assumptions
Signed-off-by:
Kirill Smelkov
<kirr@landau.phys.spbu.ru>
commit
|
commitdiff
|
tree
2008-07-25
Kirill Smelk
o
v
[18
/
24]
N
eativeOne, Pi, Ex
p
1: correc
t
tested assumptions
Signed-off-by:
Kirill Smelkov
<kirr@landau.phys.spbu.ru>
commit
|
commitdiff
|
tree
2008-07-25
Ki
r
ill
Smelkov
[
17/24] NaN: correct assumptions
Signed-off-by:
Kirill Smelkov
<kirr@landau.phys.spbu.ru>
commit
|
commitdiff
|
tree
2008-07-25
Kirill Smelk
o
v
[16/24
]
+-In
f
inity: correct assumption
s
Signed-off-by:
Kirill Smelkov
<kirr@landau.phys.spbu.ru>
commit
|
commitdiff
|
tree
2008-07-25
K
irill S
m
elk
o
v
[
15/24]
Zero: correct
assumptions
Signed-off-by:
Kirill Smelkov
<kirr@landau.phys.spbu.ru>
commit
|
commitdiff
|
tree
2008-07-25
Kirill
Smelkov
[
1
4/24] Mul
:
tea
c
h
.
_
e
val_
i
s_ne
g
ative about
a
ll-terms
.
.
.
Signed-off-by:
Kirill Smelkov
<kirr@landau.phys.spbu.ru>
commit
|
commitdiff
|
tree
2008-07-25
Kirill Smelkov
[13/24] Mul: teach it th
a
t !integer -> !even
& !
o
dd
Signed-off-by:
Kirill Smelkov
<kirr@landau.phys.spbu.ru>
commit
|
commitdiff
|
tree
2008-07-25
K
i
r
i
l
l Smelkov
[12/24
]
Mul: t
e
ach
.
is_r
e
a
l
&
.
is_imaginary
to account
.
.
.
Signed-off-by:
Kirill Smelkov
<kirr@landau.phys.spbu.ru>
commit
|
commitdiff
|
tree
2008-07-25
Kir
i
l
l Smelkov
[11/
2
4]
rework ass
u
mptions
.
py to u
s
e
Fact
R
ul
e
s
.
.
.
Signed-off-by:
Kirill Smelkov
<kirr@landau.phys.spbu.ru>
commit
|
commitdiff
|
tree
2008-07-25
Ki
r
ill Sm
e
lkov
[10/
2
4] r
e
work a
s
sumptions
.
py to use F
a
ct
R
ul
e
s
.
.
.
Signed-off-by:
Kirill Smelkov
<kirr@landau.phys.spbu.ru>
commit
|
commitdiff
|
tree
2008-07-25
Ki
r
ill Smelkov
[9/24]:
r
ewor
k
a
ssumptio
n
s
.
p
y
to use Fa
c
tRul
e
s (Basi
c
Meta
.
.
.
Signed-off-by:
Kirill Smelkov
<kirr@landau.phys.spbu.ru>
commit
|
commitdiff
|
tree
2008-07-25
Kirill Smelkov
[8/24]:
rework assumptions
t
o use FactRules
(no
.
assume())
Signed-off-by:
Kirill Smelkov
<kirr@landau.phys.spbu.ru>
commit
|
commitdiff
|
tree
2008-07-25
K
i
ril
l
Smelko
v
[7/24]: rework assumptions to us
e
F
a
ct
R
ules (ha
s
h
)
Signed-off-by:
Kirill Smelkov
<kirr@landau.phys.spbu.ru>
commit
|
commitdiff
|
tree
2008-07-25
Kirill
Smelkov
[6/24
]
: rework assumptions
t
o
use F
a
ctRu
l
es (Basic)
Signed-off-by:
Kirill Smelkov
<kirr@landau.phys.spbu.ru>
commit
|
commitdiff
|
tree
2008-07-25
Kirill
S
melkov
[5/24]:
re
w
or
k
assumptions
t
o
use
FactRules (BasicMeta)
Signed-off-by:
Kirill Smelkov
<kirr@landau.phys.spbu.ru>
commit
|
commitdiff
|
tree
2008-07-25
Kiri
l
l Sme
l
k
ov
[4/24]: rework assumptio
n
s
.
py
t
o use FactRules
(kill
.
.
.
Signed-off-by:
Kirill Smelkov
<kirr@landau.phys.spbu.ru>
commit
|
commitdiff
|
tree
2008-07-25
Ki
r
ill Smelkov
[3
/
24]:
re
w
ork
a
ssumption
s
to
use FactRules (assumptions
.
py)
Signed-off-by:
Kirill Smelkov
<kirr@landau.phys.spbu.ru>
commit
|
commitdiff
|
tree
2008-07-25
Kirill
S
me
l
kov
[2/24] ru
l
e based i
n
ference engine (engin
e
itself)
Signed-off-by:
Kirill Smelkov
<kirr@landau.phys.spbu.ru>
commit
|
commitdiff
|
tree
2008-07-25
K
irill
Sme
l
kov
[1/24] rule bas
e
d infere
n
ce engine (logic)
Signed-off-by:
Kirill Smelkov
<kirr@landau.phys.spbu.ru>
commit
|
commitdiff
|
tree
2008-07-25
Kiri
l
l
Sm
e
lkov
pr
e
tt
y
: fix print
i
n
g
of
long strings e
.
g
.
pi
.
eval
f
.
.
.
Signed-off-by:
Kirill Smelkov
<kirr@landau.phys.spbu.ru>
commit
|
commitdiff
|
tree
2008-07-25
K
i
r
i
l
l Smelkov
p
r
etty
:
special symbol for m
u
l
iply (#957)
commit
|
commitdiff
|
tree
2008-07-25
Kirill Sm
e
lkov
prett
y
_symbo
l
o
g
u: xre
l
-> xsym -
-
it will be applicable
.
.
.
commit
|
commitdiff
|
tree
2008-07-25
Kirill Smelkov
test_roots
:
robu
s
tify tests for
r
oots
(
x**3 + x**2
.
.
.
commit
|
commitdiff
|
tree
2008-07-25
Kirill
S
melkov
t
est_roots:
use sympify an
d
st
r
in
g
repr
e
sentation for
.
.
.
commit
|
commitdiff
|
tree
next