SageMath在研究中的应用

数字

圣人:a=RR(平方(2));1.41421356237310圣人:b=sqrt(RealField(100)(2));b条1.4142135623730950488016887242圣人:(a-b).parent()53位精度的实字段圣人:b.父母()100位精度的实数字段圣人:c=RealField(100)(a);c(c)1.4142135623730951454746218587圣人:b至c-9.6672933134529652200516048587e-17
有不同类型的号码可用。浮动有三大类点运算:
  • Python:浮点、复数、十进制
  • SageMath特定:RDF、CDF、RQDF、CC、RR、RIF、CIF
  • 包含的系统:pari、maximum
最重要的是SageMath特定类型。他们使用特定的库并拥有更多功能。RR和CC很重要,因为它们的行为独立于使用MPFR公司库。RDF和CDF使用GSL库,速度非常快与SageMath框架兼容。
左边的示例显示了如何构造不同类型的浮点数和它们之间的相互作用。

代数

圣人:M=整数ModRing(7)鼠尾草:M(2)+M(8)圣人:M.列表()[0, 1, 2, 3, 4, 5, 6]圣人:A.<A,b,c>=阿贝尔群([2,2,3]);A类乘法阿贝尔群同构于C2 x C2 x C3圣人:A.订单()12圣人:A.列表()[1,c,c^2,b,b*c,b*c^2,a*b,a*b*c,a*b*c^2]圣人:c^5*b*a^4*cb条
SageMath是基于面向对象编程语言构建的。它使用此功能来描述数学对象的类别。一个很好的例子是代数对象,如群、环和字段。
在左侧,您可以看到一些关于如何构造和使用它们的示例。第一个选择模7整数环中的两个整数。这个列表()方法列出了该环的所有元素组并将其生成器指定给字母a、b和c。

组合数学

圣人:X=物种。单一物种()圣人:Y=物种。二叉树物种()圣人:L=组合规格()圣人:L定义(X+X*Y*Y+Y*L)圣人:L.生成系列().系数(10)[0, 1, 1, 3, 8, 23, 70, 222, 726, 2431]圣人:L.结构([1,2,3]).基数()18
左边的演示展示了SageMath如何使用组合对象的理论组合种.

将SageMath嵌入LaTeX

\章节{SageTex示例}这是一个小计算:$1+2+\sqrt{3}=\sage{1+2+sqrt(3)}$的总和。在这里可以看到$sin()$-函数:\圣哲图{plot(sin(x),x,0,2*pi)}
可以从LaTeX文档内部调用SageMath命令。这个SageTex包提供了特殊的LaTeX命令,可以将SageMath代码转换为Python文件。然后,SageMath对该文件进行评估,每次计算的结果如下写回LaTeX文件。这甚至适用于图形、源代码和保存物体。
左边的示例显示了如何嵌入像$$1+2+\sqrt{3}$$这样的公式和绘图在LaTeX文档中。
此软件包是/示例/latex_embed子目录和文档。你可以也可以在线获取:CTAN:SageTex包裹
旅游快速入门·旅游绘图·基准