問題タブ [ecl]

私の状況

通常のシェルでsage.allモジュールを使用している場合、またはのようなメソッドを実行するとエラーがスローされます。pythonsage.allsolveassume

assumeorsolveをシェル (およびプリプロセッサ) で実行sageすると、想定どおりに動作します。

私の質問

sage.allで正しく作業するにはどうすればよいpythonですか?

ありがとう - 私の質問に関して不明な点があれば、コメントしてください。

nqthm-1992 コードを理解したいのですが、これは古風な定理証明です。

私は ECL を Lisp インタープリターとして使用していますが、一般的な Lisp の定義と説明を理解するには、slime パッケージを使用するように勧められました。一般的な Lisp 宣言ではうまくいきますが、nqthm 宣言では失敗します。events.lispnqthm を emacs バッファにロードすると、すべての宣言が検出されるように設定するにはどうすればよいですか?

更新: アドバイスに従って、emacs-slime を再構成してsbclを使用しました。ITERATE の定義を調べようとすると、次のメッセージが表示されました。

どうすればこれを機能させることができますか？

C API を使用して ECL と対話し、状態が保存されているネイティブ関数からクロージャ オブジェクトを作成しようとしています。

私はこれを試しました：

これにより、関数はin lisp でf呼び出し可能になりますが、常にの本体内で戻ります。ネイティブ コードがクロージャの値を読み取れるようにするには、 (環境) パラメータをどのように構築しますか? 私はそれが単なる連想リストだと思っていましたが、どうやらそうではなく、Google で構築した例は見つかりませんでした。(funcall f)cl_boundpnilfenvecl_make_cclosure_va

(:crlf :|cp932|)ECLで外部形式 (たとえば ) を指定するにはどうすればよいですか?

エンコーディングを使用して文字列をファイルに書き込みたい。したがって、次のように REPL を入力します。

次に、デバッガーを呼び出すと、次のように表示されます。

これは間違った方法です...？外部フォーマットが の:utf-8場合、正常に書き込まれました...

• ECL バージョン -- 15.3.7
• OS -- Ubuntu 14.04

Dプログラミング言語でEmbeddable Common Lispを使用する方法はありますか? 遺棄された図書館のようなもの？

私は現在、ECL と一緒に TGUI (SFML に基づく GUI ライブラリ) を使用しています (構成とスクリプトに Lisp を使用できます)。Linux/gcc では正常に動作しますが、Windows/MinGW ECL ではエラーがスローされます。

エラーがスローされるコード内のポイント (エラーを作成する最小限のコード) は次のとおりです。

ラベル、ボタン、チェックボックスなどを問題なく作成できることに注意してください。ただし、編集ボックスを作成しようとすると、ECL が文句を言います。これは私にはまったく意味がありません。TGUI と ECL は完全に無関係なライブラリであり、関数を共有したり、私が知っている方法で相互に依存したりしていません。誰かがこの動作を引き起こす可能性のある考えを持っていますか?

編集: SFML、TGUI、および ECL を最新バージョンの MinGW で完全に再コンパイルしたところ、まったく同じように壊れます。それで、もう十分だと判断したので、代わりに SFGUI を使用するようにプロジェクトを書き直します。 これからは、この質問は学術的な関心のみに限定されます。