/usr/share/axiom-20170501/src/algebra/TEX1.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 | )abbrev package TEX1 TexFormat1
++ Author: Robert S. Sutor
++ Date Created: 1987 through 1990
++ Description:
++ \spadtype{TexFormat1} provides a utility coercion for changing
++ to TeX format anything that has a coercion to the standard output format.
TexFormat1(S) : SIG == CODE where
S : SetCategory
SIG ==> with
coerce : S -> TexFormat()
++ coerce(s) provides a direct coercion from a domain S to
++ TeX format. This allows the user to skip the step of first
++ manually coercing the object to standard output format before
++ it is coerced to TeX format.
CODE ==> add
import TexFormat()
coerce(s : S): TexFormat ==
coerce(s :: OutputForm)$TexFormat
|