aboutsummaryrefslogtreecommitdiff
path: root/src/algebra/fname.spad.pamphlet
diff options
context:
space:
mode:
authordos-reis <gdr@axiomatics.org>2008-11-20 20:05:35 +0000
committerdos-reis <gdr@axiomatics.org>2008-11-20 20:05:35 +0000
commit003d8009ff08ef11901956ac887422cea0cc4b55 (patch)
tree490f1f62576c12798021f11af19bea21f8cc579a /src/algebra/fname.spad.pamphlet
parent87f397a2fabcf265efb39d1be4c2b87633579e19 (diff)
downloadopen-axiom-003d8009ff08ef11901956ac887422cea0cc4b55.tar.gz
* algebra/wtpol.spad.pamphlet (WeightedPolynomials): No
HomotopicTo P. (OrdinaryWeightedPolynomials): Likewise. * algebra/modmonom.spad.pamphlet (ModuleMonomial): Now HomotopicTo MM. * algebra/matrix.spad.pamphlet (coerce$RectangularMatrix): Remove redundant signature. * algebra/lodop.spad.pamphlet (OrdinaryDifferentialRing): Now HomotopicTo HomotopicTo R. * algebra/alql.spad.pamphlet (DataList): Now HomotopicTo List S. * algebra/array1.spad.pamphlet (Tuple): Now HomotopicTo PrimitiveArray S. * algebra/kl.spad.pamphlet (CachableSet): Now HomotopicTo S. * algebra/java.spad.pamphlet (JavaBytecode): Now HomotopicTo Byte. * algebra/fname.spad.pamphlet (FileNameCategory): Extends HomotopicTo String. * algebra/data.spad.pamphlet (Byte): Now HomotopicTo Character.
Diffstat (limited to 'src/algebra/fname.spad.pamphlet')
-rw-r--r--src/algebra/fname.spad.pamphlet10
1 files changed, 1 insertions, 9 deletions
diff --git a/src/algebra/fname.spad.pamphlet b/src/algebra/fname.spad.pamphlet
index e9c558fb..22c7e45a 100644
--- a/src/algebra/fname.spad.pamphlet
+++ b/src/algebra/fname.spad.pamphlet
@@ -28,15 +28,7 @@
++ Description:
++ This category provides an interface to names in the file system.
-FileNameCategory(): Category == SetCategory with
-
- coerce: String -> %
- ++ coerce(s) converts a string to a file name
- ++ according to operating system-dependent conventions.
- coerce: % -> String
- ++ coerce(fn) produces a string for a file name
- ++ according to operating system-dependent conventions.
-
+FileNameCategory(): Category == Join(SetCategory, HomotopicTo String) with
filename: (String, String, String) -> %
++ filename(d,n,e) creates a file name with
++ d as its directory, n as its name and e as its extension.