From f8913372cea43183d427cbe3d00c4967a840329b Mon Sep 17 00:00:00 2001 From: dos-reis Date: Sun, 7 Jun 2009 16:23:51 +0000 Subject: * algebra/kl.spad.pamphlet (name$Kernel): Remove. * algebra/d01weights.spad.pamphlet: Adjust. * algebra/fs2expxp.spad.pamphlet: Likewise. * algebra/fs2ups.spad.pamphlet: Likewise. * algebra/fspace.spad.pamphlet: Likewise. * algebra/limitps.spad.pamphlet: Likewise. * algebra/transsolve.spad.pamphlet: Likewise. --- src/algebra/kl.spad.pamphlet | 3 --- 1 file changed, 3 deletions(-) (limited to 'src/algebra/kl.spad.pamphlet') diff --git a/src/algebra/kl.spad.pamphlet b/src/algebra/kl.spad.pamphlet index 14077426..66c40bed 100644 --- a/src/algebra/kl.spad.pamphlet +++ b/src/algebra/kl.spad.pamphlet @@ -125,8 +125,6 @@ Kernel(S: SetCategory): Exports == Implementation where Exports ==> Join(CachableSet, OrderedSet, Patternable S) with - name : % -> Symbol - ++ name(op(a1,...,an)) returns the name of op. operator: % -> OP ++ operator(op(a1,...,an)) returns the operator op. argument: % -> List S @@ -169,7 +167,6 @@ Kernel(S: SetCategory): Exports == Implementation where is?(k:%, s:Symbol) == is?(operator k, s) is?(k:%, o:OP) == (operator k) = o - name k == name operator k height k == k.nest operator k == k.op argument k == k.arg -- cgit v1.2.3