/usr/share/axiom-20170501/src/algebra/FMC.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 | )abbrev category FMC FortranMatrixCategory
++ Author: Mike Dewar
++ Date Created: 21 March 1994
++ Description:
++ \axiomType{FortranMatrixCategory} provides support for
++ producing Functions and Subroutines when the input to these
++ is an AXIOM object of type \axiomType{Matrix} or in domains
++ involving \axiomType{FortranCode}.
FortranMatrixCategory() : Category == SIG where
SIG ==> FortranProgramCategory with
coerce : Matrix MachineFloat -> $
++ coerce(v) produces an ASP which returns the value of \spad{v}.
coerce : List FortranCode -> $
++ coerce(e) takes an object from \spadtype{List FortranCode} and
++ uses it as the body of an ASP.
coerce : FortranCode -> $
++ coerce(e) takes an object from \spadtype{FortranCode} and
++ uses it as the body of an ASP.
coerce : Record(localSymbols:SymbolTable,code:List(FortranCode)) -> $
++ coerce(e) takes the component of \spad{e} from
++ \spadtype{List FortranCode} and uses it as the body of the ASP,
++ making the declarations in the \spadtype{SymbolTable} component.
|