/usr/share/axiom-20170501/src/algebra/FORTFN.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 FORTFN FortranFunctionCategory
++ Author: Mike Dewar
++ Date Created: 13 January 1994
++ Date Last Updated: 18 March 1994
++ Description:
++ \axiomType{FortranFunctionCategory} is the category of arguments to
++ NAG Library routines which return (sets of) function values.
FortranFunctionCategory() : 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 : Expression Float -> $
++ retract(e) tries to convert \spad{e} into an ASP, checking that
++ legal Fortran-77 is produced.
retractIfCan : Expression Float -> Union($,"failed")
++ retractIfCan(e) tries to convert \spad{e} into an ASP, checking that
++ legal Fortran-77 is produced.
retract : Expression Integer -> $
++ retract(e) tries to convert \spad{e} into an ASP, checking that
++ legal Fortran-77 is produced.
retractIfCan : Expression Integer -> Union($,"failed")
++ retractIfCan(e) tries to convert \spad{e} into an ASP, checking that
++ legal Fortran-77 is produced.
retract : Polynomial Float -> $
++ retract(e) tries to convert \spad{e} into an ASP, checking that
++ legal Fortran-77 is produced.
retractIfCan : Polynomial Float -> Union($,"failed")
++ retractIfCan(e) tries to convert \spad{e} into an ASP, checking that
++ legal Fortran-77 is produced.
retract : Polynomial Integer -> $
++ retract(e) tries to convert \spad{e} into an ASP, checking that
++ legal Fortran-77 is produced.
retractIfCan : Polynomial Integer -> Union($,"failed")
++ retractIfCan(e) tries to convert \spad{e} into an ASP, checking that
++ legal Fortran-77 is produced.
retract : Fraction Polynomial Float -> $
++ retract(e) tries to convert \spad{e} into an ASP, checking that
++ legal Fortran-77 is produced.
retractIfCan : Fraction Polynomial Float -> Union($,"failed")
++ retractIfCan(e) tries to convert \spad{e} into an ASP, checking that
++ legal Fortran-77 is produced.
retract : Fraction Polynomial Integer -> $
++ retract(e) tries to convert \spad{e} into an ASP, checking that
++ legal Fortran-77 is produced.
retractIfCan : 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 FortranExpression.
|