sagecommandline 環境内での %time

sagecommandline 環境内での %time

sage、sagetex、環境を使用して時間を測定する方法を示したいと思いますsagecommandline。以下は最小限の例です。

\documentclass[a6paper,DIV=16]{scrartcl}
\pagestyle{empty}
\usepackage{sagetex}

% arara: lualatex
% arara: sagetex
% arara: lualatex

% !TEX encoding = UTF-8 Unicode
% !TEX TS-program = sage

\begin{document}
\begin{sagecommandline}
sage: factorial(10)
sage: %time factorial(10)
sage: \percent time factorial(10)
\end{sagecommandline}
\end{document}

しかし、どちらも目的の出力を生成しませ%time\percent。マイクロ秒を含む出力を含めることは可能ですか? 私のマシンでは、例えば次のようになります: CPU times: user 11 µs, sys: 0 ns, total: 11 µs Wall time: 14.1 µs 3628800

関連情報