問題タブ [gap-system]
For questions regarding programming in ECMAScript (JavaScript/JS) and its various dialects/implementations (excluding ActionScript). Note JavaScript is NOT the same as Java! Please include all relevant tags on your question; e.g., [node.js], [jquery], [json], [reactjs], [angular], [ember.js], [vue.js], [typescript], [svelte], etc.
gap-system - 関数から生成行列を作成して CCZ をチェックする
CCZ-equivalence をチェックする例を次に示します。次の関数 CF を Magma から GAP-system に書き換える方法を教えてください。
return-value - GAP の関数呼び出し/プロシージャ呼び出しのペアは何ですか?
関数呼び出し/プロシージャ呼び出しのペアとは、同じことを行う関数のペアを意味しますが、一方は結果を返し、もう一方は引数を結果に変更します。たとえば、ペアList
/ Apply
.
List(list, func)
func
のすべての値に関数を適用した結果のリストを返しますlist
。Apply(list, func)
func
可変リストのすべての値に関数を適用しlist
、変更しlist
ます。
GAP には、私が使用すべきビルトイン バージョンが既にあることを知るために、独自の関数を作成することにうんざりしているので、これらのペアを知っておくと役に立ちます。同様に、Filtered
私が知らない手続き型のカウンターパートはありますか? それとも自分で書く必要がありますか?関数に対応する関数がある場合、その関数のドキュメントに必ずリストされますか? 私が今考えることができる唯一の他のそのようなペアはConcatenation
/Append
です。GAP の他の機能/手順のペアは何ですか?