/usr/share/axiom-20170501/src/algebra/FORMULA1.spad is in axiom-source 20170501-3.
This file is owned by root:root, with mode 0o644.
The actual contents of the file can be viewed below.
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 | )abbrev package FORMULA1 ScriptFormulaFormat1
++ Author: Robert S. Sutor
++ Date Created: 1987 through 1990
++ References:
++ SCRIPT Mathematical Formula Formatter User's Guide, SH20-6453,
++ IBM Corporation, Publishing Systems Information Development,
++ Dept. G68, P.O. Box 1900, Boulder, Colorado, USA 80301-9191.
++ Description:
++ \spadtype{ScriptFormulaFormat1} provides a utility coercion for
++ changing to SCRIPT formula format anything that has a coercion to
++ the standard output format.
ScriptFormulaFormat1(S) : SIG == CODE where
S : SetCategory
SIG ==> with
coerce : S -> ScriptFormulaFormat()
++ coerce(s) provides a direct coercion from an expression s of domain S
++ to SCRIPT formula format. This allows the user to skip the step of
++ first manually coercing the object to standard output format
++ before it is coerced to SCRIPT formula format.
CODE ==> add
import ScriptFormulaFormat()
coerce(s : S): ScriptFormulaFormat ==
coerce(s :: OutputForm)$ScriptFormulaFormat
|