From 49727ef97a25730307fdb9622be726e92a41a875 Mon Sep 17 00:00:00 2001
From: dos-reis <gdr@axiomatics.org>
Date: Fri, 21 Nov 2008 04:54:55 +0000
Subject: 	* algebra/alql.spad.pamphlet (Database): Now CoercibleFrom
 List S. 	* algebra/asp.spad.pamphlet (Asp20): Now CoercibleFrom MAT
 FEXPR. 	(Asp6): Now CoercibleFrom Vector FEXPR. 	*
 algebra/catdef.spad.pamphlet (Algebra): Extend CoercibleFrom R. 
 (Ring): Extend CoercibleFrom Integer. 	* algebra/formula.spad.pamphlet
 (ScriptFormulaFormat): Now 	CoercibleFrom E. 	*
 algebra/fortran.spad.pamphlet (FortranCode): Remove redundant 	signature. 
 * algebra/fs2ups.spad.pamphlet 
 (FunctionSpaceToUnivariatePowerSeries):  Tidy parameter. 	*
 algebra/laurent.spad.pamphlet 	(UnivariateLaurentSeriesConstructorCategory):
 Extend CoercibleFrom 	UTS. 	* algebra/manip.spad.pamphlet
 (PolynomialRoots): Tidy parameter. 	* algebra/modmon.spad.pamphlet
 (ModMonic): Now CoercibleFrom Rep. 	* algebra/ore.spad.pamphlet
 (UnivariateSkewPolynomial): Now 	CoercibleFrom Variable x.

---
 src/algebra/asp.spad.pamphlet | 14 +++-----------
 1 file changed, 3 insertions(+), 11 deletions(-)

(limited to 'src/algebra/asp.spad.pamphlet')

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
-- 
cgit v1.2.3