diff options
author | dos-reis <gdr@axiomatics.org> | 2009-06-07 16:23:51 +0000 |
---|---|---|
committer | dos-reis <gdr@axiomatics.org> | 2009-06-07 16:23:51 +0000 |
commit | f8913372cea43183d427cbe3d00c4967a840329b (patch) | |
tree | 0d650b74174ea15413221f1f6448b7870f0ab0c2 /src/algebra/d01weights.spad.pamphlet | |
parent | 03ca123dfb990c5ea8dde05b6f10902e4a4019b9 (diff) | |
download | open-axiom-f8913372cea43183d427cbe3d00c4967a840329b.tar.gz |
* 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.
Diffstat (limited to 'src/algebra/d01weights.spad.pamphlet')
-rw-r--r-- | src/algebra/d01weights.spad.pamphlet | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/src/algebra/d01weights.spad.pamphlet b/src/algebra/d01weights.spad.pamphlet index f400d32d..0679c46e 100644 --- a/src/algebra/d01weights.spad.pamphlet +++ b/src/algebra/d01weights.spad.pamphlet @@ -72,7 +72,7 @@ d01WeightsPackage(): E == I where voo?:(EDF,EDF)->Boolean kernelIsLog(k:KEDF):Boolean == - (name k = (log :: Symbol))@Boolean + (name operator k = (log :: Symbol))@Boolean factorIn?(a:EDF,l:LEDF):Boolean == for i in 1..# l repeat @@ -205,7 +205,7 @@ d01WeightsPackage(): E == I where m case LEDF => -- if it is a list, it will have at least two elements is?(second(m)$LEDF,var)$EDF => omega:DF := retract(first(m)$LEDF)@DF - o:BOP := operator(n:Symbol:=name(e)$KEDF)$BOP + o:BOP := operator(n:Symbol:=name operator(e)$KEDF)$BOP (n = cos@Symbol)@Boolean => [o,omega] (n = sin@Symbol)@Boolean => [o,omega] "failed" @@ -267,6 +267,7 @@ d01WeightsPackage(): E == I where <<license>>= --Copyright (c) 1991-2002, The Numerical ALgorithms Group Ltd. --All rights reserved. +--Copyright (C) 2007-2009, Gabriel Dos Reis. -- --Redistribution and use in source and binary forms, with or without --modification, are permitted provided that the following conditions are |