/usr/share/axiom-20170501/src/algebra/INFORM1.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 30 31 | )abbrev package INFORM1 InputFormFunctions1
--)boot $noSubsumption := false
++ Author: Manuel Bronstein
++ Date Last Updated: 19 April 1991
++ Description:
++ Tools for manipulating input forms.
InputFormFunctions1(R) : SIG == CODE where
R : Type
SIG ==> with
packageCall : Symbol -> InputForm
++ packageCall(f) returns the input form corresponding to f$R.
interpret : InputForm -> R
++ interpret(f) passes f to the interpreter, and transforms
++ the result into an object of type R.
CODE ==> add
Rname := devaluate(R)$Lisp :: InputForm
packageCall name ==
convert([convert("$elt"::Symbol), Rname,
convert name]$List(InputForm))@InputForm
interpret form ==
retract(interpret(convert([convert("@"::Symbol), form,
Rname]$List(InputForm))@InputForm)$InputForm)$AnyFunctions1(R)
|