javascript - 如何在 math.js 中实现 NOR、NAND、XNOR？

Question

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

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

(A OR B) XNOR C
B NAND (NOT (A OR B AND 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 中列出的运算符中。例如:

{ //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 中放置

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 并反向所有的 bool 值。除了以下异常(exception)情况:

  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

test/function/logical/nor.test.js中第202行的测试失败，不知道是在nor实现中(不太可能但可能)还是在实现中稀疏矩阵优化。

如果它有效:提供你对 math.js 的更改，但它们被接受的可能性很小(语法糖有时，但不总是，不受欢迎)，所以不要太失望。