1

誰かに助けてもらいたいです。非常に優れた JS ライブラリ math.js があります。ブール論理演算子 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 のみを認識します。

私の要求は明確ですか？誰か助けて？

ありがとう！

4

1 に答える 1

3

Math.js には、そのための通常のパーサーがあります。つまり、必要なものを簡単に追加できます（「シンプル」の大きな値の場合）。

( Github からMath.js のクローンを作成したと仮定します) を追加するための 1 つのラウンド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 は非常に読みやすく、必要なものを追加することは問題ありません。;-)

ドキュメントを更新します。ファイル ./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逆にします。次の例外を除きます。

  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

ビルド プロセスには少し時間がかかる場合があります ( の場合は 2 分半minify)。

テストを実行します。

npm test

nor202 行目の test/function/logical/nor.test.js のテストが失敗し、それが実装 (可能性は低いですが可能) にあるのか、疎行列最適化の実装にあるのかわかりません。

それが機能する場合: math.js に変更を提供しますが、受け入れられる可能性は非常に低いです (常にではありませんが、構文糖衣は時々眉をひそめます)、あまり失望しないでください。

于 2015-10-04T16:11:57.003 に答える