如何使用theano或autowrap评估和编译这样的函数?

时间:2015-04-18 22:50:58

标签: python sympy theano

我想在同情中评估类似形式的功能(更复杂)。

y = a * b / np.sum( a*( b + c) )

其中所有变量都是长度为n的向量。评估将在优化例程的每个时间步进行。因此,我想有效地实施它。最有可能的是,最好编译这些函数,但autowrap模块会给我带来奇怪的错误。

什么有效:

import numpy as np
import sympy as sp
from __future__ import division

a = sp.IndexedBase('a')
b = sp.IndexedBase('b')
c = sp.IndexedBase('c')

n = 4
expr_fun = lambda x:  a[x] * (b[x] + c[x])
expr = [ a[i]*b[i] / np.sum([expr_fun(i) for i in range(n)]) for i in range(n)]

我可以直接在sympy中评估这个表达式:

r = np.random.random(n)
subs_dict = {}
[  subs_dict.update({a[i]:r[i],b[i]:r[i] }) for i in range(n) ]

[expr[i].subs(subs_dict) for i in range(n)]

给我(按预期):

0.0786923966864026*c[0] + 0.403977159637609*c[1] + 0.598011208186539*c[2] + 0.0896229978341944*c[3] + 0.535039725662632

但是我没有编译这个表达式。我几个小时以来一直在阅读博客和手册,但要么我太累了,要么找不到正确的信息。非常感谢任何帮助。

编辑:回应Eric:我现在不知道如何在theano或autowrap中实现向量的总和。我尝试使用lambda函数的不同版本,并得到各种错误。也许最可重复的是与输入的维度有关:

from sympy.printing.theanocode import theano_function
from sympy.printing.theanocode import sympy as sp
from sympy.printing.theanocode import dim_handling
import numpy as np

symbols = ['a', 'b', 'c', 'd']
a, b, c, d = map(sp.Symbol, symbols )
expr = a + b*(c+d)/np.sum(b + c*d)
n = 1
dim = {} # collections.OrderedDict()
[dim.update( {i: n} ) for i in [a, b, c, d] ]

dt = {} # collections.OrderedDict()
[dt.update( {i: 'float64'} ) for i in [a, b, c, d] ]

f = theano_function( [a, b, c, d], [expr], dims = dim, dtypes=dt )

in_var = np.array([ [1,2,3,4] ])
f(in_var.T)

TypeError: ('Bad input argument to theano function at index 0(0-based)', 'Wrong number of dimensions: expected 1, got 2 with shape (4, 1).')

如果我尝试使用autowrap编译一个简单的表达式:

import sympy as sp
from sympy.utilities.autowrap import autowrap
m, n = sp.symbols('m n', integer=True)
a, b, c,d = map(sp.IndexedBase, ['a', 'b', 'c', 'd'])
i = sp.Idx('i',m)
j = sp.Idx('j',n)
instruction = sp.Eq(a[i], b[i]*(c[i] + d[i]) )
f = autowrap(instruction)

我获得:

UnicodeDecodeError: 'ascii' codec can't decode byte 0xe2 in position 3749: ordinal not in range(128) 

1 个答案:

答案 0 :(得分:1)

您的方法存在多种问题。 1)您不能将numpy函数与SymPy类型混合,然后期望代码生成器使用混合类型。 SymPy中的代码生成器仅与SymPy类型一起使用。您可以传入映射到SymPy函数的外部函数。例如,您可以使用sympy.Sum()然后将SymPy.Sum()的映射写入numpy.sum()以供代码生成器使用。 2)据我所知,代码生成器不支持Eq()。 3)索引类型在传递给autowrap时会执行非常具体的操作。您需要仔细阅读有关它们的文档。