diff options
Diffstat (limited to 'src/algebra/combfunc.spad.pamphlet')
| -rw-r--r-- | src/algebra/combfunc.spad.pamphlet | 84 |
1 files changed, 43 insertions, 41 deletions
diff --git a/src/algebra/combfunc.spad.pamphlet b/src/algebra/combfunc.spad.pamphlet index aa560163..979b6fa2 100644 --- a/src/algebra/combfunc.spad.pamphlet +++ b/src/algebra/combfunc.spad.pamphlet @@ -70,8 +70,8 @@ CombinatorialFunction(R, F): Exports == Implementation where SMP ==> SparseMultivariatePolynomial(R, K) Z ==> Integer - POWER ==> "%power"::Symbol - OPEXP ==> "exp"::Symbol + POWER ==> '%power + OPEXP ==> 'exp SPECIALDIFF ==> "%specialDiff" SPECIALDISP ==> "%specialDisp" SPECIALEQUAL ==> "%specialEqual" @@ -172,14 +172,14 @@ thus introducing the same dummy variable for all products and summations, which caused nested products and summations to fail. (Issue~\#72) <<package COMBF CombinatorialFunction>>= - opfact := operator("factorial"::Symbol)$CommonOperators - opperm := operator("permutation"::Symbol)$CommonOperators - opbinom := operator("binomial"::Symbol)$CommonOperators - opsum := operator("summation"::Symbol)$CommonOperators - opdsum := operator("%defsum"::Symbol)$CommonOperators - opprod := operator("product"::Symbol)$CommonOperators - opdprod := operator("%defprod"::Symbol)$CommonOperators - oppow := operator(POWER::Symbol)$CommonOperators + opfact := operator('factorial)$CommonOperators + opperm := operator('permutation)$CommonOperators + opbinom := operator('binomial)$CommonOperators + opsum := operator('summation)$CommonOperators + opdsum := operator('%defsum)$CommonOperators + opprod := operator('product)$CommonOperators + opdprod := operator('%defprod)$CommonOperators + oppow := operator(POWER)$CommonOperators factorial x == opfact x binomial(x, y) == opbinom [x, y] @@ -410,13 +410,13 @@ dummy variable is introduced to make the indexing variable \lq local\rq. (operator k) args operator op == - is?(op, "factorial"::Symbol) => opfact - is?(op, "permutation"::Symbol) => opperm - is?(op, "binomial"::Symbol) => opbinom - is?(op, "summation"::Symbol) => opsum - is?(op, "%defsum"::Symbol) => opdsum - is?(op, "product"::Symbol) => opprod - is?(op, "%defprod"::Symbol) => opdprod + is?(op,'factorial) => opfact + is?(op,'permutation) => opperm + is?(op,'binomial) => opbinom + is?(op,'summation) => opsum + is?(op,'%defsum) => opdsum + is?(op,'product) => opprod + is?(op,'%defprod) => opdprod is?(op, POWER) => oppow error "Not a combinatorial operator" @@ -670,18 +670,18 @@ FunctionalSpecialFunction(R, F): Exports == Implementation where iabs : F -> F iGamma: F -> F - opabs := operator("abs"::Symbol)$CommonOperators - opGamma := operator("Gamma"::Symbol)$CommonOperators - opGamma2 := operator("Gamma2"::Symbol)$CommonOperators - opBeta := operator("Beta"::Symbol)$CommonOperators - opdigamma := operator("digamma"::Symbol)$CommonOperators - oppolygamma := operator("polygamma"::Symbol)$CommonOperators - opBesselJ := operator("besselJ"::Symbol)$CommonOperators - opBesselY := operator("besselY"::Symbol)$CommonOperators - opBesselI := operator("besselI"::Symbol)$CommonOperators - opBesselK := operator("besselK"::Symbol)$CommonOperators - opAiryAi := operator("airyAi"::Symbol)$CommonOperators - opAiryBi := operator("airyBi"::Symbol)$CommonOperators + opabs := operator('abs)$CommonOperators + opGamma := operator('Gamma)$CommonOperators + opGamma2 := operator('Gamma2)$CommonOperators + opBeta := operator('Beta)$CommonOperators + opdigamma := operator('digamma)$CommonOperators + oppolygamma := operator('polygamma)$CommonOperators + opBesselJ := operator('besselJ)$CommonOperators + opBesselY := operator('besselY)$CommonOperators + opBesselI := operator('besselI)$CommonOperators + opBesselK := operator('besselK)$CommonOperators + opAiryAi := operator('airyAi)$CommonOperators + opAiryBi := operator('airyBi)$CommonOperators abs x == opabs x Gamma(x) == opGamma(x) @@ -699,18 +699,18 @@ FunctionalSpecialFunction(R, F): Exports == Implementation where belong? op == has?(op, "special") operator op == - is?(op, "abs"::Symbol) => opabs - is?(op, "Gamma"::Symbol) => opGamma - is?(op, "Gamma2"::Symbol) => opGamma2 - is?(op, "Beta"::Symbol) => opBeta - is?(op, "digamma"::Symbol) => opdigamma - is?(op, "polygamma"::Symbol)=> oppolygamma - is?(op, "besselJ"::Symbol) => opBesselJ - is?(op, "besselY"::Symbol) => opBesselY - is?(op, "besselI"::Symbol) => opBesselI - is?(op, "besselK"::Symbol) => opBesselK - is?(op, "airyAi"::Symbol) => opAiryAi - is?(op, "airyBi"::Symbol) => opAiryBi + is?(op,'abs) => opabs + is?(op,'Gamma) => opGamma + is?(op,'Gamma2) => opGamma2 + is?(op,'Beta) => opBeta + is?(op,'digamma) => opdigamma + is?(op,'polygamma)=> oppolygamma + is?(op,'besselJ) => opBesselJ + is?(op,'besselY) => opBesselY + is?(op,'besselI) => opBesselI + is?(op,'besselK) => opBesselK + is?(op,'airyAi) => opAiryAi + is?(op,'airyBi) => opAiryBi error "Not a special operator" @@ -864,6 +864,8 @@ FunctionSpaceSum(R, F): Exports == Implementation where <<license>>= --Copyright (c) 1991-2002, The Numerical ALgorithms Group Ltd. --All rights reserved. +--Copyright (C) 2007-2009, Gabriel Dos Reis. +--All rights reserved. -- --Redistribution and use in source and binary forms, with or without --modification, are permitted provided that the following conditions are |