diff options
| author | dos-reis <gdr@axiomatics.org> | 2009-02-04 11:43:05 +0000 |
|---|---|---|
| committer | dos-reis <gdr@axiomatics.org> | 2009-02-04 11:43:05 +0000 |
| commit | c76dce6ee2f6b6830f1087f83bf452974ce3bf09 (patch) | |
| tree | 40e02b9b2ed5af7e36ebf581f5d58d4557ef94bf /src/algebra/liouv.spad.pamphlet | |
| parent | 65045e7285ed629a68ae63529fae61bbcf7bf890 (diff) | |
| download | open-axiom-c76dce6ee2f6b6830f1087f83bf452974ce3bf09.tar.gz | |
* algebra/algfunc.spad.pamphlet: Quote symbols.
* algebra/combfunc.spad.pamphlet: Likewise.
* algebra/drawopt.spad.pamphlet: Likewise.
* algebra/efstruc.spad.pamphlet: Likewise.
* algebra/elemntry.spad.pamphlet: Likewise.
* algebra/expr.spad.pamphlet: Likewise.
* algebra/exprode.spad.pamphlet: Likewise.
* algebra/float.spad.pamphlet: Likewise.
* algebra/gaussian.spad.pamphlet: Likewise.
* algebra/intaux.spad.pamphlet: Likewise.
* algebra/irexpand.spad.pamphlet: Likewise.
* algebra/laplace.spad.pamphlet: Likewise.
* algebra/limitps.spad.pamphlet: Likewise.
* algebra/liouv.spad.pamphlet: Likewise.
* algebra/list.spad.pamphlet: Likewise.
* algebra/lmdict.spad.pamphlet: Likewise.
* algebra/manip.spad.pamphlet: Likewise.
* algebra/matcat.spad.pamphlet: Likewise.
* algebra/matrix.spad.pamphlet: Likewise.
* algebra/mkfunc.spad.pamphlet: Likewise.
* algebra/mset.spad.pamphlet: Likewise.
* algebra/oct.spad.pamphlet: Likewise.
* algebra/op.spad.pamphlet: Likewise.
* algebra/patmatch1.spad.pamphlet: Likewise.
* algebra/pattern.spad.pamphlet: Likewise.
* algebra/quat.spad.pamphlet: Likewise.
* algebra/sets.spad.pamphlet: Likewise.
* algebra/transsolve.spad.pamphlet: Likewise.
* algebra/vector.spad.pamphlet: Likewise.
Diffstat (limited to 'src/algebra/liouv.spad.pamphlet')
| -rw-r--r-- | src/algebra/liouv.spad.pamphlet | 38 |
1 files changed, 20 insertions, 18 deletions
diff --git a/src/algebra/liouv.spad.pamphlet b/src/algebra/liouv.spad.pamphlet index 6be5415c..ee4bd756 100644 --- a/src/algebra/liouv.spad.pamphlet +++ b/src/algebra/liouv.spad.pamphlet @@ -75,14 +75,14 @@ LiouvillianFunction(R, F): Exports == Implementation where dummy := new()$SE :: F - opint := operator("integral"::Symbol)$CommonOperators - opdint := operator("%defint"::Symbol)$CommonOperators - opei := operator("Ei"::Symbol)$CommonOperators - opli := operator("li"::Symbol)$CommonOperators - opsi := operator("Si"::Symbol)$CommonOperators - opci := operator("Ci"::Symbol)$CommonOperators - opli2 := operator("dilog"::Symbol)$CommonOperators - operf := operator("erf"::Symbol)$CommonOperators + opint := operator('integral)$CommonOperators + opdint := operator('%defint)$CommonOperators + opei := operator('Ei)$CommonOperators + opli := operator('li)$CommonOperators + opsi := operator('Si)$CommonOperators + opci := operator('Ci)$CommonOperators + opli2 := operator('dilog)$CommonOperators + operf := operator('erf)$CommonOperators Si x == opsi x Ci x == opci x @@ -136,23 +136,23 @@ LiouvillianFunction(R, F): Exports == Implementation where ili x == x = 1 => INV - is?(x, "exp"::Symbol) => Ei first argument(retract(x)@K) + is?(x,'exp) => Ei first argument(retract(x)@K) kernel(opli, x) iei x == x = 0 => INV - is?(x, "log"::Symbol) => li first argument(retract(x)@K) + is?(x,'log) => li first argument(retract(x)@K) kernel(opei, x) operator op == - is?(op, "integral"::Symbol) => opint - is?(op, "%defint"::Symbol) => opdint - is?(op, "Ei"::Symbol) => opei - is?(op, "Si"::Symbol) => opsi - is?(op, "Ci"::Symbol) => opci - is?(op, "li"::Symbol) => opli - is?(op, "erf"::Symbol) => operf - is?(op, "dilog"::Symbol) => opli2 + is?(op,'integral) => opint + is?(op,'%defint) => opdint + is?(op,'Ei) => opei + is?(op,'Si) => opsi + is?(op,'Ci) => opci + is?(op,'li) => opli + is?(op,'erf) => operf + is?(op,'dilog) => opli2 error "Not a Liouvillian operator" evaluate(opei, iei)$BasicOperatorFunctions1(F) @@ -200,6 +200,8 @@ LiouvillianFunction(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 |