文件夹测试包含两个子文件夹： lin和exp 。 第一个包含绑定变量呈线性出现的测试，第二个包含绑定变量以指数形式出现的那些测试。 该实现当前适用于公式，例如 ， 在哪里 —自由变量， -Presburger算术签名中的术语由扩展 。 ，其中c —固定大小的位向量。 要运行所有测试并检查输出，请使用sh all_tests.sh 关于 有关该项目的更多详细信息，请参见pres /
值得注意的是，鲍威尔并不认为美联储将买入国库券的行为，与十年前美联储为应对危机而实施过的量化宽松政策等同。
美国东部时间10月8日下午，美联储主席鲍威尔(Jerome Powell)在全美商业经济协会(NABE)第61届年会上发表演讲。时值10月底议息会议召开前夕，鲍威尔的讲话备受市场关注。
鲍威尔称，美联储将开始扩大资产负债表，正在考虑购买美国国债，但此举是为了储备管理，与2008年金融危机后实施的大规模资产购买计划并不相同。
对于此次鲍威尔的表态，市场早有预期：目前多家金融机构均预期美联储在10月底利率决议上将会降息25个基点至
很多人恐怕是不太理解欧元上演的惊天大逆转，我就简单说说自己的看法。
实际上，实施负利率并不一定就是利空本币的，原因很简单，负利率一方面会有效刺激一部分钱流出现代金融体系之外，并在现代金融业信用创造的放大下造成市场内资金的显著减少；另一方面会诱发银行体系主动的缩小信用创造。
我们都知道，现代银行除过用存贷款利差获利外，其自身具备的信用创造功能就像杠杆一样把这种获利空间放大数倍。如果失去信用创造的功能，对于大多数银行来说，那点存贷利差往往还不够自己的运营成本支出。
银行通过创造信用货币发财，那么它资金链断裂了岂不是很可怕。但是实际上这种事发生的可能性很小，除过其自身的风控和央行最后贷款人的撑腰外，现代社会经济金融体系是其最大的保障。
我们处在一个高度信用化金融化的现代社会，在我们这个社会中，除过一些黑的不能再黑、实在不能见光的钱外，大多数货币不管怎么流转总会回到银行体系内部。所以从宏观上来看，资金在社会各阶层之间的流转对宏观货币的数量毫无影响。
但是这所有的一切都是建立在正利率的基础之上的。建立在理性人都会把钱放在银行里的基础上的。当负利率出现后，这一切被打破了。
既然把钱放在银行还要交钱，那还不如在家挖个坑埋着。这种情况下，一些过于理性的人将会把钱从银行拿出，这些钱就此退出现代金融体系。而以这些钱为基础创造出来的信用货币，自然也会在银行体系内的报表里被湮灭。
而另一方面，如果像日本那样实行分级制，仅针对银行负利率，必然会诱发银行主动的“去杠杆”缩小信用创造，从而减少账面的超额资金。
相比于前者，后者的效果一般来说将会更迅速和快捷，因为一个行业有意识的效率明显要高于整个社会无意识的自发行动。
所以负利率并不一定利空本币，这点要谨记。
有鉴于在欧盟还有扩大qe购债的情况下，昨晚欧元的逆天大翻盘显然表现有些过度。实际上，我个人认为这种情况，与一些做空欧元的长期资本听到以后不会再有宽松计划后的紧急平仓有关。
所以，不要以上次日元的经验做参考来操作欧元。短线来看，个人认为欧元还有下探1.06的可能，至少也要等这轮qe扩债的资金被消化，欧元恐怕才会迎来真正的突破。
