如何在 Visual Studio 2010 上安装 Symbolic C++?

2024-03-15

我有Symbolic C++(可以与V集成的版本,没有关于如何安装它的文档。我从这个网站得到它,它有它如何工作的示例:

http://issc.uj.ac.za/symbolic/symbolic.html http://issc.uj.ac.za/symbolic/symbolic.html

有谁知道如何安装它以与我在 Visual Studio 中的项目一起使用?


这些指令在 Visual C++ 2010 Express 中进行了测试。

由此website http://issc.uj.ac.za/symbolic/symbolic.html下载“SymbolicC++3 3.35 for Visual C++”。

解压缩存档。

双击该文件SymbolicC++3\SymbolicC++3.sln。这是 Microsoft Visual Studio 解决方案。

Visual Studio 转换向导将启动。点击下一步。

在“选择是否创建备份”步骤中,单击“下一步”。

在“准备转换”步骤中,单击完成。

在“转换完成”步骤中,单击“关闭”。

按“F7”构建解决方案。

此时,您可能会在“输出”窗口中收到许多错误。如果是这样,请编辑该文件Program Files (x86)\Microsoft Visual Studio 10.0\vc\include\xlocmon并将第 410 行更改为:

_Str2 += '-', ++_Off;

to

{ _Str2 += '-'; ++_Off; }

并按“F7”再次开始构建。看这个 StackOverflow 问题 https://stackoverflow.com/questions/9619774/compiling-symbolicc-operator-is-ambiguous有关此问题和解决方法的更多讨论。

创建示例项目

在解决方案资源管理器中,右键单击解决方案,然后选择“添加”->“新建项目”。

选择“Win32 控制台应用程序”。

将您的项目命名为“示例”。

在“Win32 应用程序向导”中单击“下一步”。单击“完成”。

在解决方案资源管理器中,右键单击示例项目并选择“设置为启动项目”。

在解决方案资源管理器中,右键单击示例项目。选择“参考文献...”。选择“添加新参考...”。应选择“SymbolicC++3”项目。单击“确定”。

单击“确定”。

在解决方案资源管理器中,右键单击解决方案,选择“配置管理器...”。

将“示例”的配置更改为“发布”。

将“SymbolicC++3”的配置更改为“静态”。

单击“关闭”。

在您的Example.cpp源文件中,输入以下示例程序:

#include "stdafx.h"

#include "..\include\symbolicc++.h"

int _tmain(int argc, _TCHAR* argv[])
{
    auto x = Symbolic("x");
    auto y = Symbolic("y");

    auto z = x * 3 * y * 4 * y * x / y;

    cout << "simplified: " << z << endl;

    cout << "numerical value: " << z[x == 1.2, y == 3.4] << endl;

    system("pause");
    return 0;
}

按“F5”运行程序。

本文内容由网友自发贡献,版权归原作者所有,本站不承担相应法律责任。如您发现有涉嫌抄袭侵权的内容,请联系:hwhale#tublm.com(使用前将#替换为@)

如何在 Visual Studio 2010 上安装 Symbolic C++? 的相关文章

  • 没有强命名的代码签名是否会让您的应用程序容易被滥用?

    尝试了解authenticode代码签名和强命名 我是否正确地认为 如果我对引用一些 dll 非强命名 的 exe 进行代码签名 恶意用户就可以替换我的 DLL 并以看似由我签名但正在运行的方式分发应用程序他们的代码 假设这是真的 那么您似
  • 通过 CMIS (dotCMIS) 连接到 SP2010:异常未经授权

    我正在使用 dotCMIS 并且想要简单连接到我的 SP2010 服务器 我尝试用 C 来做到这一点 如下所示http chemistry apache org dotnet getting started with dotcmis htm
  • GLKit的GLKMatrix“列专业”如何?

    前提A 当谈论线性存储器中的 列主 矩阵时 列被一个接一个地指定 使得存储器中的前 4 个条目对应于矩阵中的第一列 另一方面 行主 矩阵被理解为依次指定行 以便内存中的前 4 个条目指定矩阵的第一行 A GLKMatrix4看起来像这样 u
  • 动态加载程序集的应用程序配置

    我正在尝试将模块动态加载到我的应用程序中 但我想为每个模块指定单独的 app config 文件 假设我的主应用程序有以下 app config 设置
  • 嵌套接口:将 IDictionary> 转换为 IDictionary>?

    我认为投射一个相当简单IDictionary
  • 类模板参数推导 - clang 和 gcc 不同

    下面的代码使用 gcc 编译 但不使用 clang 编译 https godbolt org z ttqGuL template
  • 创建链表而不将节点声明为指针

    我已经在谷歌和一些教科书上搜索了很长一段时间 我似乎无法理解为什么在构建链表时 节点需要是指针 例如 如果我有一个节点定义为 typedef struct Node int value struct Node next Node 为什么为了
  • 重载<<的返回值

    include
  • 垃圾收集器是否在单独的进程中运行?

    垃圾收集器是否在单独的进程中启动 例如 如果我们尝试测量某段代码所花费的进程时间 并且在此期间垃圾收集器开始收集 它会在新进程上启动还是在同一进程中启动 它的工作原理如下吗 Code Process 1 gt Garbage Collect
  • 这些作业之间是否存在顺序点?

    以下代码中的两个赋值之间是否存在序列点 f f x 1 1 x 2 不 没有 在这种情况下 标准确实是含糊不清的 如果你想确认这一点 gcc 有这个非常酷的选项 Wsequence point在这种情况下 它会警告您该操作可能未定义
  • 链接器错误:已定义

    我尝试在 Microsoft Visual Studio 2012 中编译我的 Visual C 项目 使用 MFC 但出现以下错误 error LNK2005 void cdecl operator new unsigned int 2
  • 对现有视频添加水印

    我正在寻找一种用 C 在视频上加水印的方法 就像在上面写文字一样 图片或文字标签 我该怎么做 谢谢 您可以使用 Nreco 视频转换器 代码看起来像 NReco VideoConverter FFMpegConverter wrap new
  • 通过指向其基址的指针删除 POD 对象是否安全?

    事实上 我正在考虑那些微不足道的可破坏物体 而不仅仅是POD http en wikipedia org wiki Plain old data structure 我不确定 POD 是否可以有基类 当我读到这个解释时is triviall
  • 将控制台重定向到 .NET 程序中的字符串

    如何重定向写入控制台的任何内容以写入字符串 对于您自己的流程 Console SetOut http msdn microsoft com en us library system console setout aspx并将其重定向到构建在
  • 混合 ExecutionContext.SuppressFlow 和任务时 AsyncLocal.Value 出现意外值

    在应用程序中 由于 AsyncLocal 的错误 意外值 我遇到了奇怪的行为 尽管我抑制了执行上下文的流程 但 AsyncLocal Value 属性有时不会在新生成的任务的执行范围内重置 下面我创建了一个最小的可重现示例来演示该问题 pr
  • IEnumreable 动态和 lambda

    我想在 a 上使用 lambda 表达式IEnumerable
  • 哪种 C 数据类型可以表示 40 位二进制数?

    我需要表示一个40位的二进制数 应该使用哪种 C 数据类型来处理这个问题 如果您使用的是 C99 或 C11 兼容编译器 则使用int least64 t以获得最大的兼容性 或者 如果您想要无符号类型 uint least64 t 这些都定
  • C# - OutOfMemoryException 在 JSON 文件上保存列表

    我正在尝试保存压力图的流数据 基本上我有一个压力矩阵定义为 double pressureMatrix new double e Data GetLength 0 e Data GetLength 1 基本上 我得到了其中之一pressur
  • 使用.NET技术录制屏幕视频[关闭]

    Closed 这个问题正在寻求书籍 工具 软件库等的推荐 不满足堆栈溢出指南 help closed questions 目前不接受答案 有没有一种方法可以使用 NET 技术来录制屏幕 无论是桌面还是窗口 我的目标是免费的 我喜欢小型 低
  • 对来自流读取器的过滤数据执行小计

    编辑问题未得到解答 我有一个基于 1 个标准的过滤输出 前 3 个数字是 110 210 或 310 给出 3 个不同的组 从流阅读器控制台 问题已编辑 因为第一个答案是我给出的具体示例的字面解决方案 我使用的实际字符串长度为 450 个

随机推荐

  • 从迭代器返回对象的引用

    我想从向量返回对象的引用 并且该对象位于迭代器对象中 我怎样才能做到这一点 我尝试了以下方法 Customer CustomerDB getCustomerById const string id vector
  • 如何在 Node JS 中从目录中读取文件列表(按修改日期排序)

    需要从特定目录中读取文件列表 其中日期按降序或升序修改Node js 我已经尝试过下面的代码但无法得到解决方案 fs readdir path function err files if err throw err else var res
  • 如何通过php从外部网页获取内容?

    我想获取网页中的 标题 描述和关键字 我知道实现这项工作的 3 种方法 a 使用CURL b 使用 fopen c 使用 get meta data 奇怪的是 上述每一项都不能每次都正常工作 对于相同的网址 有时 我可以获得内容 有时 它会
  • 当焦点被移除时,XNA 运行缓慢

    我只是想知道 在制作游戏时 我注意到当我的游戏具有焦点时 就像它应该的那样 IsRunningSlowly 的 GameTime 值返回 false 但是当我更改应用程序时 它会更改为 true 我什至制作了一个空游戏 即使它失去焦点 Is
  • Android GPS 路由系统

    我正在开发一个 Android 应用程序 它可以定位用户 假设用户在路上 并且该应用程序将为用户创建最短路线 以便能够到达用户选择的目的地 定位用户不是问题 因为这里有一个 API http www vogella com articles
  • JavaEE真的可移植吗?

    我正在实施面试时分配给我的 JavaEE 作业 我以前对 EJB 有一些经验 但与 JMS 和 MDB 没有任何关系 以下是我通过大量示例发现的内容 应用程序服务器将其主题和队列绑定到不同的 JNDI 名称 例如topic queue jm
  • 查找并替换为唯一值

    我正在对换行符执行查找和替换 10 并使用以下代码将其替换为段落结束和段落开始标记
  • SOAP Web 服务和 RESTFUL Web 服务之间的区别

    我是 Java 新手 我知道有两种类型的 Web 服务 SOAP 网络服务 RESTful Web 服务 谁能告诉我两者之间的基本区别是什么 以及在哪种情况下SOAP Webservice是在什么情况下创建的RESTful Webservi
  • 如何修复未捕获的 DOMException:无法在“历史记录”上执行“pushState”

    我有这个小应用程序 可以在 webpack dev server 的开发模式下正常工作 但是当我使用生产模式生成的 dist 文件夹中的捆绑文件时 我在浏览器中得到的只是以下错误 Uncaught DOMException Failed t
  • 无法从标量中提取元素

    我有 2 张表公司和联系人 联系人具有地址 JSONB 列 我尝试使用 contact linked to company 上的连接并使用 jsonb array elements company addresses 进行 select 语
  • Vuejs 获取事件正在调用的元素?

    我有多个列表项 我想在单击它们时打开活动类 ul class list body li Pils li li Dubbel li li Tripel li li Quadrupel li li Wit li ul 我已经有一个setFilt
  • 如何使用 PHP 将文件 POST 到 REST 服务器而不将文件写入磁盘?

    我正在尝试将 XML 文件作为内部 API 的 POST 方法的一部分发送到服务器 所有 PHP 文档都指出使用 postVars file path to file xml 来实际发送文件 我想从字符串发送文件 但它仍然需要作为文件上传而
  • 在.NET Framework 2中播放PCM数据?

    我有一个从相机中提取的 u Law 压缩 PCM 数据流 我需要在扬声器上播放它吗 有人知道怎么做吗 我尝试过将 u Law 解码为普通的 WAV 数据 然后使用 SoundPlayer 但它似乎从来没有工作过 SoundPlayer 总是
  • 在函数参数中使用await

    是否可以使用带有参数的await 例如 const run async gt getStudentDetails await getStudentId 即使是这样 这似乎也不是最好的主意 以前有人这样做过吗 是的 您可以使用await每个任
  • 提供继承的静态属性(概念上)

    我有一个 C 基类 我要根据每个类型 而不是每个实例 将信息与其关联 本质上 我希望所有子类都呈现一个 Icon 和一个代表该类型的FriendlyName 我想not必须创建一个类型实例来获取此信息 并且我想要求所有子类提供此信息 理想情
  • 将 Xcode 包版本设置为 git hash

    在 Xcode 中 我想将项目捆绑包版本设置为 git 哈希 以在修订版本和构建之间创建唯一的链接 我已经看到了几篇关于此的帖子 增加了每个版本的内部版本号 但对我来说这似乎过多 我希望有一个内部版本号 测试人员可以在发件人反馈时参考 我在
  • 当通过 JavaScript 设置时,溢出:隐藏不适用于 Firefox 5

    这已被证实是 Firefox 中的一个错误 您可以在以下位置了解更多信息 https bugzilla mozilla org show bug cgi id 686247 https bugzilla mozilla org show b
  • 如何从字符串中删除
    标签等?

    我需要脱掉所有 br 和所有 引号 和所有 和 并仅用空格替换它们 我怎样才能做到这一点 PHP 语言 我已经尝试过这个 br description preg replace br description 但它又回来了 lt gt 代替每
  • Microsoft.Office.Interop.* 版本 12 和 14 之间有什么区别?

    我已经安装了 Visual Studio 2010 和 Office 2007 当我转到 添加引用 并搜索 Office Interop 时 我可以看到每个引用在版本 12 和 14 中出现两次 我最初尝试了版本 14Microsoft O
  • 如何在 Visual Studio 2010 上安装 Symbolic C++?

    我有Symbolic C 可以与V集成的版本 没有关于如何安装它的文档 我从这个网站得到它 它有它如何工作的示例 http issc uj ac za symbolic symbolic html http issc uj ac za sy