diff options
| author | dos-reis <gdr@axiomatics.org> | 2008-08-30 04:07:42 +0000 |
|---|---|---|
| committer | dos-reis <gdr@axiomatics.org> | 2008-08-30 04:07:42 +0000 |
| commit | e8d97f536bc5aa1e00778e23efd78611cfbe9fe9 (patch) | |
| tree | 19b5531141aed7b0e0aaf49e9bb50d00738bc37c /src/algebra/fortran.spad.pamphlet | |
| parent | 496fe8b336293c1ca960eb3fad67ac005403ee31 (diff) | |
| download | open-axiom-e8d97f536bc5aa1e00778e23efd78611cfbe9fe9.tar.gz | |
More explicit import
Diffstat (limited to 'src/algebra/fortran.spad.pamphlet')
| -rw-r--r-- | src/algebra/fortran.spad.pamphlet | 17 |
1 files changed, 15 insertions, 2 deletions
diff --git a/src/algebra/fortran.spad.pamphlet b/src/algebra/fortran.spad.pamphlet index e4012eeb..92b1f238 100644 --- a/src/algebra/fortran.spad.pamphlet +++ b/src/algebra/fortran.spad.pamphlet @@ -1,16 +1,23 @@ \documentclass{article} \usepackage{axiom} \begin{document} -\title{\$SPAD/src/algebra fortran.spad} +\title{src/algebra fortran.spad} \author{Didier Pinchon, Mike Dewar, William Naylor} \maketitle + \begin{abstract} \end{abstract} -\eject \tableofcontents \eject + \section{domain RESULT Result} + <<domain RESULT Result>>= +import Boolean +import Symbol +import OutputForm +import Any +import TableAggregate )abbrev domain RESULT Result ++ Author: Didier Pinchon and Mike Dewar ++ Date Created: 8 April 1994 @@ -39,6 +46,7 @@ Result():Exports==Implementation where finiteAggregate Implementation ==> Table(Symbol,Any) add + import SExpression -- Constant colon := ": "::Symbol::O @@ -78,8 +86,13 @@ Result():Exports==Implementation where showScalarValues(b:Boolean):Boolean == showScalarValuesFlag := b @ + \section{domain FC FortranCode} + <<domain FC FortranCode>>= +import Void +import List +import Fraction )abbrev domain FC FortranCode -- The FortranCode domain is used to represent operations which are to be -- translated into FORTRAN. |