找不到sympy怎么运行 from sympy import * init_printing() # 定义命题 p, q, r, s = symbols('p q r s') premises = [p >> (q | r), q >> s, p, q & ~s] # 推理 conclusion = r for premise in premises: conclusion = conclusion.subs(premise) # 输出结论 if conclusion == True: print("小赵喜欢数学") else: print("推理无效")

时间: 2024-03-26 21:34:17 浏览: 113
ZIP

SymPy_tutorial:SymPy教程说明[仅日语] Web版本==>

如果找不到 `sympy` 模块,可以尝试在命令行或终端中使用以下命令安装: ``` pip install sympy ``` 如果仍然无法安装,可以尝试使用 `conda` 包管理器安装: ``` conda install sympy ``` 如果您使用的是 Jupyter Notebook 等交互式编程环境,可以在代码的开头添加以下语句,以确保正确导入 `sympy` 模块: ``` !pip install sympy from sympy import * init_printing() ``` 这将确保 `sympy` 模块被正确导入,并配置其输出格式以获得更好的显示效果。
阅读全文

相关推荐

import numpy as np import matplotlib.pyplot as plt import sympy from scipy.interpolate import interp1d gamma = 1.2 R = 8.314 T0 = 500 Q = 50 * R * T0 a0 = np.sqrt(gamma * R * T0) M0 = 6.216 P_P0 = sympy.symbols('P_P0') num = 81 x0 = np.linspace(0,1,num) t_t0 = np.linspace(0,15,num) x = x0[1:] T_T0 = t_t0[1:] h0 = [] h1 = []#创建拉姆达为1的空数组 r = [] t = [] c = [] s = [] i = 0 for V_V0 in x: n1 = sympy.solve(1 / (gamma-1) * (P_P0 * V_V0 - 1) - 0.5 * (P_P0 + 1) * (1 - V_V0)- gamma * 0 * Q / a0 ** 2,P_P0)#lamuda=0的Hugoniot曲线方程 n2 = sympy.solve(1 / (gamma-1) * (P_P0 * V_V0 - 1) - 0.5 * (P_P0 + 1) * (1 - V_V0)- gamma * 1 * Q / a0 ** 2,P_P0)#lamuda=1的Hugoniot曲线方程 n3 = sympy.solve(-1 * P_P0 + 1 - gamma * M0 ** 2 * (V_V0 - 1),P_P0)#Reyleigh曲线方程 n4 = 12.014556 / V_V0#等温线 n5 = sympy.solve((P_P0 - 1 / (gamma+1) )* (V_V0-gamma / (gamma + 1)) - gamma / ((gamma + 1) ** 2),P_P0)#声速线 n6 = 10.6677 / np.power(V_V0,1.2)#等熵线 h0.append(n1) h1.append(n2) r.append(n3) t.append(n4) c.append(n5) s.append(n6) i = i+1 h0 = np.array(h0) h1 = np.array(h1) r = np.array(r) t = np.array(t) c = np.array(c) s = np.array(s) plt.plot(x,r,label='Rayleigh') plt.plot(x,t,color='purple',label='isothermal') plt.plot(x,s,color='skyblue',label='isentropic') a = np.where(h0 < 0) b = np.where(c < 0) h0 = np.delete(h0,np.where(h0 < 0)[0],axis = 0)#去除解小于0的值 h1 = np.delete(h1,np.where(h1 < 0)[0],axis = 0)#去除解小于0的值 c = np.delete(c,np.where(c < 0)[0],axis = 0)#去除解小于0的值 x0 = np.delete(x,a,axis = 0)#对应去除x轴上错误值的坐标 x1 = np.delete(x,b,axis = 0) plt.plot(x0,h0,label='Hugoniot(lambda=0)') plt.plot(x0,h1,label='Hugoniot(lambda=1)') plt.plot(x1,c,color='yellow',label='soniclocus') plt.ylim((0,50)) plt.legend() # 显示图例 plt.xlabel('V/V0') plt.ylabel('P/P0') f1 = interp1d(x1, c.T, kind='cubic') f2 = interp1d(x,r.T,kind='cubic') f3 = interp1d(x, t.T, kind='cubic') epsilon = 0.0001 x0 = 0.56 y0 = f1(x0) - f2(x0) while abs(y0) > epsilon: df = (f1(x0 + epsilon) - f2(x0 + epsilon) - y0) / epsilon x0 -= y0 / df y0 = f1(x0) - f2(x0) plt.scatter(x0, y0, 50, color ='red') plt.show()

Traceback (most recent call last): File "E:\pythonproject\lab1.py", line 49, in <module> import sympy File "D:\Anaconda\envs\pythonproject\lib\site-packages\sympy\__init__.py", line 51, in <module> from .core import (sympify, SympifyError, cacheit, Basic, Atom, File "D:\Anaconda\envs\pythonproject\lib\site-packages\sympy\core\__init__.py", line 4, in <module> from .sympify import sympify, SympifyError File "D:\Anaconda\envs\pythonproject\lib\site-packages\sympy\core\sympify.py", line 9, in <module> from sympy.core.random import choice File "D:\Anaconda\envs\pythonproject\lib\site-packages\sympy\core\random.py", line 25, in <module> from sympy.utilities.iterables import is_sequence File "D:\Anaconda\envs\pythonproject\lib\site-packages\sympy\utilities\__init__.py", line 4, in <module> from .iterables import (flatten, group, take, subsets, File "D:\Anaconda\envs\pythonproject\lib\site-packages\sympy\utilities\iterables.py", line 18, in <module> from sympy.utilities.decorator import deprecated File "D:\Anaconda\envs\pythonproject\lib\site-packages\sympy\utilities\decorator.py", line 8, in <module> from sympy.testing.runtests import DependencyError, SymPyDocTests, PyTestReporter File "D:\Anaconda\envs\pythonproject\lib\site-packages\sympy\testing\__init__.py", line 3, in <module> from .runtests import test, doctest File "D:\Anaconda\envs\pythonproject\lib\site-packages\sympy\testing\runtests.py", line 20, in <module> import pdb File "D:\Anaconda\envs\pythonproject\lib\pdb.py", line 74, in <module> import cmd File "D:\Anaconda\envs\pythonproject\lib\cmd.py", line 50, in <module> IDENTCHARS = string.ascii_letters + string.digits + '_' AttributeError: module 'string' has no attribute 'ascii_letters'这是什么错误

import numpy as np import sympy as sp import math #define 时间步长空间步长 time_1 = 0.25 space_1 = 0.25 ht1 = int(1 / time_1) hs1 = int(1 / space_1) ht = ht1 + 1 hs = hs1 + 1 #定义出边界条件对应的函数并且把他的值放到数组里面去 x = sp.symbols("x") y = sp.symbols("y") t = sp.symbols("t") def u_text(x,y,t): return 20 + 80 * (y - np.exp(-0.5*math.pi*math.pi*t)*np.sin(math.pi/2*y)*np.sin(math.pi/2*x)) def u_t0(x,y,t): return 0 def u_x0(x,y,t): return 20 + 80 * y def u_x1(x,y,t): return 20 + 80 * (y - np.exp(-0.5*math.pi*math.pi*t)*np.sin(math.pi/2*y)) def u_y0(x,y,t): return 20 def u_y1(x,y,t): return 20 + 80 * (1 - np.exp(-0.5*math.pi*math.pi*t)*np.sin(math.pi/2*x)) u = np.zeros((ht, hs, hs)) u_cen = np.zeros((ht1, hs, hs)) u_1 = np.zeros((ht, hs, hs))#测试数组 #测试数组值 for i in range(ht): for h in range(hs): for k in range(hs): u_1[i][h][k] = u_text(h*space_1,k*space_1,i*time_1) print(u_1) #边值条件放进数组中 for i in range(ht): for j in range(hs): u[i][hs-1][j] = u_x1(j*space_1, j*space_1, i*time_1) u[i][j][hs-1] = u_y1(j*space_1, j*space_1, i*time_1) u[i][0][j] = u_x0(0, j*space_1, i*time_1) u[:, :, 0] = 20 #print(u) #ADI格式求解 #先对中间值的边界条件确定 aerf_x = time_1 / (2 * space_1 * space_1) aerf_y = time_1 / (2 * space_1 * space_1) for i in range(ht1): for j in range(hs): for k in range(hs-2): if j == 0 or j == hs1: k = k + 1 u_cen[i][j][k]=u[i][j][k]/2+u[i+1][j][k]/2-aerf_y*(u[i+1][j][k+1] -2*u[i+1][j][k]+u[i+1][j][k-1]-u[i][j][k+1]+2*u[i][j][k]-u[i][j][k-1])/4 #print(u_cen) #追赶法求解矩阵 left = np.zeros(ht-1) m1 = np.zeros(ht-1) m2 = -(2*aerf_x + 1) m3 = aerf_x m1[0] = m3 for t in range(ht1): for j in range(hs1-1): j = j+1 m2 = -(2 * aerf_x + 1) for i in range(hs1-1): i = i+1 left[i] = (2*aerf_y-1)*u[t][i][j]-aerf_y*(u[t][i][j+1]+u[t][i][j-1]) + left[i-1]*(-aerf_x/m2) if i >= 2: m2 = m3 + m3*(-m3/m2) m1[i] = m1[i-1]*(-m3/m2) for k in range(hs1-1): k1 = hs1-1-k u_cen[t][k1][j] = (left[k1] - aerf_x * u_cen[t][k1 + 1][j]) / m2-u_cen[t][0][j]*m1[k1]/m2 m2 = -(2 * aerf_x + 1) for i in range(hs1-1): i = i+1 left[i] = (2*aerf_y-1)*u_cen[t][i][j]-aerf_y*(u_cen[t][i][j+1]+u_cen[t][i][j-1]) + left[i-1]*(-aerf_x/m2) if i >= 2: m2 = m2 + m3*(-m3/m2) m1[i] = m1[i-1]*(-m3/m2) for k in range(hs1-1): k1 = hs1-1-k u[t+1][k1][j] = (left[k1] - aerf_x * u[t+1][k1 + 1][j]) / m2-u[t+1][0][j]*m1[k1]/m2 #print(u_cen) print(u)这个代码后面数组输出为什么和前面不同

最新推荐

recommend-type

pandas-1.3.5-cp37-cp37m-macosx_10_9_x86_64.zip

pandas whl安装包,对应各个python版本和系统(具体看资源名字),找准自己对应的下载即可! 下载后解压出来是已.whl为后缀的安装包,进入终端,直接pip install pandas-xxx.whl即可,非常方便。 再也不用担心pip联网下载网络超时,各种安装不成功的问题。
recommend-type

基于java的大学生兼职信息系统答辩PPT.pptx

基于java的大学生兼职信息系统答辩PPT.pptx
recommend-type

基于java的乐校园二手书交易管理系统答辩PPT.pptx

基于java的乐校园二手书交易管理系统答辩PPT.pptx
recommend-type

Aspose资源包:转PDF无水印学习工具

资源摘要信息:"Aspose.Cells和Aspose.Words是两个非常强大的库,它们属于Aspose.Total产品家族的一部分,主要面向.NET和Java开发者。Aspose.Cells库允许用户轻松地操作Excel电子表格,包括创建、修改、渲染以及转换为不同的文件格式。该库支持从Excel 97-2003的.xls格式到最新***016的.xlsx格式,还可以将Excel文件转换为PDF、HTML、MHTML、TXT、CSV、ODS和多种图像格式。Aspose.Words则是一个用于处理Word文档的类库,能够创建、修改、渲染以及转换Word文档到不同的格式。它支持从较旧的.doc格式到最新.docx格式的转换,还包括将Word文档转换为PDF、HTML、XAML、TIFF等格式。 Aspose.Cells和Aspose.Words都有一个重要的特性,那就是它们提供的输出资源包中没有水印。这意味着,当开发者使用这些资源包进行文档的处理和转换时,最终生成的文档不会有任何水印,这为需要清洁输出文件的用户提供了极大的便利。这一点尤其重要,在处理敏感文档或者需要高质量输出的企业环境中,无水印的输出可以帮助保持品牌形象和文档内容的纯净性。 此外,这些资源包通常会标明仅供学习使用,切勿用作商业用途。这是为了避免违反Aspose的使用协议,因为Aspose的产品虽然是商业性的,但也提供了免费的试用版本,其中可能包含了特定的限制,如在最终输出的文档中添加水印等。因此,开发者在使用这些资源包时应确保遵守相关条款和条件,以免产生法律责任问题。 在实际开发中,开发者可以通过NuGet包管理器安装Aspose.Cells和Aspose.Words,也可以通过Maven在Java项目中进行安装。安装后,开发者可以利用这些库提供的API,根据自己的需求编写代码来实现各种文档处理功能。 对于Aspose.Cells,开发者可以使用它来完成诸如创建电子表格、计算公式、处理图表、设置样式、插入图片、合并单元格以及保护工作表等操作。它也支持读取和写入XML文件,这为处理Excel文件提供了更大的灵活性和兼容性。 而对于Aspose.Words,开发者可以利用它来执行文档格式转换、读写文档元数据、处理文档中的文本、格式化文本样式、操作节、页眉、页脚、页码、表格以及嵌入字体等操作。Aspose.Words还能够灵活地处理文档中的目录和书签,这让它在生成复杂文档结构时显得特别有用。 在使用这些库时,一个常见的场景是在企业应用中,需要将报告或者数据导出为PDF格式,以便于打印或者分发。这时,使用Aspose.Cells和Aspose.Words就可以实现从Excel或Word格式到PDF格式的转换,并且确保输出的文件中不包含水印,这提高了文档的专业性和可信度。 需要注意的是,虽然Aspose的产品提供了很多便利的功能,但它们通常是付费的。用户需要根据自己的需求购买相应的许可证。对于个人用户和开源项目,Aspose有时会提供免费的许可证。而对于商业用途,用户则需要购买商业许可证才能合法使用这些库的所有功能。"
recommend-type

管理建模和仿真的文件

管理Boualem Benatallah引用此版本:布阿利姆·贝纳塔拉。管理建模和仿真。约瑟夫-傅立叶大学-格勒诺布尔第一大学,1996年。法语。NNT:电话:00345357HAL ID:电话:00345357https://theses.hal.science/tel-003453572008年12月9日提交HAL是一个多学科的开放存取档案馆,用于存放和传播科学研究论文,无论它们是否被公开。论文可以来自法国或国外的教学和研究机构,也可以来自公共或私人研究中心。L’archive ouverte pluridisciplinaire
recommend-type

【R语言高性能计算秘诀】:代码优化,提升分析效率的专家级方法

![R语言](https://www.lecepe.fr/upload/fiches-formations/visuel-formation-246.jpg) # 1. R语言简介与计算性能概述 R语言作为一种统计编程语言,因其强大的数据处理能力、丰富的统计分析功能以及灵活的图形表示法而受到广泛欢迎。它的设计初衷是为统计分析提供一套完整的工具集,同时其开源的特性让全球的程序员和数据科学家贡献了大量实用的扩展包。由于R语言的向量化操作以及对数据框(data frames)的高效处理,使其在处理大规模数据集时表现出色。 计算性能方面,R语言在单线程环境中表现良好,但与其他语言相比,它的性能在多
recommend-type

在构建视频会议系统时,如何通过H.323协议实现音视频流的高效传输,并确保通信的稳定性?

要通过H.323协议实现音视频流的高效传输并确保通信稳定,首先需要深入了解H.323协议的系统结构及其组成部分。H.323协议包括音视频编码标准、信令控制协议H.225和会话控制协议H.245,以及数据传输协议RTP等。其中,H.245协议负责控制通道的建立和管理,而RTP用于音视频数据的传输。 参考资源链接:[H.323协议详解:从系统结构到通信流程](https://wenku.csdn.net/doc/2jtq7zt3i3?spm=1055.2569.3001.10343) 在构建视频会议系统时,需要合理配置网守(Gatekeeper)来提供地址解析和准入控制,保证通信安全和地址管理
recommend-type

Go语言控制台输入输出操作教程

资源摘要信息:"在Go语言(又称Golang)中,控制台的输入输出是进行基础交互的重要组成部分。Go语言提供了一组丰富的库函数,特别是`fmt`包,来处理控制台的输入输出操作。`fmt`包中的函数能够实现格式化的输入和输出,使得程序员可以轻松地在控制台显示文本信息或者读取用户的输入。" 1. fmt包的使用 Go语言标准库中的`fmt`包提供了许多打印和解析数据的函数。这些函数可以让我们在控制台上输出信息,或者从控制台读取用户的输入。 - 输出信息到控制台 - Print、Println和Printf是基本的输出函数。Print和Println函数可以输出任意类型的数据,而Printf可以进行格式化输出。 - Sprintf函数可以将格式化的字符串保存到变量中,而不是直接输出。 - Fprint系列函数可以将输出写入到`io.Writer`接口类型的变量中,例如文件。 - 从控制台读取信息 - Scan、Scanln和Scanf函数可以读取用户输入的数据。 - Sscan、Sscanln和Sscanf函数则可以从字符串中读取数据。 - Fscan系列函数与上面相对应,但它们是将输入读取到实现了`io.Reader`接口的变量中。 2. 输入输出的格式化 Go语言的格式化输入输出功能非常强大,它提供了类似于C语言的`printf`和`scanf`的格式化字符串。 - Print函数使用格式化占位符 - `%v`表示使用默认格式输出值。 - `%+v`会包含结构体的字段名。 - `%#v`会输出Go语法表示的值。 - `%T`会输出值的数据类型。 - `%t`用于布尔类型。 - `%d`用于十进制整数。 - `%b`用于二进制整数。 - `%c`用于字符(rune)。 - `%x`用于十六进制整数。 - `%f`用于浮点数。 - `%s`用于字符串。 - `%q`用于带双引号的字符串。 - `%%`用于百分号本身。 3. 示例代码分析 在文件main.go中,可能会包含如下代码段,用于演示如何在Go语言中使用fmt包进行基本的输入输出操作。 ```go package main import "fmt" func main() { var name string fmt.Print("请输入您的名字: ") fmt.Scanln(&name) // 读取一行输入并存储到name变量中 fmt.Printf("你好, %s!\n", name) // 使用格式化字符串输出信息 } ``` 以上代码首先通过`fmt.Print`函数提示用户输入名字,并等待用户从控制台输入信息。然后`fmt.Scanln`函数读取用户输入的一行信息(包括空格),并将其存储在变量`name`中。最后,`fmt.Printf`函数使用格式化字符串输出用户的名字。 4. 代码注释和文档编写 在README.txt文件中,开发者可能会提供关于如何使用main.go代码的说明,这可能包括代码的功能描述、运行方法、依赖关系以及如何处理常见的输入输出场景。这有助于其他开发者理解代码的用途和操作方式。 总之,Go语言为控制台输入输出提供了强大的标准库支持,使得开发者能够方便地处理各种输入输出需求。通过灵活运用fmt包中的各种函数,可以轻松实现程序与用户的交互功能。
recommend-type

"互动学习:行动中的多样性与论文攻读经历"

多样性她- 事实上SCI NCES你的时间表ECOLEDO C Tora SC和NCESPOUR l’Ingén学习互动,互动学习以行动为中心的强化学习学会互动,互动学习,以行动为中心的强化学习计算机科学博士论文于2021年9月28日在Villeneuve d'Asq公开支持马修·瑟林评审团主席法布里斯·勒菲弗尔阿维尼翁大学教授论文指导奥利维尔·皮耶昆谷歌研究教授:智囊团论文联合主任菲利普·普雷教授,大学。里尔/CRISTAL/因里亚报告员奥利维耶·西格德索邦大学报告员卢多维奇·德诺耶教授,Facebook /索邦大学审查员越南圣迈IMT Atlantic高级讲师邀请弗洛里安·斯特鲁布博士,Deepmind对于那些及时看到自己错误的人...3谢谢你首先,我要感谢我的两位博士生导师Olivier和Philippe。奥利维尔,"站在巨人的肩膀上"这句话对你来说完全有意义了。从科学上讲,你知道在这篇论文的(许多)错误中,你是我可以依
recommend-type

【R语言机器学习新手起步】:caret包带你进入预测建模的世界

![【R语言机器学习新手起步】:caret包带你进入预测建模的世界](https://static.wixstatic.com/media/cf17e0_d4fa36bf83c7490aa749eee5bd6a5073~mv2.png/v1/fit/w_1000%2Ch_563%2Cal_c/file.png) # 1. R语言机器学习概述 在当今大数据驱动的时代,机器学习已经成为分析和处理复杂数据的强大工具。R语言作为一种广泛使用的统计编程语言,它在数据科学领域尤其是在机器学习应用中占据了不可忽视的地位。R语言提供了一系列丰富的库和工具,使得研究人员和数据分析师能够轻松构建和测试各种机器学