Sympy

Question

我正在尝试通过函数 ccode 使用 sympy 生成 C 代码。

目前，我正在尝试将 sympy 的有理数转换为浮点数以加快计算速度。

例如我有：

import sympy as sp
x=sp.Symbol('x')
y=sp.Symbol('y')
d=sp.Symbol('d')

test=sp.Matrix([
 [x/3 + y + 2*d/3,    0,   0],
 [0, x/3 + y + 2*d/3, 0],
 [0, 0, x/3 + y - 2*d/3]])

res = sp.cse(test)
lines = []

   
for i, result in enumerate(res):
        lines.append(sp.ccode(result,"result_%i"%i, user_functions={'Mul':[(lambda x: x.args[0].is_Rational, lambda x: sp.N(x,n=17))]}))

如果 res 的矩阵部分有分数 (res[1])，我可以用 for 循环和 try/except 语句循环它：

for i in range(len(res[1])):
        try:
            res[1][i].args[0].is_Rational       
        except:
            continue
        else:
            res[1][i]=sp.N(res[0][i],n=20)

并用函数sp.N将有理数转换为浮点数。但是，我很难定义一个 lambda function/any 其他函数来对 res[0].

中的元组列表执行此操作

非常感谢您的帮助！

亲切的问候

Answer 1

您可以采用与 your previous question 类似的方法：子类化代码生成器并覆盖 _print_Rational()。可以通过 settings= 参数添加自定义 user_functions：

import sympy as sp
from sympy.printing.c import C99CodePrinter

class CustomCodePrinter(C99CodePrinter):
    def _print_Rational(self, expr):
        return str(sp.N(expr))

my_user_functions = {"cos": "my_fast_cos"}

custom_ccode = CustomCodePrinter(settings={'user_functions': my_user_functions}).doprint
print(custom_ccode(sp.Rational(1, 7) + sp.cos(sp.Rational(1, 3))))

Answer 2

为了能够在 ccode 中使用 user_functions，做这样的事情是好的做法吗？

from sympy.printing.c import C99CodePrinter
class CustomCodePrinter(C99CodePrinter):
    def _print_Rational(self, expr):
        return str(sp.N(expr, n = 17))
    

def customccode(expr, assign_to=None, **settings):
    return CustomCodePrinter(settings).doprint(expr, assign_to)

Sympy - 生成 C 代码。将有理数转换为浮点数

Sympy - Generate C code. Convert Rational to float

python

python-3.x

code-generation

codegen