SymPy是符号数学的Python库。它的目标是成为一个全功能的计算机代数系统，同时保持代码简洁、易于理解和扩展 服务器Ubuntu 1.安装Python 2.安装SymPy库 3.解一元一次方程 x*2-6=0 结果 4.解二元一次方程 结果 注：(1)在计算之前要将变量设为符号 (2)要将变量一 ...
分类：
编程语言 时间：
2017-01-18 14:50:24
阅读次数：
314
代数系统部分 基础定理 鸽巢原理 群论 环与域 格论 图论部分 基础定理 握手定理 握手定理，有n个人握手，每人握手x次，握手总次数为S= nx/2。 推出 图的度与边数的关系 基础概念 图的表示 图的连通性 欧拉图/汉密尔顿图 二部图 平面图 树 ...
分类：
其他好文 时间：
2016-12-27 00:58:48
阅读次数：
289
简介 SymPy是一个符号计算的Python库。它的目标是成为一个全功能的计算机代数系统，同时保持代码简 洁、易于理解和扩展。它完全由Python写成，不依赖于外部库。SymPy支持符号计算、高精度计算、模式匹配、绘图、解方程、微积分、组合数学、离散 数学、几何学、概率与统计、物理学等方面的功能。( ...
分类：
其他好文 时间：
2016-08-30 22:32:41
阅读次数：
7378
2011年9月26日，召集学生开会，讨论了近期的学习任务。（1）数学类：范畴论，应用数学(集合论、群、环、域)，元胞自动机（CA）（英文）等；（2）方法类：工程创新方法论；（3）开题报告：存在哪些问题？要解决什么问题？建模方法；采用什么技术；效果如何验证？ 以下是关于代数系统的一点学习心得。 1. ...
分类：
其他好文 时间：
2016-05-04 08:56:34
阅读次数：
287
1 初识计算机代数系统Maple1.1 Maple简说1980年9月, 加拿大Waterloo大学的符号计算机研究小组成立, 開始了符号计算在计算机上实现的研究项目, 数学软件Maple是这个项目的产品. 眼下, 这仍是一个正在研究的项目.Maple的第一个商业版本号是1985年出版的. 随后几经更...
分类：
其他好文 时间：
2015-12-31 19:20:21
阅读次数：
289
抽象代数不是为了抽象而抽象，它所研究的代数系统都有着广泛的实例原型。群论的学习中我们已经看到很多系统同时存在着两个运算，而且它们是相互关联的，这就迫使我们来研究这种代数系统的结构和特点。从另一方面看，运算之间的互相牵连也会导致单个运算的特殊性质，你将会在后面的讨论中看到这一点。1. 环1.1 环.....
分类：
其他好文 时间：
2015-09-09 13:25:39
阅读次数：
226
1. 代数系统
1.1 运算律
我们已经知道函数的概念，它表示集合间的一种映射关系。多数场景里，像和原像往往是同一个集合，这里就讨论这样的函数。一元函数\(f:A\mapsto A\)也被称为集合\(A\)上的变换，其中双射的变换也称为置换。一般如下式的多元函数，也被称为集合\(A\)上的\(n\)元运算。集合\(S\)以及其上的一些运算\(f_1,f_2,\cdots,f_m\)组成的系...
分类：
其他好文 时间：
2015-05-10 17:16:54
阅读次数：
293
1. 代数系统1.1 运算律 我们已经知道函数的概念，它表示集合间的一种映射关系。多数场景里，像和原像往往是同一个集合，这里就讨论这样的函数。一元函数\(f:A\mapsto A\)也被称为集合\(A\)上的变换，其中双射的变换也称为置换。一般如下式的多元函数，也被称为集合\(A\)上的\(n\)....
分类：
其他好文 时间：
2015-05-09 19:03:20
阅读次数：
275
/*Stern-Brocot代数系统Stern-Brocot树是一种生成所有非负的最简分数m/n的美妙方式。其基本方式是从(0/1, 1/0)这两个分数开始， 根据需要反复执行如下操作：在相邻的分数 m/n 和 m1/n1之间插入 (m+m1)/(n+n1)例如，可以将它看成是无限延伸的二叉树 .....
分类：
其他好文 时间：
2015-05-02 11:08:15
阅读次数：
111
过去的一年致力于IEEE 802.3bj的前向纠错编码模块(FEC)，发现可以把我的对偶综合工作扩展到FEC上，包括FEC的形式化验证和对偶综合。
这就导致了我需要学习纠错码，而相关的多项式环和有限域操作需要在计算代数系统上进行操作，这就导致了我需要学习计算代数系统。
常见的计算代数系统由Singular(www.singular.uni-kl.de)和GAP(www.gap-system.o...
分类：
其他好文 时间：
2015-03-13 20:43:47
阅读次数：
177
