aboutsummaryrefslogtreecommitdiff
path: root/src/algebra/asp.spad.pamphlet
diff options
context:
space:
mode:
Diffstat (limited to 'src/algebra/asp.spad.pamphlet')
-rw-r--r--src/algebra/asp.spad.pamphlet14
1 files changed, 3 insertions, 11 deletions
diff --git a/src/algebra/asp.spad.pamphlet b/src/algebra/asp.spad.pamphlet
index b83fcbf5..e5f2b900 100644
--- a/src/algebra/asp.spad.pamphlet
+++ b/src/algebra/asp.spad.pamphlet
@@ -654,12 +654,8 @@ Asp20(name): Exports == Implementation where
MAT EXPR FLOAT, FEXPR,VEC FEXPR,VEC FEXPR,MAT FEXPR)
- Exports ==> FortranMatrixFunctionCategory with
- coerce: MAT FEXPR -> $
- ++coerce(f) takes objects from the appropriate instantiation of
- ++\spadtype{FortranExpression} and turns them into an ASP.
-
- Implementation ==> add
+ Exports == Join(FortranMatrixFunctionCategory, CoercibleFrom MAT FEXPR)
+ Implementation == add
real : UFST := ["real"::FST]$UFST
syms : SYMTAB := empty()
@@ -2986,11 +2982,7 @@ Asp6(name): Exports == Implementation where
VEC ==> Vector
VF2 ==> VectorFunctions2
- Exports == FortranVectorFunctionCategory with
- coerce: Vector FEXPR -> %
- ++coerce(f) takes objects from the appropriate instantiation of
- ++\spadtype{FortranExpression} and turns them into an ASP.
-
+ Exports == Join(FortranVectorFunctionCategory, CoercibleFrom Vector FEXPR)
Implementation == add
real : UFST := ["real"::FST]$UFST