/usr/share/axiom-20170501/src/algebra/FMFUN.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 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63 64 65 66 67 68 69 70 71 72 73 74 75 | )abbrev category FMFUN FortranMatrixFunctionCategory
++ Author: Mike Dewar
++ Date Created: March 18 1994
++ Description:
++ \axiomType{FortranMatrixFunctionCategory} provides support for
++ producing Functions and Subroutines representing matrices of
++ expressions.
FortranMatrixFunctionCategory() : Category == SIG where
SIG ==> FortranProgramCategory with
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.
retract : Matrix Expression Float -> $
++ retract(e) tries to convert \spad{e} into an ASP, checking that
++ legal Fortran-77 is produced.
retractIfCan : Matrix Expression Float -> Union($,"failed")
++ retractIfCan(e) tries to convert \spad{e} into an ASP, checking that
++ legal Fortran-77 is produced.
retract : Matrix Expression Integer -> $
++ retract(e) tries to convert \spad{e} into an ASP, checking that
++ legal Fortran-77 is produced.
retractIfCan : Matrix Expression Integer -> Union($,"failed")
++ retractIfCan(e) tries to convert \spad{e} into an ASP, checking that
++ legal Fortran-77 is produced.
retract : Matrix Polynomial Float -> $
++ retract(e) tries to convert \spad{e} into an ASP, checking that
++ legal Fortran-77 is produced.
retractIfCan : Matrix Polynomial Float -> Union($,"failed")
++ retractIfCan(e) tries to convert \spad{e} into an ASP, checking that
++ legal Fortran-77 is produced.
retract : Matrix Polynomial Integer -> $
++ retract(e) tries to convert \spad{e} into an ASP, checking that
++ legal Fortran-77 is produced.
retractIfCan : Matrix Polynomial Integer -> Union($,"failed")
++ retractIfCan(e) tries to convert \spad{e} into an ASP, checking that
++ legal Fortran-77 is produced.
retract : Matrix Fraction Polynomial Float -> $
++ retract(e) tries to convert \spad{e} into an ASP, checking that
++ legal Fortran-77 is produced.
retractIfCan : Matrix Fraction Polynomial Float -> Union($,"failed")
++ retractIfCan(e) tries to convert \spad{e} into an ASP, checking that
++ legal Fortran-77 is produced.
retract : Matrix Fraction Polynomial Integer -> $
++ retract(e) tries to convert \spad{e} into an ASP, checking that
++ legal Fortran-77 is produced.
retractIfCan : Matrix Fraction Polynomial Integer -> Union($,"failed")
++ retractIfCan(e) tries to convert \spad{e} into an ASP, checking that
++ legal Fortran-77 is produced.
-- NB: These ASPs also have a coerce from an appropriate instantiation
-- of Matrix FortranExpression.
|