P.S: Sorry, there was a typo, "$SAGE_LOCAL/sage" should read
"$SAGE_LOCAL/bin/sage"
On Mon, May 16, 2022 at 4:35 AM ph h wrote:
> Dear All,
>
> Please find appended below a snippet from $SAGE_ROOT/sage.
>
> Would it be nice if "$SAGE_LOCAL/sage" could be used without assumptions
> instead of "
Dear All,
Please find appended below a snippet from $SAGE_ROOT/sage.
Would it be nice if "$SAGE_LOCAL/sage" could be used without assumptions
instead of "$SAGE_ROOT/local/bin/sage" with the assumption that 'SAGE_LOCAL
is the "local" subdirectory'
BTW, should "$SAGE_LOCAL/sage" be the first c
