From 9025c74466dcd1c38dde5e4c63934ff0b2e4f18d Mon Sep 17 00:00:00 2001 From: dos-reis Date: Thu, 15 Sep 2011 15:09:25 +0000 Subject: * algebra/alql.spad.pamphlet (IndexCard): Now satisfies CoercibleFrom String. Remove explicit coerce export. * algebra/carten.spad.pamphlet (CartesianTensor): Remove explicit coerce export. Add satisfaction of CoercibleFrom appropriate domains. * algebra/color.spad.pamphlet (Palette): Relace explicit coerce export with CoercibleTo %. * algebra/constant.spad.pamphlet (InnerAlgebraicNumber): Likewise. * algebra/dpolcat.spad.pamphlet (DifferentialVariableCategory): Likewise. --- src/algebra/alql.spad.pamphlet | 6 +----- 1 file changed, 1 insertion(+), 5 deletions(-) (limited to 'src/algebra/alql.spad.pamphlet') diff --git a/src/algebra/alql.spad.pamphlet b/src/algebra/alql.spad.pamphlet index 38162c30..400c612e 100644 --- a/src/algebra/alql.spad.pamphlet +++ b/src/algebra/alql.spad.pamphlet @@ -41,7 +41,7 @@ DataList(S:OrderedSet) : Exports == Implementation where ++ This domain implements a container of information ++ about the AXIOM library IndexCard() : Exports == Implementation where - Exports == OrderedSet with + Exports == Join(OrderedSet,CoercibleFrom String) with elt: (%,Symbol) -> String ++ elt(ic,s) selects a particular field from \axiom{ic}. Valid fields ++ are \axiom{name, nargs, exposed, type, abbreviation, kind, origin, @@ -50,10 +50,6 @@ IndexCard() : Exports == Implementation where ++ display(ic) prints a summary of the information contained in \axiom{ic}. fullDisplay: % -> Void ++ fullDisplay(ic) prints all of the information contained in \axiom{ic}. - coerce: String -> % - ++ coerce(s) converts \axiom{s} into an \axiom{IndexCard}. Warning: if - ++ \axiom{s} is not of the right format then an error will occur when using - ++ it. Implementation == add macro I == Integer Rep == String -- cgit v1.2.3