Question

我想有人帮助我。有一个非常好的JS库math.js. 它实现了布尔逻辑运算符NOT，OR，AND，XOR。我需要其他的：NOR，NAND，XNOR。

我知道NOR不是OR，但是;有一个问题我需要这些运算符能够将它们用作评估的字符串输入，例如：

（A OR B）XNOR C
B NAND（不是（A或B和C））

math.js有一个解析器，可以将字符串（？）与节点的结构区分开来并对其进行评估。但是，它只知道NOT，OR，AND，XOR。

我的请求是否清楚？有人帮帮我吗？

谢谢！

Answer 1

Math.js有一个常规解析器来执行此操作。这意味着你可以简单地（对于一些大的“简单”值）添加你需要的东西。

（假设你克隆了Math.js from Github）一轮添加nor，其他类似。

在/lib/expression/parse.js中添加你需要的对象NAMED_DELIMITERS（并且不要像我一样忘记逗号;-)）。

var NAMED_DELIMITERS = {
  'mod': true,
  'to': true,
  'in': true,
  'and': true,
  'xor': true,
  'or': true,
  'nor': true,
  'not': true
};

将它添加到/lib/expression/operators.js中列出的运算符中。 e.g：

{ //logical nor
  'OperatorNode:nor': {
    associativity: 'left',
    associativeWith: []
  }
},

编写工作代码（只需从现有函数构建它们）并将文件放在目录/ lib / function / logical /中。

'use strict';

function factory (type, config, load, typed) {
  var latex = require('../../utils/latex');

  var matrix = load(require('../../type/matrix/function/matrix'));

  var algorithm03 = load(require('../../type/matrix/utils/algorithm03'));
  var algorithm05 = load(require('../../type/matrix/utils/algorithm05'));
  var algorithm12 = load(require('../../type/matrix/utils/algorithm12'));
  var algorithm13 = load(require('../../type/matrix/utils/algorithm13'));
  var algorithm14 = load(require('../../type/matrix/utils/algorithm14'));

  var nor = typed('nor', {

    'number, number': function (x, y) {
      return !(!!(x || y));
    },

    'Complex, Complex': function (x, y) {
      return !((x.re !== 0 || x.im !== 0) || (y.re !== 0 || y.im !== 0));
    },

    'BigNumber, BigNumber': function (x, y) {
      return !((!x.isZero() && !x.isNaN()) || (!y.isZero() && !y.isNaN()));
    },

    'Unit, Unit': function (x, y) {
      return !((x.value !== 0 && x.value !== null) || (y.value !== 0 && y.value !== null));
    },

    'Matrix, Matrix': function (x, y) {
      // result
      var c;

      // process matrix storage
      switch (x.storage()) {
        case 'sparse':
          switch (y.storage()) {
            case 'sparse':
              // sparse + sparse
              c = algorithm05(x, y, nor);
              break;
            default:
              // sparse + dense
              c = algorithm03(y, x, nor, true);
              break;
          }
          break;
        default:
          switch (y.storage()) {
            case 'sparse':
              // dense + sparse
              c = algorithm03(x, y, nor, false);
              break;
            default:
              // dense + dense
              c = algorithm13(x, y, nor);
              break;
          }
          break;
      }
      return c;
    },

    'Array, Array': function (x, y) {
      // use matrix implementation
      return nor(matrix(x), matrix(y)).valueOf();
    },

    'Array, Matrix': function (x, y) {
      // use matrix implementation
      return nor(matrix(x), y);
    },

    'Matrix, Array': function (x, y) {
      // use matrix implementation
      return nor(x, matrix(y));
    },

    'Matrix, any': function (x, y) {
      // result
      var c;
      // check storage format
      switch (x.storage()) {
        case 'sparse':
          c = algorithm12(x, y, nor, false);
          break;
        default:
          c = algorithm14(x, y, nor, false);
          break;
      }
      return c;
    },

    'any, Matrix': function (x, y) {
      // result
      var c;
      // check storage format
      switch (y.storage()) {
        case 'sparse':
          c = algorithm12(y, x, nor, true);
          break;
        default:
          c = algorithm14(y, x, nor, true);
          break;
      }
      return c;
    },

    'Array, any': function (x, y) {
      // use matrix implementation
      return algorithm14(matrix(x), y, nor, false).valueOf();
    },

    'any, Array': function (x, y) {
      // use matrix implementation
      return algorithm14(matrix(y), x, nor, true).valueOf();
    }
  });

  nor.toTex = '\\left(${args[0]}' + latex.operators['nor'] + '${args[1]}\\right)';

  return nor;
}

exports.name = 'nor';
exports.factory = factory;

将这些文件添加到位于同一目录中的index.js。

module.exports = [
  require('./and'),
  require('./not'),
  require('./or'),
  require('./nor'),
  require('./xor')
];

将正确的符号添加到/lib/utils/latex.js中的Latex字典

exports.operators = {
  // ...
  'nor': '\\curlywedge'
};

Math.js非常清晰，添加你需要的东西应该没问题，如果不是......那就是Stackoverflow的用途，不是吗？ ; - ）

更新文档。在文件./lib/expression/docs/function/logical/nor.js put

module.exports = {
  'name': 'nor',
  'category': 'Logical',
  'syntax': [
    'x or y',
    'or(x, y)'
  ],
  'description': 'Logical nor. Test if neither value is defined with a nonzero/nonempty value.',
  'examples': [
    'true nor false',
    'false nor false',
    '0 nor 4'
  ],
  'seealso': [
    'not', 'and', 'xor', 'or'
  ]
};

并使用

更新文件./lib/expression/docs/index.js中的doc-index

docs['nor'] = require('./function/logical/or');

更新测试。将文件test / function / logical / or.test.js复制到文件test / function / logical / nor.test.js，并用or替换每个nor并反转所有布尔值。除以下情况外：

  it('should nor two booleans', function () {
    assert.strictEqual(nor(false, false), true);
    assert.strictEqual(nor(false, true), false);
    assert.strictEqual(nor(true, false), false);
    assert.strictEqual(nor(true, true), false);
  });

  it('should nor mixed numbers and booleans', function () {
    assert.strictEqual(nor(2, false), false);
    assert.strictEqual(nor(2, true), false);
    assert.strictEqual(nor(0, false), true);
    assert.strictEqual(nor(0, true), false);
    assert.strictEqual(nor(false, 2), false);
    assert.strictEqual(nor(true, 2), false);
    assert.strictEqual(nor(true, 0), false);
  });

运行以下命令构建math.js：

 npm install
 npm run build

构建过程可能会持续一段时间（minify两分半钟）。

运行测试。

npm test

第202行的test / function / logical / nor.test.js中的测试失败，我不知道它是否在nor实现中（不太可能但可能）或在稀疏矩阵的实现中优化

如果有效：提供你对math.js的更改，但是接受它们的机会非常小（有时候语法糖虽然并不总是令人不悦），所以不要太失望。

如何在math.js中实现NOR，NAND，XNOR？

1 个答案: