Quero mostrar como medir o tempo com sage, sagetex e meio ambiente sagecommandline. Aqui está um exemplo mínimo:
\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}
Mas nem %timeproduz \percento resultado desejado. É possível incluir a saída que contém microssegundos? Na minha máquina, por exemplo:
CPU times: user 11 µs, sys: 0 ns, total: 11 µs Wall time: 14.1 µs 3628800