aboutsummaryrefslogtreecommitdiff
path: root/src/algebra/combfunc.spad.pamphlet
diff options
context:
space:
mode:
authordos-reis <gdr@axiomatics.org>2009-05-15 19:38:25 +0000
committerdos-reis <gdr@axiomatics.org>2009-05-15 19:38:25 +0000
commitee573325df58dbcc33596630d2710ad2cd37a77d (patch)
treecc70f7c9c4f174b8576a16f61da0f511ae8bc954 /src/algebra/combfunc.spad.pamphlet
parent530c1ee0f24568ecb6d61c3ce2c7af1863595fdf (diff)
downloadopen-axiom-ee573325df58dbcc33596630d2710ad2cd37a77d.tar.gz
* algebra/algfunc.spad.pamphlet (AlgebraicFunction): User
Identifiers for property names. * algebra/combfunc.spad.pamphlet: Likewise. * algebra/constant.spad.pamphlet: Likewise. * algebra/efstruc.spad.pamphlet: Likewise. * algebra/elemntry.spad.pamphlet: Likewise. * algebra/expr.spad.pamphlet: Likewise. * algebra/fspace.spad.pamphlet: Likewise. * algebra/intef.spad.pamphlet: Likewise. * algebra/integrat.spad.pamphlet: Likewise. * algebra/kl.spad.pamphlet: Likewise. * algebra/laplace.spad.pamphlet: Likewise. * algebra/limitps.spad.pamphlet: Likewise. * algebra/liouv.spad.pamphlet: Likewise. * algebra/rdeef.spad.pamphlet: Likewise. * algebra/pfo.spad.pamphlet: Likewise. * algebra/op.spad.pamphlet: Likewise. * algebra/odeef.spad.pamphlet: Likewise. * algebra/manip.spad.pamphlet: Likewise.
Diffstat (limited to 'src/algebra/combfunc.spad.pamphlet')
-rw-r--r--src/algebra/combfunc.spad.pamphlet4
1 files changed, 2 insertions, 2 deletions
diff --git a/src/algebra/combfunc.spad.pamphlet b/src/algebra/combfunc.spad.pamphlet
index fdf4405d..41fe5af5 100644
--- a/src/algebra/combfunc.spad.pamphlet
+++ b/src/algebra/combfunc.spad.pamphlet
@@ -210,7 +210,7 @@ caused nested products and summations to fail. (Issue~\#72)
oppow [expr.val, (expr.exponent)*y]
oppow [x, y]
- belong? op == has?(op, "comb")
+ belong? op == has?(op, 'comb)
fourth l == third rest l
dvpow1 l == second(l) * first(l) ** (second l - 1)
factorials x == facts(x, variables x)
@@ -690,7 +690,7 @@ FunctionalSpecialFunction(R, F): Exports == Implementation where
airyAi(x) == opAiryAi(x)
airyBi(x) == opAiryBi(x)
- belong? op == has?(op, "special")
+ belong? op == has?(op, 'special)
operator op ==
is?(op,'abs) => opabs